LUIS SANCHEZ FERNANDEZ
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Formal verification of BPEL4WS business collaborations
JA Fisteus, LS Fernández, CD Kloos
International Conference on Electronic Commerce and Web Technologies, 76-85, 2004
1102004
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
742017
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
712005
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
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
492018
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
482017
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
372018
RDSZ: an approach for lossless RDF stream compression
N Fernández, J Arias, L Sánchez, D Fuentes-Lorenzo, Ó Corcho
European Semantic Web Conference, 52-67, 2014
342014
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 (1-2), 27-51, 1995
321995
Microbloggers as sensors for public transport breakdowns
M Congosto, D Fuentes-Lorenzo, L Sánchez
IEEE Internet Computing 19 (6), 18-25, 2015
312015
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
292010
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
292006
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 (1), 5-49, 2003
272003
Clean formal semantics for VHDL
PT Breuer, LS Fernandez, CD Kloos
Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC, 641-647, 1994
271994
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
242010
The Semantic Web: Fundamentals and a brief state-of-the-art
L Sánchez-Fernández, N Fernández-García
Call for Take up Actions, Joined sub-Projects to AXMEDIS project of the …, 2005
24*2005
IdentityRank: Named entity disambiguation in the context of the NEWS project
N Fernández, JM Blázquez, L Sánchez, A Bernardi
European Semantic Web Conference, 640-654, 2007
232007
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
231997
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
222012
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20