Miguel J. Hornos

2007
12	EE	Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez: Architecture for Developing Adaptive and Adaptable Collaborative Applications. ECSA 2007: 271-274
11	EE	Roberto F. Arroyo, Miguel J. Hornos, Rosana Montes: Evolution of the Design and Implementation of Tutor: A Web-Based Educational System for University Courses. EUROCAST 2007: 352-359
10	EE	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. EUROCAST 2007: 57-64
2006
9		María M. Abad-Grau, Francisco Araque, Rosana Montes, María Visitación Hurtado, Miguel J. Hornos: Web Knowledge Management for Small and Medium-Size Enterprises - WebTour: A Case Study from the Tourism Sector. ICEIS (1) 2006: 239-244
8	EE	Mario Anzures-García, Patricia Paderewski, Miguel J. Hornos: SOA-based Generic Architecture for CSCW Systems. ICUC 2006
7	EE	Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez: Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture. RISE 2006: 66-80
2005
6		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. Software Engineering Research and Practice 2005: 59-65
2004
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. VVEIS 2004: 26-33
4	EE	Miguel J. Hornos: FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking. J. UCS 10(11): 1498-1518 (2004)
2002
3	EE	Miguel J. Hornos, Manuel I. Capel: On-the-fly model checking from interval logic specifications. SIGPLAN Notices 37(12): 108-119 (2002)
2001
2	EE	Miguel J. Hornos, Manuel I. Capel: Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic. ACSD 2001: 221-230
1		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. JISBD 2001: 375-390

Coauthor Index

1	María M. Abad-Grau	[9]
2	Mario Anzures-García	[7] [8] [10] [12]
3	Francisco Araque	[9]
4	Roberto F. Arroyo	[11]
5	Manuel I. Capel (Manuel I. Capel Tuñón)	[1] [2] [3]
6	José Luis Garrido	[6]
7	María Visitación Hurtado	[9]
8	Rosana Montes	[9] [11]
9	Manuel Noguera	[6]
10	Patricia Paderewski (Patricia Paderewski-Rodríguez)	[6] [7] [8] [10] [12]
11	María Luisa Rodríguez-Almendros	[6]
12	Luz A. Sánchez-Gálvez	[10]

Colors in the list of coauthors