| 2017 | SOFSEM | A Graph-Theoretical Characterisation of State Separation. | Eike Best, Raymond Devillers, Uli Schlachter |
| 2017 | SOFSEM | Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict. | Eike Best, Nataliya S. Gribovskaya, Irina B. Virbitskaite |
| 2015 | CONCUR | Synthesis of Bounded Choice-Free Petri Nets. | Eike Best, Raymond Devillers |
| 2014 | LATA | Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets. | Eike Best, Raymond Devillers |
| 1999 | CONCUR | Weak and Strong Composition of High-Level Petri-Nets. | Eike Best, Alexander Lavrov |
| 1997 | Coordination | Partial Order and SOS Semantics for Linear Constraint Programs. | Eike Best, Frank S. de Boer, Catuscia Palamidessi |
| 1997 | FCT | Refinement of Coloured Petri Nets. | Eike Best, Thomas Thielke |
| 1996 | CONCUR | Linear Constraint Systems as High-Level Nets. | Eike Best, Catuscia Palamidessi |
| 1996 | TACAS | PEP - More than a Petri Net Tool. | Bernd Grahlmann, Eike Best |
| 1995 | ICALP | Solving Recursive Net Equations. | Eike Best, Maciej Koutny |
| 1994 | CONCUR | Operational Semantics for the Petri Box Calculus. | Maciej Koutny, Javier Esparza, Eike Best |
| 1993 | MFPS | Compositional Process Semantics of Petri Boxes. | Eike Best, Hans-Gnther Linde-Gers |
| 1993 | STACS | General Refinement and Recursion Operators for the Petri Box Calculus. | Eike Best, Raymond Devillers, Javier Esparza |
| 1991 | CSL | Model Checking of Persistent Petri Nets. | Eike Best, Javier Esparza |
| 1991 | STACS | Compositional Generation of Home States in Free Choice Systems. | Eike Best, Ludmila Cherkasova, Jrg Desel |
| 1990 | CONCUR | Partial Order Semantics of Concurrent Programs (Abstract). | Eike Best |
| 1988 | CONCUR | Weighted Basic Petri Nets. | Eike Best |
| 1984 | CONCUR | Concurrent Behaviour: Sequences, Processes and Axioms. | Eike Best |
| 1980 | MFCS | Proof of a Concurrent Program Finding Euler Paths. | Eike Best |
| 1975 | GI | Martierte Petrinetze und Sigma-Teilsysteme. | Eike Best, Hans Albrecht Schmid |
| 1975 | MFCS | Systems of Open Paths in Petri Nets. | Eike Best, Hans Albrecht Schmid |