ICT-based continuous innovation and research in German university admissions.

Peter Pepper Technical University of Berlin, Department of Mathematics, Germany https://www.uebb.tu-berlin.de/menue/ueber_uns/mitarbeiterinnen/leiter/ https://www.wikidata.org/entity/Q102174252 https://dl.acm.org/profile/81100301184 https://mathgenealogy.org/id.php?id=23258 https://zbmath.org/authors/?q=ai:pepper.peter Guido Bacharach Winfried Raab Hans Pongratz Peter Pepper ICT-based continuous innovation and research in German university admissions. 59-68 2021 ENIS https://doi.org/10.29007/3wtv conf/eunis/2021 db/conf/eunis/eunis2021.html#BacharachRPP21 Peter Pepper David Broman Equation-Based Object-Oriented Modeling Languages and Tools 2014, EOOLT 2014, Berlin, Germany, October 10, 2014 ACM EOOLT 2014 978-1-4503-2953-8 http://dl.acm.org/citation.cfm?id=2666202 db/conf/eoolt/eoolt2014.html Peter Pepper Alexandra Mehlhase Christoph Höger Lena Scholz A Compositional Semantics for Modelica-style Variable-structureModeling. 45-54 2011 EOOLT http://www.ep.liu.se/ecp/article.asp?issue=056&article=006&volume= conf/eoolt/2011 db/conf/eoolt/eoolt2011.html#PepperMHS11 Hans-Ulrich Heiß Peter Pepper Holger Schlingloff Jörg Schneider 0001 41. Jahrestagung der Gesellschaft für Informatik, Informatik schafft Communities, INFORMATIK 2011, Berlin, Germany, October 4-7, 2011, Abstract Proceedings GI-Jahrestagung GI 2011 LNI P-192 978-88579-286-4-7 https://dl.gi.de/handle/20.500.12116/20499 http://subs.emis.de/LNI/Proceedings/Proceedings192.html db/conf/gi/gi2011.html Christoph Höger Florian Lorenzen Peter Pepper Notes on the Separate Compilation of Modelica. 43-51 2010 EOOLT http://www.ep.liu.se/ecp/article.asp?issue=047&article=005&volume= conf/eoolt/2010 db/conf/eoolt/eoolt2010.html#HogerLP10 Dusko Pavlovic Peter Pepper Douglas R. Smith Formal Derivation of Concurrent Garbage Collectors. 353-376 2010 MPC https://doi.org/10.1007/978-3-642-13321-3_20 conf/mpc/2010 db/conf/mpc/mpc2010.html#PavlovicPS10

Dusko Pavlovic Peter Pepper Douglas R. Smith Formal Derivation of Concurrent Garbage Collectors http://arxiv.org/abs/1006.4342 2010 CoRR abs/1006.4342 db/journals/corr/corr1006.html#abs-1006-4342

Dusko Pavlovic Peter Pepper Douglas R. Smith Evolving Specification Engineering. 299-314 2008 AMAST https://doi.org/10.1007/978-3-540-79980-1_23 conf/amast/2008 db/conf/amast/amast2008.html#PavlovicPS08 Peter Pepper Specification Techniques (Not Only) for Autonomous Systems. 105-117 2008 SJTU-TUB Joint Workshop https://doi.org/10.1007/978-1-4020-8889-6_12 conf/jtb/2008 db/conf/jtb/jtb2008.html#Pepper08

Petra Hofstedt Peter Pepper Integration of declarative and constraint programming. 93-121 2007 7 Theory Pract. Log. Program. 1-2 https://doi.org/10.1017/S1471068406002833 db/journals/tplp/tplp7.html#HofstedtP07

Ingo Stürmer Mirko Conrad Heiko Dörr Peter Pepper Systematic Testing of Model-Based Code Generators. 622-634 2007 33 IEEE Trans. Software Eng. 9 https://doi.org/10.1109/TSE.2007.70708 http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70708 db/journals/tse/tse33.html#SturmerCDP07

Peter Pepper Petra Hofstedt Funktionale Programmierung - Sprachdesign und Programmiertechnik. I-XVII, 1-492 Springer 2006 eXamen.press 978-3-540-20959-1 https://doi.org/10.1007/3-540-34796-8 Stephan Frank Petra Hofstedt Peter Pepper Dirk Reckmann Solution Strategies for Multi-domain Constraint Logic Programs. 209-222 2006 conf/ershov/2006 Ershov Memorial Conference https://doi.org/10.1007/978-3-540-70881-0_19 db/conf/ershov/ershov2006.html#FrankHPR06

