Nikola Trcka

	2009
13		Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova: Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. CAiSE 2009: 425-439
12		Rob J. van Glabbeek, Bas Luttik, Nikola Trcka: Branching Bisimilarity with Explicit Divergence. Fundam. Inform. 93(4): 371-392 (2009)
11		Jasen 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
9		Nikola 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
8		Carmen 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
7		Rob J. van Glabbeek, Bas Luttik, Nikola Trcka: Branching Bisimilarity with Explicit Divergence CoRR abs/0812.3068: (2008)
6		Nikola Trcka, Sonja Georgievska: Branching Bisimulation Congruence for Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 220(3): 129-143 (2008)
	2007
5		Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32
	2006
4		Nikola Trcka: Verifying chi Models of Industrial Systems with Spin. ICFEM 2006: 132-148
3		Jasen Markovski, Nikola Trcka: Lumping Markov Chains with Silent Steps. QEST 2006: 221-232
	2005
2		Bas Luttik, Nikola Trcka: Stuttering Congruence for chi. SPIN 2005: 185-199
1		E. 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

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

Colors in the list of coauthors