Seguir
LUIS SANCHEZ FERNANDEZ
Título
Citado por
Citado por
Año
Proportional justified representation
L Sánchez-Fernández, E Elkind, M Lackner, N Fernández, JA Fisteus, ...
Thirty-First AAAI Conference on Artificial Intelligence, 2017
1292017
Formal verification of BPEL4WS business collaborations
JA Fisteus, LS Fernández, CD Kloos
E-Commerce and Web Technologies: 5th International Conference, EC-Web 2004 …, 2004
1132004
T-Hoarder: A framework to process Twitter data streams
M Congosto, P Basanta-Val, L Sanchez-Fernandez
Journal of network and computer applications 83, 28-39, 2017
892017
Automatic detection of traffic lights, street crossings and urban roundabouts combining outlier detection and deep learning classification techniques based on GPS traces while …
M Munoz-Organero, R Ruiz-Blaquez, L Sánchez-Fernández
Computers, Environment and Urban Systems 68, 1-8, 2018
842018
Applying model checking to BPEL4WS business collaborations
JA Fisteus, LS Fernández, CD Kloos
Proceedings of the 2005 ACM symposium on Applied computing, 826-830, 2005
732005
On the complexity of extended and proportional justified representation
H Aziz, E Elkind, S Huang, M Lackner, L Sánchez-Fernández, P Skowron
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
642018
A co-design methodology based on formal specification and high-level estimation
C Carreras, JC Lopez, ML Lopez, C Delgado-Kloos, N Martinez, ...
Proceedings of 4th International Workshop on Hardware/Software Co-Design …, 1996
551996
Ztreamy: A middleware for publishing semantic streams on the web
JA Fisteus, NF Garcia, LS Fernandez, D Fuentes-Lorenzo
Journal of web semantics 25, 16-23, 2014
522014
RDSZ: an approach for lossless RDF stream compression
N Fernández, J Arias, L Sánchez, D Fuentes-Lorenzo, Ó Corcho
The Semantic Web: Trends and Challenges: 11th International Conference, ESWC …, 2014
382014
The NEWS ontology: Design and applications
N Fernández, D Fuentes, L Sánchez, JA Fisteus
Expert Systems with Applications 37 (12), 8694-8704, 2010
382010
A simple denotational semantics, proof theory and a validation condition generator for unit-delay VHDL
PT Breuer, LS Fernandez, CD Kloos
Formal Methods in System Design 7, 27-51, 1995
381995
Microbloggers as sensors for public transport breakdowns
M Congosto, D Fuentes-Lorenzo, L Sánchez
IEEE Internet Computing 19 (6), 18-25, 2015
372015
News: Bringing semantic web technologies into news agencies
N Fernandez, JM Blazquez, JA Fisteus, L Sanchez, M Sintek, A Bernardi, ...
The Semantic Web-ISWC 2006: 5th International Semantic Web Conference, ISWC …, 2006
372006
The Semantic Web: Fundamentals and a brief state-of-the-art
L Sánchez-Fernández, N Fernández-García
UPGRADE 6 (6), 5-11, 2005
33*2005
Clean formal semantics for VHDL
PT Breuer, LS Fernandez, CD Kloos
Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC, 641-647, 1994
291994
The maximin support method: An extension of the D’Hondt method to approval-based multiwinner elections
L Sánchez-Fernández, N Fernández-García, JA Fisteus, M Brill
Mathematical Programming, 1-28, 2022
27*2022
Hardware/software co-design of complex embedded systems: an approach using efficient process models, multiple formalism specification and validation via co-simulation
NS Voros, L Sánchez, A Alonso, AN Birbas, M Birbas, A Jerraya
Design Automation for Embedded Systems 8, 5-49, 2003
272003
Monotonicity axioms in approval-based multi-winner voting rules
L Sánchez-Fernández, JA Fisteus
arXiv preprint arXiv:1710.04246, 2017
262017
Patterns for distributed real-time stream processing
P Basanta-Val, N Fernandez-Garcia, L Sanchez-Fernandez, ...
IEEE Transactions on Parallel and Distributed Systems 28 (11), 3243-3257, 2017
262017
Webtlab: A cooccurencebased approach to kbp 2010 entity-linking task
N Fernández, JA Fisteus, L Sánchez, E Martin
Proc. TAC 2010 Workshop, 2010
252010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20