|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
AVOCS PRE-PROCEEDINGS: AUTHOR INDEX
B | Badonnel, Rémi | | Becker, Jan Steffen | | Bliutze, Simon | | Breza, Michael | | D | Dixon, Clare | | Dross, Claire | | F | Farkas, Rebeka | | Fisher, Michael | | Foliard, Guillaume | | G | Gericke, Moritz | | Grimaud, Gilles | | H | Hajdu, Ákos | | Hym, Samuel | | I | Iosif, Radu | | J | Jomaa, Najes | | Jouanny, Théo | | K | Kamburjan, Eduard | | Krings, Sebastian | | L | Lahmadi, Abdelkader | | Limbrée, Christophe | | M | Madelaine, Eric | | Matias, Lionel | | Matthews, Stuart | | McCann, Julie | | Merz, Stephan | | Mota, Jean-Marc | | Moy, Yannick | | N | Nowak, David | | O | Oepen, Jan-Hendrik | | P | Pecheur, Charles | | Petrasch, Jessica | | Pignard, Pascal | | Q | Qin, Xudong | | S | Schnepf, Nicolas | | Serban, Cristina | | Soulat, Romain | | T | Torrini, Paolo | | Tóth, Tamás | | V | Vörös, András | | W | Webster, Matt | | Z | Zhang, Min | |
|
|