Nikola Trcka

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

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)
5EEJasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32
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
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]
2Jos C. M. Baeten [1]
3E. M. Bortnik [1]
4Carmen Bratosin [8] [9]
5Wan Fokkink [1]
6Sonja Georgievska [6]
7Rob J. van Glabbeek [7]
8Bas Luttik (S. P. Luttik) [1] [2] [7]
9Jasen Markovski [3] [5] [10]
10J. M. van de Mortel-Fronczak [1]
11J. E. Rooda [1]
12Natalia Sidorova [8] [9]
13Ana Sokolova [5]
14Erik P. de Vink [5]
15Anton Wijs [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)