Author
Nguyen, Ngoc Thanh
3
Deb, Kalyanmoy
2
Girolami, Mark
2
Huang, De-Shuang
2
Kowalczyk, Ryszard
2
Kurt-Gödel-Gesellschaft
2
Tan, Honghua
2
Zhou, Mark
2
Alvarez, José R.
1
Anjomshoaa, Amin
1
Baier, Christel
1
Balasubramaniam, P.
1
Banerjee, Arunava
1
Banzhaf, Wolfgang
1
Beyer, Hans-Georg
1
Biswas, Kanad Kishore
1
Brauer, Wilfried
1
Börger, E.
1
Calude, Cristian S.
1
Cantú-Paz, Erick
1
Carmo Nicoletti, Maria
1
Cortadella, Jordi
1
Davis, Lawrence David
1
Deng, Hepu
1
Dershowitz, Nachum
1
Dietzfelbinger, Martin
1
Dorronsoro, Jose R.
1
Dua, Sumeet
1
Ehrig, Hartmut
1
Foster, James A.
1
Gupta, Phalguni
1
Hameurlain, Abdelkader
1
Hasenjaeger, G.
1
Haverkort, Boudewijn R.
1
Henderson-Sellers, Brian
1
Hermanns, Holger
1
Heutte, Laurent
1
Hruschka, Estevam Rafael
1
Jaeger, Dieter
1
Jung, Ranu
1
Karhumäki, Juhani
1
Katoen, Joost-Pieter
1
Knuth, Donald E.
1
Kozen, Dexter
1
Kunze, Matthias
1
Küng, Josef
1
Lamers, Maarten H.
1
Lanzi, Pier Luca
1
Lei, Jingsheng
1
McGinnity, Martin
1
more ...