Ronny Tredup

Identifiers

No identifiers captured yet.

Papers (4)

1. On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets cs.CC · 2022 · author #2
2. Hardness Results for the Synthesis of $b$-bounded Petri Nets (Technical Report) cs.LO · 2019 · author #1
3. Towards Completely Characterizing the Complexity of Boolean Nets Synthesis cs.CC · 2018 · author #1
4. The Hardness of Synthesizing Elementary Net Systems from Highly Restricted Inputs cs.LO · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Christian Rosenke 2 shared papers
• Raymond Devillers 1 shared papers