2012

• A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

  DAVID Alexandre JACOBSEN Lasse JACOBSEN Morten SRBA Jiří

  Článek v odborném periodiku

  Electronic Proceedings of Theoretical Computer Science, rok: 2012, ročník: 102, vydání: 1, DOI

• A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata

  BAUER Sebastian S. JUHL Line LARSEN Kim G. LEGAY Axel SRBA Jiří

  Článek ve sborníku

  Proceedings of the 6th International Symposium on Theoretical Aspects of Software Engineering (TASE'12), rok: 2012

• Agilní metodologie řízení vývoje softwaru

  KACVINSKÝ Martin ŠKRABÁLEK Jaroslav SOJKA Petr

  Účelové publikace

  Rok: 2012, druh: Účelové publikace

• Analytical methods for tracking customer portrait: intelligent interpretation of CRM philosophy

  KRIKSCIUNIENE Dalia

  Vyžádané přednášky

  Rok: 2012, druh: Vyžádané přednášky

• Analýza pedagogického výkonu

  BRANDEJS Michal KŘIPAČ Miroslav

  Software

  Rok: 2012

• Application of neural networks for the sensitivity analysis of customer loyalty

  KRIKSCIUNIENE Dalia

  Vyžádané přednášky

  Rok: 2012, druh: Vyžádané přednášky

• Architecture-Based Reliability Prediction with the Palladio Component Model

  BROSCH Franz KOZIOLEK Heiko BÜHNOVÁ Barbora REUSSNER Ralf

  Článek v odborném periodiku

  IEEE transactions on software engineering, rok: 2012, ročník: 38, vydání: 6, DOI

• Automatic Verification of Competitive Stochastic Systems

  CHEN Taolue FOREJT Vojtěch KWIATKOWSKA Marta PARKER Dave SIMAITIS Aistis

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, rok: 2012

• Bisimilarity of Probabilistic Pushdown Automata

  FOREJT Vojtěch JANČAR Petr KIEFER Stefan WORRELL James

  Článek ve sborníku

  FSTTCS, rok: 2012

• ClabureDB

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

  Software

  Rok: 2012