Voronkov, Andrei (18)
SpringerLink (Online service) (15)
Liu, Zhiming (12)
Bonsangue, Marcello M. (11)
Margaria, Tiziana (11)
Rozenberg, Grzegorz (11)
Potapov, Igor (10)
Steffen, Bernhard (10)
Bernardo, Marco (9)
Boer, Frank S. de (9)
Dastani, Mehdi (7)
Dix, Jürgen (7)
Koutny, Maciej (7)
Legay, Axel (7)
Leite, João (7)
Woodcock, Jim (7)
Beckert, Bernhard (6)
Bitsch, Friedemann (6)
Fages, François (6)
Graf, Susanne (6)
Havelund, Klaus (6)
Hähnle, Reiner (6)
Johnsen, Einar Broch (6)
Liu, Shaoying (6)
Majumdar, Rupak (6)
Meyer, Bertrand (6)
Ong, Luke (6)
Peña, Ricardo (6)
Reed, Rick (6)
Rensink, Arend (6)
Rossi, Francesca (6)
Salomaa, Arto (6)
Sirjani, Marjan (6)
Ölveczky, Peter Csaba (6)
Aldini, Alessandro (5)
Arbab, Farhad (5)
Baldoni, Matteo (5)
Barthe, Gilles (5)
Bowen, Jonathan P. (5)
Butler, Michael (5)
Crnkovic, Ivica (5)
Duan, Zhenhua (5)
Fiadeiro, José Luiz (5)
Gibbons, Jeremy (5)
Gnesi, Stefania (5)
Gorrieri, Roberto (5)
Governatori, Guido (5)
Horváth, Zoltán (5)
Maciaszek, Leszek A. (5)
Martín-Vide, Carlos (5)
Mayr, Heinrich C. (5)
Meseguer, José (5)
Montanari, Ugo (5)
Núñez, Manuel (5)
Palsberg, Jens (5)
Reussner, Ralf (5)
Son, Tran Cao (5)
Stafford, Judith A. (5)
Torroni, Paolo (5)
Wolff, Burkhart (5)
Zavattaro, Gianluigi (5)
Zsók, Viktória (5)
Aßmann, Uwe (4)
Bouajjani, Ahmed (4)
Bravetti, Mario (4)
Cavalcanti, Ana (4)
Chechik, Marsha (4)
Damiani, Ferruccio (4)
Derrick, John (4)
Dignum, Virginia (4)
Giannakopoulou, Dimitra (4)
Gorton, Ian (4)
Hage, Jurriaan (4)
Heineman, George T. (4)
Higashino, Teruo (4)
Jacko, Julie A. (4)
Karhumäki, Juhani (4)
Kroening, Daniel (4)
Lanese, Ivan (4)
Leucker, Martin (4)
Müller-Olm, Markus (4)
Nikitchenko, Mykola (4)
Paschke, Adrian (4)
Peled, Doron A. (4)
Roever, Willem-Paul de (4)
Roman, Dumitru (4)
Salaün, Gwen (4)
Schoitsch, Erwin (4)
Sokolsky, Oleg (4)
Spivakovsky, Aleksander (4)
Varró, Dániel (4)
Vasconcelos, Wamberto (4)
Veith, Helmut (4)
Wirsing, Martin (4)
Zandron, Claudio (4)
Zeugmann, Thomas (4)
Zholtkevych, Grygoriy (4)
Ábrahám, Erika (4)
Abate, Alessandro (3)
Abdulla, Parosh Aziz (3)