Petra Hofstedt Peter Pepper Integration of Declarative and Constraint Programming http://arxiv.org/abs/cs/0511090 2005 CoRR abs/cs/0511090 db/journals/corr/corr0511.html#abs-cs-0511090

Peter Pepper Distributed Teaching of Formal Methods. 140-152 https://doi.org/10.1007/978-3-540-30472-2_9 2004 conf/tfm/2004 TFM db/conf/tfm/tfm2004.html#Pepper04 Peter Pepper Funktionale Programmierung - in OPAL, ML, HASKELL und GOFER (2. Aufl.). I-XIV, 1-300 Springer 2003 Springer-Lehrbuch 978-3-540-43621-8

Mohamed Jmaiel Peter Pepper Development of communication protocols using algebraic and temporal specifications. 737-764 2003 42 Comput. Networks 6 https://doi.org/10.1016/S1389-1286(03)00215-9 db/journals/cn/cn42.html#JmaielP03

Dusko Pavlovic Peter Pepper Douglas R. Smith Colimits for Concurrent Collectors. 568-597 https://doi.org/10.1007/978-3-540-39910-0_25 2003 conf/birthday/2003manna Verification: Theory and Practice db/conf/birthday/Manna2003.html#PavlovicPS03

Peter Pepper Michael Cebulla Klaus Didrich Wolfgang Grieskamp From program languages to software languages. 91-101 2002 60 J. Syst. Softw. 2 https://doi.org/10.1016/S0164-1212(01)00082-6 db/journals/jss/jss60.html#PepperCDG02

Peter Pepper Funktionale Programmierung in OPAL, ML, HASKELL und GOFER. I-XIV, 1-296 Springer 1999 978-3-540-64541-2

Peter Pepper Douglas R. Smith A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). 247-271 1997 28 Sci. Comput. Program. 2-3 db/journals/scp/scp28.html#PepperS97 https://doi.org/10.1016/S0167-6423(96)00023-8

Mario Südholt Christian Piepenbrock Klaus Obermayer Peter Pepper Solving large systems of differential equations in parallel using covers and skeletons. 132-159 1997 conf/alc/1997 Algorithmic Languages and Calculi db/conf/alc/alc1997.html#SudholtPOP97 Peter Pepper Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm. 501- 1997 conf/hicss/1997 HICSS (1) https://doi.org/10.1109/HICSS.1997.667306 https://doi.ieeecomputersociety.org/10.1109/HICSS.1997.667306 db/conf/hicss/hicss1997.html#Pepper97 Klaus Didrich Wolfgang Grieskamp Christian Maeder Peter Pepper Programming in the Large: The Algebraic-Functional Language Opal 2alpha. 322-337 1997 conf/ifl/1997 Implementation of Functional Languages https://doi.org/10.1007/BFb0055439 db/conf/ifl/ifl97.html#DidrichGMP97 Klaus Didrich Carola Gerke Wolfgang Grieskamp Christian Maeder Peter Pepper Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). 559-562 1996 conf/amast/1996 AMAST db/conf/amast/amast96.html#DidrichGGMP96 https://doi.org/10.1007/BFb0014341 Thomas Frauenstein Wolfgang Grieskamp Peter Pepper Mario Südholt Communicating Functional Agents and Their Application to Graphical User Interfaces. 386-397 1996 conf/ershov/1996 Ershov Memorial Conference db/conf/ershov/ershov1996.html#FrauensteinGPS96 https://doi.org/10.1007/3-540-62064-8_32 Peter Pepper Grundlagen der Informatik (2. Aufl.). 1-357 Oldenbourg 1995 978-3-486-23513-5 Peter Pepper Martin Wirsing A Method for the Development of Correct Software. 27-57 1995 conf/korso/1995 KORSO Book db/conf/korso/korso1995.html#PepperW95 https://doi.org/10.1007/BFb0015454 Peter Pepper Ralph Betschko Sabine Dick Klaus Didrich Realizing Sets by Hash Tables. 58-73 1995 conf/korso/1995 KORSO Book db/conf/korso/korso1995.html#PepperBDD95 https://doi.org/10.1007/BFb0015455 Klaus Didrich Andreas Fett Carola Gerke Wolfgang Grieskamp Peter Pepper OPAL: Design and Implementation of an Algebraic Programming Language. 228-244 1994 conf/plsa/1994 Programming Languages and System Architectures db/conf/plsa/plsa1994.html#DidrichFGGP94 https://doi.org/10.1007/3-540-57840-4_34

Andreas Fett Carola Gerke Wolfgang Grieskamp Peter Pepper Algebreic Programming in Opal. 171-181 1993 50 Bull. EATCS db/journals/eatcs/eatcs50.html#FettGGP93

Peter Pepper Jürgen Exner Mario Südholt Functional Development of Massively Parallel Programs (Invited Paper). 217-238 1993 conf/ershov/1993 Formal Methods in Programming and Their Applications db/conf/ershov/ershov1993.html#PepperES93 https://doi.org/10.1007/BFb0039710 Peter Pepper Jürgen Exner Mario Südholt Funktionale Programmierung für massiv parallele Systeme. 551-556 1993 conf/gi/1993 GI Jahrestagung db/conf/gi/gi93.html#PepperES93 https://doi.org/10.1007/978-3-642-78486-6_98 Peter Pepper Program Development in an Algebraic Setting. 225-262 1993 conf/ifip2-1/1993 Formal Program Development db/conf/ifip2-1/ifip2-1-1993.html#Pepper93 https://doi.org/10.1007/3-540-57499-9_22 Hartmut Ehrig Peter Pepper On the potential Role of Algebraic Specification within Computer Science. 51-53 1993 Current Trends in Theoretical Computer Science https://doi.org/10.1142/9789812794499_0002 series/wsscs/40 db/series/wsscs/wsscs40.html#EhrigP93 Peter Pepper Grundlagen der Informatik. 1-355 Oldenbourg 1992 978-3-486-21153-5 Peter Pepper Literate Program Derivation: A Case Study. 101-124 1991 conf/cip/1991 Methods of Programming db/conf/cip/cip1991.html#Pepper91 https://doi.org/10.1007/BFb0018271

Friedrich L. Bauer Bernhard Möller Helmuth Partsch Peter Pepper Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. 165-180 https://doi.org/10.1109/32.21743 http://doi.ieeecomputersociety.org/10.1109/32.21743 1989 15 IEEE Trans. Software Eng. 2 db/journals/tse/tse15.html#BauerMPP89

Hartmut Ehrig Peter Pepper Fernando Orejas On Recent Trends in Algebraic Specification. 263-288 1989 conf/icalp/1989 ICALP db/conf/icalp/icalp89.html#EhrigPO89 https://doi.org/10.1007/BFb0035766 Peter Pepper An Algebraic View of Local Formalisms. 1988 conf/adt/1988 ADT db/conf/adt/adt1988.html#Pepper88 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 Lecture Notes in Computer Science 292 Springer 1987 3-540-18779-0 https://doi.org/10.1007/3-540-18779-0

Peter Pepper A Simple Calculus for Program Transformation (Inclusive of Induction). 221-262 1987 9 Sci. Comput. Program. 3 db/journals/scp/scp9.html#Pepper87 https://doi.org/10.1016/0167-6423(87)90008-6

Manfred Broy Martin Wirsing Peter Pepper On the Algebraic Definition of Programming Languages. 54-99 1987 9 ACM Trans. Program. Lang. Syst. 1 https://doi.org/10.1145/9758.10501 db/journals/toplas/toplas9.html#BroyWP87

Peter Pepper Specification of Distributed Systems Using Modal Logics. 110-121 1987 conf/gi/1987 GI Jahrestagung db/conf/gi/gi87.html#Pepper87 https://doi.org/10.1007/978-3-662-01110-2_8

Manfred Broy Bernhard Möller Peter Pepper Martin Wirsing Algebraic Implementations Preserve Program Correctness. 35-53 1986 7 Sci. Comput. Program. 1 db/journals/scp/scp7.html#BroyMPW86 https://doi.org/10.1016/0167-6423(86)90004-3

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 Lecture Notes in Computer Science 183 Springer 1985 3-540-15187-7 https://doi.org/10.1007/3-540-15187-7

Peter Pepper A simple calculus for program transformations 1-47 1984 Forschungsberichte, TU Munich TUM I 8409 https://d-nb.info/910214883

Martin Wirsing Peter Pepper Helmuth Partsch Walter Dosch On Hierarchies of Abstract Data Types. 1-33 1983 20 Acta Informatica db/journals/acta/acta20.html#WirsingPPD83 https://doi.org/10.1007/BF00264293

Peter Pepper Correctness of Type Transformations. 1983 conf/adt/1983 ADT db/conf/adt/adt1983.html#Pepper83 Helmuth Partsch Peter Pepper Abstract Data Types as a Tool for Requirement Engineering. 42-55 1983 conf/re/1983 Requirements Engineering db/conf/re/re1983.html#PartschP83 https://doi.org/10.1007/978-3-642-69293-2_4

Peter Pepper Manfred Broy Friedrich L. Bauer Helmuth Partsch Walter Dosch Martin Wirsing Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. 107-119 1982 5 Inform. Spektrum 2 db/journals/insk/insk5.html#PepperBBPDW82

Manfred Broy Peter Pepper Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm. 362-381 1982 4 ACM Trans. Program. Lang. Syst. 3 https://doi.org/10.1145/357172.357175 db/journals/toplas/toplas4.html#BroyP82

Peter Pepper On the Algebraic Specification of Programming Languages. 1982 conf/adt/1982 ADT db/conf/adt/adt1982.html#Pepper82

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. 73-114 1981 1 Sci. Comput. Program. 1-2 db/journals/scp/scp1.html#BauerBDGKLLMMPPSSWW81 https://doi.org/10.1016/0167-6423(81)90006-X

Manfred Broy Peter Pepper Program Development as a Formal Activity. 14-23 1981 7 IEEE Trans. Software Eng. 1 db/journals/tse/tse7.html#BroyP81 https://doi.org/10.1109/TSE.1981.230815 http://doi.ieeecomputersociety.org/10.1109/TSE.1981.230815

Friedrich L. Bauer Manfred Broy Helmuth Partsch Peter Pepper Programmtransformationen - Das aktuelle Schlagwort. 192-193 1980 3 Inform. Spektrum 3 db/journals/insk/insk3.html#BauerBPP80

Manfred Broy Helmuth Partsch Peter Pepper Martin Wirsing Semantic Relations in Programming Languages. 101-106 1980 conf/ifip/1980 IFIP Congress db/conf/ifip/ifip80.html#BroyPPW80 Manfred Broy Peter Pepper Martin Wirsing On Relations Between Programs. 59-78 1980 conf/programm/1980 Symposium on Programming db/conf/programm/programm80.html#BroyPW80 https://doi.org/10.1007/3-540-09981-6_5 Peter Pepper A study of transformational semantics. 1979 1-81 Technical University Munich, Germany https://d-nb.info/1075216834 Manfred Broy Walter Dosch Helmuth Partsch Peter Pepper Martin Wirsing Existential Quantifiers in Abstract Data Types. 73-87 1979 conf/icalp/1979 ICALP db/conf/icalp/icalp79.html#BroyDPPW79 https://doi.org/10.1007/3-540-09510-1_7

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. 15-24 1978 13 ACM SIGPLAN Notices 12 https://doi.org/10.1145/954587.954588 db/journals/sigplan/sigplan13.html#BauerBGHKPPW78

Friedrich L. Bauer Manfred Broy Helmuth Partsch Peter Pepper Hans Wössner Systematics of Transformation Rules. 273-289 1978 conf/pc/1978 Program Construction db/conf/pc/pc1978.html#BauerBPPW78 https://doi.org/10.1007/BFb0014672 Hans Wössner Peter Pepper Helmuth Partsch Friedrich L. Bauer Special Transformation Techniques. 290-321 1978 conf/pc/1978 Program Construction db/conf/pc/pc1978.html#WossnerPPB78 https://doi.org/10.1007/BFb0014673 Peter Pepper A Study on Transformational Semantics. 322-405 1978 conf/pc/1978 Program Construction db/conf/pc/pc1978.html#Pepper78 https://doi.org/10.1007/BFb0014674 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. 543-552 1978 conf/pc/1978 Program Construction db/conf/pc/pc1978.html#BauerBGHKPPW78 https://doi.org/10.1007/BFb0014682

Helmuth Partsch Peter Pepper A Family of Rules for Recursion Removal. 174-177 1976 5 Inf. Process. Lett. 6 db/journals/ipl/ipl5.html#PartschP76 https://doi.org/10.1016/0020-0190(76)90015-6

Guido Bacharach Friedrich L. Bauer Rudolf Berghammer Ralph Betschko David Broman Manfred Broy Michael Cebulla Mirko Conrad Sabine Dick Klaus Didrich Heiko Dörr Walter Dosch Herbert Ehler Hartmut Ehrig Jürgen Exner Andreas Fett Stephan Frank Thomas Frauenstein Franz Geiselbrechtinger Carola Gerke Rupert Gnatz Wolfgang Grieskamp E. Hangel Hans-Ulrich Heiß Wolfgang Hesse Petra Hofstedt Christoph Höger A. Horsch Mohamed Jmaiel Bernd Krieg-Brückner Alfred Laut Florian Lorenzen M. Luckmann Christian Maeder Thomas Matzner Alexandra Mehlhase Bernhard Möller Friederike Nickl Klaus Obermayer Fernando Orejas Helmuth Partsch O. Paukner Dusko Pavlovic Christian Piepenbrock Hans Pongratz Winfried Raab Dirk Reckmann Klaus Samelson Holger Schlingloff Jörg Schneider 0001 Lena Scholz Douglas R. Smith Ralf Steinbrüggen Ingo Stürmer Mario Südholt Martin Wirsing Hans Wössner