Hartmut Schmeck

According to our database1, Hartmut Schmeck authored at least 181 papers between 1976 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Test Beds for Component Integration in Energy Systems.
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

2018
Provision of frequency containment reserve with an aggregate of air handling units.
Computer Science - R&D, 2018

Demo abstract: a building energy management system in the context of the smart grid traffic light concept.
Computer Science - R&D, 2018

A threat analysis of the vehicle-to-grid charging protocol ISO 15118.
Computer Science - R&D, 2018

The Influence of Differential Privacy on Short Term Electric Load Forecasting.
CoRR, 2018

Hardware-in-the-Loop Co-simulation of a Smart Building in a Low-voltage Distribution Grid.
Proceedings of the 2018 IEEE PES Innovative Smart Grid Technologies Conference Europe, 2018

Achieving Optimized Decisions on Battery Operating Strategies in Smart Buildings.
Proceedings of the Applications of Evolutionary Computation, 2018

Towards the Modeling of Flexibility Using Artificial Neural Networks in Energy Management and Smart Grids: Note.
Proceedings of the Ninth International Conference on Future Energy Systems, 2018

Generation of Time-of-Use Tariffs for Demand Side Management using Artificial Neural Networks.
Proceedings of the Ninth International Conference on Future Energy Systems, 2018

2017
Modeling and Valuation of Residential Demand Flexibility for Renewable Energy Integration.
IEEE Trans. Smart Grid, 2017

Multimodal scalarized preferences in multi-objective optimization.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Angle-Based Preference Models in Multi-objective Optimization.
Proceedings of the Evolutionary Multi-Criterion Optimization, 2017

Outlining Ensemble K-Nearest Neighbors Approach for Low-Voltage Power Demand Forecasting.
Proceedings of the Eighth International Conference on Future Energy Systems, 2017

Reference Scenarios for Low Voltage Power Systems: Poster Description.
Proceedings of the Eighth International Conference on Future Energy Systems, 2017

Detecting Occupancy in Smart Buildings by Data Fusion from Low-cost Sensors: Poster Description.
Proceedings of the Eighth International Conference on Future Energy Systems, 2017

2016
A neuro-genetic approach for modeling and optimizing a complex cogeneration process.
Appl. Soft Comput., 2016

A Microservice Architecture for the Intranet of Things and Energy in Smart Buildings: Research Paper.
Proceedings of the 1st International Workshop on Mashups of Things and APIs, 2016

Stigmergy-Based Scheduling of Flexible Loads.
Proceedings of the Applications of Evolutionary Computation - 19th European Conference, 2016

Optimization of Operation and Control Strategies for Battery Energy Storage Systems by Evolutionary Algorithms.
Proceedings of the Applications of Evolutionary Computation - 19th European Conference, 2016

Comparison of Multi-objective Evolutionary Optimization in Smart Building Scenarios.
Proceedings of the Applications of Evolutionary Computation - 19th European Conference, 2016

Theoretische Informatik - ganz praktisch.
de Gruyter Oldenbourg, ISBN: 978-3-11-041207-9, 2016

2015
Smart Buildings and Smart Grids (Dagstuhl Seminar 15091).
Dagstuhl Reports, 2015

Organic Architecture for Energy Management and Smart Grids.
Proceedings of the 2015 IEEE International Conference on Autonomic Computing, 2015

Organic Smart Home - eine flexible Architektur für ebenen- und energieträgerübergreifendes Energiemanagement.
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik 2015, Informatik, Energie und Umwelt, 28. September, 2015

Obtaining Optimal Pareto Front Approximations using Scalarized Preference Information.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Evolutionary Optimization of Smart Buildings with Interdependent Devices.
Proceedings of the Applications of Evolutionary Computation - 18th European Conference, 2015

Building Energy Management in the FZI House of Living Labs.
Proceedings of the Energy Informatics, 2015

2014
Energieinformatik - Aktuelle und zukünftige Forschungsschwerpunkte.
Wirtschaftsinformatik, 2014

Improving Electric Vehicle Charging Coordination Through Area Pricing.
Transportation Science, 2014

Energy Informatics - Current and Future Research Directions.
Business & Information Systems Engineering, 2014

Plug-and-Charge and E-Roaming - Capabilities of the ISO/IEC 15118 for the E-Mobility Scenario.
Automatisierungstechnik, 2014

