|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
WST WST2018PROCEEDINGS: AUTHOR INDEX
B | Blanqui, Frédéric | | D | David, Cristina | | Dershowitz, Nachum | | Divasón, Jose | | Doménech, Jesús J. | | F | Frohn, Florian | | Fuhs, Carsten | | G | Gallagher, John P. | | Genaim, Samir | | Genestier, Guillaume | | Geser, Alfons | | Giesl, Jürgen | | Gupta, Piyush | | H | Hehner, Eric | | Hensel, Jera | | Hofbauer, Dieter | | J | Joosten, Sebastiaan | | Jouannaud, Jean-Pierre | | K | Kop, Cynthia | | Krishnamurthy, Balaji | | Kroening, Daniel | | L | Lucas, Salvador | | M | Merayo Corcoba, Alicia | | S | Schrammel, Peter | | Schöpf, Jonas | | Sternagel, Christian | | T | Thakkar, Aalok | | Thiemann, René | | W | Waldmann, Johannes | | Y | Yamada, Akihisa | |
|
|