Carlos Delgado Kloos

Luis de la Fuente Valentín, Abelardo Pardo, Carlos Delgado Kloos: Addressing drop-out and sustained effort issues with large practical groups using an automated delivery and assessment system. Computers & Education 61: 33-42 (2013)

Pedro J. Muñoz Merino, José A. Ruipérez Valiente, Carlos Delgado Kloos: Inferring higher level learning information from low level data for the Khan Academy platform. LAK 2013: 112-116

Vicente Arturo Romero Zaldivar, Abelardo Pardo, Daniel Burgos, Carlos Delgado Kloos: Monitoring student progress using virtual appliances: A case study. Computers & Education 58(4): 1058-1067 (2012)

Pedro J. Muñoz Merino, Manuel Fernández Molina, Mario Muñoz Organero, Carlos Delgado Kloos: An adaptive and innovative question-driven competition-based intelligent tutoring system for learning. Expert Syst. Appl. 39(8): 6932-6948 (2012)

Mar Pérez-Sanagustín, Gustavo Ramírez González, Davinia Hernández Leo, Mario Muñoz Organero, Patricia Santos, Josep Blat, Carlos Delgado Kloos: Discovering the campus together: A mobile and computer-based learning experience. J. Network and Computer Applications 35(1): 176-188 (2012)

Carlos Delgado Kloos, Davinia Hernández Leo, Juan I. Asensio-Pérez: Technology for Learning across Physical and Virtual Spaces. J. UCS 18(15): 2093-2096 (2012)

María Blanca Ibáñez, David Maroto, José Jesús García Rueda, Derick Leony, Carlos Delgado Kloos: Architecture for Collaborative Learning Activities in Hybrid Learning Environments. J. UCS 18(15): 2187-2202 (2012)

Carlos Delgado Kloos, Christian Gütl, Frank Kappe: Trends in Immersive Education Research. J. UCS 18(18): 2514-2515 (2012)

María Blanca Ibáñez, José Jesús García Rueda, Diego Morillo, Carlos Delgado Kloos: Creating Test Questions for 3D Collaborative Virtual Worlds: the WorldOfQuestions Authoring Environment. J. UCS 18(18): 2556-2575 (2012)

Mario Muñoz Organero, Pedro J. Muñoz Merino, Carlos Delgado Kloos: Using bluetooth to implement a pervasive indoor positioning system with minimal requirements at the application level. Mobile Information Systems 8(1): 73-82 (2012)

Mario Muñoz Organero, Pedro J. Muñoz Merino, Carlos Delgado Kloos: Sending Learning Pills to Mobile Devices in Class to Enhance Student Performance and Motivation in Network Services Configuration Courses. IEEE Trans. Education 55(1): 83-87 (2012)

Israel Gutiérrez Rojas, Raquel M. Crespo García, Carlos Delgado Kloos: Enhancing Orchestration of Lab Sessions by Means of Awareness Mechanisms. EC-TEL 2012: 113-125

Maren Scheffel, Katja Niemann, Derick Leony, Abelardo Pardo, Hans-Christian Schmitz, Martin Wolpers, Carlos Delgado Kloos: Key Action Extraction for Learning Analytics. EC-TEL 2012: 320-333

Gustavo Ramírez González, Catalina Córdoba-Paladinez, Omar Sotelo-Torres, Camilo Palacios, Mario Muñoz Organero, Carlos Delgado Kloos: Pervasive Learning Activities for the LMS .LRN through Android Mobile Devices with NFC Support. ICALT 2012: 672-673

Derick Leony, Abelardo Pardo, Luis de la Fuente Valentín, David Sánchez de Castro, Carlos Delgado Kloos: GLASS: a learning analytics visualization tool. LAK 2012: 162-163

Andrew Ravenscroft, Stefanie N. Lindstaedt, Carlos Delgado Kloos, Davinia Hernández Leo (Eds.): 21st Century Learning for 21st Century Skills - 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7563, Springer 2012, isbn 978-3-642-33262-3

Luis de la Fuente Valentín, Abelardo Pardo, Carlos Delgado Kloos: Generic service integration in adaptive learning experiences using IMS learning design. Computers & Education 57(1): 1160-1170 (2011)

