Peter Pepper
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1979–2010
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | MPC | Formal Derivation of Concurrent Garbage Collectors. | Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
| 1993 | GI | Funktionale Programmierung fr massiv parallele Systeme. | Peter Pepper, Jrgen Exner, Mario Sdholt |
| 1989 | ICALP | On Recent Trends in Algebraic Specification. | Hartmut Ehrig, Peter Pepper, Fernando Orejas |
| 1987 | GI | Specification of Distributed Systems Using Modal Logics. | Peter Pepper |
| 1983 | RE | Abstract Data Types as a Tool for Requirement Engineering. | Helmuth Partsch, Peter Pepper |
| 1979 | ICALP | Existential Quantifiers in Abstract Data Types. | Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing |