| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vicente Arturo Romero Zaldivar, Abelardo Pardo, Daniel Burgos, Carlos Delgado Kloos |
Monitoring student progress using virtual appliances: A case study. |
Computers & Education |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis de la Fuente Valentín, Abelardo Pardo, Carlos Delgado Kloos |
Generic service integration in adaptive learning experiences using IMS learning design. |
Computers & Education |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
Audio content adaptation for mobile devices, mobile technology for education, mobile supported learning to maximize learning outcomes, learning adaptive systems, student experiments |
| 1 | Abelardo Pardo, Carlos Delgado Kloos |
SubCollaboration: large-scale group management in collaborative learning. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
artificial reality, virtual reality, augmented reality, computer-supported cooperative work, virtual worlds |
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Abelardo Pardo, Carlos Delgado Kloos |
Stepping out of the box: towards analytics outside the learning management system. |
LAK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo A. Parada G., Abelardo Pardo, Carlos Delgado Kloos |
Towards Combining Individual and Collaborative Work Spaces under a Unified E-Portfolio. |
ICCSA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
EC-TEL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Muñoz Organero, Gustavo A. Ramirez, Pedro J. Muñoz Merino, Carlos Delgado Kloos |
Framework for Contextualized Learning Ecosystems. |
EC-TEL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
NFC tagged environments, pervasive content, Recommender systems, Internet of Things, networking and communications, collaborative recommender systems |
| 1 | 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 |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mario Muñoz Organero, Pedro J. Muñoz Merino, Carlos Delgado Kloos |
Personalized Service-Oriented E-Learning Environments. |
IEEE Internet Computing |
2010 |
DBLP DOI BibTeX RDF |
next-generation e-learning architectures, service-oriented e-learning platforms, personal, e-learning, pervasive |
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP BibTeX RDF |
|
| 1 | Pedro J. Muñoz Merino, Carlos Delgado Kloos, Jesús Fernández Naranjo |
Enabling interoperability for LMS educational services. |
Computer Standards & Interfaces |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
adaptive educational systems, service integration, IMS Learning Design |
| 1 | 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 |
DBLP DOI BibTeX RDF |
profile matching, bluetooth, mobile learning |
| 1 | Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos |
Authoring Courses with Rich Adaptive Sequencing for IMS Learning Design. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gustavo Ramírez González, Mario Muñoz Organero, Carlos Delgado Kloos, Ángela Chantre Astaiza |
Exploring NFC interactive panel. |
MobiQuitous |
2008 |
DBLP DOI BibTeX RDF |
interaction, NFC, smart, panel |
| 1 | Gustavo Ramírez González, Mario Muñoz Organero, Carlos Delgado Kloos |
Exploring Touching Learning Environments. |
Learning to Live in the Knowledge Society |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pilar Prieto Linillos, Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos |
Guaranteeing the Correctness of an Adaptive Tutoring System. |
AH |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro J. Muñoz Merino, Carlos Delgado Kloos |
An Architecture for Combining Semantic Web Techniques with Intelligent Tutoring Systems. |
Intelligent Tutoring Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Raquel M. Crespo García, Carlos Delgado Kloos |
Web Usage Mining in a Blended Learning Context: A Case Study. |
ICALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro J. Muñoz Merino, Carlos Delgado Kloos |
Authoring of Educational Resources for Semantic Web Applications. |
ICALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis de la Fuente Valentín, Abelardo Pardo, Carlos Delgado Kloos |
Change is Good. Improving Learning Design Flexibility at Run-Time. |
ICALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
learning, integration, service, learning design, course, IMS LD |
| 1 | Vicente Luque Centeno, Carlos Delgado Kloos, José M. Blázquez del Toro, Martin Gaedke |
Web Accessibility Evaluation Via XSLT. |
WISE Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Mario Muñoz Organero, Carlos Delgado Kloos |
Desarrollo de un sistema ARS para enseñanza on-line. |
IEEE-RITA |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer |
Web Composition with Accessibility in Mind. |
J. Web Eng. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Pilar Prieto Linillos, Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos |
Sequencing Parametric Exercises for an Operating System Course. |
AIAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos |
Some Ideas for a Collaborative Search of the Optimal Learning Path. |
AH |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos |
A Modular Architecture for Intelligent Web Resource Based Tutoring Systems. |
Intelligent Tutoring Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raquel M. Crespo García, Abelardo Pardo, Carlos Delgado Kloos |
Adaptive Peer Review Based on Student Profiles. |
Intelligent Tutoring Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Abelardo Pardo, Carlos Delgado Kloos |
Deploying interactive e-labs for a course on operating systems. |
SIGITE Conference |
2005 |
DBLP DOI BibTeX RDF |
competitive programming, e-laboratories, automatic assessment |
| 1 | Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez |
Web Accessibility Evaluation Tools: a survey and some improvements. |
WWV |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer |
Web composition with WCAG in mind. |
W4A |
2005 |
DBLP DOI BibTeX RDF |
web composition, WCAG, WAI |
| 1 | Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer |
WCAG Formalization with W3C Techniques. |
ICWE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Liliana Patricia Santacruz-Valencia, Antonio Navarro, Ignacio Aedo, Carlos Delgado Kloos |
An Ontology-Based Mechanism for Assembling Learning Objects. |
AICT/SAPIR/ELETE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos |
Applying model checking to BPEL4WS business collaborations. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
web services, model checking, BPEL4WS |
| 1 | Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer |
WCAG formalization with W3C standards. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
XPath, XQuery, WCAG, WAI, XPointer |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos |
Formal Verification of BPEL4WS Business Collaborations. |
EC-Web |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos |
An Adaptive Tutoring System Based on Hierarchical Graphs. |
AH |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
EDUTECH |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Delgado Kloos, Arturo Azorra Soloña |
Telematics: A Distinctive Discipline. |
SNPD |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Liliana Patricia Santacruz-Valencia, Ignacio Aedo, Carlos Delgado Kloos |
Designing Le@rning Objects with the ELO-Tool. |
ICALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
web exploration, automation of tasks on the web, agents, deep web |
| 1 | Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández |
Higher Order Applicative XML Documents. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
mixed-signal simulation, Language design, Language semantics, VHDL-AMS |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos |
The Computational Description of Analogue System Behaviour. |
Prospects for Hardware Foundations |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1997 |
DBLP DOI BibTeX RDF |
timed logic, formal verification, refinement, VHDL, denotational semantics, digital circuits, program logic |
| 1 | Natividad Martínez Madrid, Peter T. Breuer, Carlos Delgado Kloos |
A semantic model for VHDL-AMS. |
CHARME |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
formal specification, partitioning, estimation, Co-design, LOTOS |
| 1 | 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 |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Sánchez Fernández, Peter T. Breuer, Carlos Delgado Kloos |
Proof theory and a validation condition generator for VHDL. |
EURO-DAC |
1994 |
DBLP DOI BibTeX RDF |
Prolog, VHDL |
| 1 | Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos |
Clean formal semantics for VHDL. |
EDAC-ETC-EUROASIC |
1994 |
DBLP BibTeX RDF |
|
| 1 | Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos |
Proving Hardware Designs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Delgado Kloos, Walter Dosch |
Transformational Development of Circuit Descriptions for Binary Adders. |
Methods of Programming |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Carlos Delgado Kloos |
Semantics of Digital Circuits |
|
1987 |
DOI RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")