Quemada Vives, Juan juan.quemada@upm.es

Actividades

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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • ISSN 03029743

Compressing the state space representation of LOTOS specifications

  • Quemada J, Larrabeiti D, Pavon S

(p. 19-34) - 1/12/1994

  • 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
... Ver más Contraer

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
... Ver más Contraer

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 Ver en origen

  • 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
... Ver más Contraer

Lecture Notes In Computer Science (p. 137-153) - 1/1/1996

10.1007/bfb0020854 Ver en origen

  • ISSN 03029743

Sharing live educational resources in universal with Isabel

  • Quemada, J
  • Salvachúa, J
  • Rodríguez, B
  • Huecas, G

Computers And Education: Towards A Lifelong Learning Society (p. 115-126) - 1/1/2003

  • iMarina

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

European CYber Security Protection Alliance

  • QUEMADA VIVES, JUAN (Investigador principal (IP))
  • SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Participante)
  • MAÑAS ARGEMI, JOSE ANTONIO (Participante)
  • CORTES SACK, MONICA (Participante)
  • Chas Alonso, Pedro Luis (Participante)
  • PAVON GOMEZ, SANTIAGO (Participante)
  • HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
... Ver más Contraer

Ejecución: 01-10-2012 - 31-03-2015

Tipo: Internacional

Importe financiado: 76558,00 Euros.

  • iMarina

eXperimental Infrastructures for the Future Internet

  • FERNÁNDEZ-CEDRÓN FERNÁNDEZ-MAQUIEIRA, IAGO (Participante)
  • ALVAREZ GARCIA, FEDERICO (Investigador principal (IP))
  • ALONSO GONZALEZ, ALVARO (Participante)
  • PAVON GOMEZ, SANTIAGO (Participante)
  • TAPIA MERINO, JOSE RAMON (Participante)
  • CASTAÑEDA MARTIN, ERNESTO (Participante)
  • HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
  • QUEMADA VIVES, JUAN (Participante)
  • SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Participante)
  • JIMENEZ BERMEJO, DAVID (Participante)
  • GONZALEZ ESCOBAR, JOSE (Participante)
  • Menendez Garcia, Jose Manuel (Participante)
... Ver más Contraer

Ejecución: 01-04-2013 - 30-09-2015

Tipo: Internacional

Importe financiado: 588146,00 Euros.

  • iMarina

Future Internet - Core

  • QUEMADA VIVES, JUAN (Investigador principal (IP))
  • YAGUEZ GARCIA, FCO. JAVIER (Participante)
  • SORIANO CAMINO, FRANCISCO JAVIER (Participante)
  • ALONSO AMO, Fernando (Participante)
  • FERNANDEZ GALLEGO, RAFAEL (Participante)
  • JIMENEZ GAÑAN, MIGUEL (Participante)
  • VAVASSORI, SERGIO (Participante)
  • VERDUGO RODRIGUEZ, PEDRO MANUEL (Participante)
  • SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Participante)
  • PAVON GOMEZ, SANTIAGO (Participante)
  • HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
  • BARRA ARIAS, ENRIQUE (Participante)
  • López Gómez, Genoveva (Participante)
  • ARRANZ GARCIA, ALVARO (Participante)
  • PASTOR MARTIN, M. ENCARNACION (Participante)
  • ALONSO GONZALEZ, ALVARO (Participante)
  • ALVAREZ RODRIGUEZ, Angel (Participante)
  • ALONSO MUÑOZ, ALEJANDRO ANTONIO (Participante)
  • PUENTE ALFARO, JUAN ANTONIO DE LA (Participante)
  • VAZQUEZ GALLO, ENRIQUE (Participante)
  • RIERA GARCIA, Juan Bautista (Participante)
  • LEON SERRANO, GONZALO (Participante)
  • SANCHEZ CARTAS, JUAN MANUEL (Participante)
  • De la Vega García, Francisco (Participante)
  • Gordillo Mendez, Aldo (Participante)
  • BLANCO VALLEJO, CARLOS (Participante)
  • FRUTOS CID, SONIA (Participante)
  • MOLINA CUQUERELLA, IGNACIO (Participante)
  • VINYES I SANZ, JOAN (Participante)
... Ver más Contraer

Ejecución: 01-09-2014 - 31-12-2016

Tipo: Internacional

Importe financiado: 1648598,00 Euros.

  • iMarina

Adaptive and Responsive Quality on demand based on real-time protocol and extreme encoding

  • QUEMADA VIVES, JUAN (Investigador principal (IP))
  • SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Participante)
  • BARRA ARIAS, ENRIQUE (Participante)
  • ALONSO GONZALEZ, ALVARO (Participante)
  • Chas Alonso, Pedro Luis (Participante)

Ejecución: 01-12-2015 - 31-12-2018

Tipo: Nacional

  • iMarina

