We stand with Ukraine

We stand with Ukraine

Radek Pelánek

Orcid: 0000-0001-8877-4729

According to our database¹, Radek Pelánek authored at least 86 papers between 2001 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on orcid.org

On csauthors.net:

Bibliography

2024

Personalized recommendations for learning activities in online environments: a modular rule-based approach.

[BibT_eX]

[DOI]

,

Tomás Effenberger

,

User Model. User Adapt. Interact., September, 2024

Leveraging response times in learning environments: opportunities and challenges.

[BibT_eX]

[DOI]

User Model. User Adapt. Interact., July, 2024

Catalog of Code Quality Defects in Introductory Programming.

[BibT_eX]

[DOI]

Anna Rechtácková

,

,

Tomás Effenberger

Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, 2024

2023

The Landscape of Computational Thinking Problems for Practice and Assessment.

[BibT_eX]

[DOI]

,

Tomás Effenberger

ACM Trans. Comput. Educ., June, 2023

2022

Improving Learning Environments: Avoiding Stupidity Perspective.

[BibT_eX]

[DOI]

,

Tomás Effenberger

IEEE Trans. Learn. Technol., 2022

Design and analysis of microworlds and puzzles for block-based programming.

[BibT_eX]

[DOI]

,

Tomás Effenberger

Comput. Sci. Educ., 2022

Complexity and Difficulty of Items in Learning Systems.

[BibT_eX]

[DOI]

,

Tomás Effenberger

,

Jaroslav Cechák

Int. J. Artif. Intell. Educ., 2022

Adaptive, Intelligent, and Personalized: Navigating the Terminological Maze Behind Educational Technology.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Educ., 2022

Code Quality Defects across Introductory Programming Topics.

[BibT_eX]

[DOI]

Tomás Effenberger

,

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

2021

Analyzing and Visualizing Learning Data: A System Designer's Perspective.

[BibT_eX]

[DOI]

J. Learn. Anal., September, 2021

Validity and Reliability of Student Models for Problem-Solving Activities.

[BibT_eX]

[DOI]

Tomás Effenberger

,

Proceedings of the LAK'21: 11th International Learning Analytics and Knowledge Conference, 2021

Experimental Evaluation of Similarity Measures for Educational Items.

[BibT_eX]

Jaroslav Cechák

,

Proceedings of the 14th International Conference on Educational Data Mining, 2021

Interpretable Clustering of Students' Solutions in Introductory Programming.

[BibT_eX]

[DOI]

Tomás Effenberger

,

Proceedings of the Artificial Intelligence in Education - 22nd International Conference, 2021

Better Model, Worse Predictions: The Dangers in Student Model Comparisons.

[BibT_eX]

[DOI]

Jaroslav Cechák

,

Proceedings of the Artificial Intelligence in Education - 22nd International Conference, 2021

2020

Beyond binary correctness: Classification of students' answers in learning systems.

[BibT_eX]

[DOI]

,

Tomás Effenberger

User Model. User Adapt. Interact., 2020

A Classification Framework for Practice Exercises in Adaptive Learning Systems.

[BibT_eX]

[DOI]

IEEE Trans. Learn. Technol., 2020

Measuring Similarity of Educational Items: An Overview.

[BibT_eX]

[DOI]

IEEE Trans. Learn. Technol., 2020

Learning analytics challenges: trade-offs, methodology, scalability.

[BibT_eX]

[DOI]

Proceedings of the LAK '20: 10th International Conference on Learning Analytics and Knowledge, 2020

Exploration of the robustness and generalizability of the additive factors model.

[BibT_eX]

[DOI]

Tomás Effenberger

,

,

Jaroslav Cechák

Proceedings of the LAK '20: 10th International Conference on Learning Analytics and Knowledge, 2020

Impact of Methodological Choices on the Evaluation of Student Models.

[BibT_eX]

[DOI]

Tomás Effenberger

,

Proceedings of the Artificial Intelligence in Education - 21st International Conference, 2020

2019

Measuring Students' Performance on Programming Tasks.

[BibT_eX]

[DOI]

Tomás Effenberger

,

Proceedings of the Sixth ACM Conference on Learning @ Scale, 2019

Measuring Difficulty of Introductory Programming Tasks.

[BibT_eX]

[DOI]

Tomás Effenberger

,

Jaroslav Cechák

,

Proceedings of the Sixth ACM Conference on Learning @ Scale, 2019

Item Ordering Biases in Educational Data.

[BibT_eX]

[DOI]

Jaroslav Cechák

