Peter Pepper - RankMe

66 papers A* 2A 1B 1Journal 21Unranked 28

Year	Rank	Type	Title / Venue / Authors
2021	—	`conf`	ICT-based continuous innovation and research in German university admissions. ENIS Guido Bacharach, Winfried Raab, Hans Pongratz, Peter Pepper
2014	—	`ed.`	Equation-Based Object-Oriented Modeling Languages and Tools 2014, EOOLT 2014, Berlin, Germany, October 10, 2014 EOOLT Peter Pepper, David Broman
2011	—	`ed.`	41. Jahrestagung der Gesellschaft für Informatik, Informatik schafft Communities, INFORMATIK 2011, Berlin, Germany, October 4-7, 2011, Abstract Proceedings GI-Jahrestagung Hans-Ulrich Heiß, Peter Pepper, Holger Schlingloff, Jörg Schneider
2011	—	`conf`	A Compositional Semantics for Modelica-style Variable-structureModeling. EOOLT Peter Pepper, Alexandra Mehlhase, Christoph Höger, Lena Scholz
2010	J	`jnl`	Formal Derivation of Concurrent Garbage Collectors CoRR Dusko Pavlovic, Peter Pepper, Douglas R. Smith
2010	B	`conf`	Formal Derivation of Concurrent Garbage Collectors. MPC Dusko Pavlovic, Peter Pepper, Douglas R. Smith
2010	—	`conf`	Notes on the Separate Compilation of Modelica. EOOLT Christoph Höger, Florian Lorenzen, Peter Pepper
2008	—	`conf`	Evolving Specification Engineering. AMAST Dusko Pavlovic, Peter Pepper, Douglas R. Smith
2008	—	`conf`	Specification Techniques (Not Only) for Autonomous Systems. SJTU-TUB Joint Workshop Peter Pepper
2007	J	`jnl`	Integration of declarative and constraint programming. Theory Pract. Log. Program. Petra Hofstedt, Peter Pepper
2007	J	`jnl`	Systematic Testing of Model-Based Code Generators. IEEE Trans. Software Eng. Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper
2006	—	`book`	Funktionale Programmierung - Sprachdesign und Programmiertechnik. Peter Pepper, Petra Hofstedt
2006	—	`conf`	Solution Strategies for Multi-domain Constraint Logic Programs. Ershov Memorial Conference Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann
2005	J	`jnl`	Integration of Declarative and Constraint Programming CoRR Petra Hofstedt, Peter Pepper
2004	—	`conf`	Distributed Teaching of Formal Methods. TFM Peter Pepper
2003	—	`conf`	Colimits for Concurrent Collectors. Verification: Theory and Practice Dusko Pavlovic, Peter Pepper, Douglas R. Smith
2003	J	`jnl`	Development of communication protocols using algebraic and temporal specifications. Comput. Networks Mohamed Jmaiel, Peter Pepper
2003	—	`book`	Funktionale Programmierung - in OPAL, ML, HASKELL und GOFER (2. Aufl.). Peter Pepper
2002	J	`jnl`	From program languages to software languages. J. Syst. Softw. Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp
1999	—	`book`	Funktionale Programmierung in OPAL, ML, HASKELL und GOFER. Peter Pepper
1997	J	`jnl`	A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). Sci. Comput. Program. Peter Pepper, Douglas R. Smith
1997	—	`conf`	Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm. HICSS (1) Peter Pepper
1997	—	`conf`	Programming in the Large: The Algebraic-Functional Language Opal 2alpha. Implementation of Functional Languages Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper
1997	—	`conf`	Solving large systems of differential equations in parallel using covers and skeletons. Algorithmic Languages and Calculi Mario Südholt, Christian Piepenbrock, Klaus Obermayer, Peter Pepper
1996	—	`conf`	Communicating Functional Agents and Their Application to Graphical User Interfaces. Ershov Memorial Conference Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt
1996	—	`conf`	Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). AMAST Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper
1995	—	`ch.`	A Method for the Development of Correct Software. KORSO Book Peter Pepper, Martin Wirsing
1995	—	`book`	Grundlagen der Informatik (2. Aufl.). Peter Pepper
1995	—	`ch.`	Realizing Sets by Hash Tables. KORSO Book Peter Pepper, Ralph Betschko, Sabine Dick, Klaus Didrich
1994	—	`conf`	OPAL: Design and Implementation of an Algebraic Programming Language. Programming Languages and System Architectures Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper
1993	J	`jnl`	Algebreic Programming in Opal. Bull. EATCS Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper
1993	—	`conf`	Functional Development of Massively Parallel Programs (Invited Paper). Formal Methods in Programming and Their Applications Peter Pepper, Jürgen Exner, Mario Südholt
1993	—	`conf`	Funktionale Programmierung für massiv parallele Systeme. GI Jahrestagung Peter Pepper, Jürgen Exner, Mario Südholt
1993	—	`ch.`	On the potential Role of Algebraic Specification within Computer Science. Current Trends in Theoretical Computer Science Hartmut Ehrig, Peter Pepper
1993	—	`conf`	Program Development in an Algebraic Setting. Formal Program Development Peter Pepper
1992	—	`book`	Grundlagen der Informatik. Peter Pepper
1991	—	`conf`	Literate Program Derivation: A Case Study. Methods of Programming Peter Pepper
1989	J	`jnl`	Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. IEEE Trans. Software Eng. Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper
1989	A*	`conf`	On Recent Trends in Algebraic Specification. ICALP Hartmut Ehrig, Peter Pepper, Fernando Orejas
1988	—	`conf`	An Algebraic View of Local Formalisms. ADT Peter Pepper
1987	J	`jnl`	A Simple Calculus for Program Transformation (Inclusive of Induction). Sci. Comput. Program. Peter Pepper
1987	J	`jnl`	On the Algebraic Definition of Programming Languages. ACM Trans. Program. Lang. Syst. Manfred Broy, Martin Wirsing, Peter Pepper
1987	—	`conf`	Specification of Distributed Systems Using Modal Logics. GI Jahrestagung Peter Pepper
1987	—	`book`	The Munich Project CIP, Volume II: The Program Transformation System CIP-S Friedrich L. Bauer, Herbert Ehler, A. Horsch, Bernhard Möller, Helmuth Partsch, O. Paukner, Peter Pepper
1986	J	`jnl`	Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing
1985	—	`book`	The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L 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
1984	J	`jnl`	A simple calculus for program transformations Forschungsberichte, TU Munich Peter Pepper
1983	A	`conf`	Abstract Data Types as a Tool for Requirement Engineering. Requirements Engineering Helmuth Partsch, Peter Pepper
1983	—	`conf`	Correctness of Type Transformations. ADT Peter Pepper
1983	J	`jnl`	On Hierarchies of Abstract Data Types. Acta Informatica Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch
1982	J	`jnl`	Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Inform. Spektrum Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing
1982	J	`jnl`	Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm. ACM Trans. Program. Lang. Syst. Manfred Broy, Peter Pepper
1982	—	`conf`	On the Algebraic Specification of Programming Languages. ADT Peter Pepper
1981	J	`jnl`	Program Development as a Formal Activity. IEEE Trans. Software Eng. Manfred Broy, Peter Pepper
1981	J	`jnl`	Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 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
1980	—	`conf`	On Relations Between Programs. Symposium on Programming Manfred Broy, Peter Pepper, Martin Wirsing
1980	J	`jnl`	Programmtransformationen - Das aktuelle Schlagwort. Inform. Spektrum Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper
1980	—	`conf`	Semantic Relations in Programming Languages. IFIP Congress Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing
1979	—	`—`	A study of transformational semantics. Peter Pepper
1979	A*	`conf`	Existential Quantifiers in Abstract Data Types. ICALP Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing
1978	—	`conf`	A Study on Transformational Semantics. Program Construction Peter Pepper
1978	—	`conf`	Special Transformation Techniques. Program Construction Hans Wössner, Peter Pepper, Helmuth Partsch, Friedrich L. Bauer
1978	—	`conf`	Systematics of Transformation Rules. Program Construction Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner
1978	—	`conf`	Towards a Wide Spectrum Language to Support Program Specification and Program Development. Program Construction Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner
1978	J	`jnl`	Towards a wide spectrum language to support program specification and program development. ACM SIGPLAN Notices Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner
1976	J	`jnl`	A Family of Rules for Recursion Removal. Inf. Process. Lett. Helmuth Partsch, Peter Pepper