Seguir
Radek Pelánek
Título
Citado por
Citado por
Año
BEEM: Benchmarks for explicit model checkers
R Pelánek
Model Checking Software, 263-267, 2007
3052007
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
2502017
Příručka instruktora zážitkových akcí
R Pelánek
Portál, 2008
2152008
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
2032006
Applications of the Elo rating system in adaptive educational systems
R Pelánek
Computers & Education 98, 169-179, 2016
2022016
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
2002006
Fighting state space explosion: Review and evaluation
R Pelánek
Formal Methods for Industrial Critical Systems, 37-52, 2009
1332009
Metrics for Evaluation of Student Models
R Pelánek
Journal of Educational Data Mining 7 (2), 1-19, 2015
1252015
Distributed explicit fair cycle detection (set based approach)
I Černá, R Pelánek
Model Checking Software, 623-623, 2003
1132003
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
982001
Adaptive Practice of Facts in Domains with Varied Prior Knowledge
J Papoušek, R Pelánek, V Stanislav
Educational Data Mining, 6-13, 2014
792014
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
782004
Relating hierarchy of temporal properties to model checking
I Černá, R Pelánek
Mathematical Foundations of Computer Science 2003, 318-327, 2003
762003
To store or not to store
G Behrmann, KG Larsen, R Pelánek
Computer Aided Verification, 433-445, 2003
742003
Typical structural properties of state spaces
R Pelánek
Model Checking Software, 5-22, 2004
732004
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
662017
Concrete Model Checking with Abstract Matching and Refinement
C Păsăreanu, R Pelánek, W Visser
Computer Aided Verification, 295-307, 2005
652005
Modelování a simulace komplexních systémů
R Pelánek
Universitas-revue Masarykovy univerzity, 2012
64*2012
Zážitkové výukové programy
R Pelánek
Portál, 2010
532010
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
512005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20