Peter Pepper

	2011
58		Hans-Ulrich Heiß, Peter Pepper, Holger Schlingloff, Jörg Schneider: Informatik 2011: Informatik schafft Communities, Beiträge der 41. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 4.-7.10.2011, Berlin (Abstract Proceedings) GI 2011
57		Peter Pepper, Alexandra Mehlhase, Christoph Höger, Lena Scholz: A Compositional Semantics for Modelica-style Variable-structureModeling. EOOLT 2011: 45-54
	2010
56		Christoph Höger, Florian Lorenzen, Peter Pepper: Notes on the Separate Compilation of Modelica. EOOLT 2010: 43-51
55		Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Formal Derivation of Concurrent Garbage Collectors. MPC 2010: 353-376
54		Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Formal Derivation of Concurrent Garbage Collectors CoRR abs/1006.4342: (2010)
	2008
53		Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Evolving Specification Engineering. AMAST 2008: 299-314
	2007
52		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)
51		Petra Hofstedt, Peter Pepper: Integration of declarative and constraint programming. TPLP 7(1-2): 93-121 (2007)
	2006
50		Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann: Solution Strategies for Multi-domain Constraint Logic Programs. Ershov Memorial Conference 2006: 209-222
	2005
49		Petra Hofstedt, Peter Pepper: Integration of Declarative and Constraint Programming CoRR abs/cs/0511090: (2005)
	2004
48		Peter Pepper: Distributed Teaching of Formal Methods. TFM 2004: 140-152
	2003
47		Peter Pepper: Funktionale Programmierung - in OPAL, ML, HASKELL und GOFER (2. Aufl.). Springer 2003: I-XIV, 1-300
46		Dusko Pavlovic, Peter Pepper, Douglas R. Smith: Colimits for Concurrent Collectors. Verification: Theory and Practice 2003: 568-597
45		Mohamed Jmaiel, Peter Pepper: Development of communication protocols using algebraic and temporal specifications. Computer Networks 42(6): 737-764 (2003)
	2002
44		Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp: From program languages to software languages. Journal of Systems and Software 60(2): 91-101 (2002)
	1999
43		Peter Pepper: Funktionale Programmierung in OPAL, ML, HASKELL und GOFER. Springer 1999: I-XIV, 1-296
	1997
42		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
41		Peter Pepper: Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm. HICSS (1) 1997: 501-
40		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
39		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)
	1996
38		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
37		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
36		Peter Pepper: Grundlagen der Informatik (2. Aufl.). Oldenbourg 1995: 1-357
35		Peter Pepper, Martin Wirsing: A Method for the Development of Correct Software. KORSO Book 1995: 27-57
34		Peter Pepper, R. Betschko, S. Dick, Klaus Didrich: Realizing Sets by Hash Tables. KORSO Book 1995: 58-73
	1994
33		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
32		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
31		Peter Pepper: Program Development in an Algebraic Setting. Formal Program Development 1993: 225-262
30		Peter Pepper, Jürgen Exner, Mario Südholt: Funktionale Programmierung für massiv parallele Systeme. GI Jahrestagung 1993: 551-556
29		Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper: Algebreic Programming in Opal. Bulletin of the EATCS 50: 171-181 (1993)
	1992
28		Peter Pepper: Grundlagen der Informatik. Oldenbourg 1992: 1-355
	1991
27		Peter Pepper: Literate Program Derivation: A Case Study. Methods of Programming 1991: 101-124
	1989
26		Hartmut Ehrig, Peter Pepper, Fernando Orejas: On Recent Trends in Algebraic Specification. ICALP 1989: 263-288
25		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)
	1988
24		Peter Pepper: An Algebraic View of Local Formalisms. ADT 1988
	1987
23		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 Springer 1987
22		Peter Pepper: Specification of Distributed Systems Using Modal Logics. GI Jahrestagung 1987: 110-121
21		Manfred Broy, Martin Wirsing, Peter Pepper: On the Algebraic Definition of Programming Languages. ACM Trans. Program. Lang. Syst. 9(1): 54-99 (1987)
20		Peter Pepper: A Simple Calculus for Program Transformation (Inclusive of Induction). Sci. Comput. Program. 9(3): 221-262 (1987)
	1986
19		Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing: Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. 7(1): 35-53 (1986)
	1985
18		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 Springer 1985
	1983
