2013

• Toolset for Entity and Semantic Associations – Final Release: Deliverable 8.4 of project EuDML

  LEE Mark SOJKA Petr ŘEHŮŘEK Radim HATLAPATKA Radim KUCBEL Maroš BOUCHE Thierry GOUTORBE Claude ANGHELACHE Romeo WOJCIECHOWSKI Krzysztof

  Year: 2013, type:

• Towards Effective Social Network System Implementation

  ŠKRABÁLEK Jaroslav KUNC Petr NGUYEN Filip PITNER Tomáš

  Article in Proceedings

  New Trends in Databases and Information Systems, year: 2013

• Towards Machine-Actionable Modules of a Digital Mathematics Library: The Example of DML-CZ

  RŮŽIČKA Michal SOJKA Petr KREJČÍŘ Vlastimil

  Article in Proceedings

  CICM 2013, LNAI 7961, year: 2013

• Triplex: an R/Bioconductor package for identification and visualization of potential intramolecular triplex patterns in DNA sequences

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

  Article in Periodical

  Bioinformatics, year: 2013, volume: 29, edition: 15, DOI

• Typesetting$^{-1}$ (TeXperience 2013 talk 28.9.2013, Brejlov, CZ)

  SOJKA Petr

  Appeared in Conference without Proceedings

  Year: 2013, type: Appeared in Conference without Proceedings

• Verification of Liveness Properties on Closed Timed-Arc Petri Nets

  ANDERSEN Mathias LARSEN Heine G. SRBA Jiří SOERENSEN Mathias G. TAANKVIST Jakob H.

  Article in Proceedings

  Proceedings of Mathematical and Engineering Methods in Computer Science (MEMICS'12), year: 2013

• Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets

  BERTOLINI Cristiano LIU Zhiming SRBA Jiří

  Article in Proceedings

  Proceedings of the 2nd International Symposium on the Foundations of Health Information Engineering and Systems (FHIES'12), year: 2013

• XIII. Filmový festival Fakulty informatiky Masarykovy univerzity

  SOJKA Petr

  Exposition

  Year: 2013, type: Exposition