Search the dblp DataBase

Publications of Author

1. Miguel J. Hornos, Manuel I. Capel
   Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic. [Citation Graph (0, 0)][DBLP]
   ACSD, 2001, pp:221-230 [Conf]
   
2. María M. Abad-Grau, Francisco Araque, Rosana Montes, M. Visitación Hurtado, Miguel J. Hornos
   Web Knowledge Management for Small and Medium-Size Enterprises - WebTour: A Case Study from the Tourism Sector. [Citation Graph (0, 0)][DBLP]
   ICEIS (1), 2006, pp:239-244 [Conf]
   
3. Miguel J. Hornos, Manuel I. Capel
   Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos. [Citation Graph (0, 0)][DBLP]
   JISBD, 2001, pp:375-390 [Conf]
   
4. José Luis Garrido, Patricia Paderewski, María Luisa Rodríguez-Almendros, Miguel J. Hornos, Manuel Noguera
   A Software Architecture Intended to Design High Quality Groupware Applications. [Citation Graph (0, 0)][DBLP]
   Software Engineering Research and Practice, 2005, pp:59-65 [Conf]
   
5. Miguel J. Hornos
   Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata. [Citation Graph (0, 0)][DBLP]
   VVEIS, 2004, pp:26-33 [Conf]
   
6. Miguel J. Hornos
   FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:11, pp:1498-1518 [Journal]
   
7. Miguel J. Hornos, Manuel I. Capel
   On-the-fly model checking from interval logic specifications. [Citation Graph (0, 0)][DBLP]
   SIGPLAN Notices, 2002, v:37, n:12, pp:108-119 [Journal]
   
8. Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez
   Ontology-Based Modelling of Session Management Policies for Groupware Applications. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 2007, pp:57-64 [Conf]
   
9. Roberto F. Arroyo, Miguel J. Hornos, Rosana Montes
   Evolution of the Design and Implementation of Tutor: A Web-Based Educational System for University Courses. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 2007, pp:352-359 [Conf]
   
10. Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez
    Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture. [Citation Graph (0, 0)][DBLP]
    RISE, 2006, pp:66-80 [Conf]
    
11. Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez
    Architecture for Developing Adaptive and Adaptable Collaborative Applications. [Citation Graph (0, 0)][DBLP]
    ECSA, 2007, pp:271-274 [Conf]
    
12. 
    Towards Compositional Verification in MEDISTAM-RT Methodological Framework. [Citation Graph (, )][DBLP]
    
    
13. 
    SOA-based Generic Architecture for CSCW Systems. [Citation Graph (, )][DBLP]