Abelardo Pardo

2008
29	EE	Pilar Prieto Linillos, Sergio Gutiérrez, Abelardo Pardo, Carlos Delgado Kloos: Guaranteeing the Correctness of an Adaptive Tutoring System. AH 2008: 329-332
28	EE	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: 467-473
27	EE	Luis de la Fuente Valentín, Abelardo Pardo, Carlos Delgado Kloos: Change is Good. Improving Learning Design Flexibility at Run-Time. ICALT 2008: 1048-1050
26	EE	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: 278-282
25		Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: Authoring Courses with Rich Adaptive Sequencing for IMS Learning Design. J. UCS 14(17): 2819-2839 (2008)
2006
24	EE	Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: Some Ideas for a Collaborative Search of the Optimal Learning Path. AH 2006: 430-434
23	EE	Pilar Prieto Linillos, Sergio Gutiérrez, Abelardo Pardo, Carlos Delgado Kloos: Sequencing Parametric Exercises for an Operating System Course. AIAI 2006: 450-458
22	EE	Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: A Modular Architecture for Intelligent Web Resource Based Tutoring Systems. Intelligent Tutoring Systems 2006: 753-755
21	EE	Raquel M. Crespo García, Abelardo Pardo, Carlos Delgado Kloos: Adaptive Peer Review Based on Student Profiles. Intelligent Tutoring Systems 2006: 781-783
2005
20	EE	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: 685-694
19	EE	Abelardo Pardo, Carlos Delgado Kloos: Deploying interactive e-labs for a course on operating systems. SIGITE Conference 2005: 71-78
2004
18		Carlos Delgado Kloos, Abelardo Pardo: EDUTECH, Computer-Aided Design Meets Computer-Aided Learning, IFIP 18th World Computer Congress, TC10 / WG10.5 EduTech Workshop, 22-27 August 2004, Toulouse, France Kluwer 2004
17	EE	Sergio Gutiérrez Santos, Abelardo Pardo, Carlos Delgado Kloos: An Adaptive Tutoring System Based on Hierarchical Graphs. AH 2004: 401-404
16		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: 39-48
2002
15	EE	Abelardo Pardo: A multi-agent platform for automatic assignment management. ITiCSE 2002: 60-64
1998
14	EE	Abelardo Pardo, Gary D. Hachtel: Incremental CTL Model Checking Using BDD Subsetting. DAC 1998: 457-462
1997
13		Abelardo Pardo, Gary D. Hachtel: Automatic Abstraction Techniques for Propositional µ-calculus Model Checking. CAV 1997: 12-23
12		R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Algebraic Decision Diagrams and Their Applications. Formal Methods in System Design 10(2/3): 171-206 (1997)
1996
11		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. CAV 1996: 428-432
10		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. FMCAD 1996: 248-256
9		Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi: Modular Verification of Multipliers. FMCAD 1996: 49-63
8	EE	Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi: Tearing based automatic abstraction for CTL model checking. ICCAD 1996: 76-81
7	EE	Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Markovian analysis of large finite state machines. IEEE Trans. on CAD of Integrated Circuits and Systems 15(12): 1479-1493 (1996)
1995
6	EE	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. DAC 1995: 23-28
5	EE	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. ISLPD 1995: 111-116
1994
4	EE	Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Probabilistic Analysis of Large Finite State Machines. DAC 1994: 270-275
3		Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine. EDAC-ETC-EUROASIC 1994: 214-218
2	EE	Gary D. Hachtel, Mariano Hermida de la Rica, Abelardo Pardo, Massimo Poncino, Fabio Somenzi: Re-encoding sequential circuits to reduce power dissipation. ICCAD 1994: 70-73
1993
1	EE	R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Algebraic decision diagrams and their applications. ICCAD 1993: 188-191

Coauthor Index

1	Juan I. Asensio-Pérez	[26]
2	Adnan Aziz	[10] [11]
3	R. Iris Bahar	[1] [5] [6] [12]
4	Robert K. Brayton	[10] [11]
5	Szu-Tsung Cheng	[10] [11]
6	Yannis A. Dimitriadis	[26]
7	Stephen A. Edwards	[10] [11]
8	Peter Feldmann	[5]
9	Erica A. Frohm	[1] [12]
10	Charles M. Gaona	[1] [12]
11	Raquel M. Crespo García	[20] [21]
12	Sergio Gutiérrez	[23] [29]
13	Gary D. Hachtel	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
14	Jae-Young Jang	[8]
15	Sunil P. Khatri	[10] [11]
16	Carlos Delgado Kloos	[16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29]
17	Yuji Kukimoto	[10] [11]
18	Woohyuk Lee	[8]
19	Pilar Prieto Linillos	[23] [29]
20	Enrico Macii	[1] [3] [4] [6] [7] [12]
21	Srilatha Manne	[5] [6]
22	Pedro J. Muñoz Merino	[16]
23	Yongwu Miao	[28]
24	Juan Pedro Somolinos Pérez	[20]
25	N. Pérez Pérez	[16]
26	Massimo Poncino	[2] [6]
27	Shaz Qadeer	[10] [11]
28	Rajeev K. Ranjan	[10] [11]
29	Kavita Ravi	[9]
30	Mariano Hermida de la Rica	[2]
31	Alberto L. Sangiovanni-Vincentelli	[10] [11]
32	Sergio Gutiérrez Santos	[17] [22] [24] [25]
33	Shaker Sarwary	[10] [11]
34	Thomas R. Shiple	[10] [11]
35	Fabio Somenzi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
36	Gitanjali Swamy	[10] [11]
37	Luis de la Fuente Valentín	[26] [27] [28]
38	Tiziano Villa	[10] [11]

Colors in the list of coauthors