Concepedia

Nikola Trčka

NT

Statistics

Publications

14

Citations

508

H-Index

12

Active since

2005

Affiliations

Eindhoven University of Technology(Current)

Centrum Wiskunde & Informatica

Nikola Trčka is an author at Eindhoven University of Technology specializing in computer science, probability theory, and mathematics.

Publications per year

2005–2014

14

Publications

14

Branching Bisimilarity with Explicit Divergence

Rob van Glabbeek, Bas Luttik, Nikola Trčka · Fundamenta Informaticae · 2009 · 81 citations

Natural Sciences, Mathematics, Probability Theory +3

Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible

Natalia Sidorova, Christian Stahl, Nikola Trčka · Information Systems · 2011 · 73 citations

Computing, Computer Science, Formal Methods +14

Silent steps in transition systems and Markov chains

Nikola Trčka · TU/e Research Portal · 2007 · 69 citations · Full text

Engineering, Computer Science, Mathematics +11

From Local Patterns to Global Models: Towards Domain Driven Educational Process Mining

Nikola Trčka, Mykola Pechenizkiy · 2009 · 60 citations

Education, Educational Technology, Information Systems +17

Process Mining Online Assessment Data

Mykola Pechenizkiy, Nikola Trčka, Ekaterina Vasilyeva et al. · TU/e Research Portal · 2009 · 57 citations · Full text

Education, Educational Assessment, Information Systems +15

1–5 of 14