Peter Padawitz

Available identifiers

zbMath Open padawitz.peterMaRDI QIDQ757076

List of research outcomes

Publication	Date of Publication	Type
Generic induction proofs	2023-03-09	Paper
Expander2: Program Verification Between Interaction and Automation	2014-01-24	Paper
From Grammars and Automata to Algebras and Coalgebras	2011-07-08	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4431230	2003-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4702600	2001-04-01	Paper
Swinging types=functions+relations+transition systems	2000-08-21	Paper
Inductive theorem proving for design specifications	1996-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4040341	1993-06-05	Paper
Deduction and Declarative Programming	1993-01-23	Paper
Inductive expansion: A calculus for verifying and synthesizing functional and logic programs	1991-01-01	Paper
The equational theory of parameterized specifications	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3827551	1988-01-01	Paper
Parameter-preserving data type specifications	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3774997	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3677151	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3345752	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3038598	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3657415	1983-01-01	Paper
Algebraic implementation of abstract data types	1982-01-01	Paper
Graph grammars and operational semantics	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3875329	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883463	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3885176	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3907050	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3851591	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4192995	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4199504	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3916035	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4160385	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4125739	1977-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter Padawitz