2012

• Normalization of Digital Mathematics Library Content

  FORMÁNEK David LÍŠKA Martin RŮŽIČKA Michal SOJKA Petr

  Článek ve sborníku

  DML 2012: Towards a Digital Mathematics Library, rok: 2012

• Pareto Curves for Probabilistic Model Checking

  FOREJT Vojtěch KWIATKOWSKA Marta PARKER David

  Článek ve sborníku

  Automated Technology for Verification and Analysis, rok: 2012

• Playing Stochastic Games Precisely

  CHEN Taolue FOREJT Vojtěch KWIATKOWSKA Marta SIMAITIS Aistis TRIVEDI Ashutosh UMMELS Michael

  Článek ve sborníku

  CONCUR 2012 - Concurrency Theory - 23rd International Conference, rok: 2012

• Predicting drop-out from social behaviour of students

  BAYER Jaroslav BYDŽOVSKÁ Hana GÉRYK Jan OBŠÍVAČ Tomáš POPELÍNSKÝ Lubomír

  Článek ve sborníku

  Proceedings of the 5th International Conference on Educational Data Mining - EDM 2012, rok: 2012

• Reachability analysis for timed automata using max-plus algebra

  LU Qi MADSEN Michael MILATA Martin RAVN Soren FAHRENBERG Uli LARSEN Kim G.

  Článek v odborném periodiku

  Journal of Logic and Algebraic Programming, rok: 2012, ročník: 81, vydání: 3, DOI

• Reliability analysis in component-based development via probabilistic model checking

  BENEŠ Nikola BÜHNOVÁ Barbora ČERNÁ Ivana OŠLEJŠEK Radek

  Článek ve sborníku

  Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12), rok: 2012

• Rozhraní pro externí cloudové služby

  BRANDEJS Michal KASPRZAK Jan

  Software

  Rok: 2012

• Rule-Based Parsing of Morphologically Rich Languages

  JAKUBÍČEK Miloš

  Přehledové a vzdělávací texty

  Rok: 2012, druh: Přehledové a vzdělávací texty

• Santa's Crypto Get-Together 2012

  MATYÁŠ Václav STEHLÍK Martin

  Editorství tématického sborníku

  Rok: 2012, druh: Editorství tématického sborníku

• Segmentation from 97% to 100%: Is It Time for Some Linguistics?

  SOJKA Petr

  Článek ve sborníku

  Sixth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2012, rok: 2012