Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B E K L M O P R V Z

B
Bastani, Osbert	Ideograph: A Language for Expressing and Manipulating Structured Data
E
Endrullis, Joerg	A PBPO+ Graph Rewriting Tutorial PBPO+ Graph Rewriting in Context
K
Kesner, Delia	A Computational Interpretation of Girard’s Intuitionistic Proof-Nets
Kräuter, Tim	Formalization and analysis of BPMN using graph transformation systems
König, Harald	Formalization and analysis of BPMN using graph transformation systems
L
Lamo, Yngve	Formalization and analysis of BPMN using graph transformation systems
M
Mell, Stephen	Ideograph: A Language for Expressing and Manipulating Structured Data
O
Overbeek, Roy	A PBPO+ Graph Rewriting Tutorial
P
Pshenitsyn, Tikhon	Transformation of DPO Grammars into Hypergraph Lambek Grammars With The Conjunctive Kleene Star
R
Rutle, Adrian	Formalization and analysis of BPMN using graph transformation systems
V
Van Oostrom, Vincent	Greedily Decomposing Proof Terms for String Rewriting into Multistep Derivations by Topological Multisorting
Z
Zdancewic, Steve	Ideograph: A Language for Expressing and Manipulating Structured Data