Assoc. Prof. Mgr. Radek Pelánek, Ph.D.

Photo not published

 

First pagePrevious page|1|2|Next pageLast page
found: 38 records, displayed 1 - 30

 
2013

PELÁNEK, Radek - BOROŠ, Petr - NIŽNAN, Juraj - ŘIHÁK, Jiří.
Automatic Detection of Concepts from Problem Solving Times. In Artificial Intelligence in Education. USA : Springer, 2013. ISBN 978-3-642-39111-8, pp. 595-598. Memphis, TN, USA.


more

 

PELÁNEK, Radek - JARUŠEK, Petr - KLUSÁČEK, Matěj.
Modeling Students' Learning and Variability of Performance in Problem Solving. In Educational Data Mining. USA : International Educational Data Mining Society, 2013. ISBN 978-0-9839525-2-7, pp. 256-259.


more

 
2012

PELÁNEK, Radek - JARUŠEK, Petr.
A Web-Based Problem Solving Tool for Introductory Computer Science. In Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education. Vyd. New York. USA : ACM, 2012. ISBN 978-1-4503-1246-2, p. 371-371. 2012, Haifa, Izrael.


more

 

PELÁNEK, Radek - JARUŠEK, Petr.
Analysis of a simple model of problem solving times. In Proceeding ITS'12 Proceedings of the 11th international conference on Intelligent Tutoring Systems. Heidelberg : Springer Berlin / Heidelberg, 2012. ISBN 978-3-642-30949-6, pp. 379-388. 2012, Řecko.


more

 

PELÁNEK, Radek - JARUŠEK, Petr.
Modeling and Predicting Students Problem Solving Times. In Proceedings of the 38th International Conference on Current Trends in Theory and Practice of Computer Science. Czech republic : Springer, 2012. ISBN 978-3-642-27659-0, pp. 637-648. 2012, Spindleruv mlyn.


more

 

book coverPELÁNEK, Radek.
Modelování a simulace komplexních systémů. Jak lépe porozumět světu. Vyd. 1. Brno : Masarykova univerzita, 2012. 236 pp. e-book. ISBN 978-80-210-5807-1.


more

 

PELÁNEK, Radek.
Programátorská cvičebnice: algoritmy v příkladech. Brno : Computer Press, 2012. 175 pp. ISBN 978-80-251-3751-2.


more

 
2011

PELÁNEK, Radek.
Difficulty Rating of Sudoku Puzzles by a Computational Model. In Twenty-Fourth International Florida Artificial Intelligence Research Society Conference. USA : Association for the Advancement of Artificial Intelligence (AAAI), 2011. ISBN 978-1-57735-501-4, pp. 434-439. 2011, Palm Beach, Florida, USA.


more

 

book coverPELÁNEK, Radek.
Modelování a simulace komplexních systémů. Jak lépe porozumět světu. Vyd. 1. Brno : Masarykova univerzita, 2011. 236 pp. mimo edice. ISBN 978-80-210-5318-2.


more

 

PELÁNEK, Radek - JARUŠEK, Petr.
Problem Response Theory and its Application for Tutoring. In Proceedings of the 4th International Conference on Educational Data Mining. Eindhoven : International Conference on Educational Data Mining 2011, 2011. ISBN 978-90-386-2537-9, pp. 374-375. 2011, Eindhoven, Nizozemí.


more

 

JARUŠEK, Petr - PELÁNEK, Radek.
Problem Solving Tutor. 2011.


more

 

PELÁNEK, Radek - JARUŠEK, Petr.
What Determines Difficulty of Transport Puzzles?. In Twenty-Fourth International Florida Artificial Intelligence Research Society Conference. USA : Association for the Advancement of Artificial Intelligence (AAAI), 2011. ISBN 978-1-57735-501-4, pp. 428-433. 2011, Palm Beach, Florida, USA.


more

 
2010

JARUŠEK, Petr - PELÁNEK, Radek.
Analýza obtížnosti logických úloh na základě modelů lidského chování. In Kognice a umělý život X. Neuveden : Slezská univerzita v Opavě, 2010. ISBN 978-80-7248-589-5, pp. 171-176. 2010, Ostravice.


more

 

JARUŠEK, Petr - PELÁNEK, Radek.
Difficulty Rating of Sokoban Puzzle. In STAIRS 2010, Proceedings of the Fifth Starting AI Researchers' Symposium. Lisbon, Portugal : IOS Press BV, 2010. ISBN 978-1-60750-675-1, pp. 140-146. 16.8.2010, Lisbon.