María Blanca Ibáñez, José Jesús García Rueda, Sergio Galán, David Maroto, Diego Morillo, Carlos Delgado Kloos: Design and Implementation of a 3D Multi-User Virtual World for Language Learning. Educational Technology & Society 14(4): 2-10 (2011)

María Blanca Ibáñez, Carlos Delgado Kloos, Derick Leony, José Jesús García Rueda, David Maroto: Learning a Foreign Language in a Mixed-Reality Environment. IEEE Internet Computing 15(6): 44-47 (2011)

Abelardo Pardo, Carlos Delgado Kloos: SubCollaboration: large-scale group management in collaborative learning. Softw., Pract. Exper. 41(4): 449-465 (2011)

Pedro J. Muñoz Merino, Carlos Delgado Kloos, Mario Muñoz Organero: Enhancement of Student Learning Through the Use of a Hinting Computer e-Learning System and Comparison With Human Teachers. IEEE Trans. Education 54(1): 164-167 (2011)

Mario Muñoz Organero, Pedro J. Muñoz Merino, Carlos Delgado Kloos: Adapting the Speed of Reproduction of Audio Content and Using Text Reinforcement for Maximizing the Learning Outcome though Mobile Phones. TLT 4(3): 233-238 (2011)

Mario Muñoz Organero, Gustavo A. Ramirez, Pedro J. Muñoz Merino, Carlos Delgado Kloos: Framework for Contextualized Learning Ecosystems. EC-TEL 2011: 260-270

Vicente Arturo Romero Zaldivar, Raquel M. Crespo García, Daniel Burgos, Carlos Delgado Kloos, Abelardo Pardo: Automatic Discovery of Complementary Learning Resources. EC-TEL 2011: 327-340

Maren Scheffel, Katja Niemann, Abelardo Pardo, Derick Leony, Martin Friedrich, Kerstin Schmidt, Martin Wolpers, Carlos Delgado Kloos: Usage Pattern Recognition in Student Activities. EC-TEL 2011: 341-355

Israel Gutiérrez Rojas, Raquel M. Crespo García, Carlos Delgado Kloos: Orchestration and Feedback in Lab Sessions: Improvements in Quick Feedback Provision. EC-TEL 2011: 424-429

David Maroto, Derick Leony, Carlos Delgado Kloos, María Blanca Ibáñez, José Jesús García Rueda: Orchestrating Learning Activities in 3D Virtual Worlds: IMS-LD in Open Wonderland. EC-TEL 2011: 455-460

Pedro J. Muñoz Merino, Abelardo Pardo, Mario Muñoz Organero, Carlos Delgado Kloos: Towards the Prediction of User Actions on Exercises with Hints Based on Survey Results. EC-TEL 2011: 525-530

Hugo A. Parada G., Abelardo Pardo, Carlos Delgado Kloos: Towards Combining Individual and Collaborative Work Spaces under a Unified E-Portfolio. ICCSA (4) 2011: 488-501

Manuel Fernández Molina, Pedro J. Muñoz Merino, Mario Muñoz Organero, Carlos Delgado Kloos: Educational Justifications for the Design of the ISCARE Computer Based Competition Assessment Tool. ICWL 2011: 289-294

Abelardo Pardo, Carlos Delgado Kloos: Stepping out of the box: towards analytics outside the learning management system. LAK 2011: 163-167

Carlos Delgado Kloos, Denis Gillet, Raquel M. Crespo García, Fridolin Wild, Martin Wolpers (Eds.): Towards Ubiquitous Learning - 6th European Conference of Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011. Proceedings. Lecture Notes in Computer Science 6964, Springer 2011, isbn 978-3-642-23984-7

Carlos Delgado Kloos: Editorial (en español). IEEE-RITA 5(3) (2010)

Carlos Delgado Kloos: Editorial (en portugués). IEEE-RITA 5(3) (2010)

Carlos Delgado Kloos: Editorial (en inglés). IEEE-RITA 5(3) (2010)

Mario Muñoz Organero, Pedro J. Muñoz Merino, Carlos Delgado Kloos: Personalized Service-Oriented E-Learning Environments. IEEE Internet Computing 14(2): 62-67 (2010)

Jesús Arias-Fisteus, Norberto Fernández García, Luis Sánchez Fernández, Carlos Delgado Kloos: Hashing and canonicalizing Notation 3 graphs. J. Comput. Syst. Sci. 76(7): 663-685 (2010)

