Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A C H K L M O R S T V Z

A
Aminof, Benjamin	Parameterized Model Checking of Rendezvous Systems
C
Chistikov, Dmitry	Unary Pushdown Automata and Straight-Line Programs
H
Hofman, Piotr	Simulation for infinite state systems.
K
Kotek, Tomer	Parameterized Model Checking of Rendezvous Systems
L
Lang, Martin	Quantitative Automatic Structures
M
Majumdar, Rupak	Unary Pushdown Automata and Straight-Line Programs
Mennicke, Roy	Model Checking Communicating Finite-State Machines using Local Temporal Logics
O
Ouaknine, Joel	Decision Problems for Linear Recurrence Sequences
R
Rubin, Sasha	Parameterized Model Checking of Rendezvous Systems
S
Serre, Olivier	Playing with Automata and Trees
Spegni, Francesco	Parameterized Model Checking of Rendezvous Systems
T
Totzke, Patrick	Simulation Over One-Counter Nets is PSPACE-Complete
V
Veith, Helmut	Parameterized Model Checking of Rendezvous Systems
Z
Zetzsche, Georg	Of stacks (of stacks (...) with blind counters) with blind counters