Peter Padawitz

Publication Activity (10 Years)

Years Active: 1978-2011
Publications (10 Years): 0

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Peter Padawitz
From Grammars and Automata to Algebras and Coalgebras. CAI (2011)
Peter Padawitz
Algebraic Model Checking. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Peter Padawitz
Expander2: Program Verification Between Interaction and Automation. Electron. Notes Theor. Comput. Sci. 177 (2007)
Peter Padawitz
Expander2. Formal Methods in Software and Systems Modeling (2005)
Peter Padawitz
Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving. UML (2000)
Peter Padawitz
Swinging types=functions+relations+transition systems. Theor. Comput. Sci. 243 (1-2) (2000)
Peter Padawitz
Towards the one-tiered design of data types and transition systems. WADT (1997)
Peter Padawitz
Inductive Theorem Proving for Design Specification. J. Symb. Comput. 21 (1) (1996)
Peter Padawitz
Swinging Data Types: Syntax, Semantics, and Theory. COMPASS/ADT (1995)
Mihaly Lenart, Peter Padawitz, Ana Pasztor
Formal specification for design automation. Formal Design Methods for CAD (1994)
Peter Padawitz
Generic Induction Proofs. CTRS (1992)
Peter Padawitz
Inductive Expansion: A Calculus for Verifying and Synthesizing Functional and Logic Programs. J. Autom. Reason. 7 (1) (1991)
Peter Padawitz
Reduction and Narrowing for Horn Clause Theories. Comput. J. 34 (1) (1991)
Peter Padawitz
Inductive Proofs by Resolution and Paramodulation. TAPSOFT, Vol.1 (1989)
Peter Padawitz
Proving the Correctness of Schorr-Waite Graph Marking by Inductive Expansion. IFIP Congress (1989)
Peter Padawitz
Can inductive proofs be automated? Part II. Bull. EATCS 37 (1989)
Peter Padawitz
Inductive Expansion. ADT (1988)
Peter Padawitz
The Equational Theory of Parameterized Specifications Inf. Comput. 76 (2/3) (1988)
Peter Padawitz
Can inductive proofs be automated? Bull. EATCS 35 (1988)
Peter Padawitz
Strategy-Controlled Reduction and Narrowing. RTA (1987)
Peter Padawitz
Parameter-Preserving Data Type Specifications. J. Comput. Syst. Sci. 34 (2/3) (1987)
Peter Padawitz
The Use of Terminal Semantics for Disproving Inductive Theorems. ADT (1986)
Peter Padawitz
Parameter Preserving Data Type Specifications. TAPSOFT, Vol.1 (1985)
Peter Padawitz, Martin Wirsing
Completeness of many-sorted equational logic revisited. Bull. EATCS 24 (1984)
Peter Padawitz
Towards a Proof Theory of Parameterized Specifications. Semantics of Data Types (1984)
Ulrich Grude, Peter Padawitz
Initial and Fixpoint Semantics of Algebraic Specifications. ADT (1983)
Peter Padawitz
Equational Data Type Specifications and Recursive Program Schemes. Formal Description of Programming Concepts (1982)
Peter Padawitz
On the Proof of Completeness and Consistency. ADT (1982)
Peter Padawitz
Graph Grammars and Operational Semantics. Theor. Comput. Sci. 19 (1982)
Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz
Algebraic Implementation of Abstract Data Types. Theor. Comput. Sci. 20 (1982)
Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz
Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. MFCS (1980)
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
A Case Study of Abstract Implementations and Their Correctness. Symposium on Programming (1980)
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. ICALP (1980)
Peter Padawitz
New Results on Completeness and Consistency of Abstract Data Types. MFCS (1980)
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
Algebraic implementation of abstract data types: an announcement. SIGACT News 11 (2) (1979)
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
Stepwise Specification and Implementation of Abstract Data Types. ICALP (1978)
Peter Padawitz
Graph Grammars and Operational Semantics. Graph-Grammars and Their Application to Computer Science and Biology (1978)

Peter Padawitz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Peter Padawitz