Carlos Delgado Kloos

2008
57	EE	Pilar Prieto Linillos, Sergio Gutiérrez, Abelardo Pardo, Carlos Delgado Kloos: Guaranteeing the Correctness of an Adaptive Tutoring System. AH 2008: 329-332
56	EE	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
55	EE	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
54	EE	Pedro J. Muñoz Merino, Carlos Delgado Kloos: Authoring of Educational Resources for Semantic Web Applications. ICALT 2008: 236-237
53	EE	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
52	EE	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
51	EE	Raquel M. Crespo García, Carlos Delgado Kloos: Web Usage Mining in a Blended Learning Context: A Case Study. ICALT 2008: 982-984
50	EE	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
49	EE	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
48		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
47	EE	Sergio Gutiérrez, Grégory Valigiani, Pierre Collet, Carlos Delgado Kloos: Adaptation of the ACO Heuristic for Sequencing Learning Activities. EC-TEL (Posters) 2007
46	EE	Sergio Gutiérrez, Grégory Valigiani, Yannick Jamont, Pierre Collet, Carlos Delgado Kloos: A Swarm Approach for Automatic Auditing of Pedagogical Planning. ICALT 2007: 136-138
45	EE	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
44	EE	Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: Some Ideas for a Collaborative Search of the Optimal Learning Path. AH 2006: 430-434
43	EE	Pilar Prieto Linillos, Sergio Gutiérrez, Abelardo Pardo, Carlos Delgado Kloos: Sequencing Parametric Exercises for an Operating System Course. AIAI 2006: 450-458
42	EE	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
41	EE	Raquel M. Crespo García, Abelardo Pardo, Carlos Delgado Kloos: Adaptive Peer Review Based on Student Profiles. Intelligent Tutoring Systems 2006: 781-783
40	EE	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
39	EE	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)
38	EE	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
37	EE	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
36	EE	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
35	EE	Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer: WCAG Formalization with W3C Techniques. ICWE 2005: 615-617
34	EE	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
33	EE	Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos: Applying model checking to BPEL4WS business collaborations. SAC 2005: 826-830
32	EE	Abelardo Pardo, Carlos Delgado Kloos: Deploying interactive e-labs for a course on operating systems. SIGITE Conference 2005: 71-78
31	EE	Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer: Web composition with WCAG in mind. W4A 2005: 38-45
30		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
29	EE	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
28		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
27	EE	Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: An Adaptive Tutoring System Based on Hierarchical Graphs. AH 2004: 401-404
26	EE	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
25	EE	Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos: Formal Verification of BPEL4WS Business Collaborations. EC-Web 2004: 76-85
24		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
23	EE	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
22		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
21	EE	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
20	EE	Liliana P. Santacruz-Valencia, Ignacio Aedo, Carlos Delgado Kloos: Designing Le@rning Objects with the ELO-Tool. ICALT 2003: 372-373
19	EE	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
18	EE	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
17		Carlos Delgado Kloos, Arturo Azorra Soloña: Telematics: A Distinctive Discipline. SNPD 2003: 421-423
2002
16	EE	Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández: Higher Order Applicative XML Documents. RISSEF 2002: 91-107
2001
15	EE	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
14	EE	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
13	EE	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
12	EE	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
11		Natividad Martínez Madrid, Peter T. Breuer, Carlos Delgado Kloos: A semantic model for VHDL-AMS. CHARME 1997: 106-123
10	EE	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
9	EE	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
8		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
7		Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos: Clean formal semantics for VHDL. EDAC-ETC-EUROASIC 1994: 641-647
6	EE	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
5		Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos: Proving Hardware Designs. ICLP 1994: 745
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	[20] [37]
2	Luis Álvarez Álvarez	[30] [39]
3	Jesús Arias-Fisteus	[25] [30] [33] [39]
4	Juan I. Asensio-Pérez	[53]
5	Pablo Basanta-Val	[36]
6	Jonathan P. Bowen	[14]
7	Peter T. Breuer	[5] [6] [7] [8] [10] [11] [12] [14] [15] [16] [18] [19] [21]
8	Ma. Eugenia Gonzalo Cabellos	[21]
9	Celeste Campo	[15]
10	Carlos Carreras	[9]
11	Vicente Luque Centeno	[13] [16] [18] [19] [21] [22] [23] [26] [29] [30] [31] [35] [39] [45]
12	Pierre Collet	[46] [47]
13	Ignacio Díaz	[15]
14	Yannis A. Dimitriadis	[53]
15	Walter Dosch	[4]
16	Iria Estévez-Ayres	[36]
17	Luis Sánchez Fernández	[6] [7] [8] [10] [13] [16] [18] [19] [21] [22] [23] [25] [26] [33]
18	Robert B. France	[14]
19	Martin Gaedke	[29] [31] [35] [45]
20	Arturo García	[15]
21	Carlos García	[15]
22	Norberto Fernández García	[22] [23] [26]
23	Raquel M. Crespo García	[34] [41] [51]
24	Alberto García-Martínez	[40]
25	Carlos García-Rubio	[13]
26	Marisol García-Valls	[36]
27	G. González	[3]
28	Gustavo Ramírez González	[49] [52]
29	Sergio Gutiérrez	[43] [46] [47] [57]
30	Tony Hernandez	[13]
31	Yannick Jamont	[46]
32	María M. Larrondo-Petrie (Maria M. Larrondo-Petrie)	[14]
33	Gonzalo León	[3]
34	Pilar Prieto Linillos	[43] [57]
35	Andrés Marín López	[10] [13] [15]
36	Juan Carlos López	[9]
37	María Luisa López	[9]
38	Natividad Martínez Madrid	[9] [10] [11] [12] [14]
39	Fernando Paniagua Martín	[19]
40	Pedro J. Muñoz Merino	[24] [40] [50] [54]
41	Yongwu Miao	[56]
42	Antonio Navarro	[37]
43	J. Navarro	[3]
44	Martin Nussbaumer	[29] [31] [35]
45	Mario Muñoz Organero	[38] [40] [49] [52]
46	M. Carmen Fernández Panadero	[13]
47	Abelardo Pardo	[24] [27] [28] [32] [34] [41] [42] [43] [44] [48] [53] [55] [56] [57]
48	Juan Antonio Herráiz Pérez	[18] [21]
49	Juan Pedro Somolinos Pérez	[34]
50	N. Pérez Pérez	[24]
51	Saturnino Marchena Rodriguez	[3]
52	M. A. Ruz	[3]
53	Luis Sánchez	[5] [9]
54	Liliana P. Santacruz-Valencia	[20] [37]
55	L. Santos	[3]
56	Sergio Gutiérrez Santos	[27] [42] [44] [48]
57	Arturo Azorra Soloña	[17]
58	José M. Blázquez del Toro	[45]
59	Luis de la Fuente Valentín	[53] [55] [56]
60	Grégory Valigiani	[46] [47]

Colors in the list of coauthors