Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C D F G H J K L R T V

A
Akgun, Ozgur	Automated Constraint Modelling with Conjure
B
Bauer, Sabine	Decidable Linear Tree Constraints
C
Courcelle, Bruno	Monadic Second-Order Model Checking with Fly-Automata
D
Durand, Irène	Monadic Second-Order Model Checking with Fly-Automata
F
Fichte, Johannes	Solving #SAT by Parameterized Algorithms: Exploiting Small Treewidth
Fiedor, Tomas	Lazy Automata Techniques for WS1S
Frisch, Alan	ESSENCE, A Language for Specifying Combinatorial Problems: What, Why and So What?
G
Giegerich, Robert	Declarative Dynamic Programming with Inverse Coupled Rewrite Systems
H
Holik, Lukas	Lazy Automata Techniques for WS1S
J
Janku, Petr	Lazy Automata Techniques for WS1S
K
Kneis, Joachim	Courcelle’s Theorem – A Game-Theoretic Approach
L
Langer, Alexander	Courcelle’s Theorem – A Game-Theoretic Approach
Lengal, Ondrej	Lazy Automata Techniques for WS1S
R
Rossmanith, Peter	Courcelle’s Theorem – A Game-Theoretic Approach
T
Ternovska, Eugenia	A Logic of Information Flows
Traytel, Dmitriy	A Derivative-Based Decision Procedure for WS1S
V
Vojnar, Tomas	Lazy Automata Techniques for WS1S