( en | de | ru )

 

Disambiguation of "Pelánek, Radek"

Author of the publication

copydeleteadd this publication to your clipboard
To Store or Not to Store.

, , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 433-445. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulrich Radek

Martin Radek

Tünde Radek

Heinrich Radek

Erich Radek

 

Other publications of authors with the same name

Experimental Analysis of Mastery Learning Criteria., and . UMAP, page 156-163. ACM, (2017)Modeling Students' Memory for Application in Adaptive Educational Systems.. EDM, page 480-483. International Educational Data Mining Society (IEDMS), (2015)Enhancing random walk state space exploration., , , and . FMICS, page 98-105. ACM, (2005)Exploration of the robustness and generalizability of the additive factors model., , and . LAK, page 472-479. ACM, (2020)The conference was reorganized to a virtual event due to the international COVID-19 health crisis..What Determines Difficulty of Transport Puzzles?, and . FLAIRS, AAAI Press, (2011)BEEM: Benchmarks for Explicit Model Checkers.. SPIN, volume 4595 of Lecture Notes in Computer Science, page 263-267. Springer, (2007)Deeper Connections Between LTL and Alternating Automata., and . CIAA, volume 3845 of Lecture Notes in Computer Science, page 238-249. Springer, (2005)Measuring Predictive Performance of User Models: The Details Matter.. UMAP (Adjunct Publication), page 197-201. ACM, (2017)Impact of data collection on interpretation and evaluation of student models., , and . LAK, page 40-47. ACM, (2016)Automatic Detection of Concepts from Problem Solving Times., , , and . AIED, volume 7926 of Lecture Notes in Computer Science, page 595-598. Springer, (2013)