Carlos Delgado Kloos

According to our database1, Carlos Delgado Kloos
  • authored at least 197 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Design, Implementation and Evaluation of SPOCs at the Universidad Carlos III de Madrid.
J. UCS, 2017

H-MOOC framework: reusing MOOCs for hybrid education.
J. Computing in Higher Education, 2017

Evaluation of a learning analytics application for open edX platform.
Comput. Sci. Inf. Syst., 2017

Flipping the classroom to improve learning with MOOCs technology.
Comp. Applic. in Engineering Education, 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

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

Early Prediction and Variable Importance of Certificate Accomplishment in a MOOC.
Proceedings of the Digital Education: Out to the World and Back to the Campus, 2017

Standards-based tools and services for building lifelong learning pathways.
Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017

Digital education in the classroom.
Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017

Boosting interaction with educational technology.
Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017

Evaluating Student-Facing Learning Dashboards of Affective States.
Proceedings of the Data Driven Approaches in Digital Education, 2017

From MOOCs to SPOCs... and from SPOCs to Flipped Classroom.
Proceedings of the Data Driven Approaches in Digital Education, 2017

2016
Analyzing the Impact of Using Optional Activities in Self-Regulated Learning.
TLT, 2016

Support for Augmented Reality Simulation Systems: The Effects of Scaffolding on Learning Outcomes and Behavior Patterns.
TLT, 2016

Who are the top contributors in a MOOC? Relating participants' performance and contributions.
J. Comp. Assisted Learning, 2016

A Demonstration of ANALYSE: A Learning Analytics Tool for Open edX.
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

The Acceptance of Learning Augmented Reality Environments: A Case Study.
Proceedings of the 16th IEEE International Conference on Advanced Learning Technologies, 2016

An analysis of the use of badges in an educational experiment.
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

Design and evaluation of a computer based game for education.
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

From software engineering to courseware engineering.
Proceedings of the 2016 IEEE Global Engineering Education Conference, 2016

Designing educational material.
Proceedings of the 2016 IEEE Global Engineering Education Conference, 2016

2015
Augmented Reality-Based Simulators as Discovery Learning Tools: An Empirical Study.
IEEE Trans. Education, 2015

Massive Open Online Courses: Combining Methodologies and Architecture for a Success Learning.
J. UCS, 2015

Detection and Evaluation of Emotions in Massive Open Online Courses.
J. UCS, 2015

MyLearningMentor: A Mobile App to Support Learners Participating in MOOCs.
J. UCS, 2015

Extending Google Course Builder With Real-World Projects in a Master's Course.
IEEE-RITA, 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.
Computers in Human Behavior, 2015

Precise Effectiveness Strategy for analyzing the effectiveness of students with educational resources and activities in MOOCs.
Computers in Human Behavior, 2015

Lessons learned from the design of situated learning environments to support collaborative knowledge construction.
Computers & Education, 2015

Tips and Techniques for MOOC Production.
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

Integrating Assessment into Augmented Reality-Based Learning Environments.
Proceedings of the 15th IEEE International Conference on Advanced Learning Technologies, 2015

Mixing and blending MOOC Technologies with face-to-face pedagogies.
Proceedings of the IEEE Global Engineering Education Conference, 2015

Augmented Reality-Based Simulations Embedded in Problem Based Learning Courses.
Proceedings of the Design for Teaching and Learning in a Networked World, 2015

Combining Learning Analytics and the Flipped Classroom in a MOOC of Maths.
Proceedings of the Trends in Digital Education: Selected papers from EC-TEL 2015 Workshops CHANGEE, 2015

A Framework to Design Educational Mobile-Based Games Across Multiple Spaces.
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.
TLT, 2014

Gamification for Engaging Computer Science Students in Learning Activities: A Case Study.
TLT, 2014

Delving into Participants' Profiles and Use of Social Tools in MOOCs.
TLT, 2014

Motivation and Emotions in Competition Systems for Education: An Empirical Study.
IEEE Trans. Education, 2014

Adapting an Awareness Tool for Massive Courses: the Case of ClassON.
J. UCS, 2014

PhyMEL-WS: Physically Experiencing the Virtual World. Insights into Mixed Reality and Flow State on Board a Wheelchair Simulator.
J. UCS, 2014

