Juan Quemada

2007
26	EE	J. L. García-Dorado, Javier Aracil, José Alberto Hernández, Sergio López-Buedo, Jorge E. López de Vergara, P. Reviriego, Gabriel Huecas, Santiago Pavón, Juan Quemada: A Quality of Service Assessment Technique for Large-Scale Management of Multimedia Flows. MMNS 2007: 173-176
2005
25	EE	Juan Quemada, Tomás de Miguel, Santiago Pavón, Gabriel Huecas, Tomás Robles, Joaquín Salvachúa, Diego Andres Acosta Ortiz, Vicente Sirvent, Fernando Escribano, Javier Sedano: Isabel: an application for real time collaboration with a flexible floor control. CollaborateCom 2005
2004
24	EE	Juan Quemada: Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research. FORTE 2004: 33-42
23	EE	Germán M. Rivera, Bernd Simon, Juan Quemada, Joaquín Salvachúa: Improving LOM-Based Interoperability of Learning Repositories. OTM Workshops 2004: 690-699
22	EE	Juan Quemada, Gabriel Huecas, Tomás de Miguel, Joaquín Salvachúa, Blanca Fernandez, Bernd Simon, Katherine Maillet, Efiie Lai-Cong: Educanext: a framework for sharing live educational resources with isabel. WWW (Alternate Track Papers & Posters) 2004: 11-18
2003
21	EE	Juan Quemada, Tomás de Miguel, Eva M. Castro, Santiago Pavón, Gabriel Huecas, Tomás Robles, Joaquín Salvachúa, Elena Apolinario, Javier Sedano, María José Perea: Isabel Distribution of the Madrid Global IPv6 Summit 2002. SAINT Workshops 2003: 200-203
20	EE	Juan Quemada, Bernd Simon: A Use-Case Based Model for Learning Resources in Educational Mediators. Educational Technology & Society 6(4): 149-163 (2003)
2000
19		Tomás Robles, Héctor L. Velayos Munoz, Juan Quemada, Tomás de Miguel, Santiago Pavón, Joaquín Salvachúa, Gabriel Huecas, Eva M. Castro, Manuel Petit: Managing Distributed Conferences with ISABEL. MMNS 2000: 89-101
1997
18		Giovanny F. Lucero, Juan Quemada: Specifying the ODP Trader: An Introduction to E-LOTOS. FORTE 1997: 127-142
1996
17		Juan Quemada, Tomás de Miguel, Arturo Azcorra, Santiago Pavón, Joaquín Salvachúa, Manuel Petit, David Larrabeiti, Tomás Robles, Gabriel Huecas: ISABEL: A CSCW Application for the Distribution of Events. COST 237 Workshop 1996: 137-153
16		Martín Llamas Nistal, Juan Quemada, Manuel J. Fernández Iglesias: Direct Verification of Bisimulations. FORTE 1996: 349-363
15		David Larrabeiti, Juan Quemada, Santiago Pavón: From LOTOS to Petri Nets through Iexpansion. FORTE 1996: 485-500
1995
14		David de Frutos-Escrig, Manuel Núñez, Juan Quemada: Characterizing termination in LOTOS via testing. PSTV 1995: 237-250
1994
13		Tomás de Miguel, Santiago Pavón, Joaquín Salvachúa, Juan Quemada, Pedro Luis Chas Alonso, Javier Fernandez-Amigo, Carlos M. Acuña, Lidia Rodriguez Yamamoto, Vasco Lagarto, Joao Vastos: ISABEL - Experiment Distributed Cooperative Work Application over Broadband Networks. IWACA 1994: 353-362
1993
12		Juan Quemada, David Larrabeiti, Santiago Pavón: Compressing the State Space Representation of LOTOS Specifications. FORTE 1993: 19-34
11		Juan Quemada: On Tools for FDTs. Computer Networks and ISDN Systems 25(7): 719-721 (1993)
10		Juan Quemada, David de Frutos-Escrig, Arturo Azcorra: TIC: A TImed Calculus. Formal Asp. Comput. 5(3): 224-252 (1993)
1992
9		Angel Fernández, Carlos Miguel, Leon Vidaller, Juan Quemada: Development of Satellite Communication Networks Based on LOTOS. PSTV 1992: 179-192
8		Juan Quemada, Arturo Azcorra: Structuring Protocols Using Exceptions in a LOTOS Extension. PSTV 1992: 81-96
1991
7		Juan Quemada, José A. Mañas, Enrique Vázquez: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990 North-Holland 1991
6		Santiago Pavón, M. Hulström, Juan Quemada, David de Frutos-Escrig, Y. Ortega: Inverse Expansion. FORTE 1991: 297-312
5		Juan Quemada: Compressed State Space Representation in LOTOS with the Interleaved Expansion. PSTV 1991: 19-35
1989
4		Juan Quemada, Santiago Pavón, Angel Fernández: State Exploration by Transformation with LOLA. Automatic Verification Methods for Finite State Systems 1989: 294-302
3		Juan Quemada, Arturo Azcorra, David de Frutos-Escrig: TIC: A Timed Calculus for LOTOS. FORTE 1989: 195-209
1988
2		Juan Quemada, Santiago Pavón, Angel Fernández: Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. FORTE 1988: 45-54
1987
1		Juan Quemada, Angel Fernández: Introduction of Quantitative Relative Time into LOTOS. PSTV 1987: 105-121

Coauthor Index

1	Carlos M. Acuña	[13]
2	Pedro Luis Chas Alonso	[13]
3	Elena Apolinario	[21]
4	Javier Aracil	[26]
5	Arturo Azcorra	[3] [8] [10] [17]
6	Eva M. Castro	[19] [21]
7	Fernando Escribano	[25]
8	Angel Fernández	[1] [2] [4] [9]
9	Blanca Fernandez	[22]
10	Javier Fernandez-Amigo	[13]
11	David de Frutos-Escrig	[3] [6] [10] [14]
12	J. L. García-Dorado	[26]
13	José Alberto Hernández	[26]
14	Gabriel Huecas	[17] [19] [21] [22] [25] [26]
15	M. Hulström	[6]
16	Manuel J. Fernández Iglesias	[16]
17	Vasco Lagarto	[13]
18	Efiie Lai-Cong	[22]
19	David Larrabeiti	[12] [15] [17]
20	Sergio López-Buedo	[26]
21	Giovanny F. Lucero	[18]
22	Katherine Maillet	[22]
23	José A. Mañas	[7]
24	Carlos Miguel	[9]
25	Tomás de Miguel	[13] [17] [19] [21] [22] [25]
26	Héctor L. Velayos Munoz	[19]
27	Martín Llamas Nistal	[16]
28	Manuel Núñez	[14]
29	Y. Ortega	[6]
30	Diego Andres Acosta Ortiz	[25]
31	Santiago Pavón	[2] [4] [6] [12] [13] [15] [17] [19] [21] [25] [26]
32	María José Perea	[21]
33	Manuel Petit	[17] [19]
34	P. Reviriego	[26]
35	Germán M. Rivera	[23]
36	Tomás Robles	[17] [19] [21] [25]
37	Joaquín Salvachúa	[13] [17] [19] [21] [22] [23] [25]
38	Javier Sedano	[21] [25]
39	Bernd Simon	[20] [22] [23]
40	Vicente Sirvent	[25]
41	Joao Vastos	[13]
42	Enrique Vázquez	[7]
43	Jorge E. López de Vergara	[26]
44	Leon Vidaller	[9]
45	Lidia Rodriguez Yamamoto	[13]

Colors in the list of coauthors