Ronny Tredup
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2018–2022
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | TASE | Complexity of Distributed Petri Net Synthesis. | Raymond Devillers, Ronny Tredup |
| 2020 | ICTAC | Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm. | Evgeny Erofeev, Ronny Tredup |
| 2020 | ICTAC | The Complexity of Boolean State Separation. | Ronny Tredup, Evgeny Erofeev |
| 2020 | SOFSEM | Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems. | Ronny Tredup |
| 2020 | TAMC | On the Parameterized Complexity of | Ronny Tredup, Evgeny Erofeev |
| 2019 | TAMC | The Complexity of Synthesis for 43 Boolean Petri Net Types. | Ronny Tredup, Christian Rosenke |
| 2018 | CONCUR | Narrowing down the Hardness Barrier of Synthesizing Elementary Net Systems. | Ronny Tredup, Christian Rosenke |