2011

• Using Neighborhood Diversity to Solve Hard Problems

  GANIAN Robert

  Další prezentace na konferencích

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

• 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

• 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010)

  HLINĚNÝ Petr KUČERA Antonín

  Uspořádání konference

  Rok: 2010, druh: Uspořádání konference

• 4th International Workshop on Reachability Problems

  KUČERA Antonín POTAPOV Igor

  Uspořádání workshopu

  Rok: 2010, druh: Uspořádání workshopu

• A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL

  RAVN P. Anders SRBA Jiří VIGHIO Saleem

  Článek ve sborníku

  Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'10), rok: 2010

• A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

  JACOBSEN Lasse JACOBSEN Morten MOLLER Mikael H. SRBA Jiří

  Článek ve sborníku

  Proceedings of the 7th European Performance Engineering Workshop (EPEW'10), rok: 2010

• Algebraic theories

  ADÁMEK J. ROSICKÝ Jiří VITALE E. M.

  Odborná kniha

  Rok: 2010, počet stran: 249 s.

• 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

• Approximating the Crossing Number of Graphs Embeddable in Any Orientable Surface

  HLINĚNÝ Petr CHIMANI Markus

  Článek ve sborníku

  ACM-SIAM Symposium on Discrete Algorithms (SODA 2010), rok: 2010

• Audio Similarity Retrieval Engine

  JURKAS Pavel ŠTEFINA Milan NOVÁK David BATKO Michal

  Článek ve sborníku

  Third International Conference on Similarity Search and Applications, rok: 2010