|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
LINEARITY/TLLA PRE-PROCEEDINGS: AUTHOR INDEX
A | Alves, Sandra | | C | Cervesato, Iliano | | D | Dabrowski, Yoann | | de Paiva, Valeria | | E | Eades Iii, Harley | | G | Galal, Zeinab | | Guerrieri, Giulio | | H | Hasegawa, Masahito | | J | Jiang, Jiaming | | K | Kerjean, Marie | | Khan, Sharjeel | | Kokke, Wen | | L | Lescanne, Pierre | | Luo, Zhaohui | | M | Maieli, Roberto | | Manzonetto, Giulio | | Montesi, Fabrizio | | N | Nguyễn, Lê Thành Dũng | | O | Olarte, Carlos | | Olimpieri, Federico | | P | Paolini, Luca | | Pellissier, Luc | | Peressotti, Marco | | Pimentel, Elaine | | Pistone, Paolo | | R | Reis, Giselle | | Roversi, Luca | | S | Seiller, Thomas | | V | Vaux Auclair, Lionel | | Z | Zorzi, Margherita | | Zunic, Dragisa | |
|
|