Reinhard Budde
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1981–2014
Best venue rank
National
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ISM | Graphical Programming Environments for Educational Robots: Open Roberta - Yet Another One? | Beate Jost, Markus Ketterl, Reinhard Budde, Thorsten Leimbach |
| 1999 | Coordination | Coordination of Synchronous Programs. | Reinhard Budde, G. Michele Pinna, Axel Poign |
| 1996 | SAFECOMP | Formal Verification as a Design Tool - The Transponder Lock Example. | Reinhard Budde, Agathe Merceron, Karl-Heinz Sylla |
| 1987 | KI | Methodik des Programmierens in Prolog. | Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Zllighoven |
| 1987 | KI | Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung. | Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Zllighoven |
| 1981 | GI | Einige Bemerkungen zum Verstndnis nebenlfiger Prozesse und Systeme. | Reinhard Budde |