more

 
2009

PELÁNEK, Radek - ROSECKÝ, Václav.
EMMA: Explicit Model Checking Manager (Tool Presentation). In Model Checking Software. Německo : Springer, 2009. ISBN 978-3-642-02651-5, pp. 169-173. 2009, Grenoble.


more

 
2008

PELÁNEK, Radek - ROSECKÝ, Václav - MORAVEC, Pavel.
Complementarity of Error Detection Techniques. In Parallel and Distributed Methods in verifiCation (PDMC 2008). Nizozemsko : Elsevier, 2008. 14 pp. 2008, Budapešť, Německo.


more

 

ŠIMEČEK, Pavel - PELÁNEK, Radek.
Estimating State Space Parameters. 2008.


more

 

PELÁNEK, Radek.
Fighting State Space Explosion: Review and Evaluation. In Formal Methods for Industrial Critical Systems. Německo : Springer, 2008. ISBN 3-642-03239-7, 15 pp. 2008, L'Aquila, Itálie.


more

 

PELÁNEK, Radek.
Model Classifications and Automated Verification. In Formal Methods for Industrial Critical Systems. Německo : Springer, 2008. ISBN 978-3-540-79706-7, pp. 149-163. 2007, Berlín, Německo.


more

 

PELÁNEK, Radek.
Properties of State Spaces and Their Applications. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, Germany. ISSN 1433-2779, 2008, vol. 10, no. 5, pp. 443-454.


more

 
2007

PELÁNEK, Radek.
BEEM: Benchmarks for Explicit Model Checkers. In Model Checking Software. Německo : Springer, 2007. ISBN 3-540-73369-8, pp. 263-267. 2007, Berlín, Německo.


more

 

PELÁNEK, Radek - PASAREANU, Corina - VISSER, Willem.
Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science, Germany, Technical University of Braunschweig, Germany. ISSN 1860-5974, 2007, vol. 3, no. 1, pp. 1-22.


more

 
2006

PELÁNEK, Radek - LARSEN, Kim G. - BEHRMANN, Gerd - BOUYER, Patricia.
Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, Germany. ISSN 1433-2779, 2006, vol. 8, no. 3, pp. 204-215.


more

 

PELÁNEK, Radek.
Reduction and Abstraction Techniques for Model Checking. Brno : Masarykova univerzita, 2006. 160 pp.


more

 

PELÁNEK, Radek - PASAREANU, Corina - VISSER, Willem.
Test Input Generation for Java Containers using State Matching. In International Symposium on International Symposium on Software Testing and Analysis. USA : ACM, 2006. ISBN 1-59593-263-1, pp. 37--48. 2006, Portland, Maine.


more

 
2005

PELÁNEK, Radek - PASAREANU, Corina - VISSER, Willem.
Concrete Search with Abstract Matching and Refinement. In Computer Aided Verification. Edinburgh : Springer, 2005. ISBN 3-540-27231-3, pp. 52-66. 2005, Edinburgh.


more

 

PELÁNEK, Radek - STREJČEK, Jan.
Deeper Connections between LTL and Alternating Automata. In Implementation and Application of Automata. Berlin, Heidelberg : Springer-Verlag, 2005. ISBN 978-3-540-31023-5, pp. 238-249. 2005, Sophia Antipolis.


more

 

PELÁNEK, Radek - HANŽL, Tomáš - ČERNÁ, Ivana - BRIM, Luboš.
Enhancing Random Walk State Space Exploration. In Formal Methods for Industrial Critical Systems. Lisbon : ACM SIGSOFT, 2005. ISBN 1-59593-148-1, pp. 98-105. 2005, Lisbon.


more

 

PELÁNEK, Radek - KRČÁL, Pavel.
On Sampled Semantics of Timed Systems. In Foundations of Software Technology and Theoretical Computer Science. India : Springer, 2005. ISBN 978-3-540-30495-1, pp. 310-321. Hyderabad.


more

 

PELÁNEK, Radek - PASAREANU, Corina - VISSER, Willem.
Test input generation for red-black trees using abstraction. In Automated Software Engineering. USA : ACM, 2005. pp. 414-417. 2005, Long Beach, California.


more

 
First pagePrevious page|1|2|Next pageLast page
found: 38 records, displayed 1 - 30