Bringing FIWARE to the NEXT step

  • MUÑOZ ARCENTALES, JOSE ANDRES (Participante)
  • HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
  • PAVON GOMEZ, SANTIAGO (Participante)
  • ALONSO GONZALEZ, ALVARO (Participante)
  • FERNANDEZ GALLEGO, RAFAEL (Participante)
  • López Gómez, Genoveva (Participante)
  • ARRANZ GARCIA, ALVARO (Participante)
  • BLANCO VALLEJO, CARLOS (Participante)
  • Gordillo Mendez, Aldo (Participante)
  • JIMENEZ GAÑAN, MIGUEL (Participante)
  • QUEMADA VIVES, JUAN (Investigador principal (IP))
  • De la Vega García, Francisco (Participante)
  • BARRA ARIAS, ENRIQUE (Participante)
  • POZO HUERTAS, ALEJANDRO (Participante)
  • MUÑOZ ARCENTALES, JOSÉ ADRÉS (Participante)
  • RAMPEREZ MARTIN, VICTOR (Participante)
  • FERNANDEZ CAMBRONERO, DAVID (Participante)
  • LOPEZ PERNAS, SONSOLES (Participante)
  • BELLIDO TRIANA, LUIS (Participante)
  • VAZQUEZ GALLO, ENRIQUE (Participante)
  • PASTOR MARTIN, M. ENCARNACION (Participante)
  • FRUTOS CID, SONIA (Participante)
  • SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Participante)
  • SORIANO CAMINO, FRANCISCO JAVIER (Participante)
... Ver más Contraer

Ejecución: 01-12-2016 - 30-11-2018

Tipo: Internacional

Importe financiado: 619145,68 Euros.

  • iMarina

Generación de una red de MCUs escalable y confiable compatible con WebRTC, sistemas legacy H263 y red telefónica convencional para dar servicio a PYMES

  • MARCOS PASCUAL, LOURDES (Miembro del equipo de trabajo)
  • BELLON CLIMENT, JORGE (Miembro del equipo de trabajo)
  • Gordillo Mendez, Aldo (Miembro del equipo de trabajo)
  • BARRA ARIAS, ENRIQUE (Miembro del equipo de trabajo)
  • ALONSO GONZALEZ, ALVARO (Miembro del equipo de trabajo)
  • BENITO CAMPO, ALBERTO (Miembro del equipo de trabajo)
  • QUEMADA VIVES, JUAN (Investigador principal (IP))
... Ver más Contraer

Ejecución: 07-03-2016 - 31-03-2019

Tipo: Nacional

Importe financiado: 288214,84 Euros.

  • iMarina

EIT Digital Master School Programmes

  • SENRA DIAZ, ARISTIDES (Participante)
  • MARTINEZ SALLES, IVAN (Participante)
  • MEZA VALDES, REBECA (Participante)
  • DEVORA QUINTERO, NATALIA (Participante)
  • LEON SERRANO, GONZALO (Investigador principal (IP))
  • JARIEGO FENTE, FRANCISCO JOSE (Participante)
  • TEJERO LOPEZ, ALBERTO (Participante)
  • ROSALES BEJARANO, JOSE LUIS (Participante)
... Ver más Contraer

Ejecución: 01-01-2017 - 31-12-2017

Tipo: Internacional

Importe financiado: 15000,00 Euros.

  • iMarina

CEF eID-FIWARE

  • QUEMADA VIVES, JUAN (Investigador principal (IP))
  • Chas Alonso, Pedro Luis (Participante)
  • Gordillo Mendez, Aldo (Participante)
  • SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Participante)
  • PAVON GOMEZ, SANTIAGO (Participante)
  • HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
  • ALONSO GONZALEZ, ALVARO (Participante)
  • PASTOR MARTIN, M. ENCARNACION (Participante)
  • VAZQUEZ GALLO, ENRIQUE (Participante)
  • BELLIDO TRIANA, LUIS (Participante)
  • BARRA ARIAS, ENRIQUE (Participante)
... Ver más Contraer

Ejecución: 01-11-2017 - 31-03-2019

Tipo: Internacional

Importe financiado: 149267,00 Euros.

  • iMarina

EducaInternet

  • LOPEZ PERNAS, SONSOLES (Investigador/a)
  • BARRA ARIAS, ENRIQUE (Investigador/a)
  • ALONSO GONZALEZ, ALVARO (Investigador/a)
  • Pavon, Santiago (Investigador/a)
  • Gordillo Mendez, Aldo (Investigador/a)
  • Huecas, Gabriel (Investigador/a)
  • Salvachua Rodriguez, Joaquin (Investigador/a)
  • QUEMADA VIVES, JUAN (Investigador principal (IP))
... Ver más Contraer

Ejecución: 18-02-2017 - 18-02-2021

  • iMarina

Micromaster for a blended Software and Service Architecture Mayor

  • ALONSO MUÑOZ, ALEJANDRO ANTONIO (Participante)
  • QUEMADA VIVES, JUAN (Investigador principal (IP))
  • HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)

Ejecución: 01-01-2018 - 31-12-2018

Tipo: Internacional

Importe financiado: 16387,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

Defensa realizada en: Universidad Politécnica de Madrid

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

Defensa realizada en: Universidad Politécnica de Madrid

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

Defensa realizada en: Universidad Politécnica de Madrid

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
Última actualización de los datos: 8/04/24 9:10