Search the dblp DataBase

Publications of Author

1. Juan Quemada, Santiago Pavón, Angel Fernández
   State Exploration by Transformation with LOLA. [Citation Graph (0, 0)][DBLP]
   Automatic Verification Methods for Finite State Systems, 1989, pp:294-302 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   COST 237 Workshop, 1996, pp:137-153 [Conf]
   
3. David Larrabeiti, Juan Quemada, Santiago Pavón
   From LOTOS to Petri Nets through Iexpansion. [Citation Graph (0, 0)][DBLP]
   FORTE, 1996, pp:485-500 [Conf]
   
4. Giovanny F. Lucero, Juan Quemada
   Specifying the ODP Trader: An Introduction to E-LOTOS. [Citation Graph (0, 0)][DBLP]
   FORTE, 1997, pp:127-142 [Conf]
   
5. Martín Llamas Nistal, Juan Quemada, Manuel J. Fernández Iglesias
   Direct Verification of Bisimulations. [Citation Graph (0, 0)][DBLP]
   FORTE, 1996, pp:349-363 [Conf]
   
6. Santiago Pavón, M. Hulström, Juan Quemada, David de Frutos-Escrig, Y. Ortega
   Inverse Expansion. [Citation Graph (0, 0)][DBLP]
   FORTE, 1991, pp:297-312 [Conf]
   
7. Juan Quemada
   Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research. [Citation Graph (0, 0)][DBLP]
   FORTE, 2004, pp:33-42 [Conf]
   
8. Juan Quemada, Arturo Azcorra, David de Frutos-Escrig
   TIC: A Timed Calculus for LOTOS. [Citation Graph (0, 0)][DBLP]
   FORTE, 1989, pp:195-209 [Conf]
   
9. Juan Quemada, David Larrabeiti, Santiago Pavón
   Compressing the State Space Representation of LOTOS Specifications. [Citation Graph (0, 0)][DBLP]
   FORTE, 1993, pp:19-34 [Conf]
   
10. Juan Quemada, Santiago Pavón, Angel Fernández
    Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:45-54 [Conf]
    
11. 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. [Citation Graph (0, 0)][DBLP]
    IWACA, 1994, pp:353-362 [Conf]
    
12. 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. [Citation Graph (0, 0)][DBLP]
    MMNS, 2000, pp:89-101 [Conf]
    
13. Germán M. Rivera, Bernd Simon, Juan Quemada, Joaquín Salvachúa
    Improving LOM-Based Interoperability of Learning Repositories. [Citation Graph (0, 0)][DBLP]
    OTM Workshops, 2004, pp:690-699 [Conf]
    
14. Angel Fernández, Carlos Miguel, Leon Vidaller, Juan Quemada
    Development of Satellite Communication Networks Based on LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1992, pp:179-192 [Conf]
    
15. David de Frutos-Escrig, Manuel Núñez, Juan Quemada
    Characterizing termination in LOTOS via testing. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:237-250 [Conf]
    
16. Juan Quemada
    Compressed State Space Representation in LOTOS with the Interleaved Expansion. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:19-35 [Conf]
    
17. Juan Quemada, Arturo Azcorra
    Structuring Protocols Using Exceptions in a LOTOS Extension. [Citation Graph (0, 0)][DBLP]
    PSTV, 1992, pp:81-96 [Conf]
    
18. Juan Quemada, Angel Fernández
    Introduction of Quantitative Relative Time into LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:105-121 [Conf]
    
19. 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. [Citation Graph (0, 0)][DBLP]
    SAINT Workshops, 2003, pp:200-203 [Conf]
    
20. 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. [Citation Graph (0, 0)][DBLP]
    WWW (Alternate Track Papers & Posters), 2004, pp:11-18 [Conf]
    
21. 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. [Citation Graph (0, 0)][DBLP]
    CollaborateCom, 2005, pp:- [Conf]
    
22. Juan Quemada
    On Tools for FDTs. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1993, v:25, n:7, pp:719-721 [Journal]
    
23. Juan Quemada, Bernd Simon
    A Use-Case Based Model for Learning Resources in Educational Mediators. [Citation Graph (0, 0)][DBLP]
    Educational Technology & Society, 2003, v:6, n:4, pp:149-163 [Journal]
    
24. Juan Quemada, David de Frutos-Escrig, Arturo Azcorra
    TIC: A TImed Calculus. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1993, v:5, n:3, pp:224-252 [Journal]
    
25. 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. [Citation Graph (0, 0)][DBLP]
    MMNS, 2007, pp:173-176 [Conf]
    
26. 
    Collaboration, Social Interaction and Social Protocols. [Citation Graph (, )][DBLP]
    
    
27. 
    VaaS: Videoconference as a service. [Citation Graph (, )][DBLP]