Hop count based distance estimation in mobile ad hoc networks - Challenges and consequences.
Ad Hoc Networks, 2014

A Privacy-Aware Architecture for Energy Management Systems in Smart Grids.
Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, 2014

Run-Time Parameter Selection and Tuning for Energy Optimization Algorithms.
Proceedings of the Parallel Problem Solving from Nature - PPSN XIII, 2014

Konzept und Methodik zur Entwicklung einer mobilen digitalen Persönlichkeit für nutzergerechte Anwendungen.
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Informatik 2014, Big Data, 2014

A theoretical analysis of volume based Pareto front approximations.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

On homogenization of coal in longitudinal blending beds.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

On the interrelationships between knees and aggregate objective functions.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Customizable Energy Management in Smart Buildings Using Evolutionary Algorithms.
Proceedings of the Applications of Evolutionary Computation - 17th European Conference, 2014

Encodings for Evolutionary Algorithms in smart buildings with energy management systems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2014

2013
Smart Energy Systems.
it - Information Technology, 2013

Distributed swarm evacuation planning.
Proceedings of the 2013 IEEE Symposium on Swarm Intelligence, 2013

Smart Grid-Ready Communication Protocols And Services For A Customer-Friendly Electromobility Experience.
Proceedings of the Informatik 2013, 2013

Evolutionary algorithm for optimal anchor node placement to localize devices in a mobile ad hoc network during building evacuation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

Theory and Algorithms for Finding Knees.
Proceedings of the Evolutionary Multi-Criterion Optimization, 2013

2012
Organic Computing.
Informatik Spektrum, 2012

Adaptives verteiltes Lastmanagement in Bilanzkreisen.
Informatik Spektrum, 2012

Introducing the simulation plugin interface and the EAS framework with comparison to two state-of-the-art agent simulation frameworks.
Proceedings of the Winter Simulation Conference, 2012

An Evolutionary Optimization Approach for Bulk Material Blending Systems.
Proceedings of the Parallel Problem Solving from Nature - PPSN XII, 2012

A Study of Mobility in Ad Hoc Networks and Its Effects on a Hop Count Based Distance Estimation.
Proceedings of the 5th International Conference on New Technologies, 2012

Self-Organised Routing for Road Networks.
Proceedings of the Self-Organizing Systems - 6th IFIP TC 6 International Workshop, 2012

Integration of electric vehicles in smart homes - an ICT-based solution for V2G scenarios.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012

User interaction interface for Energy Management in Smart Homes.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012

Firefly-inspired synchronization for energy-efficient distance estimation in mobile ad-hoc networks.
Proceedings of the 31st IEEE International Performance Computing and Communications Conference, 2012

Stay real!: XCS with rule combining for real values.
Proceedings of the Genetic and Evolutionary Computation Conference, 2012

Towards a Deeper Understanding of Trade-offs Using Multi-objective Evolutionary Algorithms.
Proceedings of the Applications of Evolutionary Computation, 2012

Electrical Load Management in Smart Homes Using Evolutionary Algorithms.
Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2012

Distributed Geometric Distance Estimation in Ad Hoc Networks.
Proceedings of the Ad-hoc, Mobile, and Wireless Networks - 11th International Conference, 2012

2011
Decentralised Route Guidance in Organic Traffic Control.
Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

Organic Computing - A Generic Approach to Controlled Self-organization in Adaptive Systems.
Proceedings of the Multiagent System Technologies - 9th German Conference, 2011

A Markov-chain-based Model for Success Prediction of Evolution in Complex Environments.
Proceedings of the ECTA and FCTA 2011, 2011

Organic smart home: architecture for energy management in intelligent buildings.
Proceedings of the 2011 workshop on Organic computing, 2011

Kooperativer Ansatz zur Erschließung des vollen Lastverschiebungspotenzials von Elektrofahrzeugen.
Proceedings of the Informatik 2011: Informatik schafft Communities, 2011

User behavior prediction for energy management in smart homes.
Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

Variable Preference Modeling Using Multi-Objective Evolutionary Algorithms.
Proceedings of the Evolutionary Multi-Criterion Optimization, 2011

Preference Ranking Schemes in Multi-Objective Evolutionary Algorithms.
Proceedings of the Evolutionary Multi-Criterion Optimization, 2011

