| BEEM: Benchmarks for explicit model checkers R Pelánek Model Checking Software, 263-267, 2007 | 305 | 2007 |
| Bayesian knowledge tracing, logistic models, and beyond: an overview of learner modeling techniques R Pelánek User Modeling and User-Adapted Interaction 2 (3-5), 313-350, 2017 | 283 | 2017 |
| Příručka instruktora zážitkových akcí R Pelánek Portál, 2008 | 229 | 2008 |
| Applications of the Elo rating system in adaptive educational systems R Pelánek Computers & Education 98, 169-179, 2016 | 222 | 2016 |
| Test input generation for java containers using state matching W Visser, CS Pǎsǎreanu, R Pelánek Proceedings of the 2006 international symposium on Software testing and …, 2006 | 204 | 2006 |
| Lower and upper bounds in zone-based abstractions of timed automata G Behrmann, P Bouyer, KG Larsen, R Pelánek International Journal on Software Tools for Technology Transfer (STTT) 8 (3 …, 2006 | 202 | 2006 |
| Fighting state space explosion: Review and evaluation R Pelánek Formal Methods for Industrial Critical Systems, 37-52, 2009 | 136 | 2009 |
| Metrics for Evaluation of Student Models R Pelánek Journal of Educational Data Mining 7 (2), 1-19, 2015 | 130 | 2015 |
| Distributed explicit fair cycle detection (set based approach) I Černá, R Pelánek Model Checking Software, 623-623, 2003 | 112 | 2003 |
| Distributed LTL model checking based on negative cycle detection L Brim, I Černá, P Krčál, R Pelánek FST TCS 2001: Foundations of Software Technology and Theoretical Computer …, 2001 | 97 | 2001 |
| Adaptive Practice of Facts in Domains with Varied Prior Knowledge J Papoušek, R Pelánek, V Stanislav Educational Data Mining, 6-13, 2014 | 84 | 2014 |
| Lower and upper bounds in zone based abstractions of timed automata G Behrmann, P Bouyer, K Larsen, R Pelánek Tools and Algorithms for the Construction and Analysis of Systems, 312-326, 2004 | 77 | 2004 |
| Typical structural properties of state spaces R Pelánek Model Checking Software, 5-22, 2004 | 73 | 2004 |
| Relating hierarchy of temporal properties to model checking I Černá, R Pelánek Mathematical Foundations of Computer Science 2003, 318-327, 2003 | 73 | 2003 |
| To store or not to store G Behrmann, KG Larsen, R Pelánek Computer Aided Verification, 433-445, 2003 | 73 | 2003 |
| Elo-based learner modeling for the adaptive practice of facts R Pelánek, J Papoušek, J Řihák, V Stanislav, J Nižnan User Modeling and User-Adapted Interaction 27 (1), 89-118, 2017 | 72 | 2017 |
| Concrete Model Checking with Abstract Matching and Refinement C Păsăreanu, R Pelánek, W Visser Computer Aided Verification, 295-307, 2005 | 67 | 2005 |
| Modelování a simulace komplexních systémů R Pelánek Universitas-revue Masarykovy univerzity, 2012 | 63* | 2012 |
| Zážitkové výukové programy R Pelánek Portál, 2010 | 55 | 2010 |
| Application of Time Decay Functions and Elo System in Student Modeling R Pelánek Educational Data Mining (EDM), 21-27, 2014 | 52 | 2014 |
Tomáš EffenbergerMasaryk universityVerified email at mail.muni.cz
