2013

• PRISM-games: A model checker for stochastic multi-player games

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

  Článek ve sborníku

  TACAS 2013, rok: 2013

• R/Bioconductor package for identification of triplex-forming sequences

  HON Jiří LEXA Matej MARTÍNEK Tomáš RAJDL Kamil

  Software

  Rok: 2013

• Random rules from data streams

  EZILDA Almeida KOSINA Petr GAMA Joao

  Článek ve sborníku

  Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, rok: 2013

• Real-time Visualization and Exploration of Protein Empty Space with Varying Parameters

  STRNAD Ondřej KOZLÍKOVÁ Barbora ŠUSTR Vilém SOCHOR Jiří

  Článek v odborném periodiku

  International Journal on Advances in Life Sciences, rok: 2013, ročník: year 2013, vydání: vol. 5, no. 3 & 4

• Real-time visualization of protein empty space with varying parameters

  STRNAD Ondřej ŠUSTR Vilém KOZLÍKOVÁ Barbora SOCHOR Jiří

  Článek ve sborníku

  Proceedings of Biotechno, rok: 2013

• Recognition of Mathematical Texts

  HRDINA Miroslav SOJKA Petr

  Účelové publikace

  Rok: 2013, druh: Účelové publikace

• Recurrent concepts in data streams classification

  GAMA Joao KOSINA Petr

  Článek v odborném periodiku

  Knowledge and Information Systems, rok: 2013, ročník: 40, vydání: 3, DOI

• Safe schedulability of bounded-rate multi-mode systems

  ALUR Rajeev FOREJT Vojtěch MOARREF Salar TRIVEDI Ashutosh

  Článek ve sborníku

  Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, rok: 2013

• Santa's Crypto Get-Together 2013

  MATYÁŠ Václav STEHLÍK Martin

  Editorství tématického sborníku

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

• Security Protocols XVII - 17th International Workshop, Revised Selected Papers

  CHRISTIANSON B. MALCOLM J. A. MATYÁŠ Václav ROE M.

  Editorství tématického sborníku

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