Miguel J. Hornos

	2009
13		Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera: Towards Compositional Verification in MEDISTAM-RT Methodological Framework. IWANN (2) 2009: 211-218
	2007
12		Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez: Architecture for Developing Adaptive and Adaptable Collaborative Applications. ECSA 2007: 271-274
11		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		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		Mario Anzures-García, Patricia Paderewski, Miguel J. Hornos: SOA-based Generic Architecture for CSCW Systems. ICUC 2006
7		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		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		Miguel J. Hornos, Manuel I. Capel: On-the-fly model checking from interval logic specifications. SIGPLAN Notices 37(12): 108-119 (2002)
	2001
2		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	Kawtar Benghazi Akhlaki	[13]
3	Mario Anzures-García	[7] [8] [10] [12]
4	Francisco Araque	[9]
5	Roberto F. Arroyo	[11]
6	Manuel I. Capel (Manuel I. Capel Tuñón)	[1] [2] [3]
7	José Luis Garrido	[6]
8	María Visitación Hurtado	[9]
9	Rosana Montes	[9] [11]
10	Manuel Noguera	[6] [13]
11	Patricia Paderewski (Patricia Paderewski-Rodríguez)	[6] [7] [8] [10] [12]
12	María Luisa Rodríguez-Almendros	[6]
13	Luz A. Sánchez-Gálvez	[10]