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
3042007
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
2372017
Příručka instruktora zážitkových akcí
R Pelánek
Portál, 2008
2112008
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
2012006
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
1982006
Applications of the Elo rating system in adaptive educational systems
R Pelánek
Computers & Education 98, 169-179, 2016
1972016
Fighting state space explosion: Review and evaluation
R Pelánek
Formal Methods for Industrial Critical Systems, 37-52, 2009
1322009
Metrics for Evaluation of Student Models
R Pelánek
Journal of Educational Data Mining 7 (2), 1-19, 2015
1212015
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
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
772004
Relating hierarchy of temporal properties to model checking
I Černá, R Pelánek
Mathematical Foundations of Computer Science 2003, 318-327, 2003
762003
Adaptive Practice of Facts in Domains with Varied Prior Knowledge
J Papoušek, R Pelánek, V Stanislav
Educational Data Mining, 6-13, 2014
752014
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
642017
Modelování a simulace komplexních systémů
R Pelánek
Universitas-revue Masarykovy univerzity, 2012
64*2012
Concrete Model Checking with Abstract Matching and Refinement
C Păsăreanu, R Pelánek, W Visser
Computer Aided Verification, 295-307, 2005
642005
Zážitkové výukové programy
R Pelánek
Portál, 2010
542010
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