FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
IJCAR PROCEEDINGS 9TH IJCAR, 2018: AUTHOR INDEX
A
Abraham, Erika
Abrahamsson, Oskar
Acclavio, Matteo
B
Bacchus, Fahiem
Backeman, Peter
Barbosa, Haniel
Barrett, Clark
Bentkamp, Alexander
Benzmüller, Christoph
Biere, Armin
Blanchette, Jasmin Christian
Bodirsky, Manuel
Bromberger, Martin
C
Carral, David
Ciobaca, Stefan
Claessen, Koen
Conchon, Sylvain
Cruanes, Simon
D
Das, Anupam
Dawson, Jeremy
de Lima, Tiago
Declerck, David
Dershowitz, Nachum
Dragoste, Irina
E
Echenim, Mnacho
Egly, Uwe
F
Fazekas, Katalin
Finger, Marcelo
G
Ge, Cunjing
Giese, Martin
Gore, Rajeev
Greiner, Johannes
H
Hannula, Miika
Haslbeck, Maximilian P. L.
Heule, Marijn
Hirokawa, Nao
Ho, Son
Hoenicke, Jochen
Huang, Pei
I
Ignatiev, Alexey
J
Jacobs, Ceriel
Jeannerod, Nicolas
Jovanović, Dejan
K
Kanovich, Max
Katelaan, Jens
Kazakov, Yevgeny
Kiesl, Benjamin
Kohlhase, Michael
Korovin, Konstantin
Kotelnikov, Evgenii
Kovacs, Laura
Krötzsch, Markus
Kumar, Ramana
Kuznetsov, Stepan
L
Lagniez, Jean Marie
Larchey-Wendling, Dominique
Le Berre, Daniel
Lettmann, Michael Peter
Link, Sebastian
Liu, Tian
Lonsing, Florian
Lopez Hernandez, Julio Cesar
Lucanu, Dorel
M
Ma, Feifei
Ma, Xutong
Marques-Silva, Joao
Melquiond, Guillaume
Middeldorp, Aart
Montmirail, Valentin
Moser, Georg
Müller, Dennis
N
Nagele, Julian
Nalon, Cláudia
Narodytska, Nina
Nigam, Vivek
Norrish, Michael
O
O. Myreen, Magnus
P
Pattinson, Dirk
Payet, Etienne
Peltier, Nicolas
Pereira, Filipe
Piotrowski, Bartosz
Platzer, André
Preto, Sandro
R
Rabe, Florian
Rapp, Franziska
Rebola-Pardo, Adrian
Reynolds, Andrew
Rieu-Helft, Raphaël
Robillard, Simon
Rümmer, Philipp
S
Scedrov, Andre
Schindler, Tanja
Schlichtkrull, Anders
Schmidt, Renate A.
Sellami, Yanis
Skočovský, Peter
Smallbone, Nicholas
Spoto, Fausto
Steen, Alexander
Strassburger, Lutz
T
Tan, Yong Kiam
Tinelli, Cesare
Traytel, Dmitriy
Treinen, Ralf
U
Urban, Josef
Urbani, Jacopo
V
Viswanathan, Arjun
Voronkov, Andrei
W
Waldmann, Uwe
Weissenbacher, Georg
Winkler, Sarah
Wintersteiger, Christoph M.
Z
Zaidi, Fatiha
Zeljić, Aleksandar
Zhan, Bohua
Zhang, Hantao
Zhang, Jian
Zhao, Yizheng