2013

• Support of Service Systems by Advanced SOA

  KRÁL Jaroslav ŽEMLIČKA Michal

  Stať ve sborníku

  Information Systems, E-learning, and Knowledge Management Research, rok: 2013, DOI

• Synthesizing minimal tile sets for complex patterns in the framework of patterned DNA self-assembly

  EUGEN Czeizler POPA Alexandru

  Recenzovaný odborný článek

  Theoretical Computer Science, rok: 2013, ročník: 499, vydání: 1, DOI

• The European Digital Mathematical Library: An Overview of Math Specific Technologies (invited talk 24.6.2013, National Institute of Informatics, Tokyo, JP)

  SOJKA Petr

  Vyžádané přednášky

  Rok: 2013, druh: Vyžádané přednášky

• 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áš

  Stať ve sborníku

  New Trends in Databases and Information Systems, rok: 2013, DOI

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

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

  Stať ve sborníku

  CICM 2013, LNAI 7961, rok: 2013, DOI

• 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

  Recenzovaný odborný článek

  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.

  Stať ve sborníku

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

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

  BERTOLINI Cristiano LIU Zhiming SRBA Jiří

  Stať ve sborníku

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