FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
Shortcuts: BEFGKLMPRSTWZ
B
Ben Salah, Kais
E
Ensan, Alireza
F
Falappa, Marcelo A.
Finger, Marcelo
G
Ge, Cunjing
Ghedira, Khaled
Giordano, Laura
Gliozzi, Valentina
K
Korovin, Konstantin
L
Liu, Heng
Liu, Tian
M
Ma, Feifei
Ma, Xutong
Maly, Jan
Martinez, Maria Vanina
P
Paredes, José
Potyka, Nico
R
Rouahi, Aouatef
S
Simari, Gerardo
T
Ternovska, Eugenia
Turhan, Anni-Yasmin
W
Woltran, Stefan
Z
Zhang, Jian