WorldCat Identities

Dörr, Heiko 1962-

Overview
Works: 24 works in 53 publications in 2 languages and 595 library holdings
Genres: Academic theses 
Roles: Author, Editor, htt, Other
Publication Timeline
.
Most widely held works by Heiko Dörr
Efficient graph rewriting and its implementation by Heiko Dörr( )

24 editions published in 1995 in English and German and held by 535 WorldCat member libraries worldwide

This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriting. Second, an abstract machine for graph rewriting is defined providing an instruction set sufficient for the execution of GRS. The basic definitions of GRS in the algorithmic approach are introduced and extended by attribution and control structures to comprise a formalism for an operational specification. The translation of a functional programming language to graph rewriting shows the capabilities of UBS-GRS
CISMo: Change Impact Analysen für Software-Modelle Schlußbericht : im Rahmen des BMBF Förderprogramms KMU-INNOVATIV by Heiko Dörr( )

1 edition published in 2016 in German and held by 7 WorldCat member libraries worldwide

Herausforderungen an die Informatik? : [29. 11. - 1. 12. 1991 unter dem Dach des Internationalen Kongresses "Challenges - Science and Peace in a Rapidly Changing Environment" in Berlin]( Book )

5 editions published between 1991 and 1992 in German and Undetermined and held by 7 WorldCat member libraries worldwide

Monitoring with graph-grammars as formal operational models by Heiko Dörr( Book )

2 editions published in 1992 in German and English and held by 6 WorldCat member libraries worldwide

UBS-graph rewriting systems by Heiko Dörr( Book )

1 edition published in 1994 in German and held by 5 WorldCat member libraries worldwide

Kritik der Informationstechnik Ausarbeitungen eines Seminars am Institut für Informatik, SS 1990( Book )

1 edition published in 1991 in German and held by 5 WorldCat member libraries worldwide

Bypass strong V-structures and find isomorphic labelled subgraph in linear time by Heiko Dörr( Book )

1 edition published in 1994 in English and held by 4 WorldCat member libraries worldwide

An abstract machine for the execution of graph grammars by Heiko Dörr( Book )

1 edition published in 1994 in English and held by 3 WorldCat member libraries worldwide

An abstract machine for the execution of graph grammars by Heiko Dörr( Book )

1 edition published in 1994 in German and held by 2 WorldCat member libraries worldwide

Testautomatisierung bei Valeo Siemens eAutomotive by Peter Ginal( )

1 edition published in 2017 in German and held by 2 WorldCat member libraries worldwide

Introductory paper by Andreas Schürr( )

1 edition published in 2004 in English and held by 2 WorldCat member libraries worldwide

Introduction by Heiko Dörr( )

1 edition published in 2004 in English and held by 2 WorldCat member libraries worldwide

UBS-graph rewriting systems by Heiko Dörr( Book )

1 edition published in 1994 in English and held by 2 WorldCat member libraries worldwide

Multiprojektfähigkeit in der Prüfung von Software-Modellen by Heiko Dörr( )

1 edition published in 2014 in German and held by 2 WorldCat member libraries worldwide

Multi-Project Capability in Checking Software Models by Heiko Dörr( )

1 edition published in 2014 in English and held by 2 WorldCat member libraries worldwide

An abstract machine for the execution of graph grammars by Heiko Dörr( Book )

1 edition published in 1994 in English and held by 2 WorldCat member libraries worldwide

Bypass strong V-structures and find isomorphic labelled subgraph in linear time by Heiko Dörr( Book )

1 edition published in 1994 in German and held by 2 WorldCat member libraries worldwide

ESPRESS : engineering safety-critical embedded systems by Heiko Dörr( Book )

1 edition published in 1998 in English and held by 1 WorldCat member library worldwide

Bypass strong v-structures and find an isomorphic labelled subgraph in linear time by Heiko Dörr( Book )

1 edition published in 1994 in English and held by 1 WorldCat member library worldwide

100 Jahre Umbreit Tradition - Kompetenz - Innovation by G. Umbreit GmbH & Co. KG( Book )

1 edition published in 2012 in German and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.74 (from 0.72 for Efficient ... to 0.97 for Efficient ...)

Languages
English (32)

German (14)