Quemada Vives, Juan juan.quemada@upm.es

Publications

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

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
... View more Collapse

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
... View more Collapse

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

ENHANCING K-12 SCIENCE EDUCATION THROUGH A MULTI-DEVICE WEB TOOL TO FACILITATE CONTENT INTEGRATION AND E-INFRASTRUCTURE ACCESS

  • Gordillo, A
  • Barra, E
  • Quemada, J

Inted2013 Proceedings (p. 5.432-5.440) - 4/3/2013

  • iMarina

Design, Development And Evaluation Of A Portable Recording System To Capture Dynamic Presentations Using The Teacher¿s Tablet PC

  • Gordillo Mendez, Aldo
  • BARRA ARIAS, ENRIQUE
  • SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO
  • CARRIL FUENTETAJA, ABEL
  • QUEMADA VIVES, JUAN

International Journal Of Social, Human Science And Engineering (p. 110-114) - 19/3/2014

  • iMarina

Virtual Science Hub: An Open Source Platform to Enrich Science Teaching

  • Gordillo Mendez, Aldo
  • BARRA ARIAS, ENRIQUE
  • QUEMADA VIVES, JUAN

International Journal Of Social, Human Science And Engineering (p. 104-109) - 19/3/2014

  • iMarina

'Design of an e-Learning Authoring Tool User Interface Using Mental Models: A Case Study'

  • Vázquez, I
  • Barra, E
  • Gordillo, A
  • Quemada, J

Proceedings Of The 8th International Conference Of Education, Research And Innovation (Iceri), 2015. (p. 3.532-3.538) - 18/11/2015

  • iMarina

EDUCAINTERNET: A PLATFORM TO TEACH AND LEARN SAFE AND RESPONSABLE USE OF DIGITAL TECHNOLOGIES

  • Barra, E
  • Gordillo, A
  • Blas, ME
  • Guijarro, J
  • Vázquez, I

Iceri2015 Proceedings (p. 3.539-3.545) - 18/11/2015

  • iMarina

Towards a Learning Object pedagogical quality metric based on the LORI evaluation model

  • Gordillo Mendez, Aldo
  • BARRA ARIAS, ENRIQUE
  • QUEMADA VIVES, JUAN

Proceedings - Frontiers In Education Conference, Fie (p. 3.088-3.095) - 17/2/2015

10.1109/fie.2014.7044499 View at source

  • ISSN 15394565

The usefulness of usability and user experience evaluation methods on an e-Learning platform development from a developer's perspective: A case study

  • Gordillo Mendez, Aldo
  • BARRA ARIAS, ENRIQUE
  • QUEMADA VIVES, JUAN

Proceedings - Frontiers In Education Conference, Fie (p. 2.118-2.125) - 17/2/2015

10.1109/fie.2014.7044340 View at source

  • ISSN 15394565

Facilitating the creation of interactive multi-device Learning Objects using an online authoring tool

  • Gordillo Mendez, Aldo
  • BARRA ARIAS, ENRIQUE
  • QUEMADA VIVES, JUAN

Proceedings - Frontiers In Education Conference, Fie (p. 3.072-3.079) - 17/2/2015

10.1109/fie.2014.7044497 View at source

  • ISSN 15394565

A flexible open source web platform to facilitate Learning Object evaluation

  • Gordillo Mendez, Aldo
  • BARRA ARIAS, ENRIQUE
  • QUEMADA VIVES, JUAN

Proceedings - Frontiers In Education Conference, Fie (p. 3.080-3.087) - 17/2/2015

10.1109/fie.2014.7044498 View at source

  • ISSN 15394565

Enhancing web-based learning resources with quizzes through an authoring tool and an audience response system

  • Gordillo Mendez, Aldo
  • BARRA ARIAS, ENRIQUE
  • QUEMADA VIVES, JUAN

Proceedings - Frontiers In Education Conference, Fie (p. 1.126-1.233) - 17/2/2015

10.1109/fie.2014.7044188 View at source

  • ISSN 15394565

This researcher has no working papers.

This researcher has no technical reports.

ProLEARN: Network of Excellence Professional Learning

  • QUEMADA VIVES, JUAN (Investigador principal (IP))

Period: 01-01-2004 - 31-12-2007

Type of funding: International

  • iMarina

