Distributed LTL Model Checking Based on Negative Cycle Detection. - Lubos Brim; Ivana Cerná; Pavel Krcál; Radek Pelánek (FSTTCS, 2001)

How to Employ Reverse Search in Distributed Single Source Shortest Paths. - Lubos Brim; Ivana Cerná; Pavel Krcál; Radek Pelánek (SOFSEM, 2001)

To Store or Not to Store. - Gerd Behrmann; Kim Guldstrand Larsen; Radek Pelánek (CAV, 2003)

Relating Hierarchy of Temporal Properties to Model Checking. - Ivana Cerná; Radek Pelánek (MFCS, 2003)

Distributed Explicit Fair Cycle Detection (Set Based Approach). - Ivana Cerná; Radek Pelánek (SPIN, 2003)

Typical Structural Properties of State Spaces. - Radek Pelánek (SPIN, 2004)

Concrete Model Checking with Abstract Matching and Refinement. - Corina S. Pasareanu; Radek Pelánek; Willem Visser (CAV, 2005)

Enhancing random walk state space exploration. - Radek Pelánek; Tomás Hanzl; Ivana Cerná; Lubos Brim (FMICS, 2005)

On Sampled Semantics of Timed Systems. - Pavel Krcál; Radek Pelánek (FSTTCS, 2005)

Test input generation for red-black trees using abstraction. - Willem Visser; Corina S. Pasareanu; Radek Pelánek (ASE, 2005)

Deeper Connections Between LTL and Alternating Automata. - Radek Pelánek; Jan Strejcek (CIAA, 2005)

Test input generation for java containers using state matching. - Willem Visser; Corina S. Pasareanu; Radek Pelánek (ISSTA, 2006)

Lower and upper bounds in zone-based abstractions of timed automata. - Gerd Behrmann; Patricia Bouyer; Kim Guldstrand Larsen; Radek Pelánek (Int. J. Softw. Tools Technol. Transf., 2006)

Model Classifications and Automated Verification. - Radek Pelánek (FMICS, 2007)

BEEM: Benchmarks for Explicit Model Checkers. - Radek Pelánek (SPIN, 2007)

Predicate Abstraction with Under-Approximation Refinement. - Corina S. Pasareanu; Radek Pelánek; Willem Visser (Log. Methods Comput. Sci., 2007)

Fighting State Space Explosion: Review and Evaluation. - Radek Pelánek (FMICS, 2008)

Complementarity of Error Detection Techniques. - Radek Pelánek; Václav Rosecký; Pavel Moravec 002 (PDMC@ETAPS, 2008)

Properties of state spaces and their applications. - Radek Pelánek (Int. J. Softw. Tools Technol. Transf., 2008)

EMMA: Explicit Model Checking Manager (Tool Presentation). - Radek Pelánek; Václav Rosecký (SPIN, 2009)

Difficulty Rating of Sokoban Puzzle. - Petr Jarusek; Radek Pelánek (STAIRS, 2010)

Problem Response Theory and its Application for Tutoring. - Petr Jarusek; Radek Pelánek (EDM, 2011)

What Determines Difficulty of Transport Puzzles? - Petr Jarusek; Radek Pelánek (FLAIRS, 2011)

Difficulty Rating of Sudoku Puzzles by a Computational Model. - Radek Pelánek (FLAIRS, 2011)

A web-based problem solving tool for introductory computer science. - Petr Jarusek; Radek Pelánek (ITiCSE, 2012)

Analysis of a Simple Model of Problem Solving Times. - Petr Jarusek; Radek Pelánek (ITS, 2012)

Modeling and Predicting Students Problem Solving Times. - Petr Jarusek; Radek Pelánek (SOFSEM, 2012)

Automatic Detection of Concepts from Problem Solving Times. - Petr Boros; Juraj Niznan; Radek Pelánek; Jirí Rihák (AIED, 2013)

Modeling Students' Learning and Variability of Performance in Problem Solving. - Radek Pelánek; Petr Jarusek; Matej Klusácek (EDM, 2013)

Using Problem Solving Times and Expert Opinion to Detect Skills. - Juraj Niznan; Radek Pelánek; Jirí Rihák (EDM, 2014)

