Author
SpringerLink (Online service)
EPEW (Workshop)
5
Iacono, Mauro, 1975-
3
Modgil, Sanjay,
3
Oren, Nir,
3
TAFA (Workshop)
3
Voronkov, Andrei, 1959-
3
ASMTA (Conference)
2
Ahrendt, Wolfgang,
2
Ballarini, Paolo,
2
Beckert, Bernhard,
2
Black, Elizabeth (Lecturer in Computer Science)
2
Bubel, Richard,
2
Hähnle, Reiner,
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
2
JELIA (Conference)
2
LPAR (Conference)
2
RuleML+RR (Joint Conference)
2
UCNC (Conference)
2
Ulbrich, Mattias,
2
AILA (Conference)
1
AILA (Conference) Shanghai, China)
1
ASYDE (Workshop)
1
Antonucci, Alessandro,
1
Arbel, Eli,
1
Baader, Franz,
1
Bakhshi, Rena,
1
Barbierato, Enrico,
1
Barbot, Benoît,
1
Benzmüller, Christoph,
1
Bitsch, Friedemann,
1
Björner, Nikolaj
1
Black, Elizabeth,
1
Bloem, Roderick P.,
1
Bonacina, Maria Paola
1
CAV (Conference)
1
CAV (Conference) New York, N.Y.)
1
CIFMA (Workshop)
1
Calvanese, Diego,
1
Castel, Hind,
1
Castel-Taleb, Hind,
1
Cerotti, Davide,
1
Chen, Yixiang, 1961-
1
Cholvy, Laurence,
1
Cleophas, Loek
1
CoSim-CPS (Workshop)
1
DCFS (Workshop)
1
DECSoS (Workshop)
1
Davis, Martin,
1
more ...