FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SR SR18 PAPERS: AUTHOR INDEX
Shortcuts: ABCDFGHJLMPRSVWZ
A
Avni, Guy
B
Basset, Nicolas
Belardinelli, Francesco
Berthon, Raphaël
Bouyer, Patricia
C
Chonev, Ventsislav
D
Di Stasio, Antonio
F
Fijalkow, Nathanaël
G
Gardy, Patrick
Ghani, Neil
Gutierrez, Julian
H
Harrenstein, Paul
Hedges, Jules
Henzinger, Thomas A.
J
Jecker, Ismaël
L
Le Roux, Stephane
Lomuscio, Alessio
M
Markey, Nicolas
Maubert, Bastien
Murano, Aniello
P
Pauly, Arno
R
Raskin, Jean-Francois
Rubin, Sasha
S
Steeples, Thomas
V
Van Den Bogaard, Marie
Vardi, Moshe
W
Winschel, Viktor
Wooldridge, Michael
Z
Zahn, Philipp