Peter Pepper

1.4k total citations
32 papers, 443 citations indexed

About

Peter Pepper is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Peter Pepper has authored 32 papers receiving a total of 443 indexed citations (citations by other indexed papers that have themselves been cited), including 18 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 8 papers in Software. Recurrent topics in Peter Pepper's work include Logic, programming, and type systems (15 papers), Model-Driven Software Engineering Techniques (7 papers) and Formal Methods in Verification (7 papers). Peter Pepper is often cited by papers focused on Logic, programming, and type systems (15 papers), Model-Driven Software Engineering Techniques (7 papers) and Formal Methods in Verification (7 papers). Peter Pepper collaborates with scholars based in Germany, Spain and United States. Peter Pepper's co-authors include Manfred Broy, H. Partsch, Martin Wirsing, Bernhard Möller, Friedrich L. Bauer, Walter Dosch, Mirko Conrad, Bernd Krieg-Brückner, Hans Wössner and Rupert Gnatz and has published in prestigious journals such as IEEE Transactions on Software Engineering, Computer Networks and Journal of Systems and Software.

In The Last Decade

Peter Pepper

31 papers receiving 376 citations

Peers

Countries citing papers authored by Peter Pepper

Since Specialization

Citations

This map shows the geographic impact of Peter Pepper'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 Peter Pepper with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Peter Pepper more than expected).

Fields of papers citing papers by Peter Pepper

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Peter Pepper. 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 Peter Pepper. The network helps show where Peter Pepper may publish in the future.

Co-authorship network of co-authors of Peter Pepper

This figure shows the co-authorship network connecting the top 25 collaborators of Peter Pepper. A scholar is included among the top collaborators of Peter Pepper 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 Peter Pepper. Peter Pepper 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

#	Work	Indexed citations
1	A Compositional Semantics for Modelica-style Variable-structureModeling 2011 ·(unknown), Peter Pepper, (unknown), (unknown)	10
2	Notes on the Separate Compilation of Modelica 2010 ·(unknown), Florian Lorenzen, Peter Pepper	6
3	Funktionale Programmierung: Sprachdesign und Programmiertechnik (eXamen.press) 2007 ·Springer eBooks ·Peter Pepper, (unknown)	2
4	Safety of Compilers and Translation Techniques -- Status quo of Technology and Science 2007 ·(unknown), (unknown), (unknown), (unknown), Peter Pepper, (unknown), (unknown)	1
5	Integration of declarative and constraint programming 2007 ·Theory and Practice of Logic Programming ·(unknown), Peter Pepper	6
6	Systematic Testing of Model-Based Code Generators 2007 ·IEEE Transactions on Software Engineering ·(unknown), Mirko Conrad, (unknown), Peter Pepper	34
7	Funktionale Programmierung 2003 ·Springer-Lehrbuch ·Peter Pepper	1
8	A high-level derivation of global search algorithms (with constraint propagation) 1997 ·Science of Computer Programming ·Peter Pepper, Douglas R. Smith	7
9	Functional Development of Massively Parallel Programs (Invited Paper) 1993 ·Formal Methods ·Peter Pepper, (unknown), Mario Südholt	2
10	A simple calculus for program transformation (inclusive of induction) 1987 ·Science of Computer Programming ·Peter Pepper	9
11	Application of modal logics to the reasoning about applicative programs 1987 ·Peter Pepper	2
12	On the algebraic definition of programming languages 1987 ·ACM Transactions on Programming Languages and Systems ·Manfred Broy, Martin Wirsing, Peter Pepper	30
13	Program transformations expressed by algebraic type manipulations 1986 ·H. Partsch, Peter Pepper	3
14	On the coherence of programming language and programming methodology 1983 ·(unknown), Peter Pepper	1
15	On hierarchies of abstract data types 1983 ·Acta Informatica ·Martin Wirsing, Peter Pepper, H. Partsch, Walter Dosch, Manfred Broy	39
16	Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen 1982 ·Informatik-Spektrum ·Peter Pepper, Manfred Broy, Friedrich L. Bauer, (unknown), Walter Dosch, Martin Wirsing	1
17	Programming in a wide spectrum language: a collection of examples 1981 ·Science of Computer Programming ·Friedrich L. Bauer, Manfred Broy, Walter Dosch, (unknown), Bernd Krieg-Brückner, (unknown), (unknown), (unknown), Bernhard Möller, H. Partsch, Peter Pepper, K. Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner	19
18	Program Development as a Formal Activity 1981 ·IEEE Transactions on Software Engineering ·Manfred Broy, Peter Pepper	30
19	Semantic Relations in Programming Languages. 1980 ·IFIP Congress ·Manfred Broy, (unknown), Peter Pepper, Martin Wirsing	11
20	Towards a wide spectrum language to support program specification and program development 1978 ·ACM SIGPLAN Notices ·Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, H. Partsch, Peter Pepper, Hans Wössner	23

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