Immersive Education: What does the Future Hold?
J. UCS, 2014

Proposal for a Conceptual Framework for Educators to Describe and Design MOOCs.
J. UCS, 2014

FLINN: A Framework to Characterize Technology Enhanced Formal, Non-Formal and Informal Learning Situations.
IJHCITP, 2014

Technological support for the enactment of collaborative scripted learning activities across multiple spatial locations.
Future Generation Comp. Syst., 2014

Experimenting with electromagnetism using augmented reality: Impact on flow student experience and educational effectiveness.
Computers & Education, 2014

Towards the development of a learning analytics extension in open edX.
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

Analyzing Learning Gains in a Competition Intelligent Tutoring System.
Proceedings of the Intelligent Tutoring Systems - 12th International Conference, 2014

A multidimensional analysis of trends in educational technology.
Proceedings of the IEEE Frontiers in Education Conference, 2014

Experiences of running MOOCs and SPOCs at UC3M.
Proceedings of the 2014 IEEE Global Engineering Education Conference, 2014

Do Optional Activities Matter in Virtual Learning Environments?
Proceedings of the Open Learning and Teaching in Educational Communities, 2014

A Demonstration of ALAS-KA: A Learning Analytics Tool for the Khan Academy Platform.
Proceedings of the Open Learning and Teaching in Educational Communities, 2014

Are We All on the Same Boat? Coordinating Stakeholders for the Design of MOOCs.
Proceedings of the Open Learning and Teaching in Educational Communities, 2014

2013
Cloud Education Environment.
J. UCS, 2013

A Generic Architecture for Emotion-based Recommender Systems in Cloud Learning Environments.
J. UCS, 2013

An Algorithm for Peer Review Matching in Massive Courses for Minimising Students' Frustration.
J. UCS, 2013

Collaborative learning in multi-user virtual environments.
J. Network and Computer Applications, 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.
Computers & Education, 2013

Impact of an augmented reality system on students' motivation for a visual art course.
Computers & Education, 2013

CourseEditor: A course planning tool compatible with IMS-LD.
Comp. Applic. in Engineering Education, 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

Learning analytics @ UC3M.
Proceedings of the IEEE Global Engineering Education Conference, 2013

Transforming the Campus into a Digitally Augmented Learning Space Using etiquetAR.
Proceedings of the Scaling up Learning for Sustained Impact, 2013

etiquetAR: Tagging Learning Experiences.
Proceedings of the Scaling up Learning for Sustained Impact, 2013

Tag-based experiences for supporting collaboration at the workplace.
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

Supporting crowdsourcing in MOOC informal face-to-face meetings.
Proceedings of the Workshop on Solutions that Enhance Informal Learning Recognition, 2013

2012
System Orchestration Support for a Collaborative Blended Learning Flow.
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. Education, 2012

Using bluetooth to implement a pervasive indoor positioning system with minimal requirements at the application level.
Mobile Information Systems, 2012

Technology for Learning across Physical and Virtual Spaces.
J. UCS, 2012

Trends in Immersive Education Research.
J. UCS, 2012

Creating Test Questions for 3D Collaborative Virtual Worlds: the WorldOfQuestions Authoring Environment.
J. UCS, 2012

Architecture for Collaborative Learning Activities in Hybrid Learning Environments.
J. UCS, 2012

Discovering the campus together: A mobile and computer-based learning experience.
J. Network and Computer Applications, 2012

An adaptive and innovative question-driven competition-based intelligent tutoring system for learning.
Expert Syst. Appl., 2012

Monitoring student progress using virtual appliances: A case study.
Computers & Education, 2012

A Distributed Collaborative System for Flexible Learning Content Production and Management.
Journal of Research and Practice in Information Technology, 2012

GLASS: a learning analytics visualization tool.
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

Key Action Extraction for Learning Analytics.
Proceedings of the 21st Century Learning for 21st Century Skills, 2012

Enhancing Orchestration of Lab Sessions by Means of Awareness Mechanisms.
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.
TLT, 2011

Enhancement of Student Learning Through the Use of a Hinting Computer e-Learning System and Comparison With Human Teachers.
IEEE Trans. Education, 2011

SubCollaboration: large-scale group management in collaborative learning.
Softw., Pract. Exper., 2011

