Παρακολούθηση
Radek Pelánek
Radek Pelánek
Masaryk university
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα fi.muni.cz - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
2932017
Applications of the Elo rating system in adaptive educational systems
R Pelánek
Computers & Education 98, 169-179, 2016
2322016
Příručka instruktora zážitkových akcí
R Pelánek
Portál, 2008
2292008
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
2052006
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
2042006
Fighting state space explosion: Review and evaluation
R Pelánek
Formal Methods for Industrial Critical Systems, 37-52, 2009
1362009
Metrics for Evaluation of Student Models
R Pelánek
Journal of Educational Data Mining 7 (2), 1-19, 2015
1332015
Distributed explicit fair cycle detection (set based approach)
I Černá, R Pelánek
Model Checking Software, 623-623, 2003
1122003
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
972001
Adaptive Practice of Facts in Domains with Varied Prior Knowledge
J Papoušek, R Pelánek, V Stanislav
Educational Data Mining, 6-13, 2014
872014
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
To store or not to store
G Behrmann, KG Larsen, R Pelánek
Computer Aided Verification, 433-445, 2003
742003
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
732017
Typical structural properties of state spaces
R Pelánek
Model Checking Software, 5-22, 2004
732004
Relating hierarchy of temporal properties to model checking
I Černá, R Pelánek
Mathematical Foundations of Computer Science 2003, 318-327, 2003
732003
Concrete Model Checking with Abstract Matching and Refinement
C Păsăreanu, R Pelánek, W Visser
Computer Aided Verification, 295-307, 2005
672005
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
552010
Application of Time Decay Functions and Elo System in Student Modeling
R Pelánek
Educational Data Mining (EDM), 21-27, 2014
522014
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20