default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter Pepper
Person information
- affiliation: Technical University of Berlin, Department of Mathematics, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[c32]Guido Bacharach
, Winfried Raab, Hans Pongratz, Peter Pepper:
ICT-based continuous innovation and research in German university admissions. ENIS 2021: 59-68
2010 – 2019
- 2014
- [e2]Peter Pepper, David Broman:
Equation-Based Object-Oriented Modeling Languages and Tools 2014, EOOLT 2014, Berlin, Germany, October 10, 2014. ACM 2014, ISBN 978-1-4503-2953-8 [contents] - 2011
- [c31]Peter Pepper, Alexandra Mehlhase, Christoph Höger, Lena Scholz:
A Compositional Semantics for Modelica-style Variable-structureModeling. EOOLT 2011: 45-54 - [e1]Hans-Ulrich Heiß, Peter Pepper, Holger Schlingloff, Jörg Schneider:
41. Jahrestagung der Gesellschaft für Informatik, Informatik schafft Communities, INFORMATIK 2011, Berlin, Germany, October 4-7, 2011, Abstract Proceedings. LNI P-192, GI 2011, ISBN 978-88579-286-4-7 [contents] - 2010
- [c30]Christoph Höger, Florian Lorenzen, Peter Pepper:
Notes on the Separate Compilation of Modelica. EOOLT 2010: 43-51 - [c29]Dusko Pavlovic, Peter Pepper, Douglas R. Smith:
Formal Derivation of Concurrent Garbage Collectors. MPC 2010: 353-376 - [i3]Dusko Pavlovic, Peter Pepper, Douglas R. Smith:
Formal Derivation of Concurrent Garbage Collectors. CoRR abs/1006.4342 (2010)
2000 – 2009
- 2008
- [c28]Dusko Pavlovic, Peter Pepper, Douglas R. Smith:
Evolving Specification Engineering. AMAST 2008: 299-314 - [c27]Peter Pepper:
Specification Techniques (Not Only) for Autonomous Systems. SJTU-TUB Joint Workshop 2008: 105-117 - 2007
- [j18]Petra Hofstedt, Peter Pepper:
Integration of declarative and constraint programming. Theory Pract. Log. Program. 7(1-2): 93-121 (2007) - [j17]Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper:
Systematic Testing of Model-Based Code Generators. IEEE Trans. Software Eng. 33(9): 622-634 (2007) - 2006
- [b8]Peter Pepper, Petra Hofstedt:
Funktionale Programmierung - Sprachdesign und Programmiertechnik. eXamen.press, Springer 2006, ISBN 978-3-540-20959-1, pp. I-XVII, 1-492 - [c26]Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann:
Solution Strategies for Multi-domain Constraint Logic Programs. Ershov Memorial Conference 2006: 209-222 - 2005
- [i2]Petra Hofstedt, Peter Pepper:
Integration of Declarative and Constraint Programming. CoRR abs/cs/0511090 (2005) - 2004
- [c25]Peter Pepper:
Distributed Teaching of Formal Methods. TFM 2004: 140-152 - 2003
- [b7]Peter Pepper:
Funktionale Programmierung - in OPAL, ML, HASKELL und GOFER (2. Aufl.). Springer-Lehrbuch, Springer 2003, ISBN 978-3-540-43621-8, pp. I-XIV, 1-300 - [j16]Mohamed Jmaiel, Peter Pepper:
Development of communication protocols using algebraic and temporal specifications. Comput. Networks 42(6): 737-764 (2003) - [c24]Dusko Pavlovic, Peter Pepper, Douglas R. Smith:
Colimits for Concurrent Collectors. Verification: Theory and Practice 2003: 568-597 - 2002
- [j15]Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp:
From program languages to software languages. J. Syst. Softw. 60(2): 91-101 (2002)
1990 – 1999
- 1999
- [b6]Peter Pepper:
Funktionale Programmierung in OPAL, ML, HASKELL und GOFER. Springer 1999, ISBN 978-3-540-64541-2, pp. I-XIV, 1-296 - 1997
- [j14]Peter Pepper, Douglas R. Smith:
A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). Sci. Comput. Program. 28(2-3): 247-271 (1997) - [c23]Mario Südholt, Christian Piepenbrock, Klaus Obermayer, Peter Pepper:
Solving large systems of differential equations in parallel using covers and skeletons. Algorithmic Languages and Calculi 1997: 132-159 - [c22]Peter Pepper:
Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm. HICSS (1) 1997: 501- - [c21]Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper:
Programming in the Large: The Algebraic-Functional Language Opal 2alpha. Implementation of Functional Languages 1997: 322-337 - 1996
- [c20]Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper:
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). AMAST 1996: 559-562 - [c19]Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt:
Communicating Functional Agents and Their Application to Graphical User Interfaces. Ershov Memorial Conference 1996: 386-397 - 1995
- [b5]Peter Pepper:
Grundlagen der Informatik (2. Aufl.). Oldenbourg 1995, ISBN 978-3-486-23513-5, pp. 1-357 - [p3]Peter Pepper, Martin Wirsing:
A Method for the Development of Correct Software. KORSO Book 1995: 27-57 - [p2]Peter Pepper, Ralph Betschko, Sabine Dick, Klaus Didrich:
Realizing Sets by Hash Tables. KORSO Book 1995: 58-73 - 1994
- [c18]Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper:
OPAL: Design and Implementation of an Algebraic Programming Language. Programming Languages and System Architectures 1994: 228-244 - 1993
- [j13]Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper:
Algebreic Programming in Opal. Bull. EATCS 50: 171-181 (1993) - [c17]Peter Pepper, Jürgen Exner, Mario Südholt:
Functional Development of Massively Parallel Programs (Invited Paper). Formal Methods in Programming and Their Applications 1993: 217-238 - [c16]Peter Pepper, Jürgen Exner, Mario Südholt:
Funktionale Programmierung für massiv parallele Systeme. GI Jahrestagung 1993: 551-556 - [c15]Peter Pepper:
Program Development in an Algebraic Setting. Formal Program Development 1993: 225-262 - [p1]Hartmut Ehrig, Peter Pepper:
On the potential Role of Algebraic Specification within Computer Science. Current Trends in Theoretical Computer Science 1993: 51-53 - 1992
- [b4]Peter Pepper:
Grundlagen der Informatik. Oldenbourg 1992, ISBN 978-3-486-21153-5, pp. 1-355 - 1991
- [c14]Peter Pepper:
Literate Program Derivation: A Case Study. Methods of Programming 1991: 101-124
1980 – 1989
- 1989
- [j12]Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper:
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. IEEE Trans. Software Eng. 15(2): 165-180 (1989) - [c13]Hartmut Ehrig, Peter Pepper, Fernando Orejas:
On Recent Trends in Algebraic Specification. ICALP 1989: 263-288 - 1988
- [c12]Peter Pepper:
An Algebraic View of Local Formalisms. ADT 1988 - 1987
- [b3]Friedrich L. Bauer, Herbert Ehler, A. Horsch, Bernhard Möller, Helmuth Partsch, O. Paukner, Peter Pepper:
The Munich Project CIP, Volume II: The Program Transformation System CIP-S. Lecture Notes in Computer Science 292, Springer 1987, ISBN 3-540-18779-0 - [j11]Peter Pepper:
A Simple Calculus for Program Transformation (Inclusive of Induction). Sci. Comput. Program. 9(3): 221-262 (1987) - [j10]Manfred Broy, Martin Wirsing, Peter Pepper:
On the Algebraic Definition of Programming Languages. ACM Trans. Program. Lang. Syst. 9(1): 54-99 (1987) - [c11]Peter Pepper:
Specification of Distributed Systems Using Modal Logics. GI Jahrestagung 1987: 110-121 - 1986
- [j9]Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing:
Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. 7(1): 35-53 (1986) - 1985
- [b2]Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner:
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science 183, Springer 1985, ISBN 3-540-15187-7 - 1984
- [i1]Peter Pepper:
A simple calculus for program transformations. Forschungsberichte, TU Munich TUM I 8409: 1-47 (1984) - 1983
- [j8]Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch:
On Hierarchies of Abstract Data Types. Acta Informatica 20: 1-33 (1983) - [c10]Peter Pepper:
Correctness of Type Transformations. ADT 1983 - [c9]Helmuth Partsch, Peter Pepper:
Abstract Data Types as a Tool for Requirement Engineering. Requirements Engineering 1983: 42-55 - 1982
- [j7]Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing:
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Inform. Spektrum 5(2): 107-119 (1982) - [j6]Manfred Broy, Peter Pepper:
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm. ACM Trans. Program. Lang. Syst. 4(3): 362-381 (1982) - [c8]Peter Pepper:
On the Algebraic Specification of Programming Languages. ADT 1982 - 1981
- [j5]Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner:
Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 1(1-2): 73-114 (1981) - [j4]Manfred Broy, Peter Pepper:
Program Development as a Formal Activity. IEEE Trans. Software Eng. 7(1): 14-23 (1981) - 1980
- [j3]Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper:
Programmtransformationen - Das aktuelle Schlagwort. Inform. Spektrum 3(3): 192-193 (1980) - [c7]Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing:
Semantic Relations in Programming Languages. IFIP Congress 1980: 101-106 - [c6]Manfred Broy, Peter Pepper, Martin Wirsing:
On Relations Between Programs. Symposium on Programming 1980: 59-78
1970 – 1979
- 1979
- [b1]Peter Pepper:
A study of transformational semantics. Technical University Munich, Germany, 1979, pp. 1-81 - [c5]Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing:
Existential Quantifiers in Abstract Data Types. ICALP 1979: 73-87 - 1978
- [j2]Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner:
Towards a wide spectrum language to support program specification and program development. ACM SIGPLAN Notices 13(12): 15-24 (1978) - [c4]Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner:
Systematics of Transformation Rules. Program Construction 1978: 273-289 - [c3]Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer:
Special Transformation Techniques. Program Construction 1978: 290-321 - [c2]Peter Pepper:
A Study on Transformational Semantics. Program Construction 1978: 322-405 - [c1]Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner:
Towards a Wide Spectrum Language to Support Program Specification and Program Development. Program Construction 1978: 543-552 - 1976
- [j1]Helmuth Partsch, Peter Pepper:
A Family of Rules for Recursion Removal. Inf. Process. Lett. 5(6): 174-177 (1976)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
