( en | de | ru )

 

Disambiguation of "Trcka, Nikola"

Author of the publication

copydeleteadd this publication to your clipboard
Soundness and Niceness as Correctness Criteria for Grid Workflows.

, , and . eScience, page 55-62. IEEE Computer Society, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Trcka

Jiri Trcka

Nikola Brzovic

Nikola Pantscheff

Nikola Sirakoff

 

Other publications of authors with the same name

Workflow Data Footprints.. BIS, volume 47 of Lecture Notes in Business Information Processing, page 218-229. Springer, (2010)Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract)., , , and . FORMATS, volume 7595 of Lecture Notes in Computer Science, page 1-6. Springer, (2012)Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets., , and . ACSD, page 13-18. IEEE Computer Society, (2011)Compositionality for Markov Reward Chains with Fast Transitions., , , and . EPEW, volume 4748 of Lecture Notes in Computer Science, page 18-32. Springer, (2007)Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets., , , and . OPODIS, volume 5401 of Lecture Notes in Computer Science, page 538-541. Springer, (2008)Branching Bisimilarity with Explicit Divergence, , and . CoRR, (2008)Stuttering Congruence for chi., and . SPIN, volume 3639 of Lecture Notes in Computer Science, page 185-199. Springer, (2005)Planning with process algebraic constraints: Application to multi-vehicle routing problem., and . ICRA, page 3489-3496. IEEE, (2013)Process Mining Online Assessment Data., , , , and . EDM, page 279-288. www.educationaldatamining.org, (2009)Soundness and Niceness as Correctness Criteria for Grid Workflows., , and . eScience, page 55-62. IEEE Computer Society, (2008)