| BEEM: Benchmarks for explicit model checkers R Pelánek Model Checking Software, 263-267, 2007 | 261 | 2007 |
| 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 | 194 | 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 | 166 | 2006 |
| Příručka instruktora zážitkových akcí R Pelánek Portál, 2008 | 164 | 2008 |
| Fighting state space explosion: Review and evaluation R Pelánek Formal Methods for Industrial Critical Systems, 37-52, 2009 | 109 | 2009 |
| Distributed explicit fair cycle detection (set based approach) I Černá, R Pelánek Model Checking Software, 623-623, 2003 | 107 | 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 | 95 | 2001 |
| Applications of the Elo rating system in adaptive educational systems R Pelánek Computers & Education 98, 169-179, 2016 | 83 | 2016 |
| Metrics for Evaluation of Student Models R Pelánek Journal of Educational Data Mining 7 (2), 1-19, 2015 | 80 | 2015 |
| 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 | 76 | 2017 |
| Typical structural properties of state spaces R Pelánek Model Checking Software, 5-22, 2004 | 72 | 2004 |
| 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 | 68 | 2004 |
| To store or not to store G Behrmann, KG Larsen, R Pelánek Computer Aided Verification, 433-445, 2003 | 66 | 2003 |
| Relating hierarchy of temporal properties to model checking I Černá, R Pelánek Mathematical Foundations of Computer Science 2003, 318-327, 2003 | 60 | 2003 |
| Concrete Model Checking with Abstract Matching and Refinement C Păsăreanu, R Pelánek, W Visser Computer Aided Verification, 295-307, 2005 | 58 | 2005 |
| Adaptive Practice of Facts in Domains with Varied Prior Knowledge J Papoušek, R Pelánek, V Stanislav Educational Data Mining, 6-13, 2014 | 50 | 2014 |
| Enhancing random walk state space exploration R Pelánek, T Hanžl, I Černá, L Brim Proceedings of the 10th international workshop on Formal methods for …, 2005 | 47 | 2005 |
| Modelování a simulace komplexních systémů R Pelánek Universitas-revue Masarykovy univerzity, 2012 | 44* | 2012 |
| 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 | 39 | 2017 |
| Student Models for Prior Knowledge Estimation J Nižnan, R Pelánek, J Řihák Educational Data Mining, 2015 | 36 | 2015 |
Jiří ŘihákResearcher at Seznam.czVerified email at mail.muni.cz