Adaptive Practice of Facts in Domains with Varied Prior Knowledge. - Jan Papousek; Radek Pelánek; Vít Stanislav (EDM, 2014)

A Brief Overview of Metrics for Evaluation of Student Models. - Radek Pelánek (EDM (Workshops), 2014)

Application of Time Decay Functions and the Elo System in Student Modeling. - Radek Pelánek (EDM, 2014)

Mapping Problems to Skills Combining Expert Opinion and Student Data. - Juraj Niznan; Radek Pelánek; Jirí Rihák (MEMICS, 2014)

Difficulty Rating of Sudoku Puzzles: An Overview and Evaluation. - Radek Pelánek (CoRR, 2014)

Exploring the Role of Small Differences in Predictive Accuracy using Simulated Data. - Juraj Niznan; Jan Papousek; Radek Pelánek (AIED Workshops, 2015)

Impact of Adaptive Educational System Behaviour on Student Motivation. - Jan Papousek; Radek Pelánek (AIED, 2015)

Student Models for Prior Knowledge Estimation. - Juraj Niznan; Radek Pelánek; Jirí Rihák (EDM, 2015)

An Analysis of Response Times in Adaptive Practice of Geography Facts. - Jan Papousek; Radek Pelánek; Jirí Rihák; Vít Stanislav (EDM, 2015)

Metrics for Evaluation of Student Models. - Radek Pelánek (EDM, 2015)

Modeling Students' Memory for Application in Adaptive Educational Systems. - Radek Pelánek (EDM, 2015)

Modeling Student Learning: Binary or Continuous Skill? - Radek Pelánek (EDM, 2015)

Student Modeling Based on Problem Solving Times. - Radek Pelánek; Petr Jarusek (Int. J. Artif. Intell. Educ., 2015)

Properties and Applications of Wrong Answers in Online Educational Systems. - Radek Pelánek; Jirí Rihák (EDM, 2016)

Impact of Question Difficulty on Engagement and Learning. - Jan Papousek; Vít Stanislav; Radek Pelánek (ITS, 2016)

Evaluation of an adaptive practice system for learning geography facts. - Jan Papousek; Vít Stanislav; Radek Pelánek (LAK, 2016)

Impact of data collection on interpretation and evaluation of student models. - Radek Pelánek; Jirí Rihák; Jan Papousek (LAK, 2016)

Applications of the Elo rating system in adaptive educational systems. - Radek Pelánek (Comput. Educ., 2016)

Adaptive Geography Practice Data Set. - Jan Papousek; Radek Pelánek; Vít Stanislav (J. Learn. Anal., 2016)

Measuring Similarity of Educational Items Using Data on Learners' Performance. - Jirí Rihák; Radek Pelánek (EDM, 2017)

Evaluation of Learners' Adjustment of Question Difficulty in Adaptive Practice of Facts. - Jan Papousek; Radek Pelánek (UMAP, 2017)

Should We Give Learners Control Over Item Difficulty? - Jan Papousek; Radek Pelánek (UMAP (Adjunct Publication), 2017)

Measuring Predictive Performance of User Models: The Details Matter. - Radek Pelánek (UMAP (Adjunct Publication), 2017)

Experimental Analysis of Mastery Learning Criteria. - Radek Pelánek; Jirí Rihák (UMAP, 2017)

Bayesian knowledge tracing, logistic models, and beyond: an overview of learner modeling techniques. - Radek Pelánek (User Model. User Adapt. Interact., 2017)

Elo-based learner modeling for the adaptive practice of facts. - Radek Pelánek; Jan Papousek; Jirí Rihák; Vít Stanislav; Juraj Niznan (User Model. User Adapt. Interact., 2017)

Conceptual Issues in Mastery Criteria: Differentiating Uncertainty and Degrees of Knowledge. - Radek Pelánek (AIED (1), 2018)

Towards making block-based programming activities adaptive. - Tomás Effenberger; Radek Pelánek (L@S, 2018)

Exploring the utility of response times and wrong answers for adaptive learning. - Radek Pelánek (L@S, 2018)

Measuring item similarity in introductory programming. - Radek Pelánek; Tomás Effenberger; Matej Vanek; Vojtech Sassmann; Dominik Gmiterko (L@S, 2018)

