|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
A | Ahmadpanah, Mohammad M. | | Aparicio, Damian | | B | Balliu, Musard | | Ban Kirigin, Tajana | | Bhandary, Prajna | | Bhargavan, Karthikeyan | | Bichhawat, Abhishek | | Biswas, Sayan | | Bruni, Alessandro | | C | Carbone, Marco | | Cortier, Véronique | | Cuellar, Jorge | | D | Degano, Pierpaolo | | Di Pierro, Alessandra | | Do, Quoc Huy | | Dougherty, Daniel | | Dyer, Tristan | | E | Escobar, Santiago | | F | Focardi, Riccardo | | G | Galletta, Letterio | | Gerali, Selene | | Giustolisi, Rosario | | H | Hansen, Rene Rydhof | | Hedin, Daniel | | Hosseyni, Pedram | | I | Incudini, Massimiliano | | J | Jamroga, Wojtek | | Johnson, Dale | | Jung, Kangsoo | | K | Kanovich, Max | | Krishnamurthi, Shriram | | Küsters, Ralf | | L | Luccio, Flaminia | | M | Malladi, Sreekanth | | Meadows, Catherine | | Meseguer, Jose | | Millen, Jonathan | | Mödersheim, Sebastian | | N | Nelson, Tim | | Nicholas, Charles | | Nielson, Flemming | | Nielson, Hanne Riis | | Nigam, Vivek | | O | Olsson, Lars Eric | | P | Palamidessi, Catuscia | | Pavlovic, Dusko | | Pinsky, Sylvan | | R | Rakotonirina, Itsaka | | Ramsdell, John | | Rowe, Paul | | Ryan, Peter Y A | | S | Sabelfeld, Andrei | | Santomauro, Mia | | Sapiña, Julia | | Scedrov, Andre | | Schmitz, Guido | | Schneider, Steve | | Schürmann, Carsten | | Schürmann, Carsten | | Siegel, Abigail | | Stark, Philip | | Syverson, Paul | | T | Talcott, Carolyn | | W | Würtele, Tim | | Z | Zieglar, Edward | |
|
|