Quemada Vives, Juan juan.quemada@upm.es
Publications
- Articles 32
- Books 1
- Book chapters 8
- Conferences 60
- Working papers 0
- Technical reports 0
- Research projects 45
- Supervised theses 11
- Patent or software license 5
A BUILDING ACCESS-CONTROL SYSTEM WITH ALARM MONITORING
- SANZ, JV
- VIVES, JQ
- DELCAMPO, AF;
Microprocessing And Microprogramming (p. 111-114) - 1/1/1983
10.1016/0165-6074(83)90188-6 View at source
- ISSN 01656074
LOTOS based derivation methodology in the PRODAT project
- Fernández A
- Quemada J
- Vidaller L
- Miguel C
Annual Review In Automatic Programming (p. 7-13) - 1/1/1988
10.1016/0066-4138(88)90002-x View at source
- ISSN 00664138
21ST INTERNATIONAL-SYMPOSIUM ON INDUSTRIAL ROBOTS (OCTOBER 24-25, 1990 COPENHAGEN
- QUEMADA, J
- MANAS, J
- VAZQUEZ, E
Robotica (p. 247-248) - 1/6/1991
- ISSN 02635747
- iMarina
DEVELOPMENT OF SATELLITE COMMUNICATION-NETWORKS BASED ON LOTOS
- FERNANDEZ, A
- MIGUEL, C
- VIDALLER, L
- QUEMADA, J
Ifip Transactions C-Communication Systems (p. 179-192) - 1/1/1992
- ISSN 0926549X
- iMarina
STRUCTURING PROTOCOLS USING EXCEPTIONS IN A LOTOS EXTENSION
- QUEMADA, J
- AZCORRA, A
Ifip Transactions C-Communication Systems (p. 81-96) - 1/1/1992
- ISSN 0926549X
- iMarina
On tools for FDTs
- QUEMADA, J
Computer Networks And Isdn Systems (p. 719-721) - 1/1/1993
10.1016/0169-7552(93)90044-5 View at source
- ISSN 01697552
TIC: A timed calculus
- Quemada J
- de Frutos D
- Azcorra A
Formal Aspects Of Computing (p. 224-252) - 1/5/1993
10.1007/bf01211556 View at source
- ISSN 09345043
A use-case based model for learning resources in educational mediators
- Quemada, J
- Simon, B
Educational Technology & Society (p. 149-163) - 1/1/2003
- ISSN 14364522
- iMarina
EducaNext: un servicio para la compartición de conocimiento
- Joaquín Salvachúa
- Juan Quemada Vives
- Blanca Rodríguez Pajares
- Gabriel Isidoro Huecas Fernández-Toribio
Novática: Revista De La Asociación De Técnicos De Informática (p. 45-50) - 1/1/2003
- ISSN 02112124
- iMarina
Formal description techniques and software engineering: Some reflections after 2 decades of research
- Quemada J
Lecture Notes In Computer Science (p. 33-42) - 1/1/2004
10.1007/978-3-540-30232-2_3 View at source
- ISSN 03029743
- iMarina
- iMarina
Normalización de expresiones LOTOs bajo equivalencia de prueba
- Juan Quemada
- Martín Llamas Nistal
- Manuel J Fernández Iglesias
Ix Simposium Nacional : Las Palmas De Gran Canaria, 21-23 De Septiembre De 1994 / Coord. Por Manuel J. Betancor García, Rafael Pérez Jiménez, Eugenio Jiménez Yguacel, Vol. 1 (p. 1174-1178) - 1/1/1994
- iMarina
Practical testing of LOTOS specifications witch infinite traces
- S Pavón
- David Larrabeiti López
- Juan Quemada
V Jornadas De Concurrencia: Actas De Las Quintas Jornadas De Concurrencia. Vigo, Junio De 1997 (p. 293-306) - 1/1/1997
- iMarina
Un nuevo enfoque para la verificación de relaciones basadas en la bisimulación
- Manuel J Fernández Iglesias
- Martín Llamas Nistal
- Juan Carlos Burguillo Rial
- Juan Quemada
V Jornadas De Concurrencia: Actas De Las Quintas Jornadas De Concurrencia. Vigo, Junio De 1997 (p. 307-320) - 1/1/1997
- iMarina
Nuevos servicios para la red académica de banda ancha: experiencias
- Jordi Domingo i Pascual
- Josep Solé Pareta
- Xavier Martínez Álvarez
- Carles Veciana Nogués
- Juan Quemada Vives
- Tomás Robles Valladares
- Joaquín Salváchua
- Héctor L Velayos Muñoz
- Arturo Azcorra Saloña
- David Larrabeiti López
I Seminario Del Plan Nacional De Aplicaciones Y Servicios Telemáticos: 30 De Noviembre A 2 De Diciembre De 1999, Edif. El Sario, Universidad Pública De Navarra (p. 121-130) - 1/1/1999
- iMarina
TECODIS: servicio de tele-trabajo síncrono sobre redes heterogéneas
- Tomás Pedro de Miguel Moro
- Juan Quemada Vives
- Santiago Pavón Gómez
- Manuel Petit
I Seminario Del Plan Nacional De Aplicaciones Y Servicios Telemáticos: 30 De Noviembre A 2 De Diciembre De 1999, Edif. El Sario, Universidad Pública De Navarra (p. 221-229) - 1/1/1999
- iMarina
UNIVERSAL: colaboración para la compartición de recursos educativos
- Juan Quemada
- Blanca Rodríguez
- Joaquín Salvachúa
- Gabriel Huecas
6 Congreso Iberoamericano, 4 Simposio Internacional De Informática Educativa, 7 Taller Internacional De Software Educativo [Archivo De Ordenador] : Ie-2002 : Vigo, 20, 21, 22 De Noviembre De 2002 - 1/1/2002
- iMarina
Desarrollo de titulaciones conjuntas en los sistemas de e-learning
- Sandra Aguirre
- Joaquín Salváchua
- Juan Quemada
- Antonio Fumero
- Antonio Tapiador del Dujo
8th International Symposium On Computers In Education Proceedings, Siie 2006 (p. 81-88) - 1/1/2006
- iMarina
Aprendizaje cooperativo distribuido en base a Web 2.0
- German Santos Boada
- Jordi Domingo i Pascual
- Josep Solé Pareta
- Antonio Fumero
- Juan Quemada Vives
- Joaquín Salváchua
- Vicente Casares Giner
- José Ramón Vidal
Vi Cidui: Nuevos Espacios De Calidad En La Educación Superior: Un Análisis Comparado Y De Tendencias (p. 1056-1076) - 1/1/2010
- iMarina
16-CHANNEL CASSETTE RECORDER AND TELEPHONE TRANSMITTER WITH CRT BASED DISPLAY FOR CLINICAL EEG.
- Quemada Vives J
- Riera Garcia J
(p. 1104-1107) - 1/12/1981
- iMarina
EXPERIMENTAL TCM MULTIPLEX.
- Quemada J
- Riera J
1/12/1983
- iMarina
PORTABLE X. 25 DESIGN DERIVED FROM ITS FORMAL SPECIFICATION.
- Quemada J
- Vazquez Enrique
- Berrocal J
- Saras J
(p. 407-410) - 1/12/1985
- iMarina
CLUSTER CONTROLLER IMPLEMENTATION USING EXTENDED AUTOMATA SPECIFICATION TECHNIQUES.
- Vinyes-Sanz J
- Quemada-Vives J
- Seoane-Pascual J
(p. 575-577) - 1/12/1985
- iMarina
CLASS 4 TRANSPORT PROTOCOL IMPLEMENTATION IN MODULA-2.
- Vazquez E
- Jodra M
- Lizaso J
- Quemada J
(p. 243-246) - 1/1/1987
- iMarina
State exploration by transformation with lola
- QUEMADA, J
- PAVON, S
- FERNANDEZ, A
Lecture Notes In Computer Science (p. 294-302) - 1/1/1990
10.1007/3-540-52148-8_25 View at source
- ISSN 03029743
INVERSE EXPANSION
- PAVON, S
- HULTSTROM, M
- QUEMADA, J
- DEFRUTOS, D
- ORTEGA, Y
Ifip Transactions C-Communication Systems (p. 297-312) - 1/1/1992
- ISSN 0926549X
- iMarina
COMPRESSING THE STATE-SPACE REPRESENTATION OF LOTOS SPECIFICATIONS
- QUEMADA, J
- LARRABEITI, D
- PAVON, S
Ifip Transactions C-Communication Systems (p. 19-34) - 1/1/1994
- ISSN 0926549X
- iMarina
ISABEL: A CSCW application for the distribution of events
- Quemada J
- De Miguel T
- Azcorra A
- Pavon S
- Salvachua J
- Petit M
- Larrabeiti D
- Robles T
- Huecas G
Lecture Notes In Computer Science (p. 137-153) - 1/1/1996
10.1007/bfb0020854 View at source
- ISSN 03029743
This researcher has no working papers.
This researcher has no technical reports.
eID4U
- ALONSO GONZALEZ, ALVARO (Participante)
- Chas Alonso, Pedro Luis (Participante)
- FERNANDEZ CAMBRONERO, DAVID (Participante)
- PASTOR MARTIN, M. ENCARNACION (Participante)
- BARRA ARIAS, ENRIQUE (Participante)
- Gordillo Mendez, Aldo (Participante)
- PAVON GOMEZ, SANTIAGO (Participante)
- SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Participante)
- QUEMADA VIVES, JUAN (Investigador principal (IP))
- HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
Period: 01-02-2018 - 31-10-2019
Type of funding: International
Amount of funding: 102720,00 Euros.
- iMarina
Master SSA - Programme Execution - EIT - I&E Education Program 2019
- SEGOVIA PEREZ, FCO.JAVIER (Investigador principal (IP))
- MEZA VALDES, REBECA (Participante)
- LEON SERRANO, GONZALO (Participante)
- TEJERO LOPEZ, ALBERTO (Participante)
Period: 01-01-2019 - 31-12-2019
Type of funding: International
Amount of funding: 10000,00 Euros.
- iMarina
nanoMOOCs - Course production and upgrading - Awareness, innovation and entrepreneurship in Cybersecurity - Disruptive Education Modalities
- MUÑOZ ARCENTALES, JOSE ANDRES (Participante)
- SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Participante)
- PAVON GOMEZ, SANTIAGO (Participante)
- MUÑOZ ARCENTALES, JOSÉ ADRÉS (Participante)
- LOPEZ PERNAS, SONSOLES (Participante)
- POZO HUERTAS, ALEJANDRO (Participante)
- ALONSO GONZALEZ, ALVARO (Participante)
- Gordillo Mendez, Aldo (Participante)
- HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
- QUEMADA VIVES, JUAN (Investigador principal (IP))
- BARRA ARIAS, ENRIQUE (Participante)
Period: 01-01-2019 - 31-12-2019
Type of funding: International
Amount of funding: 24000,00 Euros.
- iMarina
Proyecto Piloto Smarter Interpreting
- LOPEZ PERNAS, SONSOLES (Investigador/a)
- MUÑOZ ARCENTALES, JOSÉ ADRÉS (Investigador/a)
- POZO ARRIBAS, ALEJANDRO (Investigador/a)
- BARRA ARIAS, ENRIQUE (Investigador/a)
- ALONSO GONZALEZ, ALVARO (Investigador/a)
- Gordillo Mendez, Aldo (Investigador/a)
- PAVON GOMEZ, SANTIAGO (Investigador/a)
- HUECAS FERNANDEZ-TORIBIO, GABRIEL (Investigador/a)
- SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Investigador/a)
- QUEMADA VIVES, JUAN (Investigador principal (IP))
Period: 01-10-2019 - 31-03-2020
- iMarina
A-RPORTWIN. AR-VR for digital twins in airports and other infrastructures using FIWARE platform
- MUÑOZ ARCENTALES, JOSE ANDRES (Participante)
- Conde Díaz, Javier (Participante)
- Conde Díaz, Javier (Investigador/a)
- SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Participante)
- QUEMADA VIVES, JUAN (Participante)
- MUÑOZ ARCENTALES, JOSÉ ADRÉS (Participante)
- Gordillo Mendez, Aldo (Participante)
- ALONSO GONZALEZ, ALVARO (Investigador principal (IP))
- BARRA ARIAS, ENRIQUE (Participante)
- LOPEZ PERNAS, SONSOLES (Participante)
- PAVON GOMEZ, SANTIAGO (Participante)
- POZO HUERTAS, ALEJANDRO (Participante)
- HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
Period: 01-01-2020 - 31-12-2020
Type of funding: International
Amount of funding: 83709,00 Euros.
- iMarina
Specializatioon creation at UPM - Blended Cybersecurity master
- MUÑOZ ARCENTALES, JOSE ANDRES (Participante)
- HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
- Gordillo Mendez, Aldo (Participante)
- PAVON GOMEZ, SANTIAGO (Participante)
- SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Participante)
- ALONSO GONZALEZ, ALVARO (Participante)
- QUEMADA VIVES, JUAN (Investigador principal (IP))
- MUÑOZ ARCENTALES, JOSÉ ADRÉS (Participante)
- LOPEZ PERNAS, SONSOLES (Participante)
- POZO HUERTAS, ALEJANDRO (Participante)
- BARRA ARIAS, ENRIQUE (Investigador principal (IP))
- Villagrá González, Victor Abraham (Participante)
Period: 01-01-2020 - 31-12-2020
Type of funding: International
Amount of funding: 56000,00 Euros.
- iMarina
MadridDataSpace4Pandemics Inteligencia Artificial y tecnologías basadas en datos para la comprensión, detección, tratamiento y análisis de la COVID-19
- Conde Díaz, Javier (Participante)
- MUÑOZ ARCENTALES, JOSE ANDRES (Participante)
- Sundar Goswami, Subhra (Participante)
- TORRES INCHAURZA, IMANOL (Participante)
- ARIAS LONDOÑO, Julian David (Participante)
- GARCIA DELGADO, MIGUEL ANGEL (Participante)
- JIMENEZ MARTIN, ANTONIO (Participante)
- GALVAÑ SALA, DAVID AMARO (Participante)
- QUESADA LOPEZ, DAVID (Participante)
- GALOCHA DOMINGUEZ, LUIS (Participante)
- González Guardia, Esteban (Participante)
- ALCAZAR VALDARACETE, RAUL (Participante)
- Moreno Sánchez-Capuchino, Ana María (Participante)
- MIGUEL VELA, GONZALO C. DE (Participante)
- BIELZA LOZOYA, MARIA CONCEPCION (Participante)
- LARRAÑAGA MUGICA, PEDRO MARIA (Participante)
- DIAZ HONRUBIA, ANTONIO JESUS (Participante)
- ROBLES FORCADA, VICTOR (Participante)
- MENASALVAS RUIZ, ERNESTINA (Participante)
- LATORRE DE LA FUENTE, ANTONIO (Participante)
- MATEOS CABALLERO, ALFONSO (Participante)
- RODRIGUEZ GONZALEZ, ALEJANDRO (Participante)
- VIGUERAS GONZALEZ, GUILLERMO ANTONIO (Participante)
- BAJO PEREZ, JAVIER (Participante)
- ALONSO GONZALEZ, ALVARO (Participante)
- POZO HUERTAS, ALEJANDRO (Participante)
- BERNARDOS BARBOLLA, ANA MARIA (Investigador principal (IP))
- BERGESIO, LUCA (Participante)
- CAMPAÑA RAMOS, IVAN (Participante)
- Benac Earle, Clara (Participante)
- ALONSO DE APELLANIZ, PATRICIA (Participante)
- García Santos, Narciso (Participante)
- GUTIERREZ SANCHEZ, JESUS (Investigador principal (IP))
- LEDESMA CARBAYO, MARIA JESUS (Investigador principal (IP))
- HERRANZ NIEVA, ANGEL (Participante)
- Yelmo Garcia, Juan Carlos (Investigador principal (IP))
- MARTIN GARCIA, YOD SAMUEL (Participante)
- BARRA ARIAS, ENRIQUE (Participante)
- PAVON GOMEZ, SANTIAGO (Participante)
- ZAZO BELLO, SANTIAGO (Participante)
- BELMONTE HERNÁNDEZ, ALBERTO (Participante)
- CASAR CORREDERA, JOSE RAMON (Participante)
- TORRE OLIVA, ALEJANDRO DE LA (Participante)
- CORTES SANCHEZ, CARLOS (Participante)
- Muñoz Hernández, Susana (Participante)
- Díaz López, José Manuel (Participante)
- RODRIGUEZ VAZQUEZ, JOSE LUIS (Participante)
- PARRAS MORAL, JUAN (Investigador principal (IP))
- BESADA PORTAS, JUAN ALBERTO (Participante)
- CARRAMIÑANA JIMENEZ, DAVID (Participante)
- CABRERA QUESADA, JULIAN (Participante)
- ORDUNA CORTILLAS, MARTA (Participante)
- GODINO LLORENTE, JUAN IGNACIO (Investigador principal (IP))
- BURLAKA PETRASH, ARSEN (Participante)
- ALVAREZ GARCIA, FEDERICO (Participante)
- TORRE ASTANIN, ALEXANDER DE LA (Participante)
- SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Investigador principal (IP))
- LOPEZ PERNAS, SONSOLES (Participante)
- HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
- QUEMADA VIVES, JUAN (Participante)
- MUÑOZ ARCENTALES, JOSÉ ADRÉS (Participante)
- Corcho García, Oscar (Investigador principal (IP))
Period: 01-02-2020 - 31-12-2022
Type of funding: Regional
Amount of funding: 99859,50 Euros.
- iMarina
Plataforma Unificada
- Conde Díaz, Javier (Participante)
Period: 19-06-2020 - 31-12-2021
- iMarina
Your Open DAta
- Moreno Novella, José Ignacio (Participante)
- VILLAMAYOR MARTINEZ, ICIAR (Participante)
- ARRIAGA PRIETO, CARLOS (Participante)
- MUÑOZ ARCENTALES, JOSE ANDRES (Participante)
- SANCHEZ RADA, JUAN FERNANDO (Participante)
- MUÑOZ LOPEZ, SERGIO (Participante)
- ARAQUE IBORRA, OSCAR (Participante)
- CARRERA BARROSO, ALVARO (Participante)
- QUEMADA VIVES, JUAN (Investigador principal (IP))
- ALONSO GONZALEZ, ALVARO (Investigador principal (IP))
- SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Participante)
- HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
- PAVON GOMEZ, SANTIAGO (Participante)
- BARRA ARIAS, ENRIQUE (Participante)
- Gordillo Mendez, Aldo (Participante)
- POZO HUERTAS, ALEJANDRO (Participante)
- MUÑOZ ARCENTALES, JOSÉ ADRÉS (Participante)
- LOPEZ PERNAS, SONSOLES (Participante)
- Conde Díaz, Javier (Participante)
Period: 01-09-2020 - 28-02-2023
Type of funding: International
Amount of funding: 241232,00 Euros.
- iMarina
Definición y estudio de un entorno de desarrollo de protocolos basado en autómatas extendidos
- QUEMADA VIVES, JUAN (Director) Doctorando: BERROCAL COLMENAREJO, Julio José
1/1/1986
- iMarina
Verificación de sistemas en lotos
- QUEMADA VIVES, JUAN (Director) Doctorando: FERNANDEZ DEL CAMPO, Angel
1/1/1987
- iMarina
Modelado formal de sistemas síncronos
- QUEMADA VIVES, JUAN (Director) Doctorando: AZCORRA SALOÑA, Arturo
1/1/1990
- iMarina
Contribución al análisis y transformación de especificaciones lotos
- QUEMADA VIVES, JUAN (Director) Doctorando: PAVON GOMEZ, Santiago
1/1/1991
- iMarina
Diseño y verificación de sistemas en lotos
- QUEMADA VIVES, JUAN (Director) Doctorando: LLAMAS NISTAL, Martín
1/1/1995
- iMarina
Contribución al análisis del espacio de estados de especificaciones LOTOS
- PAVON GOMEZ, SANTIAGO (Director)
- QUEMADA VIVES, JUAN (Director) Doctorando: LARRABEITI LOPEZ, David
1/1/1996
- iMarina
A policy-driven architecture for supporting joint degrees through e-learning services.
- Juan Quemada Vives (Director) Doctorando: Sandra Leonor Aguirre Herrera
1/1/2012
- iMarina
Nuevos métodos y herramientas para la creación y utilización de recursos multimedia en la educación.
- Juan Quemada Vives (Director) Doctorando: Enrique Barra Arias
1/1/2014
Reading institution: Universidad Politécnica de Madrid
- Dialnet
- iMarina
Contribution to the authoring, distribution, evaluation and integration of learning objects
- Juan Quemada Vives (Director)
- Enrique Barra Arias (Director) Doctorando: Aldo Gordillo Méndez
1/1/2017
Reading institution: Universidad Politécnica de Madrid
- Dialnet
- iMarina
Contribution to the understanding, creation and conduction of technology-enhanced educational escape rooms
- Gordillo Mendez, Aldo (Director)
- QUEMADA VIVES, JUAN (Director) Doctorando: López Pernas, Sonsoles
1/1/2021
Reading institution: Universidad Politécnica de Madrid
- Dialnet
- iMarina
DATENSPEICHERUNGSVERFAHREN
- MOZO ALBERTO (Inventores/autores/obtentores)
- BASCUNANA MUNOZ ALEJANDRO (Inventores/autores/obtentores)
- HUECAS GABRIEL (Inventores/autores/obtentores)
- QUEMADA JUAN (Inventores/autores/obtentores)
- SALVACHUA JOAQUIN (Inventores/autores/obtentores)
9/2/2010
- iMarina
PROCÉDÉ DE STOCKAGE DE DONNÉES
- MOZO ALBERTO (Inventores/autores/obtentores)
- BASCUNANA MUNOZ ALEJANDRO (Inventores/autores/obtentores)
- HUECAS GABRIEL (Inventores/autores/obtentores)
- QUEMADA JUAN (Inventores/autores/obtentores)
- SALVACHUA JOAQUIN (Inventores/autores/obtentores)
9/2/2010
- iMarina
Method for database storage of a table with plural schemas
- HUECAS GABRIEL (Inventores/autores/obtentores)
- QUEMADA JUAN (Inventores/autores/obtentores)
- SALVACHUA JOAQUIN (Inventores/autores/obtentores)
- MOZO ALBERTO (Inventores/autores/obtentores)
- MONJAS LLORENTE MIGUEL ANGEL (Inventores/autores/obtentores)
17/3/2010
- iMarina
VERFAHREN ZUR DATENBANKSPEICHERUNG EINER TABELLE MIT MEHREREN SCHEMATA
- HUECAS GABRIEL (Inventores/autores/obtentores)
- QUEMADA JUAN (Inventores/autores/obtentores)
- SALVACHUA JOAQUIN (Inventores/autores/obtentores)
- MOZO ALBERTO (Inventores/autores/obtentores)
- MONJAS LLORENTE MIGUEL ANGEL (Inventores/autores/obtentores)
17/3/2010
- iMarina
PROCÉDÉ DE STOCKAGE D'UNE TABLE AVEC PLUSIEURS SCHÉMAS DANS UNE BASE DE DONNÉES
- HUECAS GABRIEL (Inventores/autores/obtentores)
- QUEMADA JUAN (Inventores/autores/obtentores)
- SALVACHUA JOAQUIN (Inventores/autores/obtentores)
- MOZO ALBERTO (Inventores/autores/obtentores)
- MONJAS LLORENTE MIGUEL ANGEL (Inventores/autores/obtentores)
17/3/2010
- iMarina
Research groups
-
Internet de Nueva Generación
Role: Miembro
Researcher profiles
-
ORCID
-
Scopus Author ID
-
Dialnet id