The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Abelardo Pardo: [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. Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa
    VIS: A System for Verification and Synthesis. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:428-432 [Conf]
  4. Abelardo Pardo, Gary D. Hachtel
    Automatic Abstraction Techniques for Propositional µ-calculus Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:12-23 [Conf]
  5. Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
    Probabilistic Analysis of Large Finite State Machines. [Citation Graph (0, 0)][DBLP]
    DAC, 1994, pp:270-275 [Conf]
  6. Srilatha Manne, Abelardo Pardo, R. Iris Bahar, Gary D. Hachtel, Fabio Somenzi, Enrico Macii, Massimo Poncino
    Computing the Maximum Power Cycles of a Sequential Circuit. [Citation Graph (0, 0)][DBLP]
    DAC, 1995, pp:23-28 [Conf]
  7. Abelardo Pardo, Gary D. Hachtel
    Incremental CTL Model Checking Using BDD Subsetting. [Citation Graph (0, 0)][DBLP]
    DAC, 1998, pp:457-462 [Conf]
  8. Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
    Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine. [Citation Graph (0, 0)][DBLP]
    EDAC-ETC-EUROASIC, 1994, pp:214-218 [Conf]
  9. Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa
    VIS. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:248-256 [Conf]
  10. Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi
    Modular Verification of Multipliers. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:49-63 [Conf]
  11. R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
    Algebraic decision diagrams and their applications. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1993, pp:188-191 [Conf]
  12. Gary D. Hachtel, Mariano Hermida de la Rica, Abelardo Pardo, Massimo Poncino, Fabio Somenzi
    Re-encoding sequential circuits to reduce power dissipation. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1994, pp:70-73 [Conf]
  13. Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi
    Tearing based automatic abstraction for CTL model checking. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1996, pp:76-81 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. Abelardo Pardo, R. Iris Bahar, Srilatha Manne, Peter Feldmann, Gary D. Hachtel, Fabio Somenzi
    CMOS dynamic power estimation based on collapsible current source transistor modeling. [Citation Graph (0, 0)][DBLP]
    ISLPD, 1995, pp:111-116 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
    Algebraic Decision Diagrams and Their Applications. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1997, v:10, n:2/3, pp:171-206 [Journal]
  22. Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
    Markovian analysis of large finite state machines. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1996, v:15, n:12, pp:1479-1493 [Journal]

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


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


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


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


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


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


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


  30. A multi-agent platform for automatic assignment management. [Citation Graph (, )][DBLP]


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


Search in 0.619secs, Finished in 0.621secs
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