2012

• Sequence Chart Studio: user-friendly drawing and verification tool for MSC

  ŘEHÁK Vojtěch MADZIN Matúš KORENČIAK Ľuboš GOTTHARD Petr KOCIAN Ondřej BEZDĚKA Martin BOUDA Ondřej VACEK Václav MALOTA Milan PEKARČÍKOVÁ Zuzana

  Year: 2012

• Setting up for corpus lexicography

  KILGARRIFF Adam POMIKÁLEK Jan JAKUBÍČEK Miloš WHITELOCK Pete

  Article in Proceedings

  Proceedings of the 15th EURALEX International Congress, year: 2012

• Surveillance and Monitoring Systems Based on Complex Event Processing

  PITNER Tomáš

  Year: 2012, type:

• Svár mezi přístupem a ochranou

  ZLATUŠKA Jiří

  Chapter of a book

  Autoři, knihy, knihovny, technologie, právo, věda a etika v době internetu aneb Pokus o mapování problému, year: 2012, number of pages: 45 s.

• Symbiotic

  SLABÝ Jiří STREJČEK Jan TRTÍK Marek

  Year: 2012

• TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

  DAVID Alexandre JACOBSEN Lasse JACOBSEN Morten JOERGENSEN Kenneth Y. MOELLER Mikael H. SRBA Jiří

  Article in Proceedings

  Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12), year: 2012

• Text, Speech and Dialogue: 15th International Conference TSD 2012, Brno, Czech Republic, September 3-7, 2012

  SOJKA Petr HORÁK Aleš KOPEČEK Ivan PALA Karel

  Year: 2012, type:

• The Real Value of Private Information - Two Experimental Studies

  KUMPOŠT Marek MATYÁŠ Václav

  Article in Periodical

  ERCIM News, year: 2012, volume: 2012, edition: 90

• Three Way Search Engine Queries with Multi-feature Document Comparison for Plagiarism Detection

  SUCHOMEL Šimon KASPRZAK Jan BRANDEJS Michal

  Article in Proceedings

  CLEF2012 Working Notes ; CEUR Workshop Proceedings Vol. 1178, year: 2012

• Time-Darts: A Data Structure for Verification of Closed Timed Automata

  JOERGENSEN Kenneth Yrke LARSEN Kim G. SRBA Jiří

  Article in Periodical

  Electronic Proceedings of Theoretical Computer Science, year: 2012, volume: 102, edition: 1, DOI