H. Partsch

1.5k total citations
23 papers, 633 citations indexed

About

H. Partsch is a scholar working on Artificial Intelligence, Software and Information Systems. According to data from OpenAlex, H. Partsch has authored 23 papers receiving a total of 633 indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Artificial Intelligence, 10 papers in Software and 9 papers in Information Systems. Recurrent topics in H. Partsch's work include Logic, programming, and type systems (11 papers), Model-Driven Software Engineering Techniques (8 papers) and Formal Methods in Verification (6 papers). H. Partsch is often cited by papers focused on Logic, programming, and type systems (11 papers), Model-Driven Software Engineering Techniques (8 papers) and Formal Methods in Verification (6 papers). H. Partsch collaborates with scholars based in Germany, Netherlands and Ireland. H. Partsch's co-authors include Ralf Steinbrüggen, Peter Pepper, Friedrich L. Bauer, Bernhard Möller, Manfred Broy, Walter Dosch, Martin Wirsing, Bernd Krieg-Brückner, Hans Wössner and Rupert Gnatz and has published in prestigious journals such as ACM Computing Surveys, IEEE Transactions on Software Engineering and ACM SIGPLAN Notices.

In The Last Decade

H. Partsch

20 papers receiving 534 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
H. Partsch Germany	10	465	258	228	218	114	23	633
Eric C. R. Hehner Canada	12	451 1.0×	132 0.5×	357 1.6×	174 0.8×	100 0.9×	33	613
Paul Klint Netherlands	12	725 1.6×	437 1.7×	241 1.1×	412 1.9×	128 1.1×	27	911
C. A. R. Hoare United Kingdom	5	510 1.1×	135 0.5×	348 1.5×	123 0.6×	143 1.3×	8	606
Walter L. Hill United States	7	534 1.1×	224 0.9×	229 1.0×	101 0.5×	82 0.7×	8	613
Joseph R. Kiniry Ireland	7	354 0.8×	193 0.7×	189 0.8×	201 0.9×	57 0.5×	27	492
Laura K. Dillon United States	15	290 0.6×	163 0.6×	397 1.7×	412 1.9×	169 1.5×	57	678
Reino Kurki-Suonio Finland	11	312 0.7×	93 0.4×	301 1.3×	137 0.6×	126 1.1×	37	534
Lilian Burdy France	4	381 0.8×	169 0.7×	205 0.9×	206 0.9×	59 0.5×	6	493
Russell R. Atkinson United States	9	477 1.0×	182 0.7×	154 0.7×	83 0.4×	235 2.1×	14	713
Craig Schaffert United States	6	625 1.3×	275 1.1×	171 0.8×	117 0.5×	230 2.0×	9	864

Countries citing papers authored by H. Partsch

Since Specialization

Citations

This map shows the geographic impact of H. Partsch's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by H. Partsch with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites H. Partsch more than expected).

Fields of papers citing papers by H. Partsch

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by H. Partsch. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by H. Partsch. The network helps show where H. Partsch may publish in the future.

Co-authorship network of co-authors of H. Partsch

This figure shows the co-authorship network connecting the top 25 collaborators of H. Partsch. A scholar is included among the top collaborators of H. Partsch based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with H. Partsch. H. Partsch is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Boiten, Eerke, et al.. (1993). Transformational derivation of (parallel) programs using skeletons. Kent Academic Repository (University of Kent). 2 indexed citations

Boiten, Eerke, et al.. (1992). How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. The Computer Journal. 35(6). 547–554. 5 indexed citations

Boiten, Eerke, et al.. (1992). USTOPIA Requirements -- Thoughts on a User-friendly System for Transformation Of Programs In Abstracto. Kent Academic Repository (University of Kent). 1 indexed citations

Partsch, H. & Eerke Boiten. (1991). A Note on Similarity of Specifications and Reusability of Transformational Developments. Kent Academic Repository (University of Kent). 3 indexed citations

Partsch, H.. (1991). Requirements Engineering. 1 indexed citations

Partsch, H.. (1990). Specification and Transformation of Programs: A Formal Approach to Software Development. Radboud Repository (Radboud University). 100 indexed citations

Partsch, H., et al.. (1990). A fast pattern matching algorithm derived by transformational and assertional reasoning. Formal Aspects of Computing. 2(1). 109–122. 6 indexed citations

Partsch, H.. (1990). Specification and Transformation of Programs. 45 indexed citations

Partsch, H.. (1989). From informal requirements to a running program: A case study in algebraic specification and transformational programming. Science of Computer Programming. 11(3). 263–297. 2 indexed citations

10.

Partsch, H.. (1989). Algebraic specification: a step towards future software engineering. Springer eBooks. 7–30.

11.

Möller, Bernhard & H. Partsch. (1987). Formal specification of large-scale software—objectives, design decisions and experiences in a concrete software project. 491–515.

12.

Partsch, H. & Peter Pepper. (1986). Program transformations expressed by algebraic type manipulations. 5(3). 197–212. 3 indexed citations

13.

Partsch, H.. (1986). Algebraic requirements definitions: a case study. 5(1). 21–36. 1 indexed citations

14.

Partsch, H.. (1986). Transformational program development in a particular problem domain. Science of Computer Programming. 7. 99–241. 9 indexed citations

15.

Berghammer, Rudolf, Manfred Broy, Walter Dosch, et al.. (1985). The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L. 34 indexed citations

16.

Partsch, H.. (1984). Structuring transformational developments: A case study based on earley's recognizer. Science of Computer Programming. 4(1). 17–44. 5 indexed citations

17.

Wirsing, Martin, Peter Pepper, H. Partsch, Walter Dosch, & Manfred Broy. (1983). On hierarchies of abstract data types. Acta Informatica. 20(1). 39 indexed citations

18.

Bauer, Friedrich L., Manfred Broy, Walter Dosch, et al.. (1981). Programming in a wide spectrum language: a collection of examples. Science of Computer Programming. 1(1-2). 73–114. 19 indexed citations

19.

Bauer, Friedrich L., Manfred Broy, Rupert Gnatz, et al.. (1978). Towards a wide spectrum language to support program specification and program development. ACM SIGPLAN Notices. 13(12). 15–24. 23 indexed citations

20.

Partsch, H. & Peter Pepper. (1976). A family of rules for recursion removal. Information Processing Letters. 5(6). 174–177. 12 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact