Seuraa
LUIS SANCHEZ FERNANDEZ
LUIS SANCHEZ FERNANDEZ
Universidad Carlos III de Madrid
Vahvistettu sähköpostiosoite verkkotunnuksessa it.uc3m.es - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
1762017
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
1032017
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
1022018
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
952018
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
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
651996
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
532014
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
451995
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
442010
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
422006
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
412014
Microbloggers as sensors for public transport breakdowns
M Congosto, D Fuentes-Lorenzo, L Sánchez
IEEE Internet Computing 19 (6), 18-25, 2015
392015
Monotonicity axioms in approval-based multi-winner voting rules
L Sánchez-Fernández, JA Fisteus
arXiv preprint arXiv:1710.04246, 2017
352017
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
34*2024
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
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
312017
Clean formal semantics for VHDL
PT Breuer, LS Fernández, CD Kloos
Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC, 641-647, 1994
281994
IdentityRank: Named entity disambiguation in the context of the NEWS project
N Fernández, JM Blázquez, L Sánchez, A Bernardi
The Semantic Web: Research and Applications: 4th European Semantic Web …, 2007
272007
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20