Semantic Web and Applied Informatics: Selected Research Activities in the Institute AIFB.
Proceedings of the Foundations for the Web of Information and Services, 2011

Observation and Control of Organic Systems.
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

Adaptivity and Self-organisation in Organic Computing Systems.
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

Organic Traffic Control.
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

Organic Computing: Quo vadis?
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

Organic Computing in Off-highway Machines.
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

Aspects of Learning in OC Systems.
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

Decentralised Energy Management for Smart Homes.
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

2010
Editorial: Special issue on organic computing.
TAAS, 2010

Adaptivity and self-organization in organic computing systems.
TAAS, 2010

E-Energy - Paving the Way for an Internet of Energy (Auf dem Weg zum Internet der Energie).
it - Information Technology, 2010

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, 2010

Enabling Self-Organising Service Level Management with Automated Negotiation.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

XCS Revisited: A Novel Discovery Component for the eXtended Classifier System.
Proceedings of the Simulated Evolution and Learning - 8th International Conference, 2010

Evolvability in Evolutionary Robotics: Evolving the Genotype-Phenotype Mapping.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

A Framework for Incorporating Trade-Off Information Using Multi-Objective Evolutionary Algorithms.
Proceedings of the Parallel Problem Solving from Nature, 2010

In Search of Equitable Solutions Using Multi-objective Evolutionary Algorithms.
Proceedings of the Parallel Problem Solving from Nature, 2010

Age based controller stabilization in Evolutionary Robotics.
Proceedings of the Second World Congress on Nature & Biologically Inspired Computing, 2010

Possibilities and limitations of decentralised traffic control systems.
Proceedings of the International Joint Conference on Neural Networks, 2010

Collaborating and Learning Predators on a Pursuit Scenario.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Integration intelligenter Steuerungskomponenten in reale Smart-Home-Umgebungen.
Proceedings of the Informatik 2010: Service Science - Neue Perspektiven für die Informatik, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Band 1, 27.09., 2010

Adaption of XCS to multi-learner predator/prey scenarios.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

The JoSchKa System: Organic Job Distribution in Heterogeneous and Unreliable Environments.
Proceedings of the Architecture of Computing Systems, 2010

Decentralized Energy-Management to Control Smart-Home Architectures.
Proceedings of the Architecture of Computing Systems, 2010

Service Discovery in Self-Organizing Service-Oriented Environments.
Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010

2009
Decentralized evolution of robotic behavior using finite state machines.
Int. J. Intelligent Computing and Cybernetics, 2009

Organic traffic light control for urban road networks.
IJAACS, 2009

Portfolio optimization with an envelope-based multi-objective evolutionary algorithm.
European Journal of Operational Research, 2009

A Completely Evolvable Genotype-Phenotype Mapping for Evolutionary Robotics.
Proceedings of the Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2009

SimSOA: an approach for agent-based simulation and design-time assessment of SOC-based IT systems.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Assessing complexity of service-oriented computing using learning classifier systems.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Assessing the Impact of Inherent SOA System Properties on Complexity.
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

Organic Computing - Ansätze zur Beherrschung komplexer technischer Systeme.
Proceedings of the Informatik 2009: Im Focus das Leben, 2009

Self-Healing Systems: Foundations and Challenges.
Proceedings of the Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009, 2009

Online and onboard evolution of robotic behavior using finite state machines.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Self-organized Parallel Cooperation for Solving Optimization Problems.
Proceedings of the Architecture of Computing Systems, 2009

2008
Efficient implementation of an active set algorithm for large-scale portfolio selection.
Computers & OR, 2008

Improving XCS Performance by Distribution.
Proceedings of the Simulated Evolution and Learning, 7th International Conference, 2008

Decentralised Progressive Signal Systems for Organic Traffic Control.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Distance Based Ranking in Many-Objective Particle Swarm Optimization.
Proceedings of the Parallel Problem Solving from Nature, 2008

Selbstorganisation durch Dezentralität - Dezentralität durch Selbstorganisation: Auf dem Weg zu einem 'organischen' Management von Unternehmens-IT.
Proceedings of the Multikonferenz Wirtschaftsinformatik, 2008

Evolving Collision Avoidance on Autonomous Robots.
Proceedings of the Biologically-Inspired Collaborative Computing, 2008

