| 2026 | SIGCSE | EduLint: a Versatile Tool for Code Quality Feedback. | Anna Rechtckov, Radek Pelnek |
| 2025 | SIGCSE | Diagnosable Code Duplication in Introductory Programming. | Anna Rechtckov, Radek Pelnek |
| 2024 | ITiCSE | Catalog of Code Quality Defects in Introductory Programming. | Anna Rechtckov, Radek Pelnek, Toms Effenberger |
| 2022 | SIGCSE | Code Quality Defects across Introductory Programming Topics. | Toms Effenberger, Radek Pelnek |
| 2021 | AIED | Better Model, Worse Predictions: The Dangers in Student Model Comparisons. | Jaroslav Cechk, Radek Pelnek |
| 2021 | AIED | Interpretable Clustering of Students' Solutions in Introductory Programming. | Toms Effenberger, Radek Pelnek |
| 2021 | EDM | Experimental Evaluation of Similarity Measures for Educational Items. | Jaroslav Cechk, Radek Pelnek |
| 2021 | LAK | Validity and Reliability of Student Models for Problem-Solving Activities. | Toms Effenberger, Radek Pelnek |
| 2020 | AIED | Impact of Methodological Choices on the Evaluation of Student Models. | Toms Effenberger, Radek Pelnek |
| 2020 | LAK | Exploration of the robustness and generalizability of the additive factors model. | Toms Effenberger, Radek Pelnek, Jaroslav Cechk |
| 2020 | LAK | Learning analytics challenges: trade-offs, methodology, scalability. | Radek Pelnek |
| 2019 | AIED | Item Ordering Biases in Educational Data. | Jaroslav Cechk, Radek Pelnek |
| 2018 | AIED | Conceptual Issues in Mastery Criteria: Differentiating Uncertainty and Degrees of Knowledge. | Radek Pelnek |
| 2017 | EDM | Measuring Similarity of Educational Items Using Data on Learners' Performance. | Jir Rihk, Radek Pelnek |
| 2016 | EDM | Properties and Applications of Wrong Answers in Online Educational Systems. | Radek Pelnek, Jir Rihk |
| 2016 | ITS | Impact of Question Difficulty on Engagement and Learning. | Jan Papousek, Vt Stanislav, Radek Pelnek |
| 2016 | LAK | Evaluation of an adaptive practice system for learning geography facts. | Jan Papousek, Vt Stanislav, Radek Pelnek |
| 2016 | LAK | Impact of data collection on interpretation and evaluation of student models. | Radek Pelnek, Jir Rihk, Jan Papousek |
| 2015 | AIED | Exploring the Role of Small Differences in Predictive Accuracy using Simulated Data. | Juraj Niznan, Jan Papousek, Radek Pelnek |
| 2015 | AIED | Impact of Adaptive Educational System Behaviour on Student Motivation. | Jan Papousek, Radek Pelnek |
| 2015 | EDM | Student Models for Prior Knowledge Estimation. | Juraj Niznan, Radek Pelnek, Jir Rihk |
| 2015 | EDM | An Analysis of Response Times in Adaptive Practice of Geography Facts. | Jan Papousek, Radek Pelnek, Jir Rihk, Vt Stanislav |
| 2015 | EDM | Metrics for Evaluation of Student Models. | Radek Pelnek |
| 2015 | EDM | Modeling Students' Memory for Application in Adaptive Educational Systems. | Radek Pelnek |
| 2015 | EDM | Modeling Student Learning: Binary or Continuous Skill? | Radek Pelnek |
| 2014 | EDM | Using Problem Solving Times and Expert Opinion to Detect Skills. | Juraj Niznan, Radek Pelnek, Jir Rihk |
| 2014 | EDM | Adaptive Practice of Facts in Domains with Varied Prior Knowledge. | Jan Papousek, Radek Pelnek, Vt Stanislav |
| 2014 | EDM | A Brief Overview of Metrics for Evaluation of Student Models. | Radek Pelnek |
| 2014 | EDM | Application of Time Decay Functions and the Elo System in Student Modeling. | Radek Pelnek |
| 2013 | AIED | Automatic Detection of Concepts from Problem Solving Times. | Petr Boros, Juraj Niznan, Radek Pelnek, Jir Rihk |
| 2013 | EDM | Modeling Students' Learning and Variability of Performance in Problem Solving. | Radek Pelnek, Petr Jarusek, Matej Kluscek |
| 2012 | ITiCSE | A web-based problem solving tool for introductory computer science. | Petr Jarusek, Radek Pelnek |
| 2012 | ITS | Analysis of a Simple Model of Problem Solving Times. | Petr Jarusek, Radek Pelnek |
| 2012 | SOFSEM | Modeling and Predicting Students Problem Solving Times. | Petr Jarusek, Radek Pelnek |
| 2011 | EDM | Problem Response Theory and its Application for Tutoring. | Petr Jarusek, Radek Pelnek |
| 2011 | FlAIRS | What Determines Difficulty of Transport Puzzles? | Petr Jarusek, Radek Pelnek |
| 2011 | FlAIRS | Difficulty Rating of Sudoku Puzzles by a Computational Model. | Radek Pelnek |
| 2008 | FMICS | Fighting State Space Explosion: Review and Evaluation. | Radek Pelnek |
| 2007 | FMICS | Model Classifications and Automated Verification. | Radek Pelnek |
| 2006 | ISSTA | Test input generation for java containers using state matching. | Willem Visser, Corina S. Pasareanu, Radek Pelnek |
| 2005 | CAV | Concrete Model Checking with Abstract Matching and Refinement. | Corina S. Pasareanu, Radek Pelnek, Willem Visser |
| 2005 | FMICS | Enhancing random walk state space exploration. | Radek Pelnek, Toms Hanzl, Ivana Cern, Lubos Brim |
| 2004 | TACAS | Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. | Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelnek |
| 2003 | CAV | To Store or Not to Store. | Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelnek |
| 2003 | MFCS | Relating Hierarchy of Temporal Properties to Model Checking. | Ivana Cern, Radek Pelnek |
| 2001 | SOFSEM | How to Employ Reverse Search in Distributed Single Source Shortest Paths. | Lubos Brim, Ivana Cern, Pavel Krcl, Radek Pelnek |