2011

• Optimal path planning for surveillance with temporal logic constraints

  SMITH Stephen L. TŮMOVÁ Jana BELTA Calin RUS Daniela

  Article in Periodical

  The International Journal of Robotics Research, year: 2011, volume: vol. 30, edition: no. 14, DOI

• Process Algebra for Modal Transition Systemses

  BENEŠ Nikola KŘETÍNSKÝ Jan

  Article in Proceedings

  Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, year: 2011

• Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers

  MATYSKA Luděk KOZUBEK Michal VOJNAR Tomáš ZEMČÍK Pavel ANTOŠ David

  Year: 2011, type:

2010

• Algorithm for Two-Energy Games

  CHALOUPKA Jakub

  Article in Proceedings

  Mathematical and Engineering Methods in Computer Science (MEMICS) 2010, year: 2010

• Almost Linear Büchi Automata

  BABIAK Tomáš STREJČEK Jan ŘEHÁK Vojtěch

  Appeared in Conference without Proceedings

  Year: 2010, type: Appeared in Conference without Proceedings

• Building a Web-scale Image Similarity Search System

  BATKO Michal FALCHI Fabrizio LUCCHESE Claudio NOVÁK David PEREGO Raffaele RABITTI Fausto SEDMIDUBSKÝ Jan ZEZULA Pavel

  Article in Periodical

  Multimedia Tools and Applications, year: 2010, volume: 47, edition: 3

• CesTa k ochraně čipových karet

  KŮR Jiří SMOLKA Tobiáš ŠVENDA Petr

  Article in Periodical

  Data Security Management, year: 2010, volume: roč. 14, edition: 4

• CoIn-DiVinE

  BENEŠ Nikola ČERNÁ Ivana KŘIVÁNEK Milan

  Year: 2010

• CUDA Accelerated LTL Model Checking -- Revisited

  BAUCH Petr ČEŠKA Milan

  Article in Proceedings

  Proceedings of 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), year: 2010

• DiVinE: Parallel Distributed Model Checker (Tool paper)

  BARNAT Jiří BRIM Luboš ČEŠKA Milan ROČKAI Petr

  Article in Proceedings

  Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010), year: 2010