The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Miguel J. Hornos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002