Carlos Delgado Kloos

	2009
61		Luis de la Fuente Valentín, Abelardo Pardo, Carlos Delgado Kloos: Using Third Party Services to Adapt Learning Material: A Case Study with Google Forms. EC-TEL 2009: 744-750
60		Sergio Gutiérrez Santos, Mario Muñoz Organero, Abelardo Pardo, Carlos Delgado Kloos: Context-Aware Combination of Adapted User Profiles for Interchange of Knowledge between Peers. EC-TEL 2009: 782-787
59		Pedro J. Muñoz Merino, Carlos Delgado Kloos, Jesús Fernández Naranjo: Enabling interoperability for LMS educational services. Computer Standards & Interfaces 31(2): 484-498 (2009)
	2008
58		Pilar Prieto Linillos, Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: Guaranteeing the Correctness of an Adaptive Tutoring System. AH 2008: 329-332
57		Luis de la Fuente Valentín, Yongwu Miao, Abelardo Pardo, Carlos Delgado Kloos: A Supporting Architecture for Generic Service Integration in IMS Learning Design. EC-TEL 2008: 467-473
56		Luis de la Fuente Valentín, Abelardo Pardo, Carlos Delgado Kloos: Change is Good. Improving Learning Design Flexibility at Run-Time. ICALT 2008: 1048-1050
55		Pedro J. Muñoz Merino, Carlos Delgado Kloos: Authoring of Educational Resources for Semantic Web Applications. ICALT 2008: 236-237
54		Luis de la Fuente Valentín, Abelardo Pardo, Carlos Delgado Kloos, Juan I. Asensio-Pérez, Yannis A. Dimitriadis: Collaborative Learning Models on Distance Scenarios with Learning Design: A Case Study. ICALT 2008: 278-282
53		Gustavo Ramírez González, Mario Muñoz Organero, Carlos Delgado Kloos: Early Infrastructure of an Internet of Things in Spaces for Learning. ICALT 2008: 381-383
52		Raquel M. Crespo García, Carlos Delgado Kloos: Web Usage Mining in a Blended Learning Context: A Case Study. ICALT 2008: 982-984
51		Pedro J. Muñoz Merino, Carlos Delgado Kloos: An Architecture for Combining Semantic Web Techniques with Intelligent Tutoring Systems. Intelligent Tutoring Systems 2008: 540-550
50		Gustavo Ramírez González, Mario Muñoz Organero, Carlos Delgado Kloos: Exploring Touching Learning Environments. Learning to Live in the Knowledge Society 2008: 93-96
49		Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: Authoring Courses with Rich Adaptive Sequencing for IMS Learning Design. J. UCS 14(17): 2819-2839 (2008)
	2007
48		Sergio Gutiérrez Santos, Grégory Valigiani, Pierre Collet, Carlos Delgado Kloos: Adaptation of the ACO Heuristic for Sequencing Learning Activities. EC-TEL (Posters) 2007
47		Sergio Gutiérrez Santos, Grégory Valigiani, Yannick Jamont, Pierre Collet, Carlos Delgado Kloos: A Swarm Approach for Automatic Auditing of Pedagogical Planning. ICALT 2007: 136-138
46		Vicente Luque Centeno, Carlos Delgado Kloos, José M. Blázquez del Toro, Martin Gaedke: Web Accessibility Evaluation Via XSLT. WISE Workshops 2007: 459-469
	2006
45		Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: Some Ideas for a Collaborative Search of the Optimal Learning Path. AH 2006: 430-434
44		Pilar Prieto Linillos, Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: Sequencing Parametric Exercises for an Operating System Course. AIAI 2006: 450-458
43		Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: A Modular Architecture for Intelligent Web Resource Based Tutoring Systems. Intelligent Tutoring Systems 2006: 753-755
42		Raquel M. Crespo García, Abelardo Pardo, Carlos Delgado Kloos: Adaptive Peer Review Based on Student Profiles. Intelligent Tutoring Systems 2006: 781-783
41		Pedro J. Muñoz Merino, Alberto García-Martínez, Mario Muñoz Organero, Carlos Delgado Kloos: Enabling Practical IPsec Authentication for the Internet. OTM Workshops (1) 2006: 392-403
40		Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez: Web Accessibility Evaluation Tools: A Survey and Some Improvements. Electr. Notes Theor. Comput. Sci. 157(2): 87-100 (2006)
39		Mario Muñoz Organero, Carlos Delgado Kloos: Desarrollo de un sistema ARS para enseñanza on-line. IEEE-RITA 1(1): 11-18 (2006)
	2005
