Julian Gaede

According to our database, Julian Gaede authored at least 3 papers between 2024 and 2026.

Collaborative distances:

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

2026

Coverability Abstraction for the Modular State Space.

Sophie Wallner, Julian Gaede, Lukas Zech, Karsten Wolf

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2026

2024

Modular State Spaces - A New Perspective.

Julian Gaede, Sophie Wallner, Karsten Wolf

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

Automatic Modularization of Place/Transition Nets.

Julian Gaede, Judith-Henrike Overath, Sophie Wallner

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