Measuring Item Similarity in Introductory Programming: Python and Robot Programming Case Studies. - Radek Pelánek; Tomás Effenberger; Matej Vanek; Vojtech Sassmann; Dominik Gmiterko (CoRR, 2018)

Analysis and design of mastery learning criteria. - Radek Pelánek; Jirí Rihák (New Rev. Hypermedia Multim., 2018)

The details matter: methodological nuances in the evaluation of student models. - Radek Pelánek (User Model. User Adapt. Interact., 2018)

Item Ordering Biases in Educational Data. - Jaroslav Cechák; Radek Pelánek (AIED (1), 2019)

Measuring Difficulty of Introductory Programming Tasks. - Tomás Effenberger; Jaroslav Cechák; Radek Pelánek (L@S, 2019)

Measuring Students' Performance on Programming Tasks. - Tomás Effenberger; Radek Pelánek (L@S, 2019)

Impact of Methodological Choices on the Evaluation of Student Models. - Tomás Effenberger; Radek Pelánek (AIED (1), 2020)

Exploration of the robustness and generalizability of the additive factors model. - Tomás Effenberger; Radek Pelánek; Jaroslav Cechák (LAK, 2020)

Learning analytics challenges: trade-offs, methodology, scalability. - Radek Pelánek (LAK, 2020)

Measuring Similarity of Educational Items: An Overview. - Radek Pelánek (IEEE Trans. Learn. Technol., 2020)

A Classification Framework for Practice Exercises in Adaptive Learning Systems. - Radek Pelánek (IEEE Trans. Learn. Technol., 2020)

Beyond binary correctness: Classification of students' answers in learning systems. - Radek Pelánek; Tomás Effenberger (User Model. User Adapt. Interact., 2020)

Better Model, Worse Predictions: The Dangers in Student Model Comparisons. - Jaroslav Cechák; Radek Pelánek (AIED (1), 2021)

Interpretable Clustering of Students' Solutions in Introductory Programming. - Tomás Effenberger; Radek Pelánek (AIED (1), 2021)

Experimental Evaluation of Similarity Measures for Educational Items. - Jaroslav Cechák; Radek Pelánek (EDM, 2021)

Validity and Reliability of Student Models for Problem-Solving Activities. - Tomás Effenberger; Radek Pelánek (LAK, 2021)

Analyzing and Visualizing Learning Data: A System Designer's Perspective. - Radek Pelánek (J. Learn. Anal., 2021)

Code Quality Defects across Introductory Programming Topics. - Tomás Effenberger; Radek Pelánek (SIGCSE (1), 2022)

Adaptive, Intelligent, and Personalized: Navigating the Terminological Maze Behind Educational Technology. - Radek Pelánek (Int. J. Artif. Intell. Educ., 2022)

Complexity and Difficulty of Items in Learning Systems. - Radek Pelánek; Tomás Effenberger; Jaroslav Cechák (Int. J. Artif. Intell. Educ., 2022)

Design and analysis of microworlds and puzzles for block-based programming. - Radek Pelánek; Tomás Effenberger (Comput. Sci. Educ., 2022)

Improving Learning Environments: Avoiding Stupidity Perspective. - Radek Pelánek; Tomás Effenberger (IEEE Trans. Learn. Technol., 2022)

The Landscape of Computational Thinking Problems for Practice and Assessment. - Radek Pelánek; Tomás Effenberger (ACM Trans. Comput. Educ., 2023)

Catalog of Code Quality Defects in Introductory Programming. - Anna Rechtácková; Radek Pelánek; Tomás Effenberger (ITiCSE (1), 2024)

Leveraging response times in learning environments: opportunities and challenges. - Radek Pelánek (User Model. User Adapt. Interact., 2024)

Personalized recommendations for learning activities in online environments: a modular rule-based approach. - Radek Pelánek; Tomás Effenberger; Petr Jarusek (User Model. User Adapt. Interact., 2024)

Diagnosable Code Duplication in Introductory Programming. - Anna Rechtácková; Radek Pelánek (SIGCSE (1), 2025)

Adaptive Learning is Hard: Challenges, Nuances, and Trade-offs in Modeling. - Radek Pelánek (Int. J. Artif. Intell. Educ., 2025)