|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
FOMLAS2022 CAMERAREADY: AUTHOR INDEX
A | Amir, Guy | | Arnaboldi, Luca | | Atkey, Robert | | B | Barrett, Clark | | Bensalem, Saddek | | Bessa, Iury | | C | Casadio, Marco | | Cheng, Chih-Hong | | Cordeiro, Lucas C. | | D | Daggitt, Matthew | | Daggitt, Matthew | | Desmartin, Remi | | F | Fredrikson, Matt | | Fromherz, Aymeric | | G | Gopinath, Divya | | H | Hasuo, Ichiro | | Huang, Xiaowei | | I | Isac, Omri | | K | Katsaros, Panagiotis | | Katz, Guy | | Kienitz, Daniel | | Kokke, Wen | | Komendantskaya, Ekaterina | | L | Lan, Jianglin | | Leino, Klas | | Levy, Natan | | Lomuscio, Alessio | | M | Mangal, Ravi | | Manino, Edoardo | | Molin, Adam | | N | Narodytska, Nina | | Nickovic, Dejan | | O | Ostrovsky, Matan | | P | Parno, Bryan | | Passmore, Grant | | Peled, Doron | | Pereira Matos Júnior, João Batista | | Păsăreanu, Corina | | R | Refaeli, Idan | | Rieser, Verena | | S | Schapira, Michael | | Sharif, Mahmood | | Singh, Gagandeep | | Song, Xidan | | Stewart, Robert | | Sun, Youcheng | | U | Usman, Muhammad | | W | Wu, Haoze | | Z | Zelazny, Tom | | Zhang, Min | | Zheng, Yang | | Ś | Ślusarz, Natalia | |
|
|