search result

Cover von Distance Between Mutually Reachable Petri Net Configurations

Distance Between Mutually Reachable Petri Net Configurations

Year: 2019
Media group: LIPIcs
Cover von Petri Net Reachability Problem (Invited Talk)

Petri Net Reachability Problem (Invited Talk)

Year: 2019
Media group: LIPIcs
Cover von Polynomial Vector Addition Systems With States

Polynomial Vector Addition Systems With States

Year: 2018
Media group: LIPIcs
Cover von The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets

The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets

Year: 2023
Media group: LIPIcs
Cover von Reachability in Two-Dimensional Vector Addition Systems with States

Reachability in Two-Dimensional Vector Addition Systems with States

One Test Is for Free
Year: 2020
Media group: LIPIcs
Cover von Ideal Decompositions for Vector Addition Systems (Invited Talk)

Ideal Decompositions for Vector Addition Systems (Invited Talk)

Year: 2016
Media group: LIPIcs
Cover von On the Reachability Problem for Two-Dimensional Branching VASS

On the Reachability Problem for Two-Dimensional Branching VASS

Year: 2025
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2023
Media group: LIPIcs
Cover von LIPIcs, Volume 272, MFCS 2023, Complete Volume

LIPIcs, Volume 272, MFCS 2023, Complete Volume

Year: 2023
Media group: LIPIcs
Cover von 48th International Symposium on Mathematical Foundations of Computer Science
MFCS 2023 : August 28 to September 1, 2023, Bordeaux, France
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 272
Media group: LIPIcs
OPEN V 11.1.0.0