My coauthors:

  • Deepak D'Souza
  • P.S. Thiagarajan
  • Orna Kupferman
  • Moshe Vardi
  • Christof Löding
  • B. Meenakshi
  • Martin Leucker
  • Supratik Mukhopadhyay
  • Rajeev Alur
  • Salvatore La Torre
  • Patricia Bouyer
  • Antoine Petit
  • Wonhong Nam
  • Kousha Etessami
  • Mikhail Bernadsky
  • Pavol Cerny
  • Olivier Serre
  • Swarat Chaudhuri
  • Yang Shaofa
  • Viraj Kumar
  • Mahesh Viswanathan
  • Azadeh Farzan
  • Gennaro Parlato
  • Sruthi Bandhakavi
  • Prithvi Bisht
  • V.N. Venkatakrishnan
    •