Travelled to:1 × India
1 × The Netherlands
1 × Tunisia
Collaborated with:N.Sidorova W.M.P.v.d.Aalst S.Georgievska C.Stahl M.Pechenizkiy E.Vasilyeva P.D.Bra
Talks about:data (4) workflow (3) pattern (2) flow (2) probabilist (1) congruenc (1) conceptu (1) revisit (1) process (1) presenc (1)
Person: Nikola Trcka
DBLP: Trcka:Nikola
Contributed to:
2010
20092009
2009
2008Wrote 5 papers:
- CAiSE-2010-SidorovaST #concept #correctness #workflow
- Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual (NS, CS, NT), pp. 530–544.
- CASE-2009-TrckaAS #workflow
- Workflow completion patterns (NT, WMPvdA, NS), pp. 7–12.
- CAiSE-2009-TrckaAS #anti #data flow #fault #workflow
- Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (NT, WMPvdA, NS), pp. 425–439.
- EDM-2009-PechenizkiyTVAB #assessment #mining #online #process
- Process Mining Online Assessment Data (MP, NT, EV, WMPvdA, PDB), pp. 279–288.
- QAPL-2008-TrckaG #bisimulation #branch #congruence #probability
- Branching Bisimulation Congruence for Probabilistic Systems (NT, SG), pp. 129–143.