,

Proceedings of the Artificial Intelligence in Education - 20th International Conference, 2019

2018

The details matter: methodological nuances in the evaluation of student models.

[BibT_eX]

[DOI]

User Model. User Adapt. Interact., 2018

Analysis and design of mastery learning criteria.

[BibT_eX]

[DOI]

,

New Rev. Hypermedia Multim., 2018

Measuring Item Similarity in Introductory Programming: Python and Robot Programming Case Studies.

[BibT_eX]

[DOI]

,

Tomás Effenberger

,

,

Vojtech Sassmann

,

Dominik Gmiterko

CoRR, 2018

Measuring item similarity in introductory programming.

[BibT_eX]

[DOI]

,

Tomás Effenberger

,

,

Vojtech Sassmann

,

Dominik Gmiterko

Proceedings of the Fifth Annual ACM Conference on Learning at Scale, 2018

Exploring the utility of response times and wrong answers for adaptive learning.

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual ACM Conference on Learning at Scale, 2018

Towards making block-based programming activities adaptive.

[BibT_eX]

[DOI]

Tomás Effenberger

,

Proceedings of the Fifth Annual ACM Conference on Learning at Scale, 2018

Conceptual Issues in Mastery Criteria: Differentiating Uncertainty and Degrees of Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Education - 19th International Conference, 2018

2017

Elo-based learner modeling for the adaptive practice of facts.

[BibT_eX]

[DOI]

,

,

,

,

User Model. User Adapt. Interact., 2017

Bayesian knowledge tracing, logistic models, and beyond: an overview of learner modeling techniques.

[BibT_eX]

[DOI]

User Model. User Adapt. Interact., 2017

Experimental Analysis of Mastery Learning Criteria.

[BibT_eX]

[DOI]

,

Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization, 2017

Measuring Predictive Performance of User Models: The Details Matter.

[BibT_eX]

[DOI]

Proceedings of the Adjunct Publication of the 25th Conference on User Modeling, 2017

Should We Give Learners Control Over Item Difficulty?

[BibT_eX]

[DOI]

,

Proceedings of the Adjunct Publication of the 25th Conference on User Modeling, 2017

Evaluation of Learners' Adjustment of Question Difficulty in Adaptive Practice of Facts.

[BibT_eX]

[DOI]

,

Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization, 2017

Measuring Similarity of Educational Items Using Data on Learners' Performance.

[BibT_eX]

[DOI]

,

Proceedings of the 10th International Conference on Educational Data Mining, 2017

2016

Adaptive Geography Practice Data Set.

[BibT_eX]

[DOI]

,

,

J. Learn. Anal., September, 2016

Applications of the Elo rating system in adaptive educational systems.

[BibT_eX]

[DOI]

Comput. Educ., 2016

Impact of data collection on interpretation and evaluation of student models.

[BibT_eX]

[DOI]

,

,

Proceedings of the Sixth International Conference on Learning Analytics & Knowledge, 2016

Evaluation of an adaptive practice system for learning geography facts.

[BibT_eX]

[DOI]

,

,

Proceedings of the Sixth International Conference on Learning Analytics & Knowledge, 2016

Impact of Question Difficulty on Engagement and Learning.

[BibT_eX]

[DOI]

,

,

Proceedings of the Intelligent Tutoring Systems - 13th International Conference, 2016

Properties and Applications of Wrong Answers in Online Educational Systems.

[BibT_eX]

[DOI]

,

Proceedings of the 9th International Conference on Educational Data Mining, 2016

2015

Student Modeling Based on Problem Solving Times.

[BibT_eX]

[DOI]

,

Int. J. Artif. Intell. Educ., 2015

Modeling Student Learning: Binary or Continuous Skill?

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Educational Data Mining, 2015

Modeling Students' Memory for Application in Adaptive Educational Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Educational Data Mining, 2015

Metrics for Evaluation of Student Models.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Educational Data Mining, 2015

An Analysis of Response Times in Adaptive Practice of Geography Facts.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 8th International Conference on Educational Data Mining, 2015

Student Models for Prior Knowledge Estimation.

[BibT_eX]

[DOI]

,

,

Proceedings of the 8th International Conference on Educational Data Mining, 2015

Impact of Adaptive Educational System Behaviour on Student Motivation.

[BibT_eX]

[DOI]

,

Proceedings of the Artificial Intelligence in Education - 17th International Conference, 2015

Exploring the Role of Small Differences in Predictive Accuracy using Simulated Data.

[BibT_eX]

