Sophie Wallner

According to our database1, Sophie Wallner authored at least 4 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Modular State Spaces - A New Perspective.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

Automatic Modularization of Place/Transition Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

2022
Skeleton Abstraction for Universal Temporal Properties.
Fundam. Informaticae, 2022

2021
The Reachability Problem for Acyclic Join-Free Petri nets is NP-complete.
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


  Loading...