E-NEXT: Emerging Networking Experiments and Technologies

  • Arturo Azcorra Saloña (Investigador principal (IP))
  • SOTO CAMPOS, IGNACIO (Investigador/a)

Period: 01-01-2004 - 30-06-2006

Type of funding: International

Amount of funding: 437607,21 Euros.

  • iMarina

iCamp: Intercultural Learning Campus

  • QUEMADA VIVES, JUAN (Investigador principal (IP))

Period: 01-10-2005 - 31-12-2008

Type of funding: International

  • iMarina

Aplicaciones emegentes para internet de nueva generación

  • GARCIA HEMADO, ANA BELEN (Investigador principal (IP))
  • González Vidal, Francisco (Participante)
  • Villagrá González, Victor Abraham (Participante)
  • VAZQUEZ GALLO, ENRIQUE (Participante)
  • PASTOR MARTIN, M. ENCARNACION (Participante)
  • ABEYTUA GARCÍA, VÍCTOR (Participante)
  • FERNANDEZ CAMBRONERO, DAVID (Participante)
  • BELLIDO TRIANA, LUIS (Participante)
  • ALVAREZ-CAMPANA FDEZ.-CORREDOR, MANUEL (Participante)
  • LÓPEZ BERZOSA, DAVID (Participante)
  • Berrocal Colmenarejo, Julio José (Investigador principal (IP))
... View more Collapse

Period: 01-12-2005 - 01-01-2010

Type of funding: Regional

  • iMarina

BrainBridges: Collaborative technologies and environments enhancing the seamless creativity process leveraging the full European potential

  • QUEMADA VIVES, JUAN (Investigador principal (IP))

Period: 15-02-2005 - 15-08-2006

Type of funding: International

  • iMarina

IST-EC 2: Canada-Europe Collaboration in IST Research & Technology Development

  • QUEMADA VIVES, JUAN (Investigador principal (IP))

Period: 01-04-2005 - 30-06-2007

Type of funding: International

  • iMarina

BASE2: Broadband access satellite enabled education

  • QUEMADA VIVES, JUAN (Investigador principal (IP))

Period: 01-08-2005 - 31-08-2008

Type of funding: International

  • iMarina

ECOSPACE: eProfessional Collaboration Space

  • QUEMADA VIVES, JUAN (Investigador principal (IP))
  • MAÑAS ARGEMI, JOSE ANTONIO (Participante)
  • ALONSO MUÑOZ, ALEJANDRO ANTONIO (Participante)
  • ALVAREZ-CAMPANA FDEZ.-CORREDOR, MANUEL (Participante)
  • ROBLES VALLADARES, TOMAS ENRIQUE (Participante)
  • HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
  • PASTOR MARTIN, M. ENCARNACION (Participante)
  • CORTES SACK, MONICA (Participante)
... View more Collapse

Period: 01-05-2006 - 30-10-2009

Type of funding: International

  • iMarina

ITECBAN: Infraestructura Tecnológica y Metodológica de Soporte para un Core Bancario

  • Suarez Gonzalez, Alberto (Investigador principal (IP))

Period: 01-05-2006 - 30-04-2009

Type of funding: National

  • iMarina

C@R: Collaboration@Rural: A collaborative platform for working and living in rural areas

  • QUEMADA VIVES, JUAN (Investigador principal (IP))
  • ROBLES VALLADARES, TOMAS ENRIQUE (Participante)
  • SALVACHUA RODRIGUEZ, JOAQUIN LUCIANO (Participante)
  • HUECAS FERNANDEZ-TORIBIO, GABRIEL (Participante)
  • FERNANDEZ CAMBRONERO, DAVID (Participante)
  • CORTES SACK, MONICA (Participante)
  • MAÑAS ARGEMI, JOSE ANTONIO (Participante)
  • MOZO VELASCO, BONIFACIO ALBERTO (Participante)
  • PASTOR MARTIN, M. ENCARNACION (Participante)
  • PAVON GOMEZ, SANTIAGO (Participante)
  • ALVAREZ-CAMPANA FDEZ.-CORREDOR, MANUEL (Participante)
... View more Collapse

Period: 01-09-2006 - 30-04-2010

Type of funding: International

  • 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

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

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

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
Last data update: 4/8/24 9:10 AM