Authors

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
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)