Radek Pelánek

92 papers A* 3A 11B 24C 4Misc 2Journal 26Unranked 22

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