dblp.uni-trier.dewww.uni-trier.de

Carlos Delgado Kloos Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
61EELuis 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
60EESergio 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
59EEPedro 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
58EEPilar Prieto Linillos, Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: Guaranteeing the Correctness of an Adaptive Tutoring System. AH 2008: 329-332
57EELuis 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
56EELuis de la Fuente Valentín, Abelardo Pardo, Carlos Delgado Kloos: Change is Good. Improving Learning Design Flexibility at Run-Time. ICALT 2008: 1048-1050
55EEPedro J. Muñoz Merino, Carlos Delgado Kloos: Authoring of Educational Resources for Semantic Web Applications. ICALT 2008: 236-237
54EELuis 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
53EEGustavo 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
52EERaquel M. Crespo García, Carlos Delgado Kloos: Web Usage Mining in a Blended Learning Context: A Case Study. ICALT 2008: 982-984
51EEPedro J. Muñoz Merino, Carlos Delgado Kloos: An Architecture for Combining Semantic Web Techniques with Intelligent Tutoring Systems. Intelligent Tutoring Systems 2008: 540-550
50EEGustavo 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
48EESergio Gutiérrez Santos, Grégory Valigiani, Pierre Collet, Carlos Delgado Kloos: Adaptation of the ACO Heuristic for Sequencing Learning Activities. EC-TEL (Posters) 2007
47EESergio 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
46EEVicente Luque Centeno, Carlos Delgado Kloos, José M. Blázquez del Toro, Martin Gaedke: Web Accessibility Evaluation Via XSLT. WISE Workshops 2007: 459-469
2006
45EESergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: Some Ideas for a Collaborative Search of the Optimal Learning Path. AH 2006: 430-434
44EEPilar Prieto Linillos, Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: Sequencing Parametric Exercises for an Operating System Course. AIAI 2006: 450-458
43EESergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: A Modular Architecture for Intelligent Web Resource Based Tutoring Systems. Intelligent Tutoring Systems 2006: 753-755
42EERaquel M. Crespo García, Abelardo Pardo, Carlos Delgado Kloos: Adaptive Peer Review Based on Student Profiles. Intelligent Tutoring Systems 2006: 781-783
41EEPedro 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
40EEVicente 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)
39EEMario Muñoz Organero, Carlos Delgado Kloos: Desarrollo de un sistema ARS para enseñanza on-line. IEEE-RITA 1(1): 11-18 (2006)
2005
38EELiliana P. Santacruz-Valencia, Antonio Navarro, Ignacio Aedo, Carlos Delgado Kloos: An Ontology-Based Mechanism for Assembling Learning Objects. AICT/SAPIR/ELETE 2005: 472-477
37EEMarisol 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
36EEVicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer: WCAG Formalization with W3C Techniques. ICWE 2005: 615-617
35EERaquel 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
34EEJesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos: Applying model checking to BPEL4WS business collaborations. SAC 2005: 826-830
33EEAbelardo Pardo, Carlos Delgado Kloos: Deploying interactive e-labs for a course on operating systems. SIGITE Conference 2005: 71-78
32EEVicente 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
30EEVicente 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
28EESergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: An Adaptive Tutoring System Based on Hierarchical Graphs. AH 2004: 401-404
27EEVicente 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
26EEJesú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
24EEVicente 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
22EEVicente 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
21EELiliana P. Santacruz-Valencia, Ignacio Aedo, Carlos Delgado Kloos: Designing Le@rning Objects with the ELO-Tool. ICALT 2003: 372-373
20EEVicente 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
19EEVicente 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
17EEPeter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández: Higher Order Applicative XML Documents. RISSEF 2002: 91-107
2001
16EECeleste 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
15EEPeter 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
14EEM. 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
13EEPeter 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
11EEPeter 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
10EECarlos 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
7EELuis 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
5EECarlos 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
1EECarlos Delgado Kloos: STREAM: A Scheme Language for Formally Describing Digital Circuits. PARLE (2) 1987: 333-350

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)