Author
prev ...
Costa, Ernesto
2
Dasgupta, Dipankar
2
Davis, Lawrence David
2
Dehne, Frank
2
Dershowitz, Nachum
2
Dietzfelbinger, Martin
2
Dorigo, Marco
2
Furuhashi, Takeshi
2
Girolami, Mark
2
Guo, Chengan
2
Herman, Ted
2
Higuchi, Tetsuya
2
Huang, De-Shuang
2
Ibarra, Oscar H
2
Iwata, Masaya
2
Jain, Sanjay
2
Katoen, Joost-Pieter
2
Keijzer, Maarten
2
Kim, Jong-Hwan
2
Kowalczyk, Ryszard
2
Kozen, Dexter
2
Kranzlmüller, Dieter
2
Kurt-Gödel-Gesellschaft
2
Lauria, Mario
2
Li, Zhiyuan
2
Maurel, Denis
2
McKay, Bob
2
Moonis, Ali
2
Nicoud, Jean-Daniel
2
Panda, Dhabaleswar K
2
Peters, James F
2
Petreschi, Rossella
2
PĂun, Gheorghe
2
Raidl, Günther R
2
Reisig, Wolfgang
2
Roli, Fabio
2
Ronald, Edmund
2
Rudolph, Larry
2
Sanchez-Andres, Juan V
2
Shankland, Carron
2
Sipper, Moshe
2
Steinhöfel, Kathleen
2
Stunkel, Craig B
2
Sucar, Luis Enrique
2
Sun, Ron
2
Tagliaferri, Roberto
2
Tan, Honghua
2
Tomassini, Marco
2
Vajapeyam, Sriram
2
Wang, Jun
2
more ...