Roberto Sebastiani - Collaborators
The following people are co-authors of my papers. The links or the
affiliations may be not up-to-date.
- Gilles Audemard University of Provence (Marseille), France.
- Clark Barrett
at New York University, USA.
- Piergiorgio Bertoli at ITC-IRST, Trento
- Dirk
Beyer at University of Passau, DE.
- Zhengbing Bian
at D-Wave System Inc., Burnaby, Canada.
- Armin Biere
at Johannes Kepler
University, Linz, Austria
- Marco Bozzano at ITC-IRST, Trento
- Roberto
Bruttomesso at University of Lugano.
- Alan Bundy
at University of Edinbourgh, UK (Herbrand Award 2007)
- Evellin
Cardoso at DISI, Trento.
- Angelo Chiappini at Ansaldo Segnalamento Ferroviario, Genova, Italy.
- Fabian Chudak
at D-Wave System Inc., Burnaby, Canada.
- Edmund
Clarke at CMU, USA (Turing Award 2007,
Herbrand Award 2008)
- Alessandro Cimatti at ITC-IRST, Trento
- Gabriele Colombini at DISI, Universita` di
Trento, Italy.
- Francesco Contaldo at DISI, Universita` di
Trento, Italy.
- Byron Cook at
Microsoft Research, Cambridge, UK.
- James
Davenport at University of Bath, UK.
- Mauro DiManzo at DIST, Universita` di Genova.
- Matthew England at Coventry University, UK.
- Anders Franzen at ITC-IRST, Trento
- Paolo Giorgini at DISI, Universita` di Trento.
- Enrico Giunchiglia at DIST, Universita` di Genova.
- Fausto
Giunchiglia at DISI, Universita` di Trento
- Alberto
Griggio at DISI, Universita` di Trento
- Volker Haarslev at Concordia University,
Montreal, Canada
- Ziyad Hanna at Intel Israel Design Center, Haifa, Israel.
- Ahmed Irfan at FBK, Trento, Italy.
- Jennifer Horkoff at Chalmers University, Sweden
- Ian Horrocks at University of Manchester, UK.
- Tommi Junttila at Helsinki University of
Technology, Finland.
- Zurab Kasidashvili at Intel Israel Design Center, Haifa, Israel.
- Erkan Keremoglu at Simon Fraser
University, CA.
- Samuel Kolb at KU Leuven, Be.
- Artur Kornilowicz at University of Byalistok, Poland.
- Thi Thieu Hoa Le at DISI, Universita` di Trento.
- Steve Linton at University of
St. Andrews, Scotland, UK.
- William MacReady
at D-Wave System Inc., Burnaby, Canada.
- Alessandro
Massarotto at DIST, Universita` di Genova.
- David McAllester at AT\&T Labs, NJ, USA.
- Sibylle Moehle Rotondi
at Johannes Kepler
University, Linz, Austria
- John
Mylopoulos at University of Toronto, Canada.
- Alexander Nadel at Intel Israel Design Center, Haifa, Israel.
- Mai Chi Nguyen at DISI, University of Trento, Italy.
- Eleonora Nicchiarelli at DISI, Universita` di Trento.
- Amit Palti at Intel Israel Design Center, Haifa, Israel.
- Andrea Passerini at DISI, University of Trento, Italy.
- Peter F. Patel-Schneider at Bell Labs, NJ, USA.
- Quoc-Sang
Phan Queen Mary, U. of London
- Pier Luigi Pieraccini at Ansaldo Segnalamento Ferroviario, Genova, Italy.
- Marco Pistore at ITC-IRST, Trento
- Carmen Porzia at Ansaldo Segnalamento Ferroviario, Genova, Italy.
- Luc De Raedt at KU Leuven, Be.
- Silvio Ranise at LORIA and INRIA-Lorraine, Villers les Nancy, France.
- Jeremy Ridgeway at DISI, Universita` di Trento.
- Peter van Rossum at Radboud University Nijmegen, The Netherlands.
- Gianni Rotondo at Ansaldo Segnalamento Ferroviario, Genova, Italy.
- Marco Roveri at ITC-IRST, Trento
- Aidan Roy
at D-Wave System Inc., Burnaby, Canada.
- Alessandro Santuari at Universita` di Trento.
- Bastian Joost Schaafsma at DISI, Universita` di Trento.
- Stephan
Schulz at ITC-IRST, Trento
- Sanjit Seshia,at UC Berkeley, USA
- Eli Singerman, at Intel Israel Design Center, Haifa, Israel
- Francesco Sommavilla at DISI, Universita` di
Trento, Italy.
- Cristian Stenico at DISI, Universita` di Trento
- Armando
Tacchella at DIST, Universita` di Genova.
- Stefano Teso at DISI, University of Trento, Italy.
- Cesare
Tinelli at University of Iowa, USA.
- Alessandro Tomasi at DISI, Universita` di Trento.
- Silvia Tomasi at DISI, Universita` di Trento.
- Stefano Tonetta at DISI, Universita` di Trento.
- Paolo Traverso at ITC-IRST, Trento
- Patrick Trentin at DISI, University of Trento, Italy.
- Duy Tin Truong at DISI, Universita` di Trento.
- Moshe
Vardi at Rice University, TX, USA
(Goedel Prize 2000)
- Michele Vescovi at DISI, Universita` di Trento.
- Stefano Varotti at DISI, Universita` di Trento.
- Adolfo
Villafiorita at ITC-IRST, Trento
- Toby Walsh at University of Edinbourgh, UK
- Pedro Zuidberg Dos Martires at KU
Leuven, Be.
Mathematicians' folklore: my Erdös
number is at most 3 (as far as I know):
Erdös -> J.H. Spencer -> M.Y. Vardi -> R.Sebastiani.
Back to
Roberto Sebastiani's home page.