Learning a Foreign Language in a Mixed-Reality Environment.
IEEE Internet Computing, 2011

Design and Implementation of a 3D Multi-User Virtual World for Language Learning.
Educational Technology & Society, 2011

Generic service integration in adaptive learning experiences using IMS learning design.
Computers & Education, 2011

Stepping out of the box: towards analytics outside the learning management system.
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

Towards flexibility on IMS Learning Design scripts.
Proceedings of the 2011 Frontiers in Education Conference, 2011

Automatic Discovery of Complementary Learning Resources.
Proceedings of the Towards Ubiquitous Learning, 2011

Usage Pattern Recognition in Student Activities.
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

Framework for Contextualized Learning Ecosystems.
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

Orchestrating Learning Activities in 3D Virtual Worlds: IMS-LD in Open Wonderland.
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. Education, 2010

Student Behavior and Interaction Patterns With an LMS as Motivation Predictors in E-Learning Settings.
IEEE Trans. Education, 2010

A Collaborative Recommender System Based on Space-Time Similarities.
IEEE Pervasive Computing, 2010

Authoring of Probabilistic Sequencing in Adaptive Hypermedia with Bayesian Networks.
J. UCS, 2010

Comparison of knowledge during the assembly process of learning objects.
J. Intell. Inf. Syst., 2010

Hashing and canonicalizing Notation 3 graphs.
J. Comput. Syst. Sci., 2010

Personalized Service-Oriented E-Learning Environments.
IEEE Internet Computing, 2010

Editorial (en inglés).
IEEE-RITA, 2010

Editorial (en portugués).
IEEE-RITA, 2010

Editorial (en español).
IEEE-RITA, 2010

Behavior Effect of Hint Selection Penalties and Availability in an Intelligent Tutoring System.
Proceedings of the Intelligent Tutoring Systems, 10th International Conference, 2010

System Orchestration Support for a Flow of Blended Collaborative Activities.
Proceedings of the 2nd International Conference on Intelligent Networking and Collaborative Systems, 2010

Assessment of Knowledge and Competencies in 3D Virtual Worlds: A Proposal.
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

Multi-User 3D Virtual Environment for Spanish Learning: A Wonderland Experience.
Proceedings of the ICALT 2010, 2010

CAM in the semantic web world.
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.
IEEE-RITA, 2009

Enabling interoperability for LMS educational services.
Computer Standards & Interfaces, 2009

A software player for providing hints in problem-based learning according to a new specification.
Comp. Applic. in Engineering Education, 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
Authoring Courses with Rich Adaptive Sequencing for IMS Learning Design.
J. UCS, 2008

ELO-Tool: Taking Action in the Challenge of Assembling Learning Objects.
Educational Technology & Society, 2008

Exploring NFC interactive panel.
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

Exploring Touching Learning Environments.
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

Change is Good. Improving Learning Design Flexibility at Run-Time.
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008

Authoring of Educational Resources for Semantic Web Applications.
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008

Early Infrastructure of an Internet of Things in Spaces for Learning.
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008

Web Usage Mining in a Blended Learning Context: A Case Study.
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008

A Supporting Architecture for Generic Service Integration in IMS Learning Design.
Proceedings of the Times of Convergence. Technologies Across Learning Contexts, 2008

Guaranteeing the Correctness of an Adaptive Tutoring System.
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2008

2007
Creating and Deploying Effective eLearning Experiences Using .LRN.
IEEE Trans. Education, 2007

Pervasive learning management system components and services for a pervasive m-learning architecture.
IJMLO, 2007

Web Accessibility Evaluation Via XSLT.
Proceedings of the Web Information Systems Engineering - WISE 2007 Workshops, 2007

A Swarm Approach for Automatic Auditing of Pedagogical Planning.
Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, 2007

Adaptation of the ACO Heuristic for Sequencing Learning Activities.
Proceedings of the EC-TEL 2007 Poster Session, Crete, Greece, September 17-20, 2007, 2007

2006
Web Composition with Accessibility in Mind.
J. Web Eng., 2006

Desarrollo de un sistema ARS para enseñanza on-line.
IEEE-RITA, 2006

Web Accessibility Evaluation Tools: A Survey and Some Improvements.
Electr. Notes Theor. Comput. Sci., 2006