Liliana Patricia Santacruz-Valencia, Antonio Navarro, Ignacio Aedo, Carlos Delgado Kloos: Comparison of knowledge during the assembly process of learning objects. J. Intell. Inf. Syst. 35(1): 51-74 (2010)

Sergio Gutiérrez Santos, Jaime Mayor-Berzal, M. Carmen Fernández Panadero, Carlos Delgado Kloos: Authoring of Probabilistic Sequencing in Adaptive Hypermedia with Bayesian Networks. J. UCS 16(19): 2801-2820 (2010)

Mario Muñoz Organero, Gustavo A. Ramíez-González, Pedro J. Muñoz Merino, Carlos Delgado Kloos: A Collaborative Recommender System Based on Space-Time Similarities. IEEE Pervasive Computing 9(3): 81-87 (2010)

Mario Muñoz Organero, Pedro J. Muñoz Merino, Carlos Delgado Kloos: Student Behavior and Interaction Patterns With an LMS as Motivation Predictors in E-Learning Settings. IEEE Trans. Education 53(3): 463-470 (2010)

Mario Muñoz Organero, Gustavo A. Ramirez, Pedro J. Muñoz Merino, Carlos Delgado Kloos: Analyzing Convergence in e-Learning Resource Filtering Based on ACO Techniques: A Case Study With Telecommunication Engineering Students. IEEE Trans. Education 53(4): 542-546 (2010)

Israel Gutiérrez Rojas, Derick Leony, Andrés Franco, Raquel M. Crespo García, Abelardo Pardo, Carlos Delgado Kloos: Management of Assessment Resources in a Federated Repository of Educational Resources. EC-TEL 2010: 139-150

Pedro J. Muñoz Merino, Abelardo Pardo, Carlos Delgado Kloos, Mario Muñoz Organero, Martin Wolpers, Katja Niemann, Martin Friedrich: CAM in the semantic web world. I-SEMANTICS 2010

Pedro J. Muñoz Merino, Carlos Delgado Kloos, Martin Wolpers, Martin Friedrich, Mario Muñoz Organero: An Approach for the Personalization of Exercises Based on Contextualized Attention Metadata and Semantic Web technologies. ICALT 2010: 89-91

Mario Muñoz Organero, Gustavo Ramírez González, Pedro J. Muñoz Merino, Carlos Delgado Kloos: Evaluating the Effectiveness and Motivational Impact of Replacing a Human Instructor by Mobile Devices for Teaching Network Services Configuration to Telecommunication Engineering Students. ICALT 2010: 284-288

María Blanca Ibáñez, José Jesús García Rueda, Sergio Galán, David Maroto, Diego Morillo, Carlos Delgado Kloos: Multi-User 3D Virtual Environment for Spanish Learning: A Wonderland Experience. ICALT 2010: 455-457

María Blanca Ibáñez, Raquel M. Crespo García, Carlos Delgado Kloos: Assessment of Knowledge and Competencies in 3D Virtual Worlds: A Proposal. Key Competencies in the Knowledge Society 2010: 165-176

Luis de la Fuente Valentín, Mar Pérez-Sanagustín, Patricia Santos, Davinia Hernández Leo, Abelardo Pardo, Carlos Delgado Kloos, Josep Blat: System Orchestration Support for a Flow of Blended Collaborative Activities. INCoS 2010: 415-420

Pedro J. Muñoz Merino, Carlos Delgado Kloos, Mario Muñoz Organero: Behavior Effect of Hint Selection Penalties and Availability in an Intelligent Tutoring System. Intelligent Tutoring Systems (2) 2010: 384-386

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)

Luis de la Fuente Valentín, Abelardo Pardo, Carlos Delgado Kloos, Juan I. Asensio-Pérez, Yannis A. Dimitriadis: Modelos de Aprendizaje Colaborativo en Entornos a Distancia con Learning Design: Un Caso de Estudio. IEEE-RITA 4(2): 147-154 (2009)

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

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

Liliana Patricia Santacruz-Valencia, Antonio Navarro, Carlos Delgado Kloos, Ignacio Aedo: ELO-Tool: Taking Action in the Challenge of Assembling Learning Objects. Educational Technology & Society 11(1): 102-117 (2008)

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)

Pilar Prieto Linillos, Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: Guaranteeing the Correctness of an Adaptive Tutoring System. AH 2008: 329-332

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

