Uli Schlachter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2013–2018
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | LATA | Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets. | Uli Schlachter |
| 2017 | CONCUR | k-Bounded Petri Net Synthesis from Modal Transition Systems. | Uli Schlachter, Harro Wimmel |
| 2017 | SOFSEM | A Graph-Theoretical Characterisation of State Separation. | Eike Best, Raymond Devillers, Uli Schlachter |
| 2016 | CONCUR | Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable. | Uli Schlachter |
| 2013 | CEC | An adaptive penalty function with meta-modeling for constrained problems. | Oliver Kramer, Uli Schlachter, Valentin Spreckels |