Carlos Delgado Kloos
Orcid: 0000-0003-4093-3705Affiliations:
- Charles III University of Madrid, Spain
According to our database1,
Carlos Delgado Kloos
authored at least 274 papers
between 1986 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on it.uc3m.es
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Educ. Inf. Technol., October, 2023
Untangling connections between challenges in the adoption of learning analytics in higher education.
Educ. Inf. Technol., April, 2023
A systematic analysis of learning analytics using multi-source data in the context of Spain.
Behav. Inf. Technol., April, 2023
Comput. Sci. Inf. Syst., 2023
Transforming Education in the 21st Century: The Role of PROF-XXI Project in Developing Teaching Competencies.
Proceedings of the IEEE Learning with MOOCS, 2023
Proceedings of the Post-Covid Prospects for Massive Open Online Courses: 8th European MOOCs Stakeholders Summit, 2023
Proceedings of the IEEE Global Engineering Education Conference, 2023
Proceedings of the IEEE Global Engineering Education Conference, 2023
Statoodle: A Learning Analytics Tool to Analyze Moodle Students' Actions and Prevent Cheating.
Proceedings of the Responsive and Sustainable Educational Futures, 2023
2022
Proceedings of the IEEE Learning with MOOCS, 2022
Proceedings of the IEEE Global Engineering Education Conference, 2022
H2O Learn - Hybrid and Human-Oriented Learning: Trustworthy and Human-Centered Learning Analytics (TaHCLA) for Hybrid Education.
Proceedings of the IEEE Global Engineering Education Conference, 2022
Scenario for Analysing Student Interactions and Orchestration Load in Collaborative and Hybrid Learning Environments.
Proceedings of the Collaboration Technologies and Social Computing, 2022
2021
Affordances and Core Functions of Smart Learning Environments: A Systematic Literature Review.
IEEE Trans. Learn. Technol., 2021
A cost-effective IoT learning environment for the training and assessment of surgical technical skills with visual learning analytics.
J. Biomed. Informatics, 2021
A four-country cross-case analysis of academic staff expectations about learning analytics in higher education.
Internet High. Educ., 2021
Comput. Sci. Inf. Syst., 2021
Objective and automated assessment of surgical technical skills with IoT systems: A systematic literature review.
Artif. Intell. Medicine, 2021
Proceedings of the TEEM'21: Ninth International Conference on Technological Ecosystems for Enhancing Multiculturality, Barcelona, Spain, October 26, 2021
Can Feedback based on Predictive Data Improve Learners' Passing Rates in MOOCs? A Preliminary Analysis.
Proceedings of the L@S'21: Eighth ACM Conference on Learning @ Scale, 2021
Proceedings of the IEEE Global Engineering Education Conference, 2021
Proceedings of the Doctoral Consortium of the Sixteenth European Conference on Technology Enhanced Learning co-located with the Sixteenth European Conference on Technology Enhanced Learning (EC-TEL 2021), 2021
Smart Groups: A Tool for Group Orchestration in Synchronous Hybrid Learning Environments.
Proceedings of the Technology-Enhanced Learning for a Free, Safe, and Sustainable World, 2021
2020
Assessing the validity of a learning analytics expectation instrument: A multinational study.
J. Comput. Assist. Learn., 2020
Rev. Iberoam. de Tecnol. del Aprendiz., 2020
Comput. Educ., 2020
Temporal analysis for dropout prediction using self-regulated learning strategies in self-paced MOOCs.
Comput. Educ., 2020
Analysis of the Factors Influencing Learners' Performance Prediction With Learning Analytics.
IEEE Access, 2020
Proceedings of the 22th International Symposium on Computers in Education, 2020
Proceedings of the IEEE Learning With MOOCS, 2020
Proceedings of the Learning Analytics Summer Institute Spain 2020: Learning Analytics. Time for Adoption?, 2020
Should We Consider Efficiency and Constancy for Adaptation in Intelligent Tutoring Systems?
Proceedings of the Intelligent Tutoring Systems - 16th International Conference, 2020
Proceedings of the 2020 IEEE Global Engineering Education Conference, 2020
Application of learning analytics to study the accuracy of self-reported working patterns in self-regulated learning questionnaires.
Proceedings of the 2020 IEEE Global Engineering Education Conference, 2020
Proceedings of the Workshop on Adoption, 2020
An early warning dropout model in higher education degree programs: A case study in Ecuador.
Proceedings of the Workshop on Adoption, 2020
2019
IEEE Trans. Learn. Technol., 2019
IEEE Trans. Learn. Technol., 2019
Comput. Appl. Eng. Educ., 2019
Proceedings of the 13th International Conference on Ubiquitous Computing and Ambient Intelligence, 2019
Proceedings of the 2019 IEEE Learning With MOOCS, 2019
Proceedings of the Learning Analytics Summer Institute Spain 2019: Learning Analytics in Higher Education, 2019
Proceedings of the Intelligent Tutoring Systems - 15th International Conference, 2019
Proceedings of the Sustainable ICT, Education and Learning, 2019
Proceedings of the Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge, 2019
Proceedings of the IEEE Global Engineering Education Conference, 2019
Proceedings of the IEEE Global Engineering Education Conference, 2019
Impact of Visuospatial Abilities on Perceived Enjoyment of Students toward an AR-Simulation System in a Physics Course.
Proceedings of the IEEE Global Engineering Education Conference, 2019
Proceedings of the EC-TEL Practitioner Proceedings 2019: 14th European Conference on Technology Enhanced Learning, 2019
2018
The Effect of Different Features for Educational Computer-Based Competition Environments.
IEEE Trans. Learn. Technol., 2018
A Study of Learning-by-Doing in MOOCs through the Integration of Third-Party External Tools: Comparison of Synchronous and Asynchronous Running Modes.
J. Univers. Comput. Sci., 2018
Improving the prediction of learning outcomes in educational platforms including higher level interaction indicators.
Expert Syst. J. Knowl. Eng., 2018
Analysing the predictive power for anticipating assignment grades in a massive open online course.
Behav. Inf. Technol., 2018
Assessment of skills and adaptive learning for parametric exercises combining knowledge spaces and item response theory.
Appl. Soft Comput., 2018
SmartLET: Learning analytics to enhance the design and orchestration in scalable, IoT-enriched, and ubiquitous Smart Learning Environments.
Proceedings of the Sixth International Conference on Technological Ecosystems for Enhancing Multiculturality, 2018
Proceedings of the Learning With MOOCS, 2018
Proceedings of the Learning With MOOCS, 2018
Using an Augmented Reality Geolocalized Quiz Game as an Incentive to Overcome Academic Procrastination.
Proceedings of the Mobile Technologies and Applications for the Internet of Things, 2018
Proceedings of the 2018 IEEE Global Engineering Education Conference, 2018
Proceedings of the 2018 IEEE Global Engineering Education Conference, 2018
Proceedings of the 2018 IEEE Global Engineering Education Conference, 2018
Predicting Learners' Success in a Self-paced MOOC Through Sequence Patterns of Self-regulated Learning.
Proceedings of the Lifelong Technology-Enhanced Learning, 2018
2017
IEEE Trans. Hum. Mach. Syst., 2017
Design, Implementation and Evaluation of SPOCs at the Universidad Carlos III de Madrid.
J. Univers. Comput. Sci., 2017
Integrating Biomedical Sensor Data into a Simulation Learning Environment for Children Newly Diagnosed with Diabetes.
J. Univers. Comput. Sci., 2017
Lostrego: A distributed stream-based infrastructure for the real-time gathering and analysis of heterogeneous educational data.
J. Netw. Comput. Appl., 2017
Comput. Sci. Inf. Syst., 2017
Comput. Appl. Eng. Educ., 2017
A Data-driven Method for the Detection of Close Submitters in Online Learning Environments.
Proceedings of the 26th International Conference on World Wide Web Companion, 2017
Proceedings of the Learning Analytics Summer Institute Spain 2017: Advances in Learning Analytics, 2017
Learning Analytics Implementation in a Multidomain Computer-Based Learning Environment.
Proceedings of the Learning Analytics Summer Institute Spain 2017: Advances in Learning Analytics, 2017
Comparing Usability, User Experience and Learning Motivation Characteristics of Two Educational Computer Games.
Proceedings of the ICEIS 2017, 2017
An Empirical Study of the Use of an Augmented Reality Simulator in a Face-to-Face Physics Course.
Proceedings of the 17th IEEE International Conference on Advanced Learning Technologies, 2017
Proceedings of the Digital Education: Out to the World and Back to the Campus, 2017
Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017
Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017
Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017
Proceedings of the Data Driven Approaches in Digital Education, 2017
Proceedings of the Data Driven Approaches in Digital Education, 2017
2016
IEEE Trans. Learn. Technol., 2016
Support for Augmented Reality Simulation Systems: The Effects of Scaffolding on Learning Outcomes and Behavior Patterns.
IEEE Trans. Learn. Technol., 2016
Who are the top contributors in a MOOC? Relating participants' performance and contributions.
J. Comput. Assist. Learn., 2016
Proceedings of the Third ACM Conference on Learning @ Scale, 2016
Analyzing students' intentionality towards badges within a case study using Khan academy.
Proceedings of the Sixth International Conference on Learning Analytics & Knowledge, 2016
Proceedings of the 16th IEEE International Conference on Advanced Learning Technologies, 2016
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016
Proceedings of the 2016 IEEE Global Engineering Education Conference, 2016
Proceedings of the 2016 IEEE Global Engineering Education Conference, 2016
2015
IEEE Trans. Educ., 2015
Massive Open Online Courses: Combining Methodologies and Architecture for a Success Learning.
J. Univers. Comput. Sci., 2015
J. Univers. Comput. Sci., 2015
J. Univers. Comput. Sci., 2015
Rev. Iberoam. de Tecnol. del Aprendiz., 2015
A software engineering model for the development of adaptation rules and its application in a hinting adaptive e-learning system.
Comput. Sci. Inf. Syst., 2015
ALAS-KA: A learning analytics extension for better understanding the learning process in the Khan Academy platform.
Comput. Hum. Behav., 2015
Precise Effectiveness Strategy for analyzing the effectiveness of students with educational resources and activities in MOOCs.
Comput. Hum. Behav., 2015
Lessons learned from the design of situated learning environments to support collaborative knowledge construction.
Comput. Educ., 2015
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015
Introduction to the Proceedings of iLRN'15.
Proceedings of the Workshop Proceedings of the 11th International Conference on Intelligent Environments, 2015
A smartphone application for the collaborative knowledge creation based on reputation.
Proceedings of the IEEE International Conference on Consumer Electronics, 2015
Proceedings of the 15th IEEE International Conference on Advanced Learning Technologies, 2015
Proceedings of the IEEE Global Engineering Education Conference, 2015
Proceedings of the Design for Teaching and Learning in a Networked World, 2015
Proceedings of the Trends in Digital Education: Selected papers from EC-TEL 2015 Workshops CHANGEE, 2015
Proceedings of the Design for Teaching and Learning in a Networked World, 2015
Using Video Visualizations in Open edX to Understand Learning Interactions of Students.
Proceedings of the Design for Teaching and Learning in a Networked World, 2015
A Predictive Model of Learning Gains for a Video and Exercise Intensive Learning Environment.
Proceedings of the Artificial Intelligence in Education - 17th International Conference, 2015
2014
Augmenting Reality and Formality of Informal and Non-Formal Settings to Enhance Blended Learning.
IEEE Trans. Learn. Technol., 2014
Gamification for Engaging Computer Science Students in Learning Activities: A Case Study.
IEEE Trans. Learn. Technol., 2014
IEEE Trans. Learn. Technol., 2014
IEEE Trans. Educ., 2014
J. Univers. Comput. Sci., 2014
PhyMEL-WS: Physically Experiencing the Virtual World. Insights into Mixed Reality and Flow State on Board a Wheelchair Simulator.
J. Univers. Comput. Sci., 2014
J. Univers. Comput. Sci., 2014
FLINN: A Framework to Characterize Technology Enhanced Formal, Non-Formal and Informal Learning Situations.
Int. J. Hum. Cap. Inf. Technol. Prof., 2014
Technological support for the enactment of collaborative scripted learning activities across multiple spatial locations.
Future Gener. Comput. Syst., 2014
Experimenting with electromagnetism using augmented reality: Impact on flow student experience and educational effectiveness.
Comput. Educ., 2014
Proceedings of the Second International Conference on Technological Ecosystems for Enhancing Multiculturality, 2014
Recommendations for the design and deployment of MOOCs: insights about the MOOC digital education of the future deployed in MiríadaX.
Proceedings of the Second International Conference on Technological Ecosystems for Enhancing Multiculturality, 2014
Proceedings of the Intelligent Tutoring Systems - 12th International Conference, 2014
Proceedings of the IEEE Frontiers in Education Conference, 2014
Proceedings of the 2014 IEEE Global Engineering Education Conference, 2014
Proceedings of the Open Learning and Teaching in Educational Communities, 2014
Proceedings of the Open Learning and Teaching in Educational Communities, 2014
Proceedings of the Open Learning and Teaching in Educational Communities, 2014
2013
A Generic Architecture for Emotion-based Recommender Systems in Cloud Learning Environments.
J. Univers. Comput. Sci., 2013
An Algorithm for Peer Review Matching in Massive Courses for Minimising Students' Frustration.
J. Univers. Comput. Sci., 2013
J. Netw. Comput. Appl., 2013
Multi-channel, multi-objective, multi-context services: The glue of the smart cities learning ecosystem.
IxD&A, 2013
Provision of awareness of learners' emotions through visualizations in a computer interaction-based environment.
Expert Syst. Appl., 2013
Addressing drop-out and sustained effort issues with large practical groups using an automated delivery and assessment system.
Comput. Educ., 2013
Impact of an augmented reality system on students' motivation for a visual art course.
Comput. Educ., 2013
Comput. Appl. Eng. Educ., 2013
An architecture for extending the learning analytics support in the Khan Academy framework.
Proceedings of the Technological Ecosystems for Enhancing Multiculturality Conference, 2013
Inferring higher level learning information from low level data for the Khan Academy platform.
Proceedings of the Third Conference on Learning Analytics and Knowledge, 2013
Proceedings of the IEEE Global Engineering Education Conference, 2013
Proceedings of the Scaling up Learning for Sustained Impact, 2013
Proceedings of the Scaling up Learning for Sustained Impact, 2013
Proceedings of the Workshop on Solutions that Enhance Informal Learning Recognition, 2013
Analysing the Impact of Built-In and External Social Tools in a MOOC on Educational Technologies.
Proceedings of the Scaling up Learning for Sustained Impact, 2013
Proceedings of the Workshop on Solutions that Enhance Informal Learning Recognition, 2013
2012
Proceedings of the Intelligent Adaptation and Personalization Techniques in Computer-Supported Collaborative Learning, 2012
Sending Learning Pills to Mobile Devices in Class to Enhance Student Performance and Motivation in Network Services Configuration Courses.
IEEE Trans. Educ., 2012
Using bluetooth to implement a pervasive indoor positioning system with minimal requirements at the application level.
Mob. Inf. Syst., 2012
J. Univers. Comput. Sci., 2012
Creating Test Questions for 3D Collaborative Virtual Worlds: the WorldOfQuestions Authoring Environment.
J. Univers. Comput. Sci., 2012
J. Univers. Comput. Sci., 2012
J. Netw. Comput. Appl., 2012
An adaptive and innovative question-driven competition-based intelligent tutoring system for learning.
Expert Syst. Appl., 2012
Comput. Educ., 2012
A Distributed Collaborative System for Flexible Learning Content Production and Management.
J. Res. Pract. Inf. Technol., 2012
A Cloud-based Architecture for an Affective Recommender System of Learning Resources.
Proceedings of the 1st International Workshop on Cloud Education Environments, 2012
Proceedings of the 1st International Workshop on Cloud Education Environments, 2012
Proceedings of the Second International Conference on Learning Analytics and Knowledge, 2012
Pervasive Learning Activities for the LMS .LRN through Android Mobile Devices with NFC Support.
Proceedings of the 12th IEEE International Conference on Advanced Learning Technologies, 2012
Will m-learning bring disruption into education? Advances from the eMadrid excellence network.
Proceedings of the IEEE Global Engineering Education Conference, 2012
Proceedings of the IEEE Global Engineering Education Conference, 2012
Proceedings of the 21st Century Learning for 21st Century Skills, 2012
Proceedings of the 21st Century Learning for 21st Century Skills, 2012
2011
Adapting the Speed of Reproduction of Audio Content and Using Text Reinforcement for Maximizing the Learning Outcome though Mobile Phones.
IEEE Trans. Learn. Technol., 2011
Enhancement of Student Learning Through the Use of a Hinting Computer e-Learning System and Comparison With Human Teachers.
IEEE Trans. Educ., 2011
Softw. Pract. Exp., 2011
IEEE Internet Comput., 2011
J. Educ. Technol. Soc., 2011
Generic service integration in adaptive learning experiences using IMS learning design.
Comput. Educ., 2011
Proceedings of the 1st International Conference on Learning Analytics and Knowledge, 2011
Educational Justifications for the Design of the ISCARE Computer Based Competition Assessment Tool.
Proceedings of the Advances in Web-Based Learning - ICWL 2011, 2011
Towards Combining Individual and Collaborative Work Spaces under a Unified E-Portfolio.
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011
Proceedings of the 2011 Frontiers in Education Conference, 2011
Proceedings of the Towards Ubiquitous Learning, 2011
Proceedings of the Towards Ubiquitous Learning, 2011
Orchestration and Feedback in Lab Sessions: Improvements in Quick Feedback Provision.
Proceedings of the Towards Ubiquitous Learning, 2011
Proceedings of the Towards Ubiquitous Learning, 2011
Towards the Prediction of User Actions on Exercises with Hints Based on Survey Results.
Proceedings of the Towards Ubiquitous Learning, 2011
Proceedings of the Towards Ubiquitous Learning, 2011
2010
Analyzing Convergence in e-Learning Resource Filtering Based on ACO Techniques: A Case Study With Telecommunication Engineering Students.
IEEE Trans. Educ., 2010
Student Behavior and Interaction Patterns With an LMS as Motivation Predictors in E-Learning Settings.
IEEE Trans. Educ., 2010
IEEE Pervasive Comput., 2010
J. Univers. Comput. Sci., 2010
J. Intell. Inf. Syst., 2010
Behavior Effect of Hint Selection Penalties and Availability in an Intelligent Tutoring System.
Proceedings of the Intelligent Tutoring Systems, 10th International Conference, 2010
Proceedings of the 2nd International Conference on Intelligent Networking and Collaborative Systems, 2010
Proceedings of the Key Competencies in the Knowledge Society, 2010
Evaluating the Effectiveness and Motivational Impact of Replacing a Human Instructor by Mobile Devices for Teaching Network Services Configuration to Telecommunication Engineering Students.
Proceedings of the ICALT 2010, 2010
An Approach for the Personalization of Exercises Based on Contextualized Attention Metadata and Semantic Web technologies.
Proceedings of the ICALT 2010, 2010
Proceedings of the ICALT 2010, 2010
Proceedings of the Proceedings the 6th International Conference on Semantic Systems, 2010
Management of Assessment Resources in a Federated Repository of Educational Resources.
Proceedings of the Sustaining TEL: From Innovation to Learning and Practice, 2010
2009
Modelos de Aprendizaje Colaborativo en Entornos a Distancia con Learning Design: Un Caso de Estudio.
Rev. Iberoam. de Tecnol. del Aprendiz., 2009
Comput. Stand. Interfaces, 2009
A software player for providing hints in problem-based learning according to a new specification.
Comput. Appl. Eng. Educ., 2009
Using Third Party Services to Adapt Learning Material: A Case Study with Google Forms.
Proceedings of the Learning in the Synergy of Multiple Disciplines, 2009
Context-Aware Combination of Adapted User Profiles for Interchange of Knowledge between Peers.
Proceedings of the Learning in the Synergy of Multiple Disciplines, 2009
2008
J. Univers. Comput. Sci., 2008
J. Educ. Technol. Soc., 2008
Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2008
An Architecture for Combining Semantic Web Techniques with Intelligent Tutoring Systems.
Proceedings of the Intelligent Tutoring Systems, 9th International Conference, 2008
Proceedings of the Learning to Live in the Knowledge Society, 2008
Collaborative Learning Models on Distance Scenarios with Learning Design: A Case Study.
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008
Proceedings of the Times of Convergence. Technologies Across Learning Contexts, 2008
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2008
2007
IEEE Trans. Educ., 2007
Pervasive learning management system components and services for a pervasive m-learning architecture.
Int. J. Mob. Learn. Organisation, 2007
Proceedings of the Web Information Systems Engineering - WISE 2007 Workshops, 2007
Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, 2007
Proceedings of the EC-TEL 2007 Poster Session, Crete, Greece, September 17-20, 2007, 2007
2006
Rev. Iberoam. de Tecnol. del Aprendiz., 2006
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006
Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006
Proceedings of the Intelligent Tutoring Systems, 8th International Conference, 2006
Proceedings of the Intelligent Tutoring Systems, 8th International Conference, 2006
Proceedings of the Artificial Intelligence Applications and Innovations, 2006
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2006
2005
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005
Proceedings of the 14th international conference on World Wide Web, 2005
Proceedings of the International Cross-Disciplinary Workshop on Web Accessibility, 2005
Proceedings of the 6th Conference on Information Technology Education, 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
An Algorithm for Peer Review Matching Using Student Profiles Based on Fuzzy Classification and Genetic Algorithms.
Proceedings of the Innovations in Applied Artificial Intelligence, 2005
Proceedings of the Web Engineering, 5th International Conference, 2005
Proceedings of the Business Process Management Workshops, 2005
Proceedings of the Telecommunications 2005: Advanced Industrial Conference on Telecommunications / Service Assurance with Partial and Intermittent Resources Conference / E-Learning on Telecommunications Workshop (AICT / SAPIR / ELETE 2005), 2005
2004
Proceedings of the Web Engineering - 4th International Conference, 2004
Proceedings of the E-Commerce and Web Technologies, 5th International Conference, 2004
Proceedings of the Advances in Web Intelligence, 2004
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2004
2003
Telematics: A Distinctive Discipline.
Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003
Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003
Proceedings of the Web Engineering, International Conference, 2003
Proceedings of the 2003 IEEE International Conference on Advanced Learning Technologies, 2003
Proceedings of the Web Intelligence, 2003
2002
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002
2001
Proceedings of the Smart Card Programming and Security, 2001
1999
Proceedings of the Electronic Publishing '99, Redefining the Information Chain - New Ways and Voices: 3rd ICCC/IFIP conference held at the University of Karlskrona/Ronneby, 1999
Proceedings of the 1999 Design, 1999
1998
Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998
1997
ACM Trans. Program. Lang. Syst., 1997
A semantic model for VHDL-AMS.
Proceedings of the Advances in Hardware Design and Verification, 1997
1996
Proceedings of the conference on European design automation, 1996
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996
Proceedings of the Forth International Workshop on Hardware/Software Codesign, 1996
1995
A Simple Denotational Semantics, Proof Theory and a Validation Condition Generator for Unit-Delay VHDL.
Formal Methods Syst. Des., 1995
1994
Proving Hardware Designs.
Proceedings of the Logic Programming, 1994
Proceedings of the Proceedings EURO-DAC'94, 1994
Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994
1993
VHDL generation from a timed extension of the formal description technique LOTOS within the FORMAT project.
Microprocess. Microprogramming, 1993
1991
Forschungsberichte, TU Munich, 1991
Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991
1990
Microprocessing and Microprogramming, 1990
1989
ASDE: Design of a Transformational Environment for LOTOS.
Proceedings of the Formal Description Techniques, 1989
1987
Proceedings of the PARLE, 1987
Lecture Notes in Computer Science 285, Springer, ISBN: 3-540-18540-2, 1987
1986