2012

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

  DAVID Alexandre JACOBSEN Lasse JACOBSEN Morten SRBA Jiří

  Article in Periodical

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

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

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

  Article in Proceedings

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

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

  KACVINSKÝ Martin ŠKRABÁLEK Jaroslav SOJKA Petr

  Year: 2012, type:

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

  KRIKSCIUNIENE Dalia

  Year: 2012, type:

• Analýza pedagogického výkonu

  BRANDEJS Michal KŘIPAČ Miroslav

  Year: 2012

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

  KRIKSCIUNIENE Dalia

  Year: 2012, type:

• Architecture-Based Reliability Prediction with the Palladio Component Model

  BROSCH Franz KOZIOLEK Heiko BÜHNOVÁ Barbora REUSSNER Ralf

  Article in Periodical

  IEEE transactions on software engineering, year: 2012, volume: 38, edition: 6, DOI

• Automatic Verification of Competitive Stochastic Systems

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

  Article in Proceedings

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

• Bisimilarity of Probabilistic Pushdown Automata

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

  Article in Proceedings

  FSTTCS, year: 2012

• ClabureDB

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

  Year: 2012