|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SR SR18 PAPERS: AUTHOR INDEX
A | Avni, Guy | | B | Basset, Nicolas | | Belardinelli, Francesco | | Berthon, Raphaël | | Bouyer, Patricia | | C | Chonev, Ventsislav | | D | Di Stasio, Antonio | | F | Fijalkow, Nathanaël | | G | Gardy, Patrick | | Ghani, Neil | | Gutierrez, Julian | | H | Harrenstein, Paul | | Hedges, Jules | | Henzinger, Thomas A. | | J | Jecker, Ismaël | | L | Le Roux, Stephane | | Lomuscio, Alessio | | M | Markey, Nicolas | | Maubert, Bastien | | Murano, Aniello | | P | Pauly, Arno | | R | Raskin, Jean-Francois | | Rubin, Sasha | | S | Steeples, Thomas | | V | Van Den Bogaard, Marie | | Vardi, Moshe | | W | Winschel, Viktor | | Wooldridge, Michael | | Z | Zahn, Philipp | |
|
|