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

  Účelové publikace

  Rok: 2013, druh: Účelové publikace

• Towards Effective Social Network System Implementation

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

  Článek ve sborníku

  New Trends in Databases and Information Systems, rok: 2013

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

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

  Článek ve sborníku

  CICM 2013, LNAI 7961, rok: 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

  Článek v odborném periodiku

  Bioinformatics, rok: 2013, ročník: 29, vydání: 15, DOI

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

  SOJKA Petr

  Další prezentace na konferencích

  Rok: 2013, druh: Další prezentace na konferencích

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

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

  Článek ve sborníku

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

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

  BERTOLINI Cristiano LIU Zhiming SRBA Jiří

  Článek ve sborníku

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

• XIII. Filmový festival Fakulty informatiky Masarykovy univerzity

  SOJKA Petr

  Uspořádání výstavy

  Rok: 2013, druh: Uspořádání výstavy