38		Liliana P. Santacruz-Valencia, Antonio Navarro, Ignacio Aedo, Carlos Delgado Kloos: An Ontology-Based Mechanism for Assembling Learning Objects. AICT/SAPIR/ELETE 2005: 472-477
37		Marisol García-Valls, Iria Estévez-Ayres, Pablo Basanta-Val, Carlos Delgado Kloos: CoSeRT: A Framework for Composing Service-Based Real-Time Applications. Business Process Management Workshops 2005: 329-341
36		Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer: WCAG Formalization with W3C Techniques. ICWE 2005: 615-617
35		Raquel M. Crespo García, Abelardo Pardo, Juan Pedro Somolinos Pérez, Carlos Delgado Kloos: An Algorithm for Peer Review Matching Using Student Profiles Based on Fuzzy Classification and Genetic Algorithms. IEA/AIE 2005: 685-694
34		Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos: Applying model checking to BPEL4WS business collaborations. SAC 2005: 826-830
33		Abelardo Pardo, Carlos Delgado Kloos: Deploying interactive e-labs for a course on operating systems. SIGITE Conference 2005: 71-78
32		Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer: Web composition with WCAG in mind. W4A 2005: 38-45
31		Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez: Web Accessibility Evaluation Tools: a survey and some improvements. WWV 2005: 83-95
30		Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer: WCAG formalization with W3C standards. WWW (Special interest tracks and posters) 2005: 1146-1147
	2004
29		Carlos Delgado Kloos, Abelardo Pardo: EDUTECH, Computer-Aided Design Meets Computer-Aided Learning, IFIP 18th World Computer Congress, TC10 / WG10.5 EduTech Workshop, 22-27 August 2004, Toulouse, France Kluwer 2004
28		Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: An Adaptive Tutoring System Based on Hierarchical Graphs. AH 2004: 401-404
27		Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández, Norberto Fernández García: Intelligent Automated Navigation through the Deep Web. AWIC 2004: 125-134
26		Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos: Formal Verification of BPEL4WS Business Collaborations. EC-Web 2004: 76-85
25		Carlos Delgado Kloos, Abelardo Pardo, Pedro J. Muñoz Merino, N. Pérez Pérez: A Type-Based Taxonomy of Items in Assessments. EDUTECH 2004: 39-48
24		Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández, Norberto Fernández García: MSC-Based Formalism for Automated Web Navigation. ICWE 2004: 591-592
23		Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández, Norberto Fernández García: Web task automation: a standards-based proposal. Int. J. Web Eng. Technol. 1(3): 374-391 (2004)
	2003
22		Vicente Luque Centeno, Carlos Delgado Kloos, Peter T. Breuer, Luis Sánchez Fernández, Ma. Eugenia Gonzalo Cabellos, Juan Antonio Herráiz Pérez: Automation of the Deep Web with User Defined Behaviours. AWIC 2003: 339-348
21		Liliana P. Santacruz-Valencia, Ignacio Aedo, Carlos Delgado Kloos: Designing Le@rning Objects with the ELO-Tool. ICALT 2003: 372-373
20		Vicente Luque Centeno, Luis Sánchez Fernández, Carlos Delgado Kloos, Peter T. Breuer, Fernando Paniagua Martín: Building Wrapper Agents for the Deep Web. ICWE 2003: 58-67
19		Vicente Luque Centeno, Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos, Juan Antonio Herráiz Pérez: MSC-based Language for Specifying Automated Web Clients. ISCC 2003: 407-412
18		Carlos Delgado Kloos, Arturo Azorra Soloña: Telematics: A Distinctive Discipline. SNPD 2003: 421-423
	2002
17		Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández: Higher Order Applicative XML Documents. RISSEF 2002: 91-107
	2001
16		Celeste Campo, Andrés Marín López, Arturo García, Ignacio Díaz, Peter T. Breuer, Carlos Delgado Kloos, Carlos García: JCCM: Flexible Certificates for Smartcards with Java Card. E-smart 2001: 34-42
	1999
15		Peter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, Carlos Delgado Kloos: Reasoning about VHDL and VHDL-AMS using Denotational Semantics. DATE 1999: 346-352
14		M. Carmen Fernández Panadero, Andrés Marín López, Carlos Delgado Kloos, Carlos García-Rubio, Vicente Luque Centeno, Luis Sánchez Fernández, Tony Hernandez: Mass-Customizing Electronic Journals. ELPUB 1999
	1998
13		Peter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos: The Computational Description of Analogue System Behaviour. Prospects for Hardware Foundations 1998: 309-332
	1997
12		Natividad Martínez Madrid, Peter T. Breuer, Carlos Delgado Kloos: A semantic model for VHDL-AMS. CHARME 1997: 106-123
11		Peter T. Breuer, Carlos Delgado Kloos, Andrés Marín López, Natividad Martínez Madrid, Luis Sánchez Fernández: A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL. ACM Trans. Program. Lang. Syst. 19(4): 585-616 (1997)
	1996
10		Carlos Carreras, Juan Carlos López, María Luisa López, Luis Sánchez, Carlos Delgado Kloos, Natividad Martínez Madrid: A Co-Design Methodology Based on Formal Specification and High-level Estimation. CODES 1996: 28-35
	1995
9		Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos: A Simple Denotational Semantics, Proof Theory and a Validation Condition Generator for Unit-Delay VHDL. Formal Methods in System Design 7(1/2): 27-51 (1995)
	1994
