Follow
LUIS SANCHEZ FERNANDEZ
Title
Cited by
Cited by
Year
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
1572017
Formal verification of BPEL4WS business collaborations
JA Fisteus, LS Fernández, CD Kloos
International conference on electronic commerce and web technologies, 76-85, 2004
1142004
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
1012017
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
852018
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
822018
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
762005
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
621996
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
542014
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
471995
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
422010
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
402014
News: Bringing semantic web technologies into news agencies
N Fernandez, JM Blazquez, JA Fisteus, L Sanchez, M Sintek, A Bernardi, ...
International Semantic Web Conference, 778-791, 2006
402006
Microbloggers as sensors for public transport breakdowns
M Congosto, D Fuentes-Lorenzo, L Sánchez
IEEE Internet Computing 19 (6), 18-25, 2015
382015
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
33*2022
Monotonicity axioms in approval-based multi-winner voting rules
L Sánchez-Fernández, JA Fisteus
arXiv preprint arXiv:1710.04246, 2017
312017
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
31*2005
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
282017
Clean formal semantics for VHDL
PT Breuer, LS Fernandez, CD Kloos
Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC, 641-647, 1994
281994
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
IdentityRank: Named entity disambiguation in the news domain
N Fernández, JA Fisteus, L Sánchez, G López
Expert Systems with Applications 39 (10), 9207-9221, 2012
252012
The system can't perform the operation now. Try again later.
Articles 1–20