2013

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

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

  Article in Proceedings

  TACAS 2013, year: 2013

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

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

  Year: 2013

• Random rules from data streams

  EZILDA Almeida KOSINA Petr GAMA Joao

  Article in Proceedings

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

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

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

  Article in Periodical

  International Journal on Advances in Life Sciences, year: 2013, volume: year 2013, edition: 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ří

  Article in Proceedings

  Proceedings of Biotechno, year: 2013

• Recognition of Mathematical Texts

  HRDINA Miroslav SOJKA Petr

  Year: 2013, type:

• Recurrent concepts in data streams classification

  GAMA Joao KOSINA Petr

  Article in Periodical

  Knowledge and Information Systems, year: 2013, volume: 40, edition: 3, DOI

• Safe schedulability of bounded-rate multi-mode systems

  ALUR Rajeev FOREJT Vojtěch MOARREF Salar TRIVEDI Ashutosh

  Article in Proceedings

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

• Santa's Crypto Get-Together 2013

  MATYÁŠ Václav STEHLÍK Martin

  Year: 2013, type:

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

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

  Year: 2013, type: