×
Author ID: padawitz.peter Recent zbMATH articles by "Padawitz, Peter"
Published as: Padawitz, Peter; Padawitz, P.
Documents Indexed: 31 Publications since 1977, including 6 Books
Co-Authors: 3 Co-Authors with 8 Joint Publications
167 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 126 times in 96 Documents Cited by Year
Algebraic implementation of abstract data types. Zbl 0483.68018
Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P.
32
1982
Computing in Horn clause theories. Zbl 0646.68004
Padawitz, Peter
30
1988
Swinging types=functions+relations+transition systems. Zbl 0947.68098
Padawitz, P.
10
2000
Algebraic implementation of abstract data types: Concept, syntax, semantics and correctness. Zbl 0457.68019
Ehrig, H.; Kreowski, H.-J.; Padawitz, P.
7
1980
Deduction and declarative programming. Zbl 0757.68077
Padawitz, Peter
6
1992
New results on completeness and consistency of abstract data types. Zbl 0441.68015
Padawitz, Peter
5
1980
Correctness, completeness and consistency of equational data type specifications. (Thesis). Zbl 0525.68007
Padawitz, Peter
4
1983
The equational theory of parameterized specifications. Zbl 0658.68021
Padawitz, Peter
3
1988
Parameter-preserving data type specifications. Zbl 0619.68026
Padawitz, Peter
3
1987
Algebraic implementation of abstract data types: concept, syntax, semantics and correctness. Zbl 0412.68018
Ehrig, H.; Kreowski, H.-J.; Padawitz, P.
3
1979
Can inductive proofs be automated? Zbl 0673.68052
Padawitz, Peter
2
1988
Graph grammars and operational semantics. Zbl 0486.68090
Padawitz, Peter
2
1982
Proof in flat specifications. Zbl 0958.68109
Padawitz, Peter
2
1999
Inductive theorem proving for design specifications. Zbl 0849.68112
Padawitz, Peter
2
1996
Inductive expansion: A calculus for verifying and synthesizing functional and logic programs. Zbl 0723.68074
Padawitz, Peter
2
1991
Stepwise specification and implementation of abstract data types. Zbl 0382.68026
Ehrig, Hartmut; Kreowski, Hans-Jörg; Padawitz, Peter
2
1978
Algebraic implementation of abstract data types: An announcement. Zbl 0418.68018
Ehrig, H.; Kreowski, H.-J.; Padawitz, P.
2
1979
Compound algebraic implementations: An approach to stepwise refinement of software systems. Zbl 0442.68016
Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P.
2
1980
Generic induction proofs. Zbl 1508.68223
Padawitz, Peter
2
1993
Strategy-controlled reduction and narrowing. Zbl 0635.68105
Padawitz, Peter
1
1987
Equational data type specifications and recursive program schemes. Zbl 0512.68020
Padawitz, Peter
1
1983
Expander2. Towards a workbench for interactive formal reasoning. Zbl 1075.68617
Padawitz, Peter
1
2005
Graph grammars and operational semantics. Zbl 0406.68059
Padawitz, Peter
1
1979
A case study of abstract implementations and their correctness. Zbl 0435.68023
Ehrig, H.; Kreowski, H.-J.; Padawitz, P.
1
1980
Expander2. Towards a workbench for interactive formal reasoning. Zbl 1075.68617
Padawitz, Peter
1
2005
Swinging types=functions+relations+transition systems. Zbl 0947.68098
Padawitz, P.
10
2000
Proof in flat specifications. Zbl 0958.68109
Padawitz, Peter
2
1999
Inductive theorem proving for design specifications. Zbl 0849.68112
Padawitz, Peter
2
1996
Generic induction proofs. Zbl 1508.68223
Padawitz, Peter
2
1993
Deduction and declarative programming. Zbl 0757.68077
Padawitz, Peter
6
1992
Inductive expansion: A calculus for verifying and synthesizing functional and logic programs. Zbl 0723.68074
Padawitz, Peter
2
1991
Computing in Horn clause theories. Zbl 0646.68004
Padawitz, Peter
30
1988
The equational theory of parameterized specifications. Zbl 0658.68021
Padawitz, Peter
3
1988
Can inductive proofs be automated? Zbl 0673.68052
Padawitz, Peter
2
1988
Parameter-preserving data type specifications. Zbl 0619.68026
Padawitz, Peter
3
1987
Strategy-controlled reduction and narrowing. Zbl 0635.68105
Padawitz, Peter
1
1987
Correctness, completeness and consistency of equational data type specifications. (Thesis). Zbl 0525.68007
Padawitz, Peter
4
1983
Equational data type specifications and recursive program schemes. Zbl 0512.68020
Padawitz, Peter
1
1983
Algebraic implementation of abstract data types. Zbl 0483.68018
Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P.
32
1982
Graph grammars and operational semantics. Zbl 0486.68090
Padawitz, Peter
2
1982
Algebraic implementation of abstract data types: Concept, syntax, semantics and correctness. Zbl 0457.68019
Ehrig, H.; Kreowski, H.-J.; Padawitz, P.
7
1980
New results on completeness and consistency of abstract data types. Zbl 0441.68015
Padawitz, Peter
5
1980
Compound algebraic implementations: An approach to stepwise refinement of software systems. Zbl 0442.68016
Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P.
2
1980
A case study of abstract implementations and their correctness. Zbl 0435.68023
Ehrig, H.; Kreowski, H.-J.; Padawitz, P.
1
1980
Algebraic implementation of abstract data types: concept, syntax, semantics and correctness. Zbl 0412.68018
Ehrig, H.; Kreowski, H.-J.; Padawitz, P.
3
1979
Algebraic implementation of abstract data types: An announcement. Zbl 0418.68018
Ehrig, H.; Kreowski, H.-J.; Padawitz, P.
2
1979
Graph grammars and operational semantics. Zbl 0406.68059
Padawitz, Peter
1
1979
Stepwise specification and implementation of abstract data types. Zbl 0382.68026
Ehrig, Hartmut; Kreowski, Hans-Jörg; Padawitz, Peter
2
1978
all top 5

