|
| Abad, P. (1) | Abaffy, M. (1) | Ábrahám, E. (8) |
| Abramsky, S. (1) | Abriola, S. (8) | Acosta, A. (1) |
| Aguirre, N. (22) | Alrajeh, D. (2) | Alvim, M. (4) |
| Andova, S. (2) | Andrés, M. (6) | Angelopoulos, K. (1) |
| Arbab, F. (1) | Arcuri, A. (3) | Areces, C. (19) |
| Arnold, F. (2) | Asteasuain, F. (1) | Babiak, T. (1) |
| Baeten, J. (2) | Baier, C. (22) | Baldan, P. (1) |
| Bartoletti, M. (1) | Barua, G. (1) | Basile, D. (1) |
| Basin, D. (1) | Becker, B. (6) | Beek, D. (3) |
| Belta, C. (1) | Beltrán, M. (1) | Bendersky, P. (3) |
| Bengolea, V. (4) | Bensalem, S. (1) | Berg, F. (1) |
| Berrang, P. (1) | Bertrand, N. (2) | Bhargavan, K. (1) |
| Biondi, F. (4) | Bjørner, N. (1) | Black, A. (1) |
| Blackburn, P (1) | Blahoudek, F. (1) | Bocchi, L. (3) |
| Boer, F. (1) | Bogdoll, J. (2) | Bonigo, G. (1) |
| Bordenabe, N. (5) | Bortolussi, L. (1) | Bosanský, B. (1) |
| Bosnacki, D. (1) | Bouyer, P. (1) | Bozga, M. (1) |
| Bozzelli, L (2) | Braberman, V. (16) | Bradley, J. (1) |
| Braitling, B. (2) | Brandán Briones, L. (1) | Brat, G. (1) |
| Braun, C. (1) | Bravetti, M. (1) | Brázdil, T. (3) |
| Breugel, F. (1) | Briand, L. (1) | Brihaye, T. (1) |
| Bruni, C. (1) | Bruni, R. (6) | Brusò, M. (2) |
| Bruttomesso, R. (1) | Budde, C. (2) | Bustos, F (1) |
| Butkova, Y. (1) | Carreiro, F. (2) | Casale, G. (1) |
| Cassano, V. (1) | Castaño, R. (2) | Castro, P. (11) |
| Catuscia Palamidessi, M. (1) | Chakraborty, S. (3) | Chari, G. (1) |
| Chatzikokolakis, K. (17) | Cherkasova, L. (1) | Chicote, M. (1) |
| Chocron, P. (5) | Churchill, M. (1) | Ciolek, D. (2) |
| Corin, R. (2) | Corzilius, F. (1) | Cousineau, D. (1) |
| Crafa, S. (1) | Cranen, S. (1) | Cristofaro, E. (2) |
| Czemerinski, H. (2) | D'Argenio, P. (16) | D'Ippolito, N. (11) |
| D'Souza, D. (2) | Daum, M. (4) | David, A. (2) |
| De Nicola, R (1) | Degano, P. (2) | Degiovanni, R. (4) |
| Déharbe, D. (4) | Dehnert, C. (2) | Delahaye, B. (1) |
| Demasi, R. (3) | Demri, S. (2) | Derrick, J. (2) |
| Descotte, M. (5) | Ditmarsch, H. (6) | Doligez, D. (2) |
| Dominguez, M (1) | Dubslaff, C. (9) | Ducasse, S. (1) |
| Duret-Lutz, A. (1) | Eisentraut, C. (4) | ElSalamouny, E. (2) |
| Engel, B. (3) | Falaschi, M. (1) | Felty, A. (1) |
| Ferrari, G. (1) | Ferrer Fioriti, L. (6) | Fervari, R. (8) |
| Fiadeiro, J. (1) | Figueira, D. (2) | Figueira, S. (14) |
| Filieri, A. (1) | Finkbeiner, B. (1) | Fitzgerald, J. (2) |
| Focardi, R. (1) | Fokkink, W. (3) | Fokkink, W. (2) |
| Fontaine, P. (12) | Forejt, V. (2) | Fournet, C. (1) |
| Fraser, G. (3) | French, T (1) | Frias, M. (14) |
| Fribourg, L. (1) | Galeotti, J. (13) | Garavel, H. (1) |
| Garbervetsky, D. (10) | Gazeau, I. (1) | Gebler, D. (7) |
| Geldenhuys, J. (2) | Georgievska, S. (2) | Gerostathopoulos, I. (1) |
| Ghilardi, S. (1) | Ghosh, S (1) | Giannakopoulou, D. (1) |
| Gimenez, M. (1) | Giménez, M. (1) | Giro, S. (1) |
| Gnesi, S. (2) | Godskesen, J. (6) | Goriın, D. (1) |
| Gorın, D. (1) | Gorla, D. (1) | Grabe, I. (1) |
| Graf{-}Brill, A. (1) | Gramlich, B. (1) | Gretz, F. (1) |
| Griggio, A. (1) | Grimson, R. (2) | Größer, M. (1) |
| Guck, D. (5) | Guyot, Y. (2) | Hahn, E. (7) |
| Hales, J (1) | Hamadou, S. (1) | Han, T. (1) |
| Härtig, H. (2) | Hartmanns, A. (15) | Hartog, J. (3) |
| Hashemi, V. (3) | Hatefi, H. (10) | Havelund, K. (1) |
| Haverkort, B. (2) | Heijden, M. (2) | Hempel, A. (1) |
| Hennicker, R (1) | Hermanns, H. (46) | Hoek, A. (1) |
| Hoffmann, G (5) | Hoffmann, H. (1) | Hoffmann., J (1) |
| Holzmann, G. (1) | Hooman, J. (1) | Huertas (1) |
| Huisman, R. (2) | Hulst, A. (4) | Hulst, A. (1) |
| Hym, S. (2) | Iida, S. (1) | Infante-López, G (1) |
| Italiano, G. (1) | Ivancic, F. (1) | Jafari, A. (1) |
| Jalote, P. (1) | Jamshidi, P. (1) | Jansen, D. (2) |
| Jansen, N. (7) | Jaoua, A. (1) | Jobstmann, B. (1) |
| Jones, C. (1) | Joshi, K. (3) | Joshi, R. (1) |
| Jurdzinski, M. (1) | Jøsang, A. (1) | Kalyvianaki, E. (1) |
| Kaminski, B. (1) | Kampmann, A. (1) | Kapur, D. (1) |
| Kashefi, E. (1) | Katoen, J. (29) | Kavitha, T. (2) |
| Kawamoto, Y. (1) | Khalek, S. (1) | Khamespanah, E. (1) |
| Khurshid, S. (4) | Kilmurray, C. (3) | Kim, S. (1) |
| Klein, C. (1) | Klein, J. (11) | Klüppelholz, S. (15) |
| Knight, S. (2) | Knottenbelt, W. (1) | Kohlenbach, U. (1) |
| Köpf, B. (1) | Korenciak, L. (2) | Krähmann, D. (1) |
| Kramer, J. (6) | Krämer, J. (1) | Krčál, J. (12) |
| Krcál, P. (1) | Kress-Gazit, H. (1) | Křetinský, J. (1) |
| Kret\'ınský, J. (2) | Křet{\'ınsk{\`y}, J. (1) | Kret{\'ı}nský, J. (1) |
| Kriener, J. (1) | Krikava, F. (1) | Krka, I. (1) |
| Kucera, A. (1) | Lakhneck, Y. (1) | Lamport, L. (2) |
| Larsen, K. (2) | Le Berre, D. (1) | Lee, M. (8) |
| Legay, A. (9) | Leucker, M. (1) | Leuschel, M. (2) |
| Leuschner, L. (1) | Li, N. (1) | Libal, T. (1) |
| Libkin, L. (1) | López Pombo, C. (13) | Luttik, B. (1) |
| Lutz, C. (1) | Magee, J. (2) | Maggio, M. (1) |
| Maibaum, T S E (1) | Maibaum, T. (1) | Maibaum, T. (11) |
| Malacaria, P. (3) | Manzano, M (1) | Manzano, F. (1) |
| Märcker, S. (5) | Marinov, D. (2) | Markovski, J. (16) |
| Massink, M. (1) | Matteucci, I. (1) | Mazure, B. (1) |
| McIver, A. (2) | Medvidovic, N. (1) | Melgratti, H. (12) |
| Menet, Q. (1) | Mera, S. (1) | Méry, D. (1) |
| Merz, S. (6) | Meseguer, J. (1) | Middeldorp, A. (1) |
| Mili, A. (1) | Miller, D. (2) | Millstein, T. (1) |
| Misailovic, S. (1) | Mislove, M. (1) | Montanari, U. (6) |
| Morgan, C. (1) | Mortel-Fronczak, J M (1) | Mortel{-}Fronczak, J. (2) |
| Moscato, M. (4) | Mosses, P. (1) | Mousavi, M. (1) |
| Müller, D. (2) | Musa, E. (3) | Muscholl, A. (1) |
| Myers, A. (1) | Nadales Agut, D. (1) | Natarajan, R. (1) |
| Neuhäußer, M. (1) | Nicola, R. (1) | Nielsen, B. (2) |
| Nielson, F. (1) | Nies, G. (1) | Norman, G. (1) |
| Novaira, M. (2) | Novotný, P. (1) | Ogata, K. (1) |
| Olarte, C. (1) | Orbe, E. (6) | Ouyang, C. (1) |
| Palamidessi, C. (31) | Panangaden, P. (2) | Papadopoulos, A. (1) |
| Parker, D. (2) | Parrino, B. (2) | Păsăreanu, C. (1) |
| Pathak, S. (1) | Patra, M. (1) | Pavese, E. (1) |
| Pedersen, M. (1) | Peled, D. (1) | Pelozo, S. (1) |
| Petrocchi, M. (1) | Pighizzini, G. (1) | Pihlajasaari, P. (1) |
| Pinchinat, S (2) | Piterman, N. (8) | Ponce de León, H. (1) |
| Ponzio, P. (2) | Poyias, K. (1) | Pu, G. (1) |
| Pulungan, R. (2) | Queiroz, R. (1) | Radhakrishnan, J. (2) |
| Raman, V. (1) | Ranise, S. (1) | Ray, S. (1) |
| Ray, S. (1) | Reeves, S. (2) | Regis, G. (3) |
| Rehák, V. (4) | Remke, A. (2) | Reniers, M. (13) |
| Ribeiro, L. (1) | Ricci, N. (3) | Riccobene, E. (2) |
| Ricketts, D. (1) | Ringeissen, C. (6) | Rooda, J. (2) |
| Rosenstiel, W. (1) | Rosner, N. (6) | Rueda, C. (1) |
| Ruijters, E. (1) | Rungta, N. (1) | Russo, A (1) |
| Rutten, J. (1) | Ryan, M. (2) | Salaün, G. (1) |
| Samarati, P. (1) | Sánchez Terraf, P. (3) | Sanders, W. (1) |
| Sannella, D. (1) | Sardiña, S. (1) | Sassone, V. (1) |
| Sattler, U. (2) | Scalas, A. (1) | Schmidt, R. (2) |
| Schubert, J. (1) | Schuster, J. (2) | Schwarzentruber, F. (3) |
| Scilingo, G. (2) | Sedwards, S. (2) | Senno, G. (2) |
| Shao, Z. (1) | Sharifloo, A. (1) | Sher, F. (4) |
| Shevtsov, S. (1) | Sibay, G. (2) | Siddiqui, J. (1) |
| Siegle, M. (3) | Sirjani, M. (2) | Smith, G. (3) |
| Smolka, S. (1) | Sobocinski, P. (1) | Sofronie-Stokkermans, V. (1) |
| Song, L. (8) | Stasenko, I. (1) | Steffen, M. (1) |
| Stoelinga, M. (6) | Strejček, J. (1) | Strelec, M. (2) |
| Stronati, M. (5) | Sun, J. (1) | Sykes, D. (4) |
| Tutu, I. (1) | Tacchella, A. (1) | Tapicer, J. (2) |
| Tews, H. (3) | Theunissen, R. (1) | Thiele, L. (1) |
| Timmer, M. (5) | Tinelli, C. (1) | Traonouez, L. (3) |
| Tretmans, J. (1) | Tribastone, M. (1) | Tuosto, E. (6) |
| Turrini, A. (8) | Uchitel, S. (15) | Ujma, M. (1) |
| Ummels, M. (1) | Valencia, D (1) | Valencia, F. (1) |
| Van Lamsweerde, A (1) | Vanzetto, H. (3) | Veeningen, M. (3) |
| Venet, A. (1) | Verbrugge, R (1) | Villar, F. (1) |
| Vink, E. (3) | Vissani, I. (4) | Visser, W. (2) |
| Vogel, T. (1) | Voisin, L. (2) | Volk, M. (1) |
| Völp, M. (3) | Voronkov, A. (1) | Vorpahl, A. (1) |
| Wachter, B. (1) | Wang, Y (1) | Wasowski, A. (5) |
| Weger, B. (1) | Weidenbach, C. (2) | Wijs, A. (1) |
| Wiklicky, H. (2) | Willemse, T. (1) | Wimmer, R. (8) |
| Wolovick, N. (2) | Wright, M. (2) | Wunderlich, S. (3) |
| Xu, L. (2) | Yang, M. (1) | Yovine, S. (2) |
| Yung, M. (1) | Zajzon, B. (1) | Zalinescu, E. (1) |
| Zannone, N. (3) | Zavattaro, G. (1) | Zeller, A. (1) |
| Zhang, L. (13) | Zoppi, E. (2) | Zunino, R. (1) |
