Author
SpringerLink (Online service)
47 results
Bergeron, Janick
6 results
Foster, Harry, 1956-
6 results
Bernardo, Marco
5 results
International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy
5 results
Krolnik, Adam
4 results
Kropf, Thomas, 1961-
4 results
Peled, Doron A., 1962-
4 results
Andrews, Jason R.
3 results
Bertacco, Valeria
3 results
Drechsler, Rolf
3 results
Goss, John C.
3 results
Lacey, David (David J.)
3 results
Lavagno, Luciano, 1959-
3 results
Martin, Grant (Grant Edmund)
3 results
NetLibrary, Inc
3 results
Piziali, Andrew
3 results
Roesner, W. (Wolfgang)
3 results
Somenzi, Fabio
3 results
Spear, Chris
3 results
Wile, Bruce
3 results
Alur, Rajeev, 1966-
2 results
Anderson, Thomas, 1950-
2 results
Ball, Thomas, 1965-
2 results
Borrione, Dominique
2 results
Brinksma, Ed
2 results
CAV (Conference) Berlin, Germany)
2 results
CAV (Conference) Boston, MA)
2 results
CAV (Conference) Copenhagen, Denmark)
2 results
CAV (Conference) Edinburgh, Scotland)
2 results
CAV (Conference) Seattle, Wash.)
2 results
CAV (Conference) Trento, Italy)
2 results
CHARME 2005 Saarbrücken, Germany
2 results
Cimatti, Alessandro
2 results
Damm, Werner
2 results
Drucker, Leonard
2 results
Dutt, Nikil
2 results
Ekendahl, Robert
2 results
Etessami, Kousha
2 results
Fujita, Masahiro, 1956-
2 results
Ghosh, Indradeep, 1970-
2 results
Grout, Ian
2 results
Hachtel, Gary D.
2 results
Halbwachs, Nicolas
2 results
Hermanns, Holger, 1967-
2 results
Hillston, J. (Jane), 1963-
2 results
Hunt, Warren A., 1958-
2 results
Iman, Sasan
2 results
Jones, Robert B. (Robert Brent), 1969-
2 results
Joshi, Sunita
2 results
more…