Sophie Wallner

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Temporal Properties

Bounded Treewidth

Shape Representation

Top Venues

PNSE@Petri Nets

Fundam. Informaticae

Publications

Julian Gaede, Sophie Wallner, Karsten Wolf
Modular State Spaces - A New Perspective. Petri Nets (2024)
Julian Gaede, Judith-Henrike Overath, Sophie Wallner
Automatic Modularization of Place/Transition Nets. PNSE@Petri Nets (2024)
Sophie Wallner, Karsten Wolf
Skeleton Abstraction for Universal Temporal Properties. Fundam. Informaticae 187 (2-4) (2022)
Ronny Tredup, Sophie Wallner
The Reachability Problem for Acyclic Join-Free Petri nets is NP-complete. PNSE@Petri Nets (2021)
Sophie Wallner, Karsten Wolf
Skeleton Abstraction for Universal Temporal Properties. CoRR (2021)
Sophie Wallner, Karsten Wolf
Skeleton Abstraction for Universal Temporal Properties. Petri Nets (2021)