Abelardo Pardo
Abelardo Pardo
Professor. University of South Australia. Division of IT, Engineering and the Environment
Verified email at unisa.edu.au - Homepage
TitleCited byYear
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
9741997
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
9181996
Ethical and privacy principles for learning analytics
A Pardo, G Siemens
British Journal of Educational Technology 45 (3), 438-450, 2014
2512014
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
1942012
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
1831996
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
1492012
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
1152012
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
1141994
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
1122014
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
982017
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
911996
Probabilistic analysis of large finite state machines
GD Hachtel, E Macii, A Pardo, F Somenzi
31st Design Automation Conference, 270-275, 1994
891994
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
742011
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
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
602016
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
542019
Designing learning analytics experiences
A Pardo
Learning analytics, 15-38, 2014
532014
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
532011
Data2U: Scalable real time student feedback in active learning environments
I Khan, A Pardo
Proceedings of the sixth international conference on learning analytics …, 2016
492016
Computing the maximum power cycles of a sequential circuit
S Manne, A Pardo, R Bahar, GD Hachtel, F Somenzi, E Macii, M Poncino
Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, 23-28, 1995
471995
The system can't perform the operation now. Try again later.
Articles 1–20