RDF/XML JSON-LD N3/Turtle RDF/JSON
Perfil en el portal institucional

Quemada Vives, Juan juan.quemada@upm.es

INGENIERÍA DE SISTEMAS TELEMÁTICOS / Universidad Politécnica de Madrid

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.

ProLEARN: Network of Excellence Professional Learning

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

Ejecución: 01-01-2004 - 31-12-2007

Tipo: Internacional

  • iMarina

E-NEXT: Emerging Networking Experiments and Technologies

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

Ejecución: 01-01-2004 - 30-06-2006

Tipo: Internacional

Importe financiado: 437607,21 Euros.

  • iMarina

iCamp: Intercultural Learning Campus

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

Ejecución: 01-10-2005 - 31-12-2008

Tipo: Internacional

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

Ejecución: 01-12-2005 - 01-01-2010

Tipo: Regional

  • iMarina

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

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

Ejecución: 15-02-2005 - 15-08-2006

Tipo: Internacional

  • iMarina

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

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

Ejecución: 01-04-2005 - 30-06-2007

Tipo: Internacional

  • iMarina

BASE2: Broadband access satellite enabled education

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

Ejecución: 01-08-2005 - 31-08-2008

Tipo: Internacional

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

Ejecución: 01-05-2006 - 30-10-2009

Tipo: Internacional

  • iMarina

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

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

Ejecución: 01-05-2006 - 30-04-2009

Tipo: Nacional

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

Ejecución: 01-09-2006 - 30-04-2010

Tipo: Internacional

  • 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