Radek Pelánek: Publications

Bibtex file with references.

Homepage

Google Scholar profile

Book Chapters

  1. Visualization of Student-Item Interaction Matrix
    T. Effenberger, R. Pelánek
    Visualizations and Dashboards for Learning Analytics, 2021.
    preprint version

Journal Publications

  1. Adaptive Learning is Hard: Challenges, Nuances, and Trade-offs in Modeling
    R. Pelánek
    International Journal of Artificial Intelligence in Education, 2024.

  2. Leveraging response times in learning environments: opportunities and challenges
    R. Pelánek
    User Modeling and User-Adapted Interaction, 2023.
    open access PDF

  3. The Landscape of Computational Thinking Problems for Practice and Assessment
    R. Pelánek, T. Effenberger
    ACM Transactions on Computing Education, 2023.
    preprint version

  4. Towards Design-Loop Adaptivity: Identifying Items for Revision
    R. Pelánek, T. Effenberger, A. Kukučka
    Journal of Educational Data Mining, 2022.

  5. Improving Learning Environments: Avoiding Stupidity Perspective
    R. Pelánek, T. Effenberger
    IEEE Transactions on Learning Technologies, 2022.
    preprint version

  6. Complexity and Difficulty of Items in Learning Systems
    R. Pelánek, T. Effenberger, J. Čechák
    International Journal of Artificial Intelligence in Education, 2022.
    preprint version

  7. Adaptive, Intelligent, and Personalized: Navigating the Terminological Maze Behind Educational Technology
    R. Pelánek
    International Journal of Artificial Intelligence in Education, 2022.
    preprint version

  8. Analyzing and Visualizing Learning Data: A System Designer's Perspective
    R. Pelánek
    Journal of Learning Analytics, 2021.

  9. Design and Analysis of Microworlds and Puzzles for Block-Based Programming
    R. Pelánek, T. Effenberger
    Computer Science Education, 2020.
    preprint version

  10. A Classification Framework for Practice Exercises in Adaptive Learning Systems
    R. Pelánek
    IEEE Transactions on Learning Technologies, 2020.
    preprint version

  11. Beyond binary correctness: Classification of students’ answers in learning systems
    R. Pelánek, T. Effenberger
    User Modeling and User-Adapted Interaction, 2020.
    preprint version

  12. Managing Items and Knowledge Components: Domain Modeling in Practice
    R. Pelánek.
    Educational Technology Research and Development, 2020.
    preprint version

  13. Measuring Similarity of Educational Items: An Overview
    R. Pelánek
    IEEE Transactions on Learning Technologies, 2019.
    preprint version

  14. The details matter: methodological nuances in the evaluation of student models
    R. Pelánek
    User Modeling and User-Adapted Interaction, 2018.
    preprint version

  15. Analysis and Design of Mastery Learning Criteria
    R. Pelánek, J. Řihák
    New Review of Hypermedia and Multimedia, 2018.
    preprint version

  16. Bayesian Knowledge Tracing, Logistic Models, and Beyond: An Overview of Learner Modeling Techniques
    R. Pelánek
    User Modeling and User-Adapted Interaction, 2017.
    preprint version

  17. 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, 2017.
    preprint version

  18. Applications of the Elo Rating System in Adaptive Educational Systems
    R. Pelánek
    Computers & Education, 2016.

  19. Adaptive Geography Practice Data Set
    J. Papoušek, R. Pelánek, V. Stanislav
    Journal of Learning Analytics, 2016.

  20. Student Modeling Based on Problem Solving Times
    R. Pelánek, P. Jarušek
    International Journal of Artificial Intelligence in Education, 2015.

  21. Metrics for Evaluation of Student Models
    R. Pelánek
    Journal of Educational Data Mining, 2015.

  22. Properties of State Spaces and Their Applications
    Radek Pelanek
    International Journal on Software Tools for Technology Transfer, 2008.

  23. Predicate Abstraction with Under-Approximation Refinement
    C. Pasareanu and R. Pelanek and W. Visser
    Logical Methods in Computer Science, 2007

  24. Lower and Upper Bounds in Zone Based Abstractions of Timed Automata
    Gerd Behrmann, Patricia Bouyer, Kim G. Larsen, and Radek Pelanek
    International Journal on Software Tools for Technology Transfer, 2005