[DOI]

,

,

Proceedings of the Workshops at the 17th International Conference on Artificial Intelligence in Education, 2015

2014

Difficulty Rating of Sudoku Puzzles: An Overview and Evaluation.

[BibT_eX]

[DOI]

CoRR, 2014

Mapping Problems to Skills Combining Expert Opinion and Student Data.

[BibT_eX]

[DOI]

,

,

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2014

Application of Time Decay Functions and the Elo System in Student Modeling.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Educational Data Mining, 2014

A Brief Overview of Metrics for Evaluation of Student Models.

[BibT_eX]

[DOI]

Proceedings of the Workshops held at Educational Data Mining 2014, 2014

Adaptive Practice of Facts in Domains with Varied Prior Knowledge.

[BibT_eX]

[DOI]

,

,

Proceedings of the 7th International Conference on Educational Data Mining, 2014

Using Problem Solving Times and Expert Opinion to Detect Skills.

[BibT_eX]

[DOI]

,

,

Proceedings of the 7th International Conference on Educational Data Mining, 2014

2013

Modeling Students' Learning and Variability of Performance in Problem Solving.

[BibT_eX]

[DOI]

,

,

Matej Klusácek

Proceedings of the 6th International Conference on Educational Data Mining, 2013

Automatic Detection of Concepts from Problem Solving Times.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Artificial Intelligence in Education - 16th International Conference, 2013

2012

Modeling and Predicting Students Problem Solving Times.

[BibT_eX]

[DOI]

,

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

Analysis of a Simple Model of Problem Solving Times.

[BibT_eX]

[DOI]

,

Proceedings of the Intelligent Tutoring Systems - 11th International Conference, 2012

A web-based problem solving tool for introductory computer science.

[BibT_eX]

[DOI]

,

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

2011

Difficulty Rating of Sudoku Puzzles by a Computational Model.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011

What Determines Difficulty of Transport Puzzles?

[BibT_eX]

[DOI]

,

Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011

Problem Response Theory and its Application for Tutoring.

[BibT_eX]

[DOI]

,

Proceedings of the 4th International Conference on Educational Data Mining, 2011

2010

Difficulty Rating of Sokoban Puzzle.

[BibT_eX]

[DOI]

,

Proceedings of the STAIRS 2010, 2010

2009

EMMA: Explicit Model Checking Manager (Tool Presentation).

[BibT_eX]

[DOI]

,

Václav Rosecký

Proceedings of the Model Checking Software, 2009

2008

Properties of state spaces and their applications.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2008

Complementarity of Error Detection Techniques.

[BibT_eX]

[DOI]

,

Václav Rosecký

,

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

Fighting State Space Explosion: Review and Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

Predicate Abstraction with Under-Approximation Refinement.

[BibT_eX]

[DOI]

Corina S. Pasareanu

,

,

Log. Methods Comput. Sci., 2007

BEEM: Benchmarks for Explicit Model Checkers.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2007

Model Classifications and Automated Verification.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006

Lower and upper bounds in zone-based abstractions of timed automata.

[BibT_eX]

[DOI]

,

Patricia Bouyer

,

Kim Guldstrand Larsen

,

Int. J. Softw. Tools Technol. Transf., 2006

Test input generation for java containers using state matching.

[BibT_eX]

[DOI]

,

Corina S. Pasareanu

,

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2005

Deeper Connections Between LTL and Alternating Automata.

[BibT_eX]

[DOI]

,

Proceedings of the Implementation and Application of Automata, 2005

Test input generation for red-black trees using abstraction.

[BibT_eX]

[DOI]

,

Corina S. Pasareanu

,

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

On Sampled Semantics of Timed Systems.

[BibT_eX]

[DOI]

,

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Enhancing random walk state space exploration.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

Concrete Model Checking with Abstract Matching and Refinement.

[BibT_eX]

[DOI]

Corina S. Pasareanu

,

,

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Typical Structural Properties of State Spaces.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2004

2003

Distributed Explicit Fair Cycle Detection (Set Based Approach).

[BibT_eX]

[DOI]

,

Proceedings of the Model Checking Software, 2003

Relating Hierarchy of Temporal Properties to Model Checking.

[BibT_eX]

[DOI]

,

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

To Store or Not to Store.

[BibT_eX]

[DOI]

,

Kim Guldstrand Larsen

,

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2001

How to Employ Reverse Search in Distributed Single Source Shortest Paths.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24, 2001

Distributed LTL Model Checking Based on Negative Cycle Detection.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

Loading...