Universitšt Karlsruhe
Dipl.-Inform. Gernot Veit Batz

Arbeitsgebiete

Compilerbau
Graphtransformation

Projekte

Abgeschlossen
CRS
Graph Rewriting

Beteiligung an Software

GrGen
Das Graphersetzungs-Werkzeug. GrGen ist SPO basiert, schnell und einfach benutzbar.

Bearbeitete Studien- und Diplomarbeiten

Diplomarbeit
Graphersetzung mit Firm (abgeschlossen)
 
Studienarbeit
Generierung von Graphersetzungen mit programmierbarem Suchalgorithmus (abgeschlossen)

Veröffentlichungen

2008
Batz, Kroll, Geiß, A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching
 
2006
Geiß, Batz, Grund, Hack, Szalkowski, GrGen: A Fast SPO-Based Graph Rewriting Tool
Batz, An Optimization Technique for Subgraph Matching Strategies
 
2005
Batz, Graphersetzung f√ľr eine Zwischendarstellung im √úbersetzerbau
Batz, Generierung von Graphersetzungen mit programmierbarem Suchalgorithmus
Login
Links