SpringerLink (Online service) (25)
Margaria, Tiziana (15)
Steffen, Bernhard (14)
Voronkov, Andrei (12)
Bernardo, Marco (11)
Boer, Frank S. de (9)
Bonsangue, Marcello M. (9)
Barthe, Gilles (8)
Butler, Michael (8)
Horváth, Zoltán (8)
Liu, Zhiming (8)
Havelund, Klaus (7)
Legay, Axel (7)
Zsók, Viktória (7)
Baldoni, Matteo (6)
Cavalcanti, Ana (6)
Dastani, Mehdi (6)
Dongarra, Jack (6)
Johnsen, Einar Broch (6)
Liu, Shaoying (6)
Maciaszek, Leszek A. (6)
Müller, Matthias S. (6)
Peña, Ricardo (6)
Rossi, Francesca (6)
Vardanega, Tullio (6)
Ölveczky, Peter Csaba (6)
Beckert, Bernhard (5)
Bowen, Jonathan P. (5)
Chapman, Barbara M. (5)
Chiba, Shigeru (5)
Crnkovic, Ivica (5)
Fages, François (5)
Gibbons, Jeremy (5)
Giese, Holger (5)
Kordon, Fabrice (5)
Leucker, Martin (5)
Lämmel, Ralf (5)
Meyer, Bertrand (5)
Noble, James (5)
Peled, Doron A. (5)
Potapov, Igor (5)
Rashid, Awais (5)
Romanovsky, Alexander (5)
Schaefer, Ina (5)
Sirjani, Marjan (5)
Son, Tran Cao (5)
Torroni, Paolo (5)
Wirsing, Martin (5)
Wolff, Burkhart (5)
Woodcock, Jim (5)
Aksit, Mehmet (4)
Aldini, Alessandro (4)
Bellatreche, Ladjel (4)
Bordini, Rafael H. (4)
Cordeiro, José (4)
Damiani, Ferruccio (4)
Duan, Zhenhua (4)
Gorrieri, Roberto (4)
Graf, Susanne (4)
Hage, Jurriaan (4)
Hanus, Michael (4)
Heineman, George T. (4)
Huisman, Marieke (4)
Jones, Cliff B. (4)
Leavens, Gary T. (4)
Leite, João (4)
Lopes, Antónia (4)
Majumdar, Rupak (4)
Meseguer, José (4)
Müller-Olm, Markus (4)
Palsberg, Jens (4)
Plasmeijer, Rinus (4)
Roever, Willem-Paul de (4)
Salaün, Gwen (4)
Selic, Bran (4)
Stafford, Judith A. (4)
Szyperski, Clemens (4)
Taentzer, Gabriele (4)
Trinder, Phil (4)
Winikoff, Michael (4)
Zdun, Uwe (4)
Baier, Christel (3)
Bensalem, Saddek (3)
Bitsch, Friedemann (3)
Butterfield, Andrew (3)
Chechik, Marsha (3)
Cook, Byron (3)
Dingel, Juergen (3)
Dix, Jürgen (3)
Eekelen, Marko van (3)
Filipe, Joaquim (3)
France, Robert B. (3)
Furia, Carlo A. (3)
Giannakopoulou, Dimitra (3)
Gnesi, Stefania (3)
Gorton, Ian (3)
Hermenegildo, Manuel V. (3)
Hung, Dang Van (3)
Hähnle, Reiner (3)
Johnson, Ralph (3)