Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(52)
Natalia Sidorova
8
Wil van der Aalst
7
Bas Luttik
6
Jasen Markovski
6
Rob J. Van Glabbeek
4
Conferences
(10)
MMB
1
BIS
1
CAiSE
1
IEEE International Conference on Formal Engineering Methods
1
SPIN
1
Journals
(15)
PE
2
TCS
2
CORR
2
IS
1
JLP
1
Keywords
(87)
Embed
Subscribe
Academic
Authors
Nikola Trcka
Nikola Trcka,Eindhoven University of Technology,Algorithms & Theory,Software Engineering,Databases
Edit
Nikola Trcka
Eindhoven University of Technology
Publications:
44
|
Citations:
96
Fields:
Algorithms & Theory
,
Software Engineering
,
Databases
View FAQ about top research areas and Fields of study
Collaborated with
52 co-authors
from 2004 to 2012
|
Cited by
183 authors
Cumulative
Annual
Sort by:
Publications
(44)
BibTeX
|
RIS
|
RefWorks
Download
Branching bisimulation congruence for probabilistic systems
Suzana Andova
,
Sonja Georgievska
,
Nikola Trčka
Journal:
Theoretical Computer Science - TCS
, vol. 413, no. 1, 2012
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible
(
Citations: 1
)
Natalia Sidorova
,
Christian Stahl
,
Nikola Trčka
Journal:
Information Systems - IS
, vol. 36, no. 7, pp. 1026-1043, 2011
A Visual Language for Modeling and Analyzing Printer Data Path Architectures
E. Teeselink
,
L. J. A. M. Somers
,
A. A. Basten
,
N. Trcka
,
M. Hendriks
Published in 2011.
A visual language for modeling and analyzing printer data path architectures
E Teeselink
,
LJAM Somers
,
AA Basten
,
N Trcka
,
M Hendriks
Journal:
European Journal of Operational Research - EJOR
, 2011
Integrated model-driven design-space exploration for embedded systems
Nikola Trcka
,
Martijn Hendriks
,
Twan Basten
,
Marc Geilen
,
Lou Somers
Journal:
Theoretical Computer Science - TCS
, 2011
Sort by:
Citations
(96 times by 79 publications)
Reo + : A framework for model-checking dataflow in service compositions
Natallia Kokash
,
Christian Krause
,
Erik de Vink
Journal:
Formal Aspects of Computing - FAC
, vol. 24, no. 2, pp. 1-30, 2012
Soundness of Workflow Nets: Classification, Decidability, and Analysis
(
Citations: 11
)
Wil M. P. van der Aalst
,
Kees M. van Hee
,
Arthur H. M. ter Hofstede
,
Natalia Sidorova
,
H. M. W. Verbeek
,
Marc Voorhoeve
,
Moe Thandar Wynn
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 3, pp. 333-363, 2011
Folk Theorems on the Correspondence between State-Based and Event-Based Systems
(
Citations: 2
)
Michel A. Reniers
Journal:
Computing Research Repository - CORR
, vol. abs/1011.0, pp. 494-505, 2011
Reactive Turing Machines
(
Citations: 2
)
Jos C. M. Baeten
,
Bas Luttik
,
Paul van Tilburg
,
O. Owe
,
M. Steffen
,
J. A. Telle
Journal:
Computing Research Repository - CORR
, vol. abs/1104.1, 2011
e-Science Infrastructure Integration Invariants to Enable HTC and HPC Interoperability Applications
(
Citations: 1
)
M. Riedel
,
M. S. Memon
,
A. S. Memon
,
D. Mallmann
,
Th. Lippert
,
D. Kranzlmuller
,
A. Streit
Published in 2011.
Comments