FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
F-IDE F-IDE-18 PROCEEDINGS: AUTHOR INDEX
Shortcuts: ABCDFHJKMPRSTVW
A
Arcaini, Paolo
B
Bessai, Jan
Bhatt, Devesh
C
Couto, Rui
Creissac Campos, José
Cunha, Alcino
D
Dailler, Sylvain
F
Filliâtre, Jean-Christophe
Freitas, Leo
H
Hall, Brendan
J
Jeppu, Yogananda
K
Knüppel, Alexander
M
Macedo, Nuno
Marché, Claude
Masci, Paolo
Melioli, Riccardo
Moy, Yannick
Murugesan, Anitha
P
Pardylla, Carsten
Park, Spencer
R
Reeves, Steve
Ren, Hao
Riccobene, Elvinia
S
Schaefer, Ina
Sekerinski, Emil
T
Thüm, Thomas
V
Vasileva, Anna
W
Watson, Nathaniel
Wenzel, Makarius