Enabling Practical IPsec Authentication for the Internet.
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

A Modular Architecture for Intelligent Web Resource Based Tutoring Systems.
Proceedings of the Intelligent Tutoring Systems, 8th International Conference, 2006

Adaptive Peer Review Based on Student Profiles.
Proceedings of the Intelligent Tutoring Systems, 8th International Conference, 2006

Sequencing Parametric Exercises for an Operating System Course.
Proceedings of the Artificial Intelligence Applications and Innovations, 2006

Some Ideas for a Collaborative Search of the Optimal Learning Path.
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2006

2005
WCAG formalization with W3C standards.
Proceedings of the 14th international conference on World Wide Web, 2005

Web Accessibility Evaluation Tools: a survey and some improvements.
Proceedings of the First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), 2005

Web composition with WCAG in mind.
Proceedings of the International Cross-Disciplinary Workshop on Web Accessibility, 2005

Deploying interactive e-labs for a course on operating systems.
Proceedings of the 6th Conference on Information Technology Education, 2005

Applying model checking to BPEL4WS business collaborations.
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

WCAG Formalization with W3C Techniques.
Proceedings of the Web Engineering, 5th International Conference, 2005

CoSeRT: A Framework for Composing Service-Based Real-Time Applications.
Proceedings of the Business Process Management Workshops, 2005

An Ontology-Based Mechanism for Assembling Learning Objects.
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
Web task automation: a standards-based proposal.
Int. J. Web Eng. Technol., 2004

A Type-Based Taxonomy of Items in Assessments.
Proceedings of the EDUTECH, 2004

MSC-Based Formalism for Automated Web Navigation.
Proceedings of the Web Engineering - 4th International Conference, 2004

Formal Verification of BPEL4WS Business Collaborations.
Proceedings of the E-Commerce and Web Technologies, 5th International Conference, 2004

Intelligent Automated Navigation through the Deep Web.
Proceedings of the Advances in Web Intelligence, 2004

An Adaptive Tutoring System Based on Hierarchical Graphs.
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

MSC-based Language for Specifying Automated Web Clients.
Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

Building Wrapper Agents for the Deep Web.
Proceedings of the Web Engineering, International Conference, 2003

Designing Le@rning Objects with the ELO-Tool.
Proceedings of the 2003 IEEE International Conference on Advanced Learning Technologies, 2003

Automation of the Deep Web with User Defined Behaviours.
Proceedings of the Web Intelligence, 2003

2002
Higher Order Applicative XML Documents.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2001
JCCM: Flexible Certificates for Smartcards with Java Card.
Proceedings of the Smart Card Programming and Security, 2001

1999
Mass-Customizing Electronic Journals.
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

Reasoning about VHDL and VHDL-AMS using Denotational Semantics.
Proceedings of the 1999 Design, 1999

1998
Hardware-Software Prototyping from LOTOS.
Design Autom. for Emb. Sys., 1998

The Computational Description of Analogue System Behaviour.
Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

1997
A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL.
ACM Trans. Program. Lang. Syst., 1997

A semantic model for VHDL-AMS.
Proceedings of the Advances in Hardware Design and Verification, 1997

1996
A refinement calculus for VHDL.
Proceedings of the conference on European design automation, 1996

A Formal Method for Specification and Refinement of Real-Time Systems.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

A Co-Design Methodology Based on Formal Specification and High-level Estimation.
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 in System Design, 1995

1994
Proving Hardware Designs.
Proceedings of the Logic Programming, 1994

Proof theory and a validation condition generator for VHDL.
Proceedings of the Proceedings EURO-DAC'94, 1994

Clean formal semantics for VHDL.
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.
Microprocessing and Microprogramming, 1993

1991
Transformational Development of Circuit Descriptions for Binary Adders.
Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

1989
ASDE: Design of a Transformational Environment for LOTOS.
Proceedings of the Formal Description Techniques, 1989

1987
STREAM: A Scheme Language for Formally Describing Digital Circuits.
Proceedings of the PARLE, 1987

Semantics of Digital Circuits
Lecture Notes in Computer Science 285, Springer, ISBN: 3-540-18540-2, 1987

1986
Towards a formalization of digital circuit design.
PhD thesis, 1986


  Loading...