Suivre
LUIS SANCHEZ FERNANDEZ
Titre
Citée par
Citée par
Année
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
1672017
Formal verification of BPEL4WS business collaborations
JA Fisteus, LS Fernández, CD Kloos
International conference on electronic commerce and web technologies, 76-85, 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
1022017
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
912018
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
892018
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
742005
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
631996
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
552014
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
441995
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
Microbloggers as sensors for public transport breakdowns
M Congosto, D Fuentes-Lorenzo, L Sánchez
IEEE Internet Computing 19 (6), 18-25, 2015
402015
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
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
392014
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
312017
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
302017
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
29*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
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
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
271997
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20