Ana Juhásová

According to our database, Ana Juhásová authored at least 2 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Deadlocks and Livelocks in Resource Constrained Workflow Nets.

Gabriel Juhás, Ana Juhásová, Tomás Kovácik

Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), 2022

2010

Instance Deadlock: A Mystery behind Frozen Programs.

Gabriel Juhás, Igor Kazlov, Ana Juhásová

Proceedings of the Applications and Theory of Petri Nets, 2010