Radek Pelánek

Bayesian knowledge tracing, logistic models, and beyond: an overview of learner modeling techniques

Radek Pelánek · User Modeling and User-Adapted Interaction · 2017 · 219 citations

Bayesian Statistic, Bayesian Statistics, Engineering +14

Test input generation for java containers using state matching

Willem Visser, Corina S. Păsăreanu, Radek Pelánek · 2006 · 168 citations

Engineering, Verification, Test Data Generation +20

Applications of the Elo rating system in adaptive educational systems

Radek Pelánek · Computers & Education · 2016 · 160 citations

Reliability, Engineering, Education +11

Lower and upper bounds in zone-based abstractions of timed automata

Gerd Behrmann, Patricia Bouyer, Kim G. Larsen et al. · International Journal on Software Tools for Technology Transfer · 2005 · 120 citations

Logical Automaton, Engineering, Automated Reasoning +10

Metrics for Evaluation of Student Models

Radek Pelánek · Zenodo (CERN European Organization for Nuclear Research) · 2015 · 72 citations · Full text

Many Different Metrics, Different Metrics, Engineering +14