FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
ADHS FULL PAPERS: AUTHOR INDEX
A
Abate, Alessandro
Abate, Alessandro
Abate, Alessandro
Agha-Mohammadi, Ali-Akbar
Ahmadi, Mohamadreza
Ames, Aaron
Anderson, Patrick
Antunes, Duarte
B
Bak, Stanley
Bakker, Bert G.J.
Bartocci, Ezio
Bourdais, Romain
Brendel, Elliot
Busoniu, Lucian
C
Cassandras, Christos G.
Chapoutot, Alexandre
Chuang, Xue An
Costa, Oswaldo Luiz V.
D
D'Innocenzo, Alessandro
D'Innocenzo, Alessandro
Daafouz, Jamal
Dang, Thao
De Santis, Elena
Defoort, Michael
Defoort, Michael
Di Benedetto, Maria Domenica
Ding, Yuhao
Djemai, Mohamed
Djemai, Mohamed
Djouadi, Seddik
Duggirala, Parasara Sridhar
Dullerud, Geir E.
E
Egerstedt, Magnus
F
Fainekos, Georgios
Fainekos, Georgios
Fanchon, Eric
Fiacchini, Mirko
Foo, Yi Shyh Eddy
Forets, Marcelo
Fribourg, Laurent
G
Ghosh, Shromona
Girard, Antoine
Girard, Antoine
Girard, Antoine
Girard, Antoine
Gooi, H. B.
Gueguen, Herve
Gómez-Gutiérrez, David
H
Hasuo, Ichiro
Heemels, Maurice
Hencey, Brandon
Houshmand, Arian
Hoxha, Bardh
J
Jagtap, Pushpak
Jain, Achin
Jha, Susmit
Johnson, Taylor T
Johnson, Taylor T
Jungers, Raphaël M.
Jungers, Raphaël M.
K
Kolechkina, Alla G.
L
Laleg-Kirati, Taous-Meriem
Lasaulce, Samson
Lauret, Menno
Luo, Adriel
M
Ma, Hao
Magron, Victor
Maier, Jürgen
Majumdar, Rupak
Mangharam, Rahul
Mazo Jr., Manuel
Meng, Yu
Mitchell, Ian M.
Mitra, Sayan
Morarescu, Irinel Constantin
Murray, Richard M.
N
Nilsson, Petter
Nilsson, Petter
O
Ozay, Necmiye
Ozay, Necmiye
Ozay, Necmiye
P
Patil, Bhagyesh
Platzer, Andre
Pola, Giordano
Postoyan, Romain
R
Raman, Vasumathi
Ramirez-Trevino, Antonio
Rohan, Thakker
Roohi, Nima
S
Sampath, Mohasha Isuru
Sanfelice, Ricardo
Sangiovanni-Vincentelli, Alberto
Sankaranarayanan, Sriram
Saoud, Adnane
Schmid, Ulrich
Seatzu, Carla
Sedwards, Sean
Seshia, Sanjit
Soudjani, Sadegh
Soudjani, Sadegh
T
Tabuada, Paulo
Tiwari, Ashish
Topcu, Ufuk
Trenn, Stephan
V
Vacher, Jonathan
Varma, Vineeth Satheeskumar
Varma, Vineeth Satheeskumar
Vasile, Cristian-Ioan
Verdier, Cees
Viswanathan, Mahesh
W
Wang, Yu
West, Matthew
Wheatley, Jack
Wirsen, Andreas
Wisniewski, Rafal
X
Xiang, Weiming
Y
Yong, Sze Zheng
Yong, Sze Zheng
Z
Zamani, Majid
Zamani, Majid