8		Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos: Clean formal semantics for VHDL. EDAC-ETC-EUROASIC 1994: 641-647
7		Luis Sánchez Fernández, Peter T. Breuer, Carlos Delgado Kloos: Proof theory and a validation condition generator for VHDL. EURO-DAC 1994: 512-517
6		Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos: Proving Hardware Designs. ICLP 1994: 745
	1993
5		Carlos Delgado Kloos, T. de Miguel Moro, T. Robles Valladares, G. Rabay Filho, Andrés Marín López: VHDL generation from a timed extension of the formal description technique LOTOS within the FORMAT project. Microprocessing and Microprogramming 38(1-5): 589-596 (1993)
	1991
4		Carlos Delgado Kloos, Walter Dosch: Transformational Development of Circuit Descriptions for Binary Adders. Methods of Programming 1991: 217-237
	1989
3		Gonzalo León, Carlos Delgado Kloos, G. González, M. A. Ruz, Saturnino Marchena Rodriguez, L. Santos, J. Navarro: ASDE: Design of a Transformational Environment for LOTOS. FORTE 1989: 501-515
	1987
2		Carlos Delgado Kloos: Semantics of Digital Circuits Springer 1987
1		Carlos Delgado Kloos: STREAM: A Scheme Language for Formally Describing Digital Circuits. PARLE (2) 1987: 333-350

Coauthor Index

1	Ignacio Aedo	[21] [38]
2	Luis Álvarez Álvarez	[31] [40]
3	Jesús Arias-Fisteus	[26] [31] [34] [40]
4	Juan I. Asensio-Pérez	[54]
5	Pablo Basanta-Val	[37]
6	Jonathan P. Bowen	[15]
7	Peter T. Breuer	[6] [7] [8] [9] [11] [12] [13] [15] [16] [17] [19] [20] [22]
8	Ma. Eugenia Gonzalo Cabellos	[22]
9	Celeste Campo	[16]
10	Carlos Carreras	[10]
11	Vicente Luque Centeno	[14] [17] [19] [20] [22] [23] [24] [27] [30] [31] [32] [36] [40] [46]
12	Pierre Collet	[47] [48]
13	Ignacio Díaz	[16]
14	Yannis A. Dimitriadis	[54]
15	Walter Dosch	[4]
16	Iria Estévez-Ayres	[37]
17	Luis Sánchez Fernández	[7] [8] [9] [11] [14] [17] [19] [20] [22] [23] [24] [26] [27] [34]
18	G. Rabay Filho	[5]
19	Robert B. France	[15]
20	Martin Gaedke	[30] [32] [36] [46]
21	Arturo García	[16]
22	Carlos García	[16]
23	Norberto Fernández García	[23] [24] [27]
24	Raquel M. Crespo García	[35] [42] [52]
25	Alberto García-Martínez	[41]
26	Carlos García-Rubio	[14]
27	Marisol García-Valls	[37]
28	G. González	[3]
29	Gustavo Ramírez González	[50] [53]
30	Tony Hernandez	[14]
31	Yannick Jamont	[47]
32	María M. Larrondo-Petrie (Maria M. Larrondo-Petrie)	[15]
33	Gonzalo León	[3]
34	Pilar Prieto Linillos	[44] [58]
35	Andrés Marín López	[5] [11] [14] [16]
36	Juan Carlos López	[10]
37	María Luisa López	[10]
38	Natividad Martínez Madrid	[10] [11] [12] [13] [15]
39	Fernando Paniagua Martín	[20]
40	Pedro J. Muñoz Merino	[25] [41] [51] [55] [59]
41	Yongwu Miao	[57]
42	T. de Miguel Moro	[5]
43	Jesús Fernández Naranjo	[59]
44	Antonio Navarro	[38]
45	J. Navarro	[3]
46	Martin Nussbaumer	[30] [32] [36]
47	Mario Muñoz Organero	[39] [41] [50] [53] [60]
48	M. Carmen Fernández Panadero	[14]
49	Abelardo Pardo	[25] [28] [29] [33] [35] [42] [43] [44] [45] [49] [54] [56] [57] [58] [60] [61]
50	Juan Antonio Herráiz Pérez	[19] [22]
51	Juan Pedro Somolinos Pérez	[35]
52	N. Pérez Pérez	[25]
53	Saturnino Marchena Rodriguez	[3]
54	M. A. Ruz	[3]
55	Luis Sánchez	[6] [10]
56	Liliana P. Santacruz-Valencia	[21] [38]
57	L. Santos	[3]
58	Sergio Gutiérrez Santos	[28] [43] [44] [45] [47] [48] [49] [58] [60]
59	Arturo Azorra Soloña	[18]
60	José M. Blázquez del Toro	[46]
61	Luis de la Fuente Valentín	[54] [56] [57] [61]
62	Grégory Valigiani	[47] [48]
63	T. Robles Valladares	[5]

Colors in the list of coauthors