Workshop "Adaptive and Organic Systems".
Proceedings of the INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 2, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8., 2008

08141 Executive Summary - Organic Computing - Controlled Self-organization.
Proceedings of the Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008, 2008

08141 Abstracts Collection - Organic Computing - Controlled Self-organization.
Proceedings of the Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008, 2008

Parallel multi-objective optimization using Master-Slave model on heterogeneous resources.
Proceedings of the IEEE Congress on Evolutionary Computation, 2008

Organic Control of Traffic Lights.
Proceedings of the Autonomic and Trusted Computing, 5th International Conference, 2008

Using Organic Computing to Control Bunching Effects.
Proceedings of the Architecture of Computing Systems, 2008

A Reference Architecture for Self-organizing Service-Oriented Computing.
Proceedings of the Architecture of Computing Systems, 2008

Design of Gate Array Circuits Using Evolutionary Algorithms.
Proceedings of the Architecture of Computing Systems, 2008

Evolutionary Design of Emergent Behavior.
Proceedings of the Organic Computing, 2008

2007
WG2: Software engineering for organic computing applications (SE4OC).
Proceedings of the Software Engineering 2007, 2007

Multi-objective particle swarm optimization on computer grids.
Proceedings of the Genetic and Evolutionary Computation Conference, 2007

A Characterization of Key Properties of Environment-Mediated Multiagent Systems.
Proceedings of the Engineering Environment-Mediated Multi-Agent Systems, 2007

Towards a quantitative notion of self-organisation.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007

Remarks on Self-organization and Trust in Organic Computing Systems.
Proceedings of the Autonomic and Trusted Computing, 4th International Conference, 2007

Measurement and Control of Self-organised Behaviour in Robot Swarms.
Proceedings of the Architecture of Computing Systems, 2007

2006
A Roadmap towards Autonomic Service-Oriented Architectures.
ITSSA, 2006

Organic Computing - Addressing Complexity by Controlled Self-Organization.
Proceedings of the Leveraging Applications of Formal Methods, 2006

An Organic Architecture for Traffic Light Controllers.
Proceedings of the Informatik 2006, 2006

Towards a generic observer/controller architecture for Organic Computing.
Proceedings of the Informatik 2006, 2006

06031 Abstracts Collection -- Organic Computing -- Controlled Emergence.
Proceedings of the Organic Computing - Controlled Emergence, 15.01. - 20.01.2006, 2006

06031 Executive Summary -- Organic Computing -- Controlled Emergence.
Proceedings of the Organic Computing - Controlled Emergence, 15.01. - 20.01.2006, 2006

2005
A Unified View on Metaheuristics and Their Hybridization.
Proceedings of the Handbook of Bioinspired Algorithms and Applications., 2005

Organic Computing.
KI, 2005

Organic Computing - A New Vision for Distributed Embedded Systems.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Activity Tree Harvesting - Entdeckung, Analyse und Verwertung der Nutzungskontexte SCORM-konformer Lernobjekte.
Proceedings of the Workshop Proceedings DeLFI 2005 und GMW05, 2005

Qualitätssicherung für Metadaten.
Proceedings of the DeLFI 2005: 3. Deutsche e-Learning Fachtagung Informatik, 2005

2004
FPGA implementation of population-based ant colony optimization.
Appl. Soft Comput., 2004

Organic Computing-Vision and Challenge for System Design.
Proceedings of the 2004 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2004), 2004

Distribution of Evolutionary Algorithms in Heterogeneous Networks.
Proceedings of the Genetic and Evolutionary Computation, 2004

Die "Softwaretankstelle" mit integriertem Verleihsystem für mobile Geräte.
Proceedings of the DeLFI 2004: Die e-Learning Fachtagung Informatik, 2004

Mobiles Lernen an der Notebook Universität Karlsruhe.
Proceedings of the DeLFI 2004: Die e-Learning Fachtagung Informatik, 2004

Parallelizing multi-objective evolutionary algorithms: cone separation.
Proceedings of the IEEE Congress on Evolutionary Computation, 2004

Time-Scattered Heuristic for the Hardware Implementation of Population-Based ACO.
Proceedings of the Ant Colony Optimization and Swarm Intelligence, 2004

