The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Peter Pepper: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch
    On Hierarchies of Abstract Data Types. [Citation Graph (2, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:1-33 [Journal]
  2. Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper
    Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:2, pp:165-180 [Journal]
  3. Peter Pepper
    On the Algebraic Specification of Programming Languages. [Citation Graph (0, 0)][DBLP]
    ADT, 1982, pp:- [Conf]
  4. Peter Pepper
    Correctness of Type Transformations. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  5. Peter Pepper
    An Algebraic View of Local Formalisms. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  6. Mario Südholt, Christian Piepenbrock, Klaus Obermayer, Peter Pepper
    Solving large systems of differential equations in parallel using covers and skeletons. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:132-159 [Conf]
  7. Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper
    Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:559-562 [Conf]
  8. Dusko Pavlovic, Peter Pepper, Douglas R. Smith
    Colimits for Concurrent Collectors. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:568-597 [Conf]
  9. Peter Pepper
    Literate Program Derivation: A Case Study. [Citation Graph (0, 0)][DBLP]
    Methods of Programming, 1991, pp:101-124 [Conf]
  10. Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt
    Communicating Functional Agents and Their Application to Graphical User Interfaces. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1996, pp:386-397 [Conf]
  11. Peter Pepper, Jürgen Exner, Mario Südholt
    Functional Development of Massively Parallel Programs (Invited Paper). [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:217-238 [Conf]
  12. Peter Pepper
    Specification of Distributed Systems Using Modal Logics. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1987, pp:110-121 [Conf]
  13. Peter Pepper, Jürgen Exner, Mario Südholt
    Funktionale Programmierung für massiv parallele Systeme. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1993, pp:551-556 [Conf]
  14. Peter Pepper
    Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm. [Citation Graph (0, 0)][DBLP]
    HICSS (1), 1997, pp:501-0 [Conf]
  15. Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing
    Existential Quantifiers in Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ICALP, 1979, pp:73-87 [Conf]
  16. Hartmut Ehrig, Peter Pepper, Fernando Orejas
    On Recent Trends in Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    ICALP, 1989, pp:263-288 [Conf]
  17. Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing
    Semantic Relations in Programming Languages. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1980, pp:101-106 [Conf]
  18. Peter Pepper
    Program Development in an Algebraic Setting. [Citation Graph (0, 0)][DBLP]
    Formal Program Development, 1993, pp:225-262 [Conf]
  19. Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper
    Programming in the Large: The Algebraic-Functional Language Opal 2alpha. [Citation Graph (0, 0)][DBLP]
    Implementation of Functional Languages, 1997, pp:322-337 [Conf]
  20. Peter Pepper, R. Betschko, S. Dick, Klaus Didrich
    Realizing Sets by Hash Tables. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:58-73 [Conf]
  21. Peter Pepper, Martin Wirsing
    A Method for the Development of Correct Software. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:27-57 [Conf]
  22. 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. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:543-552 [Conf]
  23. Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner
    Systematics of Transformation Rules. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:273-289 [Conf]
  24. Peter Pepper
    A Study on Transformational Semantics. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:322-405 [Conf]
  25. Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer
    Special Transformation Techniques. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:290-321 [Conf]
  26. Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper
    OPAL: Design and Implementation of an Algebraic Programming Language. [Citation Graph (0, 0)][DBLP]
    Programming Languages and System Architectures, 1994, pp:228-244 [Conf]
  27. Manfred Broy, Peter Pepper, Martin Wirsing
    On Relations Between Programs. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1980, pp:59-78 [Conf]
  28. Helmuth Partsch, Peter Pepper
    Abstract Data Types as a Tool for Requirement Engineering. [Citation Graph (0, 0)][DBLP]
    Requirements Engineering, 1983, pp:42-55 [Conf]
  29. Peter Pepper
    Distributed Teaching of Formal Methods. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:140-152 [Conf]
  30. Mohamed Jmaiel, Peter Pepper
    Development of communication protocols using algebraic and temporal specifications. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2003, v:42, n:6, pp:737-764 [Journal]
  31. Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper
    Algebreic Programming in Opal. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1993, v:50, n:, pp:171-181 [Journal]
  32. Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper
    Programmtransformationen - Das aktuelle Schlagwort. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1980, v:3, n:3, pp:192-193 [Journal]
  33. Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing
    Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1982, v:5, n:2, pp:107-119 [Journal]
  34. Helmuth Partsch, Peter Pepper
    A Family of Rules for Recursion Removal. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1976, v:5, n:6, pp:174-177 [Journal]
  35. Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp
    From program languages to software languages. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2002, v:60, n:2, pp:91-101 [Journal]
  36. Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing
    Algebraic Implementations Preserve Program Correctness. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1986, v:7, n:1, pp:35-53 [Journal]
  37. Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, T. 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. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1981, v:1, n:1-2, pp:73-114 [Journal]
  38. Peter Pepper
    A Simple Calculus for Program Transformation (Inclusive of Induction). [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1987, v:9, n:3, pp:221-262 [Journal]
  39. Peter Pepper, Douglas R. Smith
    A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:28, n:2-3, pp:247-271 [Journal]
  40. Manfred Broy, Peter Pepper
    Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:3, pp:362-381 [Journal]
  41. Manfred Broy, Martin Wirsing, Peter Pepper
    On the Algebraic Definition of Programming Languages. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1987, v:9, n:1, pp:54-99 [Journal]
  42. Manfred Broy, Peter Pepper
    Program Development as a Formal Activity. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1981, v:7, n:1, pp:14-23 [Journal]
  43. Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann
    Solution Strategies for Multi-domain Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:209-222 [Conf]
  44. Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper
    Systematic Testing of Model-Based Code Generators. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2007, v:33, n:9, pp:622-634 [Journal]

  45. Evolving Specification Engineering. [Citation Graph (, )][DBLP]


  46. Formal Derivation of Concurrent Garbage Collectors. [Citation Graph (, )][DBLP]


  47. Integration of Declarative and Constraint Programming [Citation Graph (, )][DBLP]


  48. Formal Derivation of Concurrent Garbage Collectors [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.457secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002