Cesare Tinelli's Research

Collaborators

I have had so far the good fortune to work with many outstanding researchers and students. Here is an incomplete list of my past and present co-authors and/or collaborators.

Franz Baader	Clark Barrett	Peter Baumgartner
Alexander Fuchs	Vijay Ganesh	Harald Ganzinger
Silvio Ghilardi	Jim Grundy	Joseph Kiniry
Sava Krstić	George Hagen	Mehdi Harandi
Gary Leavens	José Meseguer	Robert Nieuwenhuis
Hans de Nivelle	Albert Oliveras	Silvio Ranise
Christophe Ringeissen	Giovanni Semeraro	Roberto Sebastiani
Sanjit Seshia	Aaron Stump	Calogero Zarba