LUIS SANCHEZ FERNANDEZ
Title
Cited by
Cited by
Year
Formal verification of BPEL4WS business collaborations
JA Fisteus, LS Fernández, CD Kloos
International Conference on Electronic Commerce and Web Technologies, 76-85, 2004
1052004
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
652005
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
58*2017
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
531996
Diseño del cuestionario de resistencia a la presión de grupo en el consumo de alcohol (CRPG)
CL Pérez, SCV Lara, L Sánchez, V León
Artículos en PDF disponibles desde 1994 hasta 2013. A partir de 2014 …, 2008
452008
Métodos de evaluación para las competencias generales más demandadas en el mercado laboral
MJ García, L Fernández, MJ Terrón, Y Blanco
TICAI, 141-146, 2008
442008
Análisis y diseño de aplicaciones informáticas de gestión
M Piattini, J Calvo-Manzano, J Cervera, L Fernández
Una perspectiva de Ingeniería de Software. Alfaomega-Rama, México, 2004
422004
Ztreamy: A middleware for publishing semantic streams on the web
JA Fisteus, NF García, LS Fernández, D Fuentes-Lorenzo
Journal of web semantics 25, 16-23, 2014
382014
Análisis y diseño de aplicaciones informáticas de gestión, una perspectiva de ingeniería del software
MG Piattini, JA Calvo-Manzano, J Cervera, L Fernández
México: Alfaomega Grupo Editor, 419-469, 2004
362004
A simple denotational semantics, proof theory and a validation condition generator for unit-delay VHDL
PT Breuer, LS Fernández, CD Kloos
Formal Methods in System Design 7 (1-2), 27-51, 1995
331995
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
322014
Spanish/English bilingual listeners on clinical word recognition tests: What to expect and how to predict
LF Shi, D Sánchez
Journal of Speech, Language, and Hearing Research, 2010
312010
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
29*2005
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
News: Bringing semantic web technologies into news agencies
N Fernández, JM Blázquez, JA Fisteus, L Sánchez, M Sintek, A Bernardi, ...
International Semantic Web Conference, 778-791, 2006
262006
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
261994
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
252017
A refinement calculus for the synthesis of verified hardware descriptions in VHDL
PT Breuer, CK Delgado, AL Marín, N Martínez Madrid, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (4), 586-616, 1997
241997
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
On the complexity of extended and proportional justified representation
H Aziz, E Elkind, S Huang, M Lackner, L Sánchez-Fernández, P Skowron
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
222018
The system can't perform the operation now. Try again later.
Articles 1–20