Ana Juhásová

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 1

Top Topics

Leader Follower

Top Venues

ATAED@Petri Nets

Publications

Gabriel Juhás, Ana Juhásová, Tomás Kovácik
Deadlocks and Livelocks in Resource Constrained Workflow Nets. ATAED@Petri Nets (2022)
Gabriel Juhás, Igor Kazlov, Ana Juhásová
Instance Deadlock: A Mystery behind Frozen Programs. Petri Nets (2010)