FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
FM FMCOMPLETE: AUTHOR INDEX
A
Akazaki, Takumi
Albert, Elvira
Alrajeh, Dalal
Alvim, Mario S.
Américo, Arthur
Avellaneda, Florent
Avgustinov, Pavel
Azadbakht, Keyvan
B
Bacci, Giovanni
Backhouse, Kevin
Becker, Heiko
Berger, Philipp
Beyene, Tewodros A.
Bjorner, Nikolaj
Bobot, Francois
Boralv, Arne
Bouyer-Decitre, Patricia
Brauer, Joerg
Busard, Simon
C
Cavezza, Davide Giacomo
Chifflier, Pierre
Chockler, Hana
Cimatti, Alessandro
Cohen, Ernie
Colvin, Robert
D
Darulova, Eva
De Boer, Frank
de Putter, Sander
de Vink, Erik
Dras, Mark
Duan, Yihai
Dutle, Aaron
F
Fahrenberg, Uli
Fan, Chuchu
Fava, Daniel
Ferdinand, Christian
Fernandes, Natasha
Ferrère, Thomas
G
Garcia, Sergio
Garlan, David
Geisler, Signe
Ghorbal, Khalil
Gomez-Zamalloa, Miguel
Guha, Shibashis
Guldstrand Larsen, Kim
Gyorgy, Andras
H
Hao, Jianye
Haxthausen, Anne E.
Hayes, Ian J.
Hiet, Guillaume
Huang, Kai
Huang, Zhenqi
I
Iraci, Grant
J
Jia, Yifan
K
Kaestner, Daniel
Katoen, Joost-Pieter
Khanna, Dhriti
Krishnamurthi, Shriram
Kupferman, Orna
L
Laneve, Cosimo
Lecomte, Thierry
Legay, Axel
Letan, Thomas
Lin, Shang-Wei
Liu, Shuang
Liu, Yang
Lluch Lafuente, Alberto
Lorber, Florian
Lowe, Gavin
Lv, Yiqi
M
Markey, Nicolas
Mauborgne, Laurent
McIver, Annabelle
Meinicke, Larissa
Menghi, Claudio
Mitra, Sayan
Mo, Man Yue
Moscato, Mariano
Munoz, Cesar
N
Narkawicz, Anthony
Nellen, Johanna
Nelson, Tim
Nielsen, Brian
Nowotka, Dirk
P
Panchekha, Pavel
Pardo, Raúl
Pecheur, Charles
Pelliccione, Patrizio
Petrenko, Alexandre
Platzer, André
Porncharoenwase, Sorawee
Poulsen, Danny Bøgsted
Purandare, Rahul
Q
Qin, Shengchao
R
Rambow, Thomas
Reynier, Pierre-Alain
Rodríguez, César
Rubio, Albert
Ruchkin, Ivan
Ruess, Harald
Régis-Gianas, Yann
S
Sammartino, Matteo
Sanan, David
Sanchez, Cesar
Schmerl, Bradley
Schneider, Gerardo
Schulze, Uwe
Sharma, Subodh
Silva, Alexandra
Smith, Graeme
Sogokon, Andrew
Steffen, Martin
Stojic, Ivan
Stolz, Volker
Sun, Jun
Sunshine, Joshua
T
Tan, Yong Kiam
Tatlock, Zachary
Ter Beek, Maurice H.
Titolo, Laura
Tiu, Alwen
Tonetta, Stefano
Traonouez, Louis-Marie
Tumova, Jana
V
Vandin, Andrea
W
Waez, Md Tawhid Bin
Wang, Jingyi
Wijs, Anton
X
Xu, Zhiwu
Y
Yamagata, Yoriyuki
Yan, Rongjie
Yang, Junjie
Z
Zhang, Fan
Zhang, Fuyuan
Zhao, Yongwang
Zhu, Di
Á
Ábrahám, Erika