The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Carlos Delgado Kloos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos
    An Adaptive Tutoring System Based on Hierarchical Graphs. [Citation Graph (0, 0)][DBLP]
    AH, 2004, pp:401-404 [Conf]
  2. Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos
    Some Ideas for a Collaborative Search of the Optimal Learning Path. [Citation Graph (0, 0)][DBLP]
    AH, 2006, pp:430-434 [Conf]
  3. Liliana P. Santacruz-Valencia, Antonio Navarro, Ignacio Aedo, Carlos Delgado Kloos
    An Ontology-Based Mechanism for Assembling Learning Objects. [Citation Graph (0, 0)][DBLP]
    AICT/SAPIR/ELETE, 2005, pp:472-477 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    AWIC, 2003, pp:339-348 [Conf]
  5. Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández, Norberto Fernández García
    Intelligent Automated Navigation through the Deep Web. [Citation Graph (0, 0)][DBLP]
    AWIC, 2004, pp:125-134 [Conf]
  6. Marisol García-Valls, Iria Estévez-Ayres, Pablo Basanta-Val, Carlos Delgado Kloos
    CoSeRT: A Framework for Composing Service-Based Real-Time Applications. [Citation Graph (0, 0)][DBLP]
    Business Process Management Workshops, 2005, pp:329-341 [Conf]
  7. Natividad Martínez Madrid, Peter T. Breuer, Carlos Delgado Kloos
    A semantic model for VHDL-AMS. [Citation Graph (0, 0)][DBLP]
    CHARME, 1997, pp:106-123 [Conf]
  8. Carlos Delgado Kloos, Walter Dosch
    Transformational Development of Circuit Descriptions for Binary Adders. [Citation Graph (0, 0)][DBLP]
    Methods of Programming, 1991, pp:217-237 [Conf]
  9. Carlos Carreras, J. C. López, María Luisa López, Luis Sánchez, Carlos Delgado Kloos, Natividad Martinez
    A Co-Design Methodology Based on Formal Specification and High-level Estimation. [Citation Graph (0, 0)][DBLP]
    CODES, 1996, pp:28-35 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    DATE, 1999, pp:346-352 [Conf]
  11. Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos
    Formal Verification of BPEL4WS Business Collaborations. [Citation Graph (0, 0)][DBLP]
    EC-Web, 2004, pp:76-85 [Conf]
  12. Celeste Campo, Andrés Marm, Arturo García, Ignacio Díaz, Peter T. Breuer, Carlos Delgado Kloos, Carlos García
    JCCM: Flexible Certificates for Smartcards with Java Card. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:34-42 [Conf]
  13. Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos
    Clean formal semantics for VHDL. [Citation Graph (0, 0)][DBLP]
    EDAC-ETC-EUROASIC, 1994, pp:641-647 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:501-515 [Conf]
  15. Liliana P. Santacruz-Valencia, Ignacio Aedo, Carlos Delgado Kloos
    Designing Le@rning Objects with the ELO-Tool. [Citation Graph (0, 0)][DBLP]
    ICALT, 2003, pp:372-373 [Conf]
  16. Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos
    Proving Hardware Designs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:745- [Conf]
  17. 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. [Citation Graph (0, 0)][DBLP]
    ICWE, 2003, pp:58-67 [Conf]
  18. Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández, Norberto Fernández García
    MSC-Based Formalism for Automated Web Navigation. [Citation Graph (0, 0)][DBLP]
    ICWE, 2004, pp:591-592 [Conf]
  19. Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer
    WCAG Formalization with W3C Techniques. [Citation Graph (0, 0)][DBLP]
    ICWE, 2005, pp:615-617 [Conf]
  20. 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. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2005, pp:685-694 [Conf]
  21. Carlos Delgado Kloos, Abelardo Pardo, Pedro J. Muñoz Merino, N. Pérez Pérez
    A Type-Based Taxonomy of Items in Assessments. [Citation Graph (0, 0)][DBLP]
    EDUTECH, 2004, pp:39-48 [Conf]
  22. Pilar Prieto Linillos, Sergio Gutiérrez, Abelardo Pardo, Carlos Delgado Kloos
    Sequencing Parametric Exercises for an Operating System Course. [Citation Graph (0, 0)][DBLP]
    AIAI, 2006, pp:450-458 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    ISCC, 2003, pp:407-412 [Conf]
  24. Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos
    A Modular Architecture for Intelligent Web Resource Based Tutoring Systems. [Citation Graph (0, 0)][DBLP]
    Intelligent Tutoring Systems, 2006, pp:753-755 [Conf]
  25. Raquel M. Crespo García, Abelardo Pardo, Carlos Delgado Kloos
    Adaptive Peer Review Based on Student Profiles. [Citation Graph (0, 0)][DBLP]
    Intelligent Tutoring Systems, 2006, pp:781-783 [Conf]
  26. Peter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos
    The Computational Description of Analogue System Behaviour. [Citation Graph (0, 0)][DBLP]
    Prospects for Hardware Foundations, 1998, pp:309-332 [Conf]
  27. Pedro J. Muñoz Merino, Alberto García-Martínez, Mario Muñoz Organero, Carlos Delgado Kloos
    Enabling Practical IPsec Authentication for the Internet. [Citation Graph (0, 0)][DBLP]
    OTM Workshops (1), 2006, pp:392-403 [Conf]
  28. Carlos Delgado Kloos
    STREAM: A Scheme Language for Formally Describing Digital Circuits. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:333-350 [Conf]
  29. Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández
    Higher Order Applicative XML Documents. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:91-107 [Conf]
  30. Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos
    Applying model checking to BPEL4WS business collaborations. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:826-830 [Conf]
  31. Abelardo Pardo, Carlos Delgado Kloos
    Deploying interactive e-labs for a course on operating systems. [Citation Graph (0, 0)][DBLP]
    SIGITE Conference, 2005, pp:71-78 [Conf]
  32. Carlos Delgado Kloos, Arturo Azorra Soloña
    Telematics: A Distinctive Discipline. [Citation Graph (0, 0)][DBLP]
    SNPD, 2003, pp:421-423 [Conf]
  33. Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer
    Web composition with WCAG in mind. [Citation Graph (0, 0)][DBLP]
    W4A, 2005, pp:38-45 [Conf]
  34. Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez
    Web Accessibility Evaluation Tools: a survey and some improvements. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:83-95 [Conf]
  35. Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer
    WCAG formalization with W3C standards. [Citation Graph (0, 0)][DBLP]
    WWW (Special interest tracks and posters), 2005, pp:1146-1147 [Conf]
  36. Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez
    Web Accessibility Evaluation Tools: A Survey and Some Improvements. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:87-100 [Journal]
  37. 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. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1995, v:7, n:1/2, pp:27-51 [Journal]
  38. Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández, Norberto Fernández García
    Web task automation: a standards-based proposal. [Citation Graph (0, 0)][DBLP]
    Int. J. Web Eng. Technol., 2004, v:1, n:3, pp:374-391 [Journal]
  39. 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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:4, pp:585-616 [Journal]
  40. Sergio Gutiérrez, Grégory Valigiani, Yannick Jamont, Pierre Collet, Carlos Delgado Kloos
    A Swarm Approach for Automatic Auditing of Pedagogical Planning. [Citation Graph (0, 0)][DBLP]
    ICALT, 2007, pp:136-138 [Conf]
  41. Vicente Luque Centeno, Carlos Delgado Kloos, José M. Blázquez del Toro, Martin Gaedke
    Web Accessibility Evaluation Via XSLT. [Citation Graph (0, 0)][DBLP]
    WISE Workshops, 2007, pp:459-469 [Conf]

  42. Guaranteeing the Correctness of an Adaptive Tutoring System. [Citation Graph (, )][DBLP]


  43. Adaptation of the ACO Heuristic for Sequencing Learning Activities. [Citation Graph (, )][DBLP]


  44. A Supporting Architecture for Generic Service Integration in IMS Learning Design. [Citation Graph (, )][DBLP]


  45. Using Third Party Services to Adapt Learning Material: A Case Study with Google Forms. [Citation Graph (, )][DBLP]


  46. Context-Aware Combination of Adapted User Profiles for Interchange of Knowledge between Peers. [Citation Graph (, )][DBLP]


  47. Management of Assessment Resources in a Federated Repository of Educational Resources. [Citation Graph (, )][DBLP]


  48. Proof theory and a validation condition generator for VHDL. [Citation Graph (, )][DBLP]


  49. Early Infrastructure of an Internet of Things in Spaces for Learning. [Citation Graph (, )][DBLP]


  50. Authoring of Educational Resources for Semantic Web Applications. [Citation Graph (, )][DBLP]


  51. Web Usage Mining in a Blended Learning Context: A Case Study. [Citation Graph (, )][DBLP]


  52. Collaborative Learning Models on Distance Scenarios with Learning Design: A Case Study. [Citation Graph (, )][DBLP]


  53. Change is Good. Improving Learning Design Flexibility at Run-Time. [Citation Graph (, )][DBLP]


  54. Evaluating the Effectiveness and Motivational Impact of Replacing a Human Instructor by Mobile Devices for Teaching Network Services Configuration to Telecommunication Engineering Students. [Citation Graph (, )][DBLP]


  55. Multi-User 3D Virtual Environment for Spanish Learning: A Wonderland Experience. [Citation Graph (, )][DBLP]


  56. An Approach for the Personalization of Exercises Based on Contextualized Attention Metadata and Semantic Web technologies. [Citation Graph (, )][DBLP]


  57. Exploring Touching Learning Environments. [Citation Graph (, )][DBLP]


  58. An Architecture for Combining Semantic Web Techniques with Intelligent Tutoring Systems. [Citation Graph (, )][DBLP]


  59. Behavior Effect of Hint Selection Penalties and Availability in an Intelligent Tutoring System. [Citation Graph (, )][DBLP]


  60. Exploring NFC interactive panel. [Citation Graph (, )][DBLP]


  61. Mass-Customizing Electronic Journals. [Citation Graph (, )][DBLP]


  62. CAM in the semantic web world. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002