Concepedia

Author

H. Partsch

Technical University of Munich

Also Known As

Der Universität Ulm, H Partsch, H. A. Partsch, H. Partsch, Helmut A. Partsch, Helmut Partsch, Partsch, Helmut, Partsch, Helmut A.

67

Publications

1.5K

Citations

15

H-Index

32

Concepts

All Affiliations

Technical University of MunichRadboud University Nijmegen
HP

About

H. Partsch is an author at Technical University of Munich specializing in engineering, software engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

409

2

Computer Science

4

4

245

3

Language Studies

2

2

48

4

Linguistics

2

2

48

5

Data Science

1

1

133

H. Partsch

×

8

Publications

420

Citations

8

H-Index

YearCitations

Formal program construction by transformations-computer-aided, intuition-guided programming

Friedrich L. Bauer, Bernhard Möller, H. Partsch,

IEEE Transactions on Software Engineering

1989

139

On hierarchies of abstract data types

Martin Wirsing, Peter Pepper, H. Partsch,

Acta Informatica

1983

133

Towards a wide spectrum language to support program specification and program development

Friedrich L. Bauer, Manfred Broy, Rupert Gnatz,

ACM SIGPLAN Notices

1978

51

Programming in a wide spectrum language: a collection of examples

Friedrich L. Bauer, Manfred Broy, Walter Dosch,

Science of Computer Programming

1981

37

Transformational program development in a particular problem domain

H. Partsch

Science of Computer Programming

1986

20

A family of rules for recursion removal

H. Partsch, Peter Pepper

Information Processing Letters

1976

18

A fast pattern matching algorithm derived by transformational and assertional reasoning

H. Partsch, Frank Stomp

Formal Aspects of Computing

1990

11

Structuring transformational developments: A case study based on earley's recognizer

H. Partsch

Science of Computer Programming

1984

11

Page 1