|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
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 | |
|
|