Peter Padawitz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1978–1995
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | COMPASS | Swinging Data Types: Syntax, Semantics, and Theory. | Peter Padawitz |
| 1980 | ICALP | Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. | Hartmut Ehrig, Hans-Jrg Kreowski, Peter Padawitz |
| 1980 | MFCS | Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. | Hartmut Ehrig, Hans-Jrg Kreowski, Bernd Mahr, Peter Padawitz |
| 1980 | MFCS | New Results on Completeness and Consistency of Abstract Data Types. | Peter Padawitz |
| 1978 | ICALP | Stepwise Specification and Implementation of Abstract Data Types. | Hartmut Ehrig, Hans-Jrg Kreowski, Peter Padawitz |