Search the dblp DataBase

Publications of Author

1. Nikola Trcka
   Verifying chi Models of Industrial Systems with Spin. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:132-148 [Conf]
   
2. Jasen Markovski, Nikola Trcka
   Lumping Markov Chains with Silent Steps. [Citation Graph (0, 0)][DBLP]
   QEST, 2006, pp:221-232 [Conf]
   
3. Bas Luttik, Nikola Trcka
   Stuttering Congruence for chi. [Citation Graph (0, 0)][DBLP]
   SPIN, 2005, pp:185-199 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2005, v:65, n:2, pp:51-104 [Journal]
   
5. Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
   Compositionality for Markov Reward Chains with Fast Transitions. [Citation Graph (0, 0)][DBLP]
   EPEW, 2007, pp:18-32 [Conf]
   
6. 
   Workflow Data Footprints. [Citation Graph (, )][DBLP]
   
   
7. 
   Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. [Citation Graph (, )][DBLP]
   
   
8. 
   Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. [Citation Graph (, )][DBLP]
   
   
9. 
   From Local Patterns to Global Models: Towards Domain Driven Educational Process Mining. [Citation Graph (, )][DBLP]
   
   
10. 
    Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions. [Citation Graph (, )][DBLP]
    
    
11. 
    Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. [Citation Graph (, )][DBLP]
    
    
12. 
    A Reference Model for Grid Architectures and Its Analysis. [Citation Graph (, )][DBLP]
    
    
13. 
    Branching Bisimilarity with Explicit Divergence [Citation Graph (, )][DBLP]
    
    
14. 
    Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach [Citation Graph (, )][DBLP]
    
    
15. 
    Computation Tree Logic with Deadlock Detection [Citation Graph (, )][DBLP]
    
    
16. 
    Branching Bisimulation Congruence for Probabilistic Systems. [Citation Graph (, )][DBLP]