Radek Pelánek

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 42

Top Topics

Predictive Accuracy

Introductory Programming

Educational Systems

Top Venues

User Model. User Adapt. Interact.

Publications

Radek Pelánek
Leveraging response times in learning environments: opportunities and challenges. User Model. User Adapt. Interact. 34 (3) (2024)
Anna Rechtácková, Radek Pelánek, Tomás Effenberger
Catalog of Code Quality Defects in Introductory Programming. ITiCSE (1) (2024)
Radek Pelánek, Tomás Effenberger
The Landscape of Computational Thinking Problems for Practice and Assessment. ACM Trans. Comput. Educ. 23 (2) (2023)
Radek Pelánek
Adaptive, Intelligent, and Personalized: Navigating the Terminological Maze Behind Educational Technology. Int. J. Artif. Intell. Educ. 32 (1) (2022)
Radek Pelánek, Tomás Effenberger
Improving Learning Environments: Avoiding Stupidity Perspective. IEEE Trans. Learn. Technol. 15 (1) (2022)
Radek Pelánek, Tomás Effenberger
Design and analysis of microworlds and puzzles for block-based programming. Comput. Sci. Educ. 32 (1) (2022)
Tomás Effenberger, Radek Pelánek
Code Quality Defects across Introductory Programming Topics. SIGCSE (1) (2022)
Radek Pelánek, Tomás Effenberger, Jaroslav Cechák
Complexity and Difficulty of Items in Learning Systems. Int. J. Artif. Intell. Educ. 32 (1) (2022)
Tomás Effenberger, Radek Pelánek
Interpretable Clustering of Students' Solutions in Introductory Programming. AIED (1) (2021)
Radek Pelánek
Analyzing and Visualizing Learning Data: A System Designer's Perspective. J. Learn. Anal. 8 (2) (2021)
Tomás Effenberger, Radek Pelánek
Validity and Reliability of Student Models for Problem-Solving Activities. LAK (2021)
Jaroslav Cechák, Radek Pelánek
Experimental Evaluation of Similarity Measures for Educational Items. EDM (2021)
Jaroslav Cechák, Radek Pelánek
Better Model, Worse Predictions: The Dangers in Student Model Comparisons. AIED (1) (2021)
Radek Pelánek, Tomás Effenberger
Beyond binary correctness: Classification of students' answers in learning systems. User Model. User Adapt. Interact. 30 (5) (2020)
Radek Pelánek
Learning analytics challenges: trade-offs, methodology, scalability. LAK (2020)
Tomás Effenberger, Radek Pelánek
Impact of Methodological Choices on the Evaluation of Student Models. AIED (1) (2020)
Radek Pelánek
A Classification Framework for Practice Exercises in Adaptive Learning Systems. IEEE Trans. Learn. Technol. 13 (4) (2020)
Radek Pelánek
Measuring Similarity of Educational Items: An Overview. IEEE Trans. Learn. Technol. 13 (2) (2020)
Tomás Effenberger, Radek Pelánek, Jaroslav Cechák
Exploration of the robustness and generalizability of the additive factors model. LAK (2020)
Tomás Effenberger, Radek Pelánek
Measuring Students' Performance on Programming Tasks. L@S (2019)
Jaroslav Cechák, Radek Pelánek
Item Ordering Biases in Educational Data. AIED (1) (2019)
Tomás Effenberger, Jaroslav Cechák, Radek Pelánek
Measuring Difficulty of Introductory Programming Tasks. L@S (2019)
Radek Pelánek, Tomás Effenberger, Matej Vanek, Vojtech Sassmann, Dominik Gmiterko
Measuring Item Similarity in Introductory Programming: Python and Robot Programming Case Studies. CoRR (2018)
Radek Pelánek
The details matter: methodological nuances in the evaluation of student models. User Model. User Adapt. Interact. 28 (3) (2018)
Radek Pelánek
Exploring the utility of response times and wrong answers for adaptive learning. L@S (2018)
Radek Pelánek, Tomás Effenberger, Matej Vanek, Vojtech Sassmann, Dominik Gmiterko
Measuring item similarity in introductory programming. L@S (2018)
Radek Pelánek, Jirí Rihák
Analysis and design of mastery learning criteria. New Rev. Hypermedia Multim. 24 (3) (2018)
Tomás Effenberger, Radek Pelánek
Towards making block-based programming activities adaptive. L@S (2018)
Radek Pelánek
Conceptual Issues in Mastery Criteria: Differentiating Uncertainty and Degrees of Knowledge. AIED (1) (2018)
Jirí Rihák, Radek Pelánek
Measuring Similarity of Educational Items Using Data on Learners' Performance. EDM (2017)
Radek Pelánek
Bayesian knowledge tracing, logistic models, and beyond: an overview of learner modeling techniques. User Model. User Adapt. Interact. 27 (3-5) (2017)
Jan Papousek, Radek Pelánek
Should We Give Learners Control Over Item Difficulty? UMAP (Adjunct Publication) (2017)
Jan Papousek, Radek Pelánek
Evaluation of Learners' Adjustment of Question Difficulty in Adaptive Practice of Facts. UMAP (2017)
Radek Pelánek, Jan Papousek, Jirí Rihák, Vít Stanislav, Juraj Niznan
Elo-based learner modeling for the adaptive practice of facts. User Model. User Adapt. Interact. 27 (1) (2017)
Radek Pelánek
Measuring Predictive Performance of User Models: The Details Matter. UMAP (Adjunct Publication) (2017)
Radek Pelánek, Jirí Rihák
Experimental Analysis of Mastery Learning Criteria. UMAP (2017)
Jan Papousek, Vít Stanislav, Radek Pelánek
Impact of Question Difficulty on Engagement and Learning. ITS (2016)
Jan Papousek, Radek Pelánek, Vít Stanislav
Adaptive Geography Practice Data Set. J. Learn. Anal. 3 (2) (2016)
Radek Pelánek, Jirí Rihák
Properties and Applications of Wrong Answers in Online Educational Systems. EDM (2016)
Radek Pelánek
Applications of the Elo rating system in adaptive educational systems. Comput. Educ. 98 (2016)
Jan Papousek, Vít Stanislav, Radek Pelánek
Evaluation of an adaptive practice system for learning geography facts. LAK (2016)
Radek Pelánek, Jirí Rihák, Jan Papousek
Impact of data collection on interpretation and evaluation of student models. LAK (2016)
Radek Pelánek, Petr Jarusek
Student Modeling Based on Problem Solving Times. Int. J. Artif. Intell. Educ. 25 (4) (2015)
Jan Papousek, Radek Pelánek, Jirí Rihák, Vít Stanislav
An Analysis of Response Times in Adaptive Practice of Geography Facts. EDM (2015)
Radek Pelánek
Metrics for Evaluation of Student Models. EDM (2015)
Jan Papousek, Radek Pelánek
Impact of Adaptive Educational System Behaviour on Student Motivation. AIED (2015)
Juraj Niznan, Jan Papousek, Radek Pelánek
Exploring the Role of Small Differences in Predictive Accuracy using Simulated Data. AIED Workshops (2015)
Radek Pelánek
Modeling Students' Memory for Application in Adaptive Educational Systems. EDM (2015)
Juraj Niznan, Radek Pelánek, Jirí Rihák
Student Models for Prior Knowledge Estimation. EDM (2015)
Radek Pelánek
Modeling Student Learning: Binary or Continuous Skill? EDM (2015)
Jan Papousek, Radek Pelánek, Vít Stanislav
Adaptive Practice of Facts in Domains with Varied Prior Knowledge. EDM (2014)
Radek Pelánek
A Brief Overview of Metrics for Evaluation of Student Models. EDM (Workshops) (2014)
Radek Pelánek
Difficulty Rating of Sudoku Puzzles: An Overview and Evaluation. CoRR (2014)
Radek Pelánek
Application of Time Decay Functions and the Elo System in Student Modeling. EDM (2014)
Juraj Niznan, Radek Pelánek, Jirí Rihák
Mapping Problems to Skills Combining Expert Opinion and Student Data. MEMICS (2014)
Juraj Niznan, Radek Pelánek, Jirí Rihák
Using Problem Solving Times and Expert Opinion to Detect Skills. EDM (2014)
Petr Boros, Juraj Niznan, Radek Pelánek, Jirí Rihák
Automatic Detection of Concepts from Problem Solving Times. AIED (2013)
Radek Pelánek, Petr Jarusek, Matej Klusácek
Modeling Students' Learning and Variability of Performance in Problem Solving. EDM (2013)
Petr Jarusek, Radek Pelánek
Analysis of a Simple Model of Problem Solving Times. ITS (2012)
Petr Jarusek, Radek Pelánek
Modeling and Predicting Students Problem Solving Times. SOFSEM (2012)
Petr Jarusek, Radek Pelánek
A web-based problem solving tool for introductory computer science. ITiCSE (2012)
Radek Pelánek
Difficulty Rating of Sudoku Puzzles by a Computational Model. FLAIRS Conference (2011)
Petr Jarusek, Radek Pelánek
What Determines Difficulty of Transport Puzzles? FLAIRS Conference (2011)
Petr Jarusek, Radek Pelánek
Problem Response Theory and its Application for Tutoring. EDM (2011)
Petr Jarusek, Radek Pelánek
Difficulty Rating of Sokoban Puzzle. STAIRS (2010)
Radek Pelánek, Václav Rosecký
EMMA: Explicit Model Checking Manager (Tool Presentation). SPIN (2009)
Radek Pelánek
Fighting State Space Explosion: Review and Evaluation. FMICS (2008)
Radek Pelánek, Václav Rosecký, Pavel Moravec
Complementarity of Error Detection Techniques. Electron. Notes Theor. Comput. Sci. 220 (2) (2008)
Radek Pelánek
Properties of state spaces and their applications. Int. J. Softw. Tools Technol. Transf. 10 (5) (2008)
Corina S. Pasareanu, Radek Pelánek, Willem Visser
Predicate Abstraction with Under-Approximation Refinement. Log. Methods Comput. Sci. 3 (1) (2007)
Corina S. Pasareanu, Radek Pelánek, Willem Visser
Predicate Abstraction with Under-approximation Refinement CoRR (2007)
Radek Pelánek
Model Classifications and Automated Verification. FMICS (2007)
Radek Pelánek
BEEM: Benchmarks for Explicit Model Checkers. SPIN (2007)
Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
Lower and upper bounds in zone-based abstractions of timed automata. Int. J. Softw. Tools Technol. Transf. 8 (3) (2006)
Willem Visser, Corina S. Pasareanu, Radek Pelánek
Test input generation for java containers using state matching. ISSTA (2006)
Radek Pelánek, Tomás Hanzl, Ivana Cerná, Lubos Brim
Enhancing random walk state space exploration. FMICS (2005)
Pavel Krcál, Radek Pelánek
On Sampled Semantics of Timed Systems. FSTTCS (2005)
Corina S. Pasareanu, Radek Pelánek, Willem Visser
Concrete Model Checking with Abstract Matching and Refinement. CAV (2005)
Willem Visser, Corina S. Pasareanu, Radek Pelánek
Test input generation for red-black trees using abstraction. ASE (2005)
Radek Pelánek, Jan Strejcek
Deeper Connections Between LTL and Alternating Automata. CIAA (2005)
Radek Pelánek
Typical Structural Properties of State Spaces. SPIN (2004)
Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. TACAS (2004)
Ivana Cerná, Radek Pelánek
Relating Hierarchy of Temporal Properties to Model Checking. MFCS (2003)
Ivana Cerná, Radek Pelánek
Distributed Explicit Fair Cycle Detection (Set Based Approach). SPIN (2003)
Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek
To Store or Not to Store. CAV (2003)
Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek
Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS (2001)
Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek
How to Employ Reverse Search in Distributed Single Source Shortest Paths. SOFSEM (2001)