Helmuth Partsch

2003
38	EE	Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs: Tool Support for the Interactive Derivation of Formally Correct Functional Programs. J. UCS 9(2): 173- (2003)
1997
37		Klaus Achatz, Helmuth Partsch: A powerful transformation rule, its applications and variants. Algorithmic Languages and Calculi 1997: 265-295
1993
36		Bernhard Möller, Helmuth Partsch, Stephen A. Schuman: Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report Springer 1993
35		Bernhard Möller, Helmuth Partsch, Stephen A. Schuman: Introduction. Formal Program Development 1993: 1-6
34		Helmuth Partsch: Formal Problem Specification on an Algebraic Basis. Formal Program Development 1993: 183-224
1992
33		Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker: How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. Comput. J. 35(6): 547-554 (1992)
1991
32		Helmuth Partsch, Norbert Völker: Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt. Methods of Programming 1991: 35-48
1990
31		Helmuth Partsch, Frank A. Stomp: A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning. Formal Asp. Comput. 2(2): 109-122 (1990)
1989
30		N. W. P. van Diepen, Helmuth Partsch: Formalizing Informal Reuqirments. Some Aspects. Algebraic Methods 1989: 7-27
29	EE	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)
28		Helmuth Partsch: From Informal Requirements to a Running Program: A Case Study in Algebraic Specification and Transformational Programming. Sci. Comput. Program. 11(3): 263-297 (1989)
1987
27		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
26		Helmuth Partsch: Algebraic Specification: A Step Towards Future Software Engineering. Algebraic Methods 1987: 7-30
25		Helmuth Partsch, Bernhard Möller: Konstruktion korrekter Programme durch Transformation. Informatik Spektrum 10(6): 309-323 (1987)
24		Bernd Kühnel, Helmuth Partsch, K.-P. Reinshagen: Requirements Engineering - Das aktuelle Schlagwort. Informatik Spektrum 10(6): 334-335 (1987)
1986
23		Helmuth Partsch: Transformational Program Development in a Particular Program Domain. Sci. Comput. Program. 7(2): 99-241 (1986)
1985
22		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
1984
21		Helmuth Partsch: Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures. Fachtagung über Programmiersprachen 1984: 41-57
20		Helmuth Partsch: Structuring Transformational Developments: A Case Study Based on Earley's Recognizer. Sci. Comput. Program. 4(1): 17-44 (1984)
1983
19		Helmuth Partsch: Algebraic Specification of a Text Editor. ADT 1983
18		Helmuth Partsch: On the Use of Algebraic Methods for Formal Requirements Definitions. Requirements Engineering 1983: 138-158
17		Helmuth Partsch, Peter Pepper: Abstract Data Types as a Tool for Requirement Engineering. Requirements Engineering 1983: 42-55
16		Helmuth Partsch, Ralf Steinbrüggen: Program Transformation Systems. ACM Comput. Surv. 15(3): 199-236 (1983)
15		Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch: On Hierarchies of Abstract Data Types. Acta Inf. 20: 1-33 (1983)
14		Helmuth Partsch: An Exercise in the Transformational Derivation of an Efficient Program by Joing Development of Control and Data Structure. Sci. Comput. Program. 3(1): 1-35 (1983)
1982
13		Helmuth Partsch, Alfred Laut: From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications. Fachtagung über Programmiersprachen 1982: 117-132
12		Helmuth Partsch: Comments on I. Dimitrov. International Working Conference on Model Realism 1982: 78-80
11		Alfred Laut, Helmuth Partsch: Tuning algebraic specifications by type merging. Symposium on Programming 1982: 283-304
10		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
9		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
8		Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing: Semantic Relations in Programming Languages. IFIP Congress 1980: 101-106
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		Helmuth Partsch, Manfred Broy: Examples for Change of Types and Object Structures. Program Construction 1978: 421-463
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	Klaus Achatz	[37]
2	Friedrich L. Bauer	[2] [4] [5] [7] [9] [10] [22] [27] [29]
3	Rudolf Berghammer	[22]
4	Eerke A. Boiten	[33]
5	Manfred Broy	[2] [3] [5] [6] [7] [8] [9] [10] [22]
6	N. W. P. van Diepen	[30]
7	Walter Dosch	[6] [9] [10] [15] [22]
8	Herbert Ehler	[27]
9	Franz Geiselbrechtinger	[22]
10	Rupert Gnatz	[2] [9] [22]
11	Walter Guttmann	[38]
12	E. Hangel	[22]
13	Wolfgang Hesse	[2] [22]
14	A. Horsch	[27]
15	Bernd Krieg-Brückner	[2] [9] [22]
16	Bernd Kühnel	[24]
17	Alfred Laut	[9] [11] [13] [22]
18	M. Luckmann	[9]
19	Thomas Matzner	[9] [22]
20	Bernhard Möller	[9] [22] [25] [27] [29] [35] [36]
21	Friederike Nickl	[22]
22	O. Paukner	[27]
23	Peter Pepper	[1] [2] [4] [5] [6] [7] [8] [9] [10] [15] [17] [22] [27] [29]
24	K.-P. Reinshagen	[24]
25	Klaus Samelson	[9] [22]
26	Wolfram Schulte	[38]
27	Stephen A. Schuman	[35] [36]
28	Ralf Steinbrüggen	[9] [16]
29	Frank A. Stomp	[31]
30	Daniel Tuijnman	[33]
31	Norbert Völker	[32] [33]
32	Ton Vullinghs	[38]
33	Martin Wirsing	[6] [8] [9] [10] [15] [22]
34	Hans Wössner	[2] [4] [5] [9] [22]

Colors in the list of coauthors