dblp.uni-trier.dewww.uni-trier.de

Nikola Trcka Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
13EENikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova: Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. CAiSE 2009: 425-439
12EERob J. van Glabbeek, Bas Luttik, Nikola Trcka: Branching Bisimilarity with Explicit Divergence. Fundam. Inform. 93(4): 371-392 (2009)
11EEJasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov reward chains with fast and silent transitions. Perform. Eval. 66(8): 435-452 (2009)
2008
10 Jasen Markovski, Nikola Trcka: Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions. MMB 2008: 93-108
9EENikola Trcka, Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova: Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. OPODIS 2008: 538-541
8EECarmen Bratosin, Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trcka: A Reference Model for Grid Architectures and Its Analysis. OTM Conferences (1) 2008: 898-913
7EERob J. van Glabbeek, Bas Luttik, Nikola Trcka: Branching Bisimilarity with Explicit Divergence CoRR abs/0812.3068: (2008)
6EENikola Trcka, Sonja Georgievska: Branching Bisimulation Congruence for Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 220(3): 129-143 (2008)
2007
5EEJasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32
2006
4EENikola Trcka: Verifying chi Models of Industrial Systems with Spin. ICFEM 2006: 132-148
3EEJasen Markovski, Nikola Trcka: Lumping Markov Chains with Silent Steps. QEST 2006: 221-232
2005
2EEBas Luttik, Nikola Trcka: Stuttering Congruence for chi. SPIN 2005: 185-199
1EEE. M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda: Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. J. Log. Algebr. Program. 65(2): 51-104 (2005)

Coauthor Index

1Wil M. P. van der Aalst [8] [9] [13]
2Jos C. M. Baeten [1]
3E. M. Bortnik [1]
4Carmen Bratosin [8] [9]
5Wan Fokkink [1]
6Sonja Georgievska [6]
7Rob J. van Glabbeek [7] [12]
8Bas Luttik (S. P. Luttik) [1] [2] [7] [12]
9Jasen Markovski [3] [5] [10] [11]
10J. M. van de Mortel-Fronczak [1]
11J. E. Rooda [1]
12Natalia Sidorova [8] [9] [13]
13Ana Sokolova [5] [11]
14Erik P. de Vink [5] [11]
15Anton Wijs [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)