Abelardo Pardo
Title
Cited by
Cited by
Year
Algebric decision diagrams and their applications
RI Bahar, EA Frohm, CM Gaona, GD Hachtel, E Macii, A Pardo, ...
Formal methods in system design 10 (2-3), 171-206, 1997
9961997
VIS: A system for verification and synthesis
RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ...
International conference on computer aided verification, 428-432, 1996
9151996
Ethical and privacy principles for learning analytics
A Pardo, G Siemens
British Journal of Educational Technology 45 (3), 438-450, 2014
2962014
The student activity meter for awareness and self-reflection
S Govaerts, K Verbert, E Duval, A Pardo
CHI'12 Extended Abstracts on Human Factors in Computing Systems, 869-884, 2012
2092012
Markovian analysis of large finite state machines
GD Hachtel, E Macii, A Pardo, F Somenzi
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1996
1821996
Monitoring student progress using virtual appliances: A case study
VA Romero-Zaldivar, A Pardo, D Burgos, CD Kloos
Computers & Education 58 (4), 1058-1067, 2012
1512012
Learning analytics to unveil learning strategies in a flipped classroom
J Jovanović, D Gašević, S Dawson, A Pardo, N Mirriahi
The Internet and Higher Education 33 (4), 74-85, 2017
1372017
Embracing big data in complex educational systems: The learning analytics imperative and the policy challenge.
LP Macfadyen, S Dawson, A Pardo, D Gaševic
Research & Practice in Assessment 9, 17-28, 2014
1302014
GLASS: a learning analytics visualization tool
D Leony, A Pardo, L de la Fuente Valentín, DS de Castro, CD Kloos
Proceedings of the 2nd international conference on learning analytics and …, 2012
1242012
Re-encoding sequential circuits to reduce power dissipation
GD Hachtel, M Hermida, A Pardo, M Poncino, F Somenzi
Proceedings of the 1994 IEEE/ACM international conference on Computer-aided …, 1994
1151994
Tearing based automatic abstraction for CTL model checking
W Lee, A Pardo, JY Jang, G Hachtel, F Somenzi
Proceedings of international conference on computer aided design, 76-81, 1996
921996
Probabilistic analysis of large finite state machines
GD Hachtel, E Macii, A Pardo, F Somenzi
31st Design Automation Conference, 270-275, 1994
861994
Using learning analytics to scale the provision of personalised feedback
A Pardo, J Jovanovic, S Dawson, D Gašević, N Mirriahi
British Journal of Educational Technology 50 (1), 128-138, 2019
832019
Stepping out of the box: towards analytics outside the learning management system
A Pardo, CD Kloos
Proceedings of the 1st International Conference on Learning Analytics and …, 2011
822011
Combining university student self-regulated learning indicators and engagement with online learning events to predict academic performance
A Pardo, F Han, RA Ellis
IEEE Transactions on Learning Technologies 10 (1), 82-92, 2016
692016
Implementation of a learning design run-time environment for the. LRN learning management system
JP Escobedo del Cid, L de la Fuente Valentín, S Gutiérrez, A Pardo, ...
Journal of Interactive Media in Education 2007 (1), 2007
612007
Detecting learning strategies with analytics: Links with self-reported measures and academic performance
D Gasevic, J Jovanovic, A Pardo, S Dawson
Journal of Learning Analytics 4 (2), 113–128-113–128, 2017
592017
Designing learning analytics experiences
A Pardo
Learning analytics, 15-38, 2014
572014
Data2U: Scalable real time student feedback in active learning environments
I Khan, A Pardo
Proceedings of the sixth international conference on learning analytics …, 2016
542016
Generic service integration in adaptive learning experiences using IMS learning design
L de-la-Fuente-Valentín, A Pardo, CD Kloos
Computers & Education 57 (1), 1160-1170, 2011
542011
The system can't perform the operation now. Try again later.
Articles 1–20