|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Suzana Andova, Sonja Georgievska, Nikola Trcka |
Branching bisimulation congruence for probabilistic systems.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Sidorova, Christian Stahl, Nikola Trcka |
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. |
Inf. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers |
Integrated model-driven design-space exploration for embedded systems. |
ICSAMOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Trcka, Marc Voorhoeve, Twan Basten |
Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Carmen Bratosin, Natalia Sidorova, Nikola Trcka |
A reference model for grid architectures and its validation. |
Concurrency and Computation: Practice and Experience |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Sidorova, Christian Stahl, Nikola Trcka |
Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. |
CAiSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Trcka |
Workflow Data Footprints. |
BIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink |
Compositionality for Markov reward chains with fast and silent transitions. |
Perform. Eval. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Bas Luttik, Nikola Trcka |
Branching Bisimilarity with Explicit Divergence. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Bas Luttik, Nikola Trcka |
Computation Tree Logic with Deadlock Detection |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nikola Trcka |
Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach |
QFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova |
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. |
CAiSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova |
Workflow completion patterns. |
CASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Trcka, Mykola Pechenizkiy |
From Local Patterns to Global Models: Towards Domain Driven Educational Process Mining. |
ISDA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mykola Pechenizkiy, Nikola Trcka, Ekaterina Vasilyeva, Wil M. P. van der Aalst, Paul De Bra |
Process Mining Online Assessment Data. |
EDM |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nikola Trcka, Sonja Georgievska |
Branching Bisimulation Congruence for Probabilistic Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Bas Luttik, Nikola Trcka |
Branching Bisimilarity with Explicit Divergence |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carmen Bratosin, Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trcka |
A Reference Model for Grid Architectures and Its Analysis. |
OTM Conferences |
2008 |
DBLP DOI BibTeX RDF |
Computational grids, colored Petri nets, grid architecture |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Trcka, Natalia Sidorova, Wil M. P. van der Aalst |
Soundness and Niceness as Correctness Criteria for Grid Workflows. |
eScience |
2008 |
DBLP DOI BibTeX RDF |
correctness, grid workflow |
| 1 | Jasen Markovski, Nikola Trcka |
Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions. |
MMB |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink |
Compositionality for Markov Reward Chains with Fast Transitions. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
discontinuous Markov reward chains, Markov reward chains with fast transitions, lumpability, Kronecker product and sum, reduction, compositionality, parallel composition |
| 1 | Nikola Trcka |
Verifying chi Models of Industrial Systems with Spin. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasen Markovski, Nikola Trcka |
Lumping Markov Chains with Silent Steps. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Luttik, Nikola Trcka |
Stuttering Congruence for chi. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")