|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
VEMDP CAMERA-READY ABSTRACTS: AUTHOR INDEX
A | Abate, Alessandro | | Amarioarei, Alexandru | | Andersen, Jakob Lykke | | Anderson, David | | B | Badelt, Stefan | | Barad, Gefry | | Breik, Keenan | | Brim, Luboš | | C | Cardelli, Luca | | Chanseau Saint-Germain, Ken | | Csikász-Nagy, Attila | | Czeizler, Eugen | | D | Diez, Stefan | | Dobre, Ana Maria | | Dunn, Sara-Jane | | E | Erban, Radek | | F | Feret, Jérôme | | Flamm, Christoph | | H | Hajnal, Matej | | Heule, Marijn | | I | Itcus, Corina | | J | Johnson, Robert F. | | K | Korten, Till | | Kugler, Hillel | | Kwiatkowska, Marta | | L | Lakin, Matthew | | Laurenti, Luca | | M | Merkle, Daniel | | Molyneux, Gareth | | N | Nicolau Jr., Dan | | P | Paun, Andrei | | Paun, Mihaela | | Phillips, Andrew | | Plesa, Tomislav | | S | Soloveichik, David | | Spaccasassi, Carlo | | Spencer, Frankie | | Stadler, Peter F. | | T | Thachuk, Chris | | Trandafir, Romica | | Troják, Matej | | Turberfield, Andrew J. | | Tusa, Iris | | W | Wijesuriya, Viraj Brian | | Winfree, Erik | | Z | Zygalakis, Konstantinos | | Č | Červený, Jan | | Š | Šafránek, David | | Šalagovič, Jakub | |
|
|