Conference: Full Papers

  1. Code Quality Defects across Introductory Programming Topics
    T. Effenberger, R. Pelánek
    Technical Symposium on Computer Science Education, 2022.

  2. Interpretable Clustering of Students' Solutions in Introductory Programming
    T. Effenberger, R. Pelánek
    Artificial Intelligence in Education (AIED), 2021.

  3. Better Model, Worse Predictions: The Dangers in Student Model Comparisons
    J. Čechák, R. Pelánek
    Artificial Intelligence in Education (AIED), 2021.

  4. Validity and Reliability of Student Models for Problem-Solving Activities
    T. Effenberger, R. Pelánek
    Learning Analytics & Knowledge (LAK), 2021.

  5. Impact of Methodological Choices on the Evaluation of Student Models
    T. Effenberger, R. Pelánek
    Artificial Intelligence in Education (AIED), 2020.

  6. Exploration of the Robustness and Generalizability of the Additive Factors Model
    T. Effenberger, J. Čechák, R. Pelánek
    Learning Analytics & Knowledge (LAK), 2020.

  7. Item Ordering Biases in Educational Data
    J. Čechák, R. Pelánek
    Artificial Intelligence in Education (AIED), 2019.

  8. Conceptual Issues in Mastery Criteria: Differentiating Uncertainty and Degrees of Knowledge
    R. Pelánek
    Artificial Intelligence in Education (AIED), 2018.

  9. Experimental Analysis of Mastery Learning Criteria
    R. Pelánek, J. Řihák.
    User Modelling, Adaptation and Personalization (UMAP), 2017.

  10. Measuring Similarity of Educational Items Using Data on Learners' Performance
    J. Řihák, R. Pelánek.
    Educational Data Mining (EDM), 2017.

  11. Properties and Applications of Wrong Answers in Online Educational Systems
    R. Pelánek, J. Řihák.
    Educational Data Mining (EDM), 2016.

  12. Evaluation of an Adaptive Practice System for Learning Geography Facts
    J. Papoušek, R. Pelánek, V. Stanislav.
    Learning Analytics & Knowledge (LAK), 2016.

  13. Impact of Data Collection on Interpretation and Evaluation of Student Models
    R. Pelánek, J. Řihák,, J. Papoušek
    Learning Analytics & Knowledge (LAK), 2016.

  14. Impact of Adaptive Educational System Behaviour on Student Motivation
    J. Papoušek, R. Pelánek.
    Artificial Intelligence in Education (AIED), 2015.

  15. Student Models for Prior Knowledge Estimation
    J. Nižnan, R. Pelánek, J. Řihák
    Educational Data Mining (EDM), 2015.

  16. Modeling Students' Memory for Application in Adaptive Educational Systems
    R. Pelánek
    Educational Data Mining (EDM), 2015.

  17. Mapping Problems to Skills Combining Expert Opinion and Student Data
    J. Nižnan, R. Pelánek, J. Řihák.
    Mathematical and Engineering Methods in Computer Science, 2014

  18. Adaptive Practice of Facts in Domains with Varied Prior Knowledge
    J. Papoušek, R. Pelánek, V. Stanislav.
    Educational Data Mining (EDM), 2014.

  19. Application of Time Decay Functions and the Elo System in Student Modeling
    R. Pelánek.
    Educational Data Mining (EDM), 2014.

  20. Modeling Students' Learning and Variability of Performance in Problem Solving
    P. Jarušek, M. Klusáček, R. Pelánek.
    Educational Data Mining (EDM), 2013.

  21. Automatic Detection of Concepts from Problem Solving Times
    P. Boroš, J. Nižnan, R. Pelánek, J. Řihák.
    Artificial Intelligence in Education (AIED), 2013.

  22. Analysis of a Simple Model of Problem Solving Times
    P. Jarušek, R. Pelánek.
    Intelligent Tutoring Systems (ITS), 2012.

  23. Modeling and Predicting Students Problem Solving Times
    P. Jarušek, R. Pelánek.
    Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), 2012.

  24. Difficulty rating of Sudoku Puzzles by a Computational Model
    R. Pelánek.
    Florida Artificial Intelligence Research Society Conference (FLAIRS), 2011.

  25. What Determines Difficulty of Transport Puzzles?
    P. Jarušek, R. Pelánek
    Florida Artificial Intelligence Research Society Conference (FLAIRS), 2011.

  26. EMMA: Explicit Model Checking Manager (Tool Presentation)
    R. Pelanek, V. Rosecky
    SPIN 2009

  27. Fighting State Space Explosion: Review and Evaluation
    R. Pelanek
    FMICS 2008

  28. BEEM: Benchmarks for Explicit Model Checkers
    R. Pelanek
    SPIN Workshop 2007

  29. Model Classifications and Automated Verification
    R. Pelanek
    FMICS 2007

  30. Test input generation for java containers using state matching
    C. Pasareanu and R. Pelanek and W. Visser
    International Symposium on Software Testing and Analysis (ISSTA 2006)

  31. On Sampled Semantics of Timed Systems
    P. Krcal and R. Pelanek
    FSTTCS 2005

  32. Concrete Model Checking with Abstract Matching and Refinement
    C. Pasareanu and R. Pelanek and W. Visser
    Computer Aided Verification (CAV 2005)

  33. Test Input Generation for Red Black Trees using Abstraction
    C. Pasareanu and R. Pelanek and W. Visser
    Automated Software Engineering (ASE 2005)

  34. Enhancing Random Walk State Space Exploration
    R. Pelanek and T. Hanzl and I. Cerna and L. Brim
    FMICS 2005

  35. Deeper Connections between LTL and Alternating Automata
    R. Pelanek and J. Strejcek
    (CIAA 2005)

  36. Typical Structural Properties of State Spaces
    R. Pelanek
    SPIN Workshop 2004

  37. Lower and Upper Bounds in Zone Based Abstractions of Timed Automata
    Gerd Behrmann, Patricia Bouyer, Kim G. Larsen, and Radek Pelanek
    Tools and Algorithms for Construction and Analysis of Systems (TACAS 2004)

  38. Distributed Explicit Fair Cycle Detection
    I. Cerna and R. Pelanek
    SPIN Workshop 2003

  39. To Store or Not To Store
    G. Behrmann, K. G. Larsen, and R. Pelanek
    Computer Aided Verification (CAV 2003)

  40. Relating Hierarchy of Temporal Properties to Model Checking
    I. Cerna and R. Pelanek
    Mathematical Foundations of Computer Science (MFCS 2003)

  41. How to Employ Reverse Search in Distributed Single-Source Shortest Paths
    L. Brim, I. Cerna, P. Krcal, and R. Pelanek
    SOFSEM 2001

  42. Distributed LTL Model-Checking Based on Negative Cycle Detection
    L. Brim, I. Cerna, P. Krcal, and R. Pelanek
    Foundations of Software Technology and Theoretical Computer Science (FST-TCS 2001)

