Peter Padawitz

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