SpringerLink (Online service) (25)
Bernardo, Marco (11)
Margaria, Tiziana (11)
Voronkov, Andrei (11)
Steffen, Bernhard (10)
Boer, Frank S. de (9)
Bonsangue, Marcello M. (9)
Barthe, Gilles (8)
Horváth, Zoltán (8)
Butler, Michael (7)
Legay, Axel (7)
Liu, Zhiming (7)
Zsók, Viktória (7)
Baldoni, Matteo (6)
Cavalcanti, Ana (6)
Dastani, Mehdi (6)
Dongarra, Jack (6)
Havelund, Klaus (6)
Liu, Shaoying (6)
Müller, Matthias S. (6)
Peña, Ricardo (6)
Rossi, Francesca (6)
Vardanega, Tullio (6)
Beckert, Bernhard (5)
Chapman, Barbara M. (5)
Chiba, Shigeru (5)
Crnkovic, Ivica (5)
Fages, François (5)
Gibbons, Jeremy (5)
Giese, Holger (5)
Johnsen, Einar Broch (5)
Kordon, Fabrice (5)
Lämmel, Ralf (5)
Maciaszek, Leszek A. (5)
Meyer, Bertrand (5)
Noble, James (5)
Peled, Doron A. (5)
Potapov, Igor (5)
Rashid, Awais (5)
Romanovsky, Alexander (5)
Son, Tran Cao (5)
Torroni, Paolo (5)
Wirsing, Martin (5)
Woodcock, Jim (5)
Ölveczky, Peter Csaba (5)
Aksit, Mehmet (4)
Aldini, Alessandro (4)
Bordini, Rafael H. (4)
Bowen, Jonathan P. (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)
Leucker, Martin (4)
Lopes, Antónia (4)
Majumdar, Rupak (4)
Meseguer, José (4)
Palsberg, Jens (4)
Plasmeijer, Rinus (4)
Roever, Willem-Paul de (4)
Sirjani, Marjan (4)
Stafford, Judith A. (4)
Szyperski, Clemens (4)
Trinder, Phil (4)
Winikoff, Michael (4)
Zdun, Uwe (4)
Bellatreche, Ladjel (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)
Giannakopoulou, Dimitra (3)
Gnesi, Stefania (3)
Gorton, Ian (3)
Gschwind, Thomas (3)
Hermenegildo, Manuel V. (3)
Hung, Dang Van (3)
Hähnle, Reiner (3)
Hölzl, Matthias (3)
Johnson, Ralph (3)
Katoen, Joost-Pieter (3)
Katz, Shmuel (3)
Kienzle, Jörg (3)
Kobayashi, Naoki (3)
Kühne, Thomas (3)
Martí-Oliet, Narciso (3)