|
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 | |
|
|