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
9631997
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
9091996
Ethical and privacy principles for learning analytics
A Pardo, G Siemens
British Journal of Educational Technology 45 (3), 438-450, 2014
2332014
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
1842012
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
1841996
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
1442012
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
1121994
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
1092014
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
1092012
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
891996
Probabilistic analysis of large finite state machines
GD Hachtel, E Macii, A Pardo, F Somenzi
31st Design Automation Conference, 270-275, 1994
881994
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
862017
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
732011
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
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
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
532016
Designing learning analytics experiences
A Pardo
Learning analytics, 15-38, 2014
532014
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
461995
Data2U: Scalable real time student feedback in active learning environments
I Khan, A Pardo
Proceedings of the sixth international conference on learning analytics …, 2016
452016
Vis
RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ...
International Conference on Formal Methods in Computer-Aided Design, 248-256, 1996
451996
The system can't perform the operation now. Try again later.
Articles 1–20