Search results for: Radek Pelánek
User Modeling and User-Adapted Interaction > 2018 > 28 > 3 > 207-235
User Modeling and User-Adapted Interaction > 2017 > 27 > 3-5 > 313-350
User Modeling and User-Adapted Interaction > 2017 > 27 > 1 > 89-118
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed Systems > 312-326
Computers & Education > 2016 > 98 > C > 169-179
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 149-163
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 238-249
Lecture Notes in Computer Science > Computer Aided Verification > Abstraction and Refinement > 52-66
Lecture Notes in Computer Science > SOFSEM 2001: Theory and Practice of Informatics > Contributed Papers > 191-200
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2003 > Contributed Papers > 318-327
Lecture Notes in Computer Science > FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 96-107
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 310-321
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 37-52
International Journal of Artificial Intelligence in Education > 2015 > 25 > 4 > 493-519
Electronic Notes in Theoretical Computer Science > 2008 > 220 > 2 > 51-65