Statistics
Publications
8
Citations
237
H-Index
8
Active since
1979
Affiliations
Peter Padawitz is an author at Technische Universität Berlin specializing in formal methods, computer science, and computing.
Publications per year
1979–2000
8
8
Algebraic implementation of abstract data types
Hartmut Ehrig, Hans‐Jörg Kreowski, B. Mahr et al. · Theoretical Computer Science · 1982 · 132 citations
Computing, Computer Science, Algebra +13
Swinging types=functions+relations+transition systems
Peter Padawitz · Theoretical Computer Science · 2000 · 30 citations
Graph grammars and operational semantics
Peter Padawitz · Theoretical Computer Science · 1982 · 17 citations
Inductive Theorem Proving for Design Specifications
Peter Padawitz · Journal of Symbolic Computation · 1996 · 12 citations
Computing, Computer Science, Design +13
1–5 of 8