Pedro J. Muñoz Merino, Carlos Delgado Kloos: Authoring of Educational Resources for Semantic Web Applications. ICALT 2008: 236-237

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

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

Raquel M. Crespo García, Carlos Delgado Kloos: Web Usage Mining in a Blended Learning Context: A Case Study. ICALT 2008: 982-984

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

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

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

Gustavo Ramírez González, Mario Muñoz Organero, Carlos Delgado Kloos, Ángela Chantre Astaiza: Exploring NFC interactive panel. MobiQuitous 2008

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

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

Vicente Luque Centeno, Carlos Delgado Kloos, José M. Blázquez del Toro, Martin Gaedke: Web Accessibility Evaluation Via XSLT. WISE Workshops 2007: 459-469

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)

Mario Muñoz Organero, Carlos Delgado Kloos: Desarrollo de un sistema ARS para enseñanza on-line. IEEE-RITA 1(1): 11-18 (2006)

Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer: Web Composition with Accessibility in Mind. J. Web Eng. 5(4): 313-331 (2006)

Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: Some Ideas for a Collaborative Search of the Optimal Learning Path. AH 2006: 430-434

Pilar Prieto Linillos, Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: Sequencing Parametric Exercises for an Operating System Course. AIAI 2006: 450-458

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

Raquel M. Crespo García, Abelardo Pardo, Carlos Delgado Kloos: Adaptive Peer Review Based on Student Profiles. Intelligent Tutoring Systems 2006: 781-783

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

Liliana Patricia Santacruz-Valencia, Antonio Navarro, Ignacio Aedo, Carlos Delgado Kloos: An Ontology-Based Mechanism for Assembling Learning Objects. AICT/SAPIR/ELETE 2005: 472-477

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

Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer: WCAG Formalization with W3C Techniques. ICWE 2005: 615-617

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

Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos: Applying model checking to BPEL4WS business collaborations. SAC 2005: 826-830

Abelardo Pardo, Carlos Delgado Kloos: Deploying interactive e-labs for a course on operating systems. SIGITE Conference 2005: 71-78

Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer: Web composition with WCAG in mind. W4A 2005: 38-45

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

Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer: WCAG formalization with W3C standards. WWW (Special interest tracks and posters) 2005: 1146-1147

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)

Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: An Adaptive Tutoring System Based on Hierarchical Graphs. AH 2004: 401-404

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

Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos: Formal Verification of BPEL4WS Business Collaborations. EC-Web 2004: 76-85

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

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

Carlos Delgado Kloos, Abelardo Pardo (Eds.): 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, isbn 1-4020-8161-8

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

Liliana Patricia Santacruz-Valencia, Ignacio Aedo, Carlos Delgado Kloos: Designing Le@rning Objects with the ELO-Tool. ICALT 2003: 372-373

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

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

Carlos Delgado Kloos, Arturo Azorra Soloña: Telematics: A Distinctive Discipline. SNPD 2003: 421-423

Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández: Higher Order Applicative XML Documents. RISSEF 2002: 91-107

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

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

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

Luis Sánchez Fernández, Gernot Koch, Natividad Martínez Madrid, María Luisa López Vallejo, Carlos Delgado Kloos, Wolfgang Rosenstiel: Hardware-Software Prototyping from LOTOS. Design Autom. for Emb. Sys. 3(2-3): 117-148 (1998)

Peter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos: The Computational Description of Analogue System Behaviour. Prospects for Hardware Foundations 1998: 309-332

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)

Natividad Martínez Madrid, Peter T. Breuer, Carlos Delgado Kloos: A semantic model for VHDL-AMS. CHARME 1997: 106-123

Carlos Carreras, Juan Carlos López, María Luisa López Vallejo, 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

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)

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

Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos: Clean formal semantics for VHDL. EDAC-ETC-EUROASIC 1994: 641-647

Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos: Proving Hardware Designs. ICLP 1994: 745

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)

Carlos Delgado Kloos, Walter Dosch: Transformational Development of Circuit Descriptions for Binary Adders. Methods of Programming 1991: 217-237

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

Carlos Delgado Kloos: Semantics of Digital Circuits. Lecture Notes in Computer Science 285, Springer 1987, isbn 3-540-18540-2

Carlos Delgado Kloos: STREAM: A Scheme Language for Formally Describing Digital Circuits. PARLE (2) 1987: 333-350