Sophie Wallner

According to our database, Sophie Wallner authored at least 2 papers between 2021 and 2022.

Collaborative distances:

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

2022

Skeleton Abstraction for Universal Temporal Properties.

Sophie Wallner, Karsten Wolf

Fundam. Informaticae, 2022

2021

The Reachability Problem for Acyclic Join-Free Petri nets is NP-complete.

Ronny Tredup, Sophie Wallner

Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021