2003
On Enforced Convergence of ACO and its Implementation on the Reconfigurable Mesh Architecture Using Size Reduction Tasks.
The Journal of Supercomputing, 2003

A Unified Framework for Metaheuristics.
Proceedings of the Genetic and Evolutionary Computation, 2003

2002
Ant colony optimization for resource-constrained project scheduling.
IEEE Trans. Evolutionary Computation, 2002

An Evolutionary Approach to Dynamic Task Scheduling on FPGAs with Restricted Buffer.
J. Parallel Distrib. Comput., 2002

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, 2002

Multi Colony Ant Algorithms.
J. Heuristics, 2002

Population based ant colony optimization on FPGA.
Proceedings of the 2002 IEEE International Conference on Field-Programmable Technology, 2002

Coevolutionary Ant Algorithms Playing Games.
Proceedings of the Ant Algorithms, Third International Workshop, 2002

2000
Formal Asynchronous Systems Modelling.
Fundam. Inform., 2000

Information Exchange in Multi Colony Ant Algorithms.
Proceedings of the Parallel and Distributed Processing, 2000

Configurable Architectures Workshop (RAW 2000).
Proceedings of the Parallel and Distributed Processing, 2000

Ant Colony Optimization for Resource-Constrained Projet Scheduling.
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '00), 2000

Task Rearrangement on Partially Reconfigurable FPGAs with Restricted Buffer.
Proceedings of the Field-Programmable Logic and Applications, 2000

1999
Multiplication of Matrices With Different Sparseness Properties on Dynamically Reconfigurable Meshes.
VLSI Design, 1999

Experiences with fine-grainedparallel genetic algorithms.
Annals OR, 1999

1998
A Simulator for the Reconfigurable Mesh Architecture.
Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

1996
RMB - A Reconfigurable Multiple Bus Network.
Proceedings of the Second International Symposium on High-Performance Computer Architecture, 1996

Global Selection Methods for Massively Parallel Computers.
Proceedings of the Evolutionary Computing, 1996

1995
Sparse Matrix Multiplication on a Reconfigurable Mesh.
Australian Computer Journal, 1995

A Distributed Genetic Algorithm Improving the Generalization Behavior of Neural Networks.
Proceedings of the Machine Learning: ECML-95, 1995

Analyse von VLSI-Algorithmen.
Reihe Informatik, Spektrum Akademischer Verlag, ISBN: 978-3-86025-682-4, 1995

1993
Problem Heaps and Their Evaluation.
Parallel Processing Letters, 1993

1991
A Fault Tolerant and High Speed Instruction Systolic Array.
Proceedings of the VLSI 91, 1991

A Reconfigurable Instruction Systolic Array.
Proceedings of the Fault-Tolerant Computing Systems, Tests, Diagnosis, 1991

1989
Systolic s²-Way Merge Sort is Optimal.
IEEE Trans. Computers, 1989

1988
The instruction systolic array and its relation to other models of parallel computers.
Parallel Computing, 1988

A closer look at VLSI multiplication.
Integration, 1988

Given's rotation on an instruction systolic array.
Proceedings of the Parcella '88, 1988

1986
Systolic sorting in a sequential input/output environment.
Parallel Computing, 1986

On the Maximum Edge Length in VLSI Layouts of Complete Binary Trees.
Inf. Process. Lett., 1986

1985
Dictionary Machines for Different Models of VLSI.
IEEE Trans. Computers, 1985

Systolic Sorting on a Mesh-Connected Network.
IEEE Trans. Computers, 1985

A Method for Realistic Comparisons of Sorting Algorithms for VLSI.
Proceedings of the Foundations of Data Organization, 1985

1983
Algebraic Characterization of Reducible Flowcharts.
J. Comput. Syst. Sci., 1983

Algebraic Semantics of Recursive Flowchart Schemes
Information and Control, 1983

Flow Graph Grammars and Flow Graph Languages.
Proceedings of the WG '83, 1983

A Fast Sorting Algorithm for VLSI.
Proceedings of the Automata, 1983

1982
Algebraic Semantics of Recursive Flowchart Schemes.
Proceedings of the Automata, 1982

1981
Zur algebraischen Charakterisierung reduzierbarer Flussdiagramme.
PhD thesis, 1981

1976
Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise.
Proceedings of the Programmiersprachen, 1976


  Loading...