Short Papers, Workshops, Posters

  1. Experimental Evaluation of Similarity Measures for Educational Items
    J. Čechák, R. Pelánek
    Educational Data Mining (EDM), 2021.

  2. Learning Analytics Challenges: Trade-offs, Methodology, Scalability
    R. Pelánek
    Learning Analytics & Knowledge (LAK), 2020.

  3. Difficulty and Complexity of Introductory Programming Problems
    T. Effenberger, J. Čechák, R. Pelánek
    Educational Data Mining in Computer Science Education (CSEDM), 2019

  4. Measuring Difficulty of Introductory Programming Tasks
    T. Effenberger, J. Čechák, R. Pelánek
    Learning@Scale, 2019

  5. Measuring Students’ Performance on Programming Tasks
    T. Effenberger, R. Pelánek
    Learning@Scale, 2019

  6. Measuring Item Similarity in Introductory Programming
    R. Pelánek, T. Effenberger, M. Vaněk, V. Sassmann, D. Gmiterko
    Learning@Scale, 2018

  7. Exploring the Utility of Response Times and Wrong Answers for Adaptive Learning
    R. Pelánek
    Learning@Scale, 2018

  8. Towards Making Block-based Programming Activities Adaptive
    T. Effenberger, R. Pelánek
    Learning@Scale, 2018

  9. Measuring Predictive Performance of User Models: The Details Matter
    R. Pelánek
    EvalUMAP: Towards Comparative Evaluation in User Modeling, Adaptation and Personalization, 2017

  10. Should We Give Learners Control Over Item Difficulty?
    J. Papoušek, R. Pelánek
    Personalization Approaches in Learning Environments, 2017.

  11. Evaluation of Learners' Adjustment of Question Difficulty in Adaptive Practice of Facts
    J. Papoušek, R. Pelánek
    User Modelling, Adaptation and Personalization, 2017.

  12. What is More Important for Student Modeling: Domain Structure or Response Times?
    J. Řihák, R. Pelánek.
    Intelligent Tutoring Systems (ITS), 2016.

  13. Choosing a Student Model for a Real World Application
    J. Řihák, R. Pelánek.
    Building ITS Bridges Across Frontiers (ITS Workshop), 2016.

  14. Exploring the Role of Small Differences in Predictive Accuracy using Simulated Data
    J. Nižnan, J. Papoušek, R. Pelánek
    AIED Workshop on Simulated Learners, 2015.

  15. An Analysis of Response Times in Adaptive Practice of Geography Facts
    J. Papoušek, R. Pelánek, J. Řihák, V. Stanislav
    Educational Data Mining (EDM), 2015.

  16. Modeling Student Learning: Binary or Continuous Skill?
    R. Pelánek
    Educational Data Mining (EDM), 2015.

  17. A Brief Overview of Metrics for Evaluation of Student Models
    R. Pelánek.
    BKT20y Workshop - Approaching Twenty Years of Knowledge Tracing, 2014.

  18. Using Problem Solving Times and Expert Opinion to Detect Skills
    J. Nižnan, R. Pelánek, J. Řihák.
    Educational Data Mining (EDM), 2014

  19. Difficulty Rating of Sudoku Puzzles: An Overview and Evaluation
    R. Pelánek.
    arXiv:1403.7373, 2014

  20. A Web-Based Problem Solving Tool for Introductory Computer Science
    P. Jarušek, R. Pelánek.
    Innovation and technology in computer science education, 2012.

  21. Problem Response Theory and its Application for Tutoring
    P. Jarušek, R. Pelánek.
    Educational Data Mining, 2011.

  22. Difficulty Rating of Sokoban Puzzle
    P. Jarušek, R. Pelánek
    European Starting AI Researcher Symposium (STAIRS 2010).

  23. Analýza obtížnosti logických úloh na základě modelů lidského chování
    P. Jarušek, R. Pelánek.
    Kognice a umělý život, 2010.

  24. Complementarity of Error Detection Techniques
    R. Pelanek, V. Rosecky, P. Moravec
    Parallel and Distributed Methods in verifiCation (PDMC), 2008

  25. Evaluation of On-the-fly State Space Reductions
    R. Pelanek
    Mathematical and Engineering Methods in Computer Science (MEMICS'05)

  26. LTL Hierarchies and Model Checking
    R. Pelanek
    ESSLLI 2003 Student Session, 2003

Thesis

  1. Reduction and Abstraction Techniques for Model Checking
    R. Pelanek
    Faculty of Informatics, Masaryk University, Brno, PhD Thesis, 2006
  2. LTL Model Checking
    R. Pelanek
    Faculty of Informatics, Masaryk University, Brno, Master's Thesis, 2003

Technical Report

To download technical reports go to this page.
  1. Evaluation of the Impact of Question Difficulty on Engagement and Learning
    J. Papoušek, V. Stanislav, R. Pelánek
    Technical report FIMU-RS-2016-02, 2016.

  2. Human Problem Solving: Sudoku Case Study
    R. Pelánek.
    Technical report FIMU-RS-2011-01, 2011.

  3. Human Problem Solving: Sokoban Case Study
    P. Jarušek, R. Pelánek.
    Technical report FIMU-RS-2010-01.

  4. Verification Manager: Automating the Verification Process
    R. Pelanek, V. Rosecky
    Technical report FIMU-RS-2009-02, 17 pages

  5. Evaluation of State Caching and State Compression Techniques
    R. Pelanek, V. Rosecky, J. Sedenka
    Technical report FIMU-RS-2008-02, 19 pages

  6. Estimating State Space Parameters
    R. Pelanek, P. Simecek
    Technical report FIMU-RS-2008-01, 21 pages

  7. Web Portal for Benchmarking Explicit Model Checkers
    R. Pelanek
    Technical report FIMU-RS-2006-03, 39 pages

  8. Reachability Relations and Sampled Semantics of Timed Systems
    P. Krcal and R. Pelanek
    Technical report FIMU-RS-2005-09, 31 pages

  9. On-the-fly State Space Reductions
    R. Pelanek
    Technical report FIMU-RS-2005-03, 22 pages

  10. Deeper Connections between LTL and Alternating Automata
    R. Pelanek and J. Strejcek
    Technical report FIMU-RS-2004-08, 26 pages

  11. Relating Hierarchy of Linear Temporal Properties to Model Checking
    I. Cerna and R. Pelanek
    Technical report FIMU-RS-2003-03, full version of MFCS 03 paper, 18 pages , 2003

  12. Distributed Explicit Fair Cycle Detection: Set Based Approach
    I. Cerna and R. Pelanek
    Technical report FIMU-RS-2002-09, 24 pages, full version of the SPIN'03 paper, 2002

  13. How to Employ Reverse Search in Distributed Single Source Shortest Paths
    L. Brim, I. Cerna, P. Krcal, and R. Pelanek
    Technical report FIMU-RS-2001-09, 22 pages, full version of the SOFSEM 01 paper, 2001

  14. Distributed Shortest Paths for Directed Graphs with Negative Edge Lengths
    L. Brim, I. Cerna, P. Krcal, and R. Pelanek
    Technical report FIMU-RS-2001-01, 19 pages, full version of the FST TCS 01 paper, 2001