Author
ETAPS (Conference)
SpringerLink (Online service)
107
TACAS (Conference)
26
FOSSACS (Conference)
18
European Symposium on Programming
17
FASE (Conference)
12
CC (Conference)
10
POST (Conference)
6
Workshop on Coalgebraic Methods in Computer Science
5
Huisman, Marieke,
4
WRLA (Conference)
4
Beyer, Dirk, 1972-
3
Legay, Axel,
3
TACAS (Conference) Prague, Czech Republic)
3
Baier, Christel,
2
Biere, Armin,
2
Fisman, Dana
2
Groote, J. F. 1965-
2
Larsen, K. G. 1957-
2
Margaria-Steffen, Tiziana, 1964-
2
Parker, David,
2
Roşu, Grigore
2
Sankaranarayanan, Sriram
2
Schröder, Lutz
2
Sharygina, Natasha
2
SpringerLink (Online Service)
2
TACAS (Conference) Dublin, Ireland)
2
TACAS (Conference) Munich, Germany)
2
TACAS (Conference) Online)
2
TACAS (Conference) Paris, France)
2
TACAS (Conference) Thessalonikē, Greece)
2
TACAS (Conference) Uppsala, Sweden)
2
Vojnar, Tomáš,
2
Zhang, Lijun, 1979-
2
Aalst, Wil van der,
1
Abadi, Martín,
1
Abdulla, Parosh Aziz
1
Aceto, Luca
1
Ahmed, Amal,
1
Amadio, Roberto M.
1
Anna Ingólfsdóttir, 1952-
1
Assmann, Uwe, 1963-
1
Baresi, Luciano
1
Barthe, Gilles, 1967-
1
Basin, David
1
Bauer, Lujo,
1
Bensalem, Saddek,
1
Birkedal, Lars
1
Bodik, Rastislav
1
Bojańczyk, Mikołaj,
1
more ...