FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
VAVAS PROCEEDINGS: AUTHOR INDEX
A
Al-Nuaimi, Mohammed
Alves, Gleifer
B
Belta, Calin
Butler, Michael
C
Calinescu, Radu
Cavalcanti, Ana
D
De Vos, Marina
Dennis, Louise
Durazo-Cardenas, Isidro
F
Fisher, Michael
Foster, Simon
G
Giaquinta, Ruben
Grosu, Radu
H
Hawes, Nick
Hoang, Thai Son
Hoffmann, Ruth
I
Ireland, Murray
L
Lacerda, Bruno
Li, Wei
Lukina, Anna
M
Miller, Alice
Miyazawa, Alvaro
Myojin, Tomoyuki
N
Nakagawa, Yuichiroh
Norman, Gethin
O
Ogawa, Hideto
P
Padget, Julian
Page, Charlie
Parker, David
Q
Qu, Hongyang
R
Ribeiro, Pedro
S
Sato, Naoto
Smolka, Scott
Starr, Andrew
T
Timmis, Jon
Tiwari, Ashish
Tomiyama, Tetsuo
V
Veres, Sandor
W
Woodcock, Jim
Y
Yonbawi, Saud