|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
VAVAS PROCEEDINGS: AUTHOR INDEX
A | Al-Nuaimi, Mohammed | | Alves, Gleifer | | B | Belta, Calin | | Butler, Michael | | C | Calinescu, Radu | | Cavalcanti, Ana | | D | De Vos, Marina | | Dennis, Louise | | Durazo-Cardenas, Isidro | | F | Fisher, Michael | | Foster, Simon | | G | Giaquinta, Ruben | | Grosu, Radu | | H | Hawes, Nick | | Hoang, Thai Son | | Hoffmann, Ruth | | I | Ireland, Murray | | L | Lacerda, Bruno | | Li, Wei | | Lukina, Anna | | M | Miller, Alice | | Miyazawa, Alvaro | | Myojin, Tomoyuki | | N | Nakagawa, Yuichiroh | | Norman, Gethin | | O | Ogawa, Hideto | | P | Padget, Julian | | Page, Charlie | | Parker, David | | Q | Qu, Hongyang | | R | Ribeiro, Pedro | | S | Sato, Naoto | | Smolka, Scott | | Starr, Andrew | | T | Timmis, Jon | | Tiwari, Ashish | | Tomiyama, Tetsuo | | V | Veres, Sandor | | W | Woodcock, Jim | | Y | Yonbawi, Saud | |
|
|