Cited by 100 Authors

7 Ehrig, Hartmut
7 Padawitz, Peter
6 Hennicker, Rolf
6 Sannella, Donald T.
6 Tarlecki, Andrzej
4 Falaschi, Moreno
4 Kreowski, Hans-Jörg
4 Rusinowitch, Michaël
3 Alpuente, María
3 Bernot, Gilles
3 Bidoit, Michel
3 Bockmayr, Alexander
3 Bouhoula, Adel
3 Goguen, Joseph Amadee
3 Hanus, Michael
3 Kounalis, Emmanuel
3 Martins, Manuel António
3 Navarro, Marisa
3 Orejas, Fernando
3 Wirsing, Martin
2 Ballis, Demis
2 Bertling, Hubert
2 Blum, Edward Kenneth
2 Bonchi, Filippo
2 Burstall, Rod M.
2 Gadducci, Fabio
2 Ganzinger, Harald
2 Hofbauer, Dieter
2 Kissinger, Aleks
2 Krischer, Stefan
2 Mahr, Bernd
2 Mossakowski, Till
2 Plump, Detlef
2 Remy, Jean-Luc
2 Sobociński, Paweł
2 Zanasi, Fabio
1 Babenyshev, Sergey
1 Baggi, Michele
1 Baixeries, Jaume
1 Bauer, Friedrich Ludwig
1 Bousdira, Wadoud
1 Broy, Manfred
1 Chazarain, Jacques
1 Choppy, Christine
1 Cîrstea, Corina
1 Codocedo, Víctor
1 Corradini, Andrea
1 Correa, Francisco José
1 Correa, Franciso
1 Costa, Gerardo
1 Echahed, Rachid
1 Ferreirim, Isabel M. A.
1 Gaudel, Marie-Claude
1 Gong, Chun
1 Gramlich, Bernhard
1 Große-Rhode, Martin
1 Hoffmann, Berthold
1 Hölldobler, Steffen
1 Huber, Maria
1 Ida, Tetsuo
1 Kaplan, Stéphane
1 Kaytoue, Mehdi
1 Kirchner, Hélène
1 Klaeren, Herbert A.
1 Kurz, Alexander
1 Levi, Giorgio
1 Li, Wei
1 Lin, Huimin
1 Lowe, Michael J. S.
1 Luan, Shangmin
1 Madeira, Alexandre
1 Malcolm, Grant
1 Meseguer Guaita, José
1 Middeldorp, Aart
1 Moineau, Th.
1 Moreno, Ginés
1 Napoli, Amedeo
1 Nepeĭvoda, Nikolaĭ Nikolaevich
1 Nipkow, Tobias
1 Parisi-Presicce, Francesco
1 Pascual, Vicente
1 Piessens, Frank
1 Poigné, Axel
1 Qian, Zhenyu
1 Reggio, Gianna
1 Rosen, Barry K.
1 Roşu, Grigore
1 Steegmans, Eric
1 Stratulat, Sorin
1 Stuber, Jürgen
1 Suzuki, Taro
1 Thatcher, James W.
1 Voss, Josef
1 Wagner, Eric G.
1 Wand, Mitchell
1 Werner, Andreas
1 Wirth, Claus-Peter
1 Wolz, Dietmar
1 Wright, Jesse B.
1 Xie, Hongliang

Citations by Year