Edit Profile (opens in new tab) Padawitz, Peter Co-Author Distance Author ID: 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 Co-Authors 23 single-authored 8 Ehrig, Hartmut 8 Kreowski, Hans-Jörg 2 Mahr, Bernd all top 5 Serials 3 Theoretical Computer Science 2 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Journal of Computer and System Sciences 1 Journal of Symbolic Computation 1 Information and Computation 1 Journal of Automated Reasoning 1 Cambridge Tracts in Theoretical Computer Science 1 EATCS Monographs on Theoretical Computer Science Fields 31 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 18 Serials 31 Theoretical Computer Science 7 Journal of Computer and System Sciences 5 Information and Computation 4 Acta Informatica 3 Formal Aspects of Computing 3 MSCS. Mathematical Structures in Computer Science 2 Journal of Symbolic Computation 2 Journal of Computer Science and Technology 2 Diagrammes 1 Fuzzy Sets and Systems 1 Journal of Pure and Applied Algebra 1 Journal of Soviet Mathematics 1 Journal of Automated Reasoning 1 RAIRO. Informatique Théorique et Applications 1 Applicable Algebra in Engineering, Communication and Computing 1 Annals of Mathematics and Artificial Intelligence 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Applied Logic Cited in 4 Fields 94 Computer science (68-XX) 21 Mathematical logic and foundations (03-XX) 7 Category theory; homological algebra (18-XX) 5 General algebraic systems (08-XX) Citations by Year