17		Peter Pepper: Correctness of Type Transformations. ADT 1983
16		Helmuth Partsch, Peter Pepper: Abstract Data Types as a Tool for Requirement Engineering. Requirements Engineering 1983: 42-55
15		Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch: On Hierarchies of Abstract Data Types. Acta Inf. 20: 1-33 (1983)
	1982
14		Peter Pepper: On the Algebraic Specification of Programming Languages. ADT 1982
13		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)
12		Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing: Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Informatik Spektrum 5(2): 107-119 (1982)
	1981
11		Manfred Broy, Peter Pepper: Program Development as a Formal Activity. IEEE Trans. Software Eng. 7(1): 14-23 (1981)
10		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)
	1980
9		Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing: Semantic Relations in Programming Languages. IFIP Congress 1980: 101-106
8		Manfred Broy, Peter Pepper, Martin Wirsing: On Relations Between Programs. Symposium on Programming 1980: 59-78
7		Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper: Programmtransformationen - Das aktuelle Schlagwort. Informatik Spektrum 3(3): 192-193 (1980)
	1979
6		Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing: Existential Quantifiers in Abstract Data Types. ICALP 1979: 73-87
	1978
5		Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner: Systematics of Transformation Rules. Program Construction 1978: 273-289
4		Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer: Special Transformation Techniques. Program Construction 1978: 290-321
3		Peter Pepper: A Study on Transformational Semantics. Program Construction 1978: 322-405
2		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
1		Helmuth Partsch, Peter Pepper: A Family of Rules for Recursion Removal. Inf. Process. Lett. 5(6): 174-177 (1976)

Coauthor Index

1	Friedrich L. Bauer	[2] [4] [5] [7] [10] [12] [18] [23] [25]
2	Rudolf Berghammer	[18]
3	R. Betschko	[34]
4	Manfred Broy	[2] [5] [6] [7] [8] [9] [10] [11] [12] [13] [18] [19] [21]
5	Michael Cebulla	[44]
6	Mirko Conrad	[52]
7	S. Dick	[34]
8	Klaus Didrich	[33] [34] [38] [40] [44]
9	Heiko Dörr	[52]
10	Walter Dosch	[6] [10] [12] [15] [18]
11	Herbert Ehler	[23]
12	Hartmut Ehrig	[26]
13	Jürgen Exner	[30] [32]
14	Andreas Fett	[29] [33]
15	Stephan Frank	[50]
16	Thomas Frauenstein	[37]
17	Franz Geiselbrechtinger	[18]
18	Carola Gerke	[29] [33] [38]
19	Rupert Gnatz	[2] [10] [18]
20	Wolfgang Grieskamp	[29] [33] [37] [38] [40] [44]
21	E. Hangel	[18]
22	Hans-Ulrich Heiss (Hans-Ulrich Heiß)	[58]
23	Wolfgang Hesse	[2] [18]
24	Petra Hofstedt	[49] [50] [51]
25	Christoph Höger	[56] [57]
26	A. Horsch	[23]
27	Mohamed Jmaiel	[45]
28	Bernd Krieg-Brückner	[2] [10] [18]
29	Alfred Laut	[10] [18]
30	Florian Lorenzen	[56]
31	M. Luckmann	[10]
32	Christian Maeder	[38] [40]
33	Thomas Matzner	[10] [18]
34	Alexandra Mehlhase	[57]
35	Bernhard Möller	[10] [18] [19] [23] [25]
36	Friederike Nickl	[18]
37	Klaus Obermayer	[42]
38	Fernando Orejas	[26]
39	Helmuth Partsch	[1] [2] [4] [5] [6] [7] [9] [10] [12] [15] [16] [18] [23] [25]
40	O. Paukner	[23]
41	Dusko Pavlovic	[46] [53] [54] [55]
42	Christian Piepenbrock	[42]
43	Dirk Reckmann	[50]
44	Klaus Samelson	[10] [18]
45	Bernd-Holger Schlingloff (Holger Schlingloff)	[58]
46	Jörg Schneider (Joerg Schneider)	[58]
47	Lena Scholz	[57]
48	Douglas R. Smith	[39] [46] [53] [54] [55]
49	Ralf Steinbrüggen	[10]
50	Ingo Stürmer	[52]
51	Mario Südholt	[30] [32] [37] [42]
52	Martin Wirsing	[6] [8] [9] [10] [12] [15] [18] [19] [21] [35]
53	Hans Wössner	[2] [4] [5] [10] [18]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page