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 | 160 | 2017 |
Formal verification of BPEL4WS business collaborations JA Fisteus, LS Fernández, CD Kloos International conference on electronic commerce and web technologies, 76-85, 2004 | 113 | 2004 |
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 | 101 | 2017 |
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 | 88 | 2018 |
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 | 87 | 2018 |
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 | 74 | 2005 |
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 | 63 | 1996 |
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 | 54 | 2014 |
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 | 44 | 1995 |
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 | 41 | 2010 |
Microbloggers as sensors for public transport breakdowns M Congosto, D Fuentes-Lorenzo, L Sánchez IEEE Internet Computing 19 (6), 18-25, 2015 | 40 | 2015 |
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 | 39 | 2006 |
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 | 38 | 2014 |
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 203 (1), 107-134, 2024 | 32* | 2024 |
Monotonicity axioms in approval-based multi-winner voting rules L Sánchez-Fernández, JA Fisteus arXiv preprint arXiv:1710.04246, 2017 | 31 | 2017 |
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 | 30 | 2017 |
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 | 28* | 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 | 28 | 1994 |
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 | 27 | 2003 |
A refinement calculus for the synthesis of verified hardware descriptions in VHDL PT Breuer, CK Delgado, AL Marin, N Martinez Madrid, ... ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (4), 586-616, 1997 | 27 | 1997 |