Search results for "Abelardo Pardo"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	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	Abelardo Pardo, Carlos Delgado Kloos	SubCollaboration: large-scale group management in collaborative learning.	Softw., Pract. Exper.	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	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	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	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	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	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	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	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	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	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	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	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	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	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	Abelardo Pardo	A multi-agent platform for automatic assignment management.	ITiCSE	2002	DBLP DOI BibTeX RDF	automatic assessment management, courseware
1	Abelardo Pardo, Gary D. Hachtel	Incremental CTL Model Checking Using BDD Subsetting.	DAC	1998	DBLP DOI BibTeX RDF	transceiver, spread spectrum communication, RF CMOS, digital radio, ISM frequency band
1	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	1997	DBLP DOI BibTeX RDF
1	Abelardo Pardo, Gary D. Hachtel	Automatic Abstraction Techniques for Propositional µ-calculus Model Checking.	CAV	1997	DBLP DOI BibTeX RDF
1	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	1996	DBLP DOI BibTeX RDF
1	Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi	Modular Verification of Multipliers.	FMCAD	1996	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi	Tearing based automatic abstraction for CTL model checking.	ICCAD	1996	DBLP DOI BibTeX RDF	ACTL model checking, CTL model checking, conservative ECTL, lattice set, lower bound approximations, pseudo-optimal shortest path, resolution methods, tearing based automatic abstraction, upper bound approximations, formal verification, reactive system, bipartition
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi	Probabilistic Analysis of Large Finite State Machines.	DAC	1994	DBLP DOI BibTeX RDF
1	Gary D. Hachtel, Mariano Hermida de la Rica, Abelardo Pardo, Massimo Poncino, Fabio Somenzi	Re-encoding sequential circuits to reduce power dissipation.	ICCAD	1994	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF

Publications of "Abelardo Pardo" ( http://dblp.L3S.de/Authors/Abelardo_Pardo )