doc. Mgr. Radek Pelánek, Ph.D.

2011

• Problem Response Theory and its Application for Tutoring

  PELÁNEK Radek JARUŠEK Petr

  Článek ve sborníku

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

• Problem Solving Tutor

  JARUŠEK Petr PELÁNEK Radek

  Software

  Rok: 2011

• What Determines Difficulty of Transport Puzzles?

  PELÁNEK Radek JARUŠEK Petr

  Článek ve sborníku

  Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, rok: 2011

2010

• Analýza obtížnosti logických úloh na základě modelů lidského chování

  JARUŠEK Petr PELÁNEK Radek

  Článek ve sborníku

  Kognice a umělý život X, rok: 2010

• Difficulty Rating of Sokoban Puzzle

  JARUŠEK Petr PELÁNEK Radek

  Článek ve sborníku

  STAIRS 2010, Proceedings of the Fifth Starting AI Researchers' Symposium, rok: 2010

2009

• EMMA: Explicit Model Checking Manager (Tool Presentation)

  PELÁNEK Radek ROSECKÝ Václav

  Článek ve sborníku

  Model Checking Software, rok: 2009

2008

• Complementarity of Error Detection Techniques

  PELÁNEK Radek ROSECKÝ Václav MORAVEC Pavel

  Článek ve sborníku

  Parallel and Distributed Methods in verifiCation (PDMC 2008), rok: 2008

• Estimating State Space Parameters

  ŠIMEČEK Pavel PELÁNEK Radek

  Další prezentace na konferencích

  Rok: 2008, druh: Další prezentace na konferencích

• Fighting State Space Explosion: Review and Evaluation

  PELÁNEK Radek

  Článek ve sborníku

  Formal Methods for Industrial Critical Systems, rok: 2008

• Model Classifications and Automated Verification

  PELÁNEK Radek

  Článek ve sborníku

  Formal Methods for Industrial Critical Systems, rok: 2008