SCEAS

The SCEAS System

Co-authors

Ranjit Jhala: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Rupak Majumdar (27 paper(s) during 2002-2010)
Thomas A. Henzinger (18 paper(s) during 2001-2005)
Kenneth L. McMillan (6 paper(s) during 2001-2007)
Dirk Beyer (6 paper(s) during 2004-2005)
Sorin Lerner (5 paper(s) during 2007-2009)
Ming Kawaguchi (4 paper(s) during 2008-2010)
Patrick Maxim Rondon (4 paper(s) during 2008-2010)
Adam J. Chlipala (4 paper(s) during 2004)
Amin Vahdat (3 paper(s) during 2007-2009)
Charles Edwin Killian (3 paper(s) during 2007-2009)
James W. Anderson (3 paper(s) during 2007-2009)
Grégoire Sutre (3 paper(s) during 2002-2003)
Michael Emmi (2 paper(s) during 2007-2009)
Ravi Chugh (2 paper(s) during 2008-2009)
Ryan Braud (2 paper(s) during 2007-2009)
Chris Tucker (2 paper(s) during 2007-2008)
David Shuffelton (2 paper(s) during 2007-2008)
Jan Wen Voung (2 paper(s) during 2007-2008)
Ru-Gang Xu (2 paper(s) during 2006-2007)
Andrey Rybalchenko (1 paper(s) during 2010)
Eddie Kohler (1 paper(s) during 2009)
Jeffrey A. Meister (1 paper(s) during 2009)
Zachary Tatlock (1 paper(s) during 2008)
Brad Calder (1 paper(s) during 2007)
Jeffrey S. Fischer (1 paper(s) during 2007)
Satish Narayanasamy (1 paper(s) during 2007)
Weihaw Chuang (1 paper(s) during 2007)
Jeffrey Fischer (1 paper(s) during 2005)
Krishnendu Chatterjee (1 paper(s) during 2005)
Marco A. A. Sanvido (1 paper(s) during 2003)
Shaz Qadeer (1 paper(s) during 2003)
George C. Necula (1 paper(s) during 2002)
Westley Weimer (1 paper(s) during 2002)
Luca de Alfaro (1 paper(s) during 2001)

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP