Hartmut Schmeck

Hartmut Schmeck: Smart Energy Systems. it - Information Technology 55(2): 43-44 (2013)

Pradyumn Kumar Shukla, Marlon Alexander Braun, Hartmut Schmeck: Theory and Algorithms for Finding Knees. EMO 2013: 156-170

Christian Müller-Schloer, Hartmut Schmeck, Theo Ungerer: Organic Computing. Informatik Spektrum 35(2): 71-73 (2012)

Andreas Kamper, Hartmut Schmeck: Adaptives verteiltes Lastmanagement in Bilanzkreisen. Informatik Spektrum 35(2): 102-111 (2012)

Sabrina Merkel, Sanaz Mostaghim, Hartmut Schmeck: Distributed Geometric Distance Estimation in Ad Hoc Networks. ADHOC-NOW 2012: 28-41

Florian Allerding, Marc Premm, Pradyumn Kumar Shukla, Hartmut Schmeck: Electrical Load Management in Smart Homes Using Evolutionary Algorithms. EvoCOP 2012: 99-110

Pradyumn Kumar Shukla, Christian Hirsch, Hartmut Schmeck: Towards a Deeper Understanding of Trade-offs Using Multi-objective Evolutionary Algorithms. EvoApplications 2012: 396-405

Nugroho Fredivianus, Kais Kara, Hartmut Schmeck: Stay real!: XCS with rule combining for real values. GECCO (Companion) 2012: 1493-1494

Sabrina Merkel, Christian Werner Becker, Hartmut Schmeck: Firefly-inspired synchronization for energy-efficient distance estimation in mobile ad-hoc networks. IPCCC 2012: 205-214

Holger Prothmann, Sven Tomforde, Johannes Lyda, Jürgen Branke, Jörg Hähner, Christian Müller-Schloer, Hartmut Schmeck: Self-Organised Routing for Road Networks. IWSOS 2012: 48-59

Sabrina Merkel, Sanaz Mostaghim, Hartmut Schmeck: A Study of Mobility in Ad Hoc Networks and Its Effects on a Hop Count Based Distance Estimation. NTMS 2012: 1-5

Michael P. Cipold, Pradyumn Kumar Shukla, Claus C. Bachmann, Kaibin Bao, Hartmut Schmeck: An Evolutionary Optimization Approach for Bulk Material Blending Systems. PPSN (1) 2012: 478-488

Lukas König, Daniel Pathmaperuma, Felix Vogel, Hartmut Schmeck: Introducing the simulation plugin interface and the EAS framework with comparison to two state-of-the-art agent simulation frameworks. Winter Simulation Conference 2012: 412

Christian Müller-Schloer, Hartmut Schmeck, Theo Ungerer (Eds.): Organic Computing - A Paradigm Shift for Complex Systems. Springer 2011

Hartmut Schmeck, Christian Müller-Schloer, Emre Çakar, Moez Mnif, Urban Richter: Adaptivity and Self-organisation in Organic Computing Systems. Organic Computing 2011: 5-37

Emre Cakar, Nugroho Fredivianus, Jörg Hähner, Jürgen Branke, Christian Müller-Schloer, Hartmut Schmeck: Aspects of Learning in OC Systems. Organic Computing 2011: 237-251

Sven Tomforde, Holger Prothmann, Jürgen Branke, Jörg Hähner, Moez Mnif, Christian Müller-Schloer, Urban Richter, Hartmut Schmeck: Observation and Control of Organic Systems. Organic Computing 2011: 325-338

Holger Prothmann, Sven Tomforde, Jürgen Branke, Jörg Hähner, Christian Müller-Schloer, Hartmut Schmeck: Organic Traffic Control. Organic Computing 2011: 431-446

Sanaz Mostaghim, Hartmut Schmeck, Micaela Wünsche, Marcus Geimer, Timo Kautzmann: Organic Computing in Off-highway Machines. Organic Computing 2011: 601-603

Florian Allerding, Birger Becker, Hartmut Schmeck: Decentralised Energy Management for Smart Homes. Organic Computing 2011: 605-607

Christian Müller-Schloer, Hartmut Schmeck: Organic Computing: Quo vadis? Organic Computing 2011: 615-627

Andreas Oberweis, Hartmut Schmeck, Detlef Seese, Wolffried Stucky, Stefan Tai: Semantic Web and Applied Informatics: Selected Research Activities in the Institute AIFB. Foundations for the Web of Information and Services 2011: 29-40

Christian Hirsch, Pradyumn Kumar Shukla, Hartmut Schmeck: Variable Preference Modeling Using Multi-Objective Evolutionary Algorithms. EMO 2011: 91-105

Marlon Alexander Braun, Pradyumn Kumar Shukla, Hartmut Schmeck: Preference Ranking Schemes in Multi-Objective Evolutionary Algorithms. EMO 2011: 226-240

Kaibin Bao, Florian Allerding, Hartmut Schmeck: User behavior prediction for energy management in smart homes. FSKD 2011: 1335-1339

Lukas König, Sanaz Mostaghim, Hartmut Schmeck: A Markov-chain-based Model for Success Prediction of Evolution in Complex Environments. IJCCI (ECTA-FCTA) 2011: 90-102

Hartmut Schmeck: Organic Computing - A Generic Approach to Controlled Self-organization in Adaptive Systems. MATES 2011: 2

Holger Prothmann, Hartmut Schmeck, Sven Tomforde, Johannes Lyda, Jörg Hähner, Christian Müller-Schloer, Jürgen Branke: Decentralised Route Guidance in Organic Traffic Control. SASO 2011: 219-220

Hartmut Schmeck, Wolfgang Rosenstiel, Tarek F. Abdelzaher, Joseph L. Hellerstein (Eds.): Proceedings of the 8th International Conference on Autonomic Computing, ICAC 2011, Karlsruhe, Germany, June 14-18, 2011. ACM 2011, isbn 978-1-4503-0607-2

Hartmut Schmeck, Ludwig Karg: E-Energy - Paving the Way for an Internet of Energy (Auf dem Weg zum Internet der Energie). it - Information Technology 52(2): 55-57 (2010)

Christian Müller-Schloer, Hartmut Schmeck: Organic Computing: A Grand Challenge for Mastering Complex Systems (Organic Computing: Eine große Herausforderung um komplexe Systeme beherrschen zu können). it - Information Technology 52(3): 135-141 (2010)

Hartmut Schmeck, Christian Müller-Schloer, Emre Cakar, Moez Mnif, Urban Richter: Adaptivity and self-organization in organic computing systems. TAAS 5(3) (2010)

Rolf P. Würtz, Kirstie L. Bellman, Hartmut Schmeck, Christian Igel: Editorial: Special issue on organic computing. TAAS 5(3) (2010)

Ding Ding, Lei Liu, Hartmut Schmeck: Service Discovery in Self-Organizing Service-Oriented Environments. APSCC 2010: 717-724

Matthias Bonn, Hartmut Schmeck: The JoSchKa System: Organic Job Distribution in Heterogeneous and Unreliable Environments. ARCS 2010: 73-86

Birger Becker, Florian Allerding, Ulrich Reiner, Mattias Kahl, Urban Richter, Daniel Pathmaperuma, Hartmut Schmeck, Thomas Leibfried: Decentralized Energy-Management to Control Smart-Home Architectures. ARCS 2010: 150-161

Clemens Lode, Urban Richter, Hartmut Schmeck: Adaption of XCS to multi-learner predator/prey scenarios. GECCO 2010: 1015-1022

Florian Allerding, Birger Becker, Hartmut Schmeck: Integration intelligenter Steuerungskomponenten in reale Smart-Home-Umgebungen. GI Jahrestagung (1) 2010: 455-460

Nugroho Fredivianus, Urban Richter, Hartmut Schmeck: Collaborating and Learning Predators on a Pursuit Scenario. DIPES/BICC 2010: 290-301

Sven Tomforde, Holger Prothmann, Jürgen Branke, Jörg Hähner, Christian Müller-Schloer, Hartmut Schmeck: Possibilities and limitations of decentralised traffic control systems. IJCNN 2010: 1-9

Sabrina Merkel, Lukas König, Hartmut Schmeck: Age based controller stabilization in Evolutionary Robotics. NaBIC 2010: 84-91

Pradyumn Kumar Shukla, Christian Hirsch, Hartmut Schmeck: A Framework for Incorporating Trade-Off Information Using Multi-Objective Evolutionary Algorithms. PPSN (2) 2010: 131-140

Pradyumn Kumar Shukla, Christian Hirsch, Hartmut Schmeck: In Search of Equitable Solutions Using Multi-objective Evolutionary Algorithms. PPSN (1) 2010: 687-696

Lukas König, Hartmut Schmeck: Evolvability in Evolutionary Robotics: Evolving the Genotype-Phenotype Mapping. SASO 2010: 259-260

Nugroho Fredivianus, Holger Prothmann, Hartmut Schmeck: XCS Revisited: A Novel Discovery Component for the eXtended Classifier System. SEAL 2010: 289-298

Lei Liu, Hartmut Schmeck: Enabling Self-Organising Service Level Management with Automated Negotiation. Web Intelligence 2010: 42-45

Jürgen Branke, B. Scheckenbach, Michael Stein, Kalyanmoy Deb, Hartmut Schmeck: Portfolio optimization with an envelope-based multi-objective evolutionary algorithm. European Journal of Operational Research 199(3): 684-693 (2009)

Holger Prothmann, Jürgen Branke, Hartmut Schmeck, Sven Tomforde, Fabian Rochner, Jörg Hähner, Christian Müller-Schloer: Organic traffic light control for urban road networks. IJAACS 2(3): 203-225 (2009)

Sanaz Mostaghim, Hartmut Schmeck: Self-organized Parallel Cooperation for Solving Optimization Problems. ARCS 2009: 135-145

Lukas König, Sanaz Mostaghim, Hartmut Schmeck: Online and onboard evolution of robotic behavior using finite state machines. AAMAS (2) 2009: 1325-1326

Hartmut Schmeck: Organic Computing - Ansätze zur Beherrschung komplexer technischer Systeme. GI Jahrestagung 2009: 272

Lei Liu, Stefan Thanheiser, Hartmut Schmeck: Assessing the Impact of Inherent SOA System Properties on Complexity. ICIW 2009: 429-434

Stefan Thanheiser, Lei Liu, Hartmut Schmeck: SimSOA: an approach for agent-based simulation and design-time assessment of SOC-based IT systems. SAC 2009: 2162-2169

Lei Liu, Stefan Thanheiser, Hartmut Schmeck: Assessing complexity of service-oriented computing using learning classifier systems. SAC 2009: 2170-2171

Lukas König, Hartmut Schmeck: A Completely Evolvable Genotype-Phenotype Mapping for Evolutionary Robotics. SASO 2009: 175-185

Michael Stein, Jürgen Branke, Hartmut Schmeck: Efficient implementation of an active set algorithm for large-scale portfolio selection. Computers & OR 35(12): 3945-3961 (2008)

Peter Bungert, Sanaz Mostaghim, Hartmut Schmeck, Jürgen Branke: Design of Gate Array Circuits Using Evolutionary Algorithms. ARCS 2008: 38-50

Lei Liu, Stefan Thanheiser, Hartmut Schmeck: A Reference Architecture for Self-organizing Service-Oriented Computing. ARCS 2008: 205-219

Oliver Ribock, Urban Richter, Hartmut Schmeck: Using Organic Computing to Control Bunching Effects. ARCS 2008: 232-244

Holger Prothmann, Fabian Rochner, Sven Tomforde, Jürgen Branke, Christian Müller-Schloer, Hartmut Schmeck: Organic Control of Traffic Lights. ATC 2008: 219-233

Sanaz Mostaghim, Jürgen Branke, Andrew Lewis, Hartmut Schmeck: Parallel multi-objective optimization using Master-Slave model on heterogeneous resources. IEEE Congress on Evolutionary Computation 2008: 1981-1987

Andreas Herkersdorf, Walter Stechele, Christian Müller-Schloer, Hartmut Schmeck: Workshop "Adaptive and Organic Systems". GI Jahrestagung (2) 2008: 731-732

Stefan Thanheiser, Lei Liu, Hartmut Schmeck: Selbstorganisation durch Dezentralität - Dezentralität durch Selbstorganisation: Auf dem Weg zu einem 'organischen' Management von Unternehmens-IT. Multikonferenz Wirtschaftsinformatik 2008

Sanaz Mostaghim, Hartmut Schmeck: Distance Based Ranking in Many-Objective Particle Swarm Optimization. PPSN 2008: 753-762

Sven Tomforde, Holger Prothmann, Fabian Rochner, Jürgen Branke, Jörg Hähner, Christian Müller-Schloer, Hartmut Schmeck: Decentralised Progressive Signal Systems for Organic Traffic Control. SASO 2008: 413-422

Urban Richter, Holger Prothmann, Hartmut Schmeck: Improving XCS Performance by Distribution. SEAL 2008: 111-120

Moez Mnif, Urban Richter, Jürgen Branke, Hartmut Schmeck, Christian Müller-Schloer: Measurement and Control of Self-organised Behaviour in Robot Swarms. ARCS 2007: 209-223

Hartmut Schmeck: Remarks on Self-organization and Trust in Organic Computing Systems. ATC 2007: 2

Emre Cakar, Moez Mnif, Christian Müller-Schloer, Urban Richter, Hartmut Schmeck: Towards a quantitative notion of self-organisation. IEEE Congress on Evolutionary Computation 2007: 4222-4229

Hartmut Schmeck, Christian Müller-Schloer: A Characterization of Key Properties of Environment-Mediated Multiagent Systems. EEMMAS 2007: 17-38

Sanaz Mostaghim, Jürgen Branke, Hartmut Schmeck: Multi-objective particle swarm optimization on computer grids. GECCO 2007: 869-875

Frank Ortmeier, Wolfgang Reif, Giovanna Di Marzo Serugendo, Hartmut Schmeck: WG2: Software engineering for organic computing applications (SE4OC). Software Engineering 2007: 275-276

Lei Liu, Hartmut Schmeck: A Roadmap towards Autonomic Service-Oriented Architectures. ITSSA 2(3): 245-254 (2006)

Kirstie L. Bellman, Peter Hofmann, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz: 06031 Executive Summary -- Organic Computing -- Controlled Emergence. Organic Computing - Controlled Emergence 2006

Kirstie L. Bellman, Peter Hofmann, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz: 06031 Abstracts Collection -- Organic Computing -- Controlled Emergence. Organic Computing - Controlled Emergence 2006

Urban Richter, Moez Mnif, Jürgen Branke, Christian Müller-Schloer, Hartmut Schmeck: Towards a generic observer/controller architecture for Organic Computing. GI Jahrestagung (1) 2006: 112-119

Fabian Rochner, Holger Prothmann, Jürgen Branke, Christian Müller-Schloer, Hartmut Schmeck: An Organic Architecture for Traffic Light Controllers. GI Jahrestagung (1) 2006: 120-127

Jürgen Branke, Moez Mnif, Christian Müller-Schloer, Holger Prothmann, Urban Richter, Fabian Rochner, Hartmut Schmeck: Organic Computing - Addressing Complexity by Controlled Self-Organization. ISoLA 2006: 185-191

Kirstie L. Bellman, Peter Hofmann, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz (Eds.): Organic Computing - Controlled Emergence, 15.01. - 20.01.2006. Dagstuhl Seminar Proceedings 06031, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Yi Pan, Franz J. Rammig, Hartmut Schmeck, Mauricio Solar (Eds.): Biologically Inspired Cooperative Computing, IFIP 19th World Computer Congress, TC 10: 1st IFIP International Conference on Biologically Inspired Computing, August 21-24, 2006, Santiago, Chile. IFIP 216, Springer 2006, isbn 978-0-387-34632-8

Hartmut Schmeck: Organic Computing. KI 19(3): 68- (2005)

André Wiesner, Hartmut Schmeck: Activity Tree Harvesting - Entdeckung, Analyse und Verwertung der Nutzungskontexte SCORM-konformer Lernobjekte. DeLFI Workshops 2005: 113-121

Maik Bunschkowski, Marc Röser, Hartmut Schmeck, Djamshid Tavangarian, Denny Voigt: Qualitätssicherung für Metadaten. DeLFI 2005: 117-128

Hartmut Schmeck: Organic Computing - A New Vision for Distributed Embedded Systems. ISORC 2005: 201-203

Uwe Brinkschulte, Jürgen Becker, Dietmar Fey, Christian Hochberger, Thomas Martinetz, Christian Müller-Schloer, Hartmut Schmeck, Theo Ungerer, Rolf P. Würtz (Eds.): 18th International Conference on Architecture of Computing Systems, Workshops, Innsbruck, Austria, March 2005. VDE Verlag 2005, isbn 3-8007-2880-X

Bernd Scheuermann, Keith So, Michael Guntsch, Martin Middendorf, Oliver Diessel, Hossam A. ElGindy, Hartmut Schmeck: FPGA implementation of population-based ant colony optimization. Appl. Soft Comput. 4(3): 303-322 (2004)

Bernd Scheuermann, Michael Guntsch, Martin Middendorf, Hartmut Schmeck: Time-Scattered Heuristic for the Hardware Implementation of Population-Based ACO. ANTS Workshop 2004: 250-261

Stefan Thanheiser, Frederic Toussaint, Hartmut Schmeck: Die "Softwaretankstelle" mit integriertem Verleihsystem für mobile Geräte. DeLFI 2004: 67-78

Sventja Dieter, Matthias Bonn, Hartmut Schmeck: Mobiles Lernen an der Notebook Universität Karlsruhe. DeLFI 2004: 371-372

Jürgen Branke, Andreas Kamper, Hartmut Schmeck: Distribution of Evolutionary Algorithms in Heterogeneous Networks. GECCO (1) 2004: 923-934

Hartmut Schmeck: Organic Computing-Vision and Challenge for System Design. PARELEC 2004: 3

Stefan Janson, Daniel Merkle, Martin Middendorf, Hossam A. ElGindy, Hartmut Schmeck: On Enforced Convergence of ACO and its Implementation on the Reconfigurable Mesh Architecture Using Size Reduction Tasks. The Journal of Supercomputing 26(3): 221-238 (2003)

Jürgen Branke, Michael Stein, Hartmut Schmeck: A Unified Framework for Metaheuristics. GECCO 2003: 1568-1569

Martin Middendorf, Frank Reischle, Hartmut Schmeck: Multi Colony Ant Algorithms. J. Heuristics 8(3): 305-320 (2002)

Ulrike Lucke, André Wiesner, Hartmut Schmeck: XML: Nur ein neues Schlagwort? - Zum Nutzen von XML in Lehr- und Lernsystemen (Exploiting the Use of XML for Multimedia Education). it+ti - Informationstechnik und Technische Informatik 44(4): 211-216 (2002)

Martin Middendorf, Bernd Scheuermann, Hartmut Schmeck, Hossam A. ElGindy: An Evolutionary Approach to Dynamic Task Scheduling on FPGAs with Restricted Buffer. J. Parallel Distrib. Comput. 62(9): 1407-1420 (2002)

Daniel Merkle, Martin Middendorf, Hartmut Schmeck: Ant colony optimization for resource-constrained project scheduling. IEEE Trans. Evolutionary Computation 6(4): 333-346 (2002)

Jürgen Branke, Michael Decker, Daniel Merkle, Hartmut Schmeck: Coevolutionary Ant Algorithms Playing Games. Ant Algorithms 2002: 298-299

Michael Guntsch, Martin Middendorf, Bernd Scheuermann, Oliver Diessel, Hossam A. ElGindy, Hartmut Schmeck, Keith So: Population based ant colony optimization on FPGA. FPT 2002: 125-132

Hartmut Schmeck, Theo Ungerer, Lars C. Wolf (Eds.): Trends in Network and Pervasive Computing - ARCS 2002, International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2299, Springer 2002, isbn 3-540-43409-7

Markus Kohn, Hartmut Schmeck: Formal Asynchronous Systems Modelling. Fundam. Inform. 42(3-4): 335-389 (2000)

Hossam A. ElGindy, Martin Middendorf, Hartmut Schmeck, Bernd Schmidt: Task Rearrangement on Partially Reconfigurable FPGAs with Restricted Buffer. FPL 2000: 379-388

Daniel Merkle, Martin Middendorf, Hartmut Schmeck: Ant Colony Optimization for Resource-Constrained Projet Scheduling. GECCO 2000: 893-

Martin Middendorf, Frank Reischle, Hartmut Schmeck: Information Exchange in Multi Colony Ant Algorithms. IPDPS Workshops 2000: 645-652

Hossam A. ElGindy, Viktor K. Prasanna, Hartmut Schmeck, Oliver Diessel: Configurable Architectures Workshop (RAW 2000). IPDPS Workshops 2000: 870-872

Carsten Steckel, Martin Middendorf, Hossam A. ElGindy, Hartmut Schmeck: A Simulator for the Reconfigurable Mesh Architecture. IPPS/SPDP Workshops 1998: 99-104

Jürgen Branke, Hans Christian Andersen, Hartmut Schmeck: Global Selection Methods for Massively Parallel Computers. Evolutionary Computing, AISB Workshop 1996: 175-188

Hossam A. ElGindy, Arun K. Somani, Heiko Schröder, Hartmut Schmeck, Andrew Spray: RMB - A Reconfigurable Multiple Bus Network. HPCA 1996: 108-117

Hartmut Schmeck: Analyse von VLSI-Algorithmen. Reihe Informatik, Spektrum Akademischer Verlag 1995, isbn 978-3-86025-682-4, pp. I-VI, 1-223

Martin Middendorf, Hartmut Schmeck, G. Turner: Sparse Matrix Multiplication on a Reconfigurable Mesh. Australian Computer Journal 27(2): 37-40 (1995)

Jürgen Branke, Udo Kohlmorgen, Hartmut Schmeck: A Distributed Genetic Algorithm Improving the Generalization Behavior of Neural Networks. ECML 1995: 107-121

Hartmut Schmeck, Heiko Schröder, Jørgen Staunstrup, Martin Middendorf: Problem Heaps and Their Evaluation. Parallel Processing Letters 3: 147-155 (1993)

Michael Phieler, Manfred Schimmler, Hartmut Schmeck: A Reconfigurable Instruction Systolic Array. Fault-Tolerant Computing Systems 1991: 312-323

Manfred Schimmler, Hartmut Schmeck: A Fault Tolerant and High Speed Instruction Systolic Array. VLSI 1991: 471-480

Hartmut Schmeck, Heiko Schröder, Christoph Starke: Systolic s²-Way Merge Sort is Optimal. IEEE Trans. Computers 38(7): 1052-1056 (1989)

Manfred Kunde, Hans-Werner Lang, Manfred Schimmler, Hartmut Schmeck, Heiko Schröder: The instruction systolic array and its relation to other models of parallel computers. Parallel Computing 7(1): 25-39 (1988)

Hartmut Schmeck, Andreas Dittrich: Given's rotation on an instruction systolic array. Parcella 1988: 340-346

Hartmut Schmeck: On the Maximum Edge Length in VLSI Layouts of Complete Binary Trees. Inf. Process. Lett. 23(1): 19-23 (1986)

Selim G. Akl, Hartmut Schmeck: Systolic sorting in a sequential input/output environment. Parallel Computing 3(1): 11-17 (1986)

Hartmut Schmeck, Heiko Schröder: Dictionary Machines for Different Models of VLSI. IEEE Trans. Computers 34(5): 472-475 (1985)

Hans-Werner Lang, Manfred Schimmler, Hartmut Schmeck, Heiko Schröder: Systolic Sorting on a Mesh-Connected Network. IEEE Trans. Computers 34(7): 652-658 (1985)

Hans-Werner Lang, Manfred Schimmler, Hartmut Schmeck, Heiko Schröder: A Method for Realistic Comparisons of Sorting Algorithms for VLSI. FODO 1985: 309-316

Hartmut Schmeck: Algebraic Semantics of Recursive Flowchart Schemes. Information and Control 59(1-3): 108-126 (1983)

Hartmut Schmeck: Algebraic Characterization of Reducible Flowcharts. J. Comput. Syst. Sci. 27(2): 165-199 (1983)

Hans-Werner Lang, Manfred Schimmler, Hartmut Schmeck, Heiko Schröder: A Fast Sorting Algorithm for VLSI. ICALP 1983: 408-419

Hartmut Schmeck: Algebraic Semantics of Recursive Flowchart Schemes. ICALP 1982: 489-501

Hartmut Schmeck: Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise. Fachtagung über Programmiersprachen 1976: 33-42