Sign in
Sophie Wallner
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 4
Top Topics
Temporal Properties
Bounded Treewidth
Shape Representation
Petri Net
Top Venues
Petri Nets
Fundam. Informaticae
CoRR
PNSE@Petri Nets
</>
Publications
</>
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)