The SCEAS System
Navigation Menu

Co-authors


Thomas Wies: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Andreas Podelski (7 paper(s) during 2005-2010)
  2. Viktor Kuncak (5 paper(s) during 2006-2010)
  3. Martin C. Rinard (3 paper(s) during 2006-2007)
  4. Ruzica Piskac (2 paper(s) during 2009-2010)
  5. Karen Zee (2 paper(s) during 2006-2007)
  6. Damien Zufferey (1 paper(s) during 2010)
  7. Philippe Suter (1 paper(s) during 2010)
  8. Thomas A. Henzinger (1 paper(s) during 2010)
  9. Jan W. Voung (1 paper(s) during 2009)
  10. Jochen Hoenicke (1 paper(s) during 2009)
  11. Juan P. Galeotti (1 paper(s) during 2009)
  12. K. Rustan M. Leino (1 paper(s) during 2009)
  13. Martin Schäf (1 paper(s) during 2009)
  14. Mohamed Nassim Seghir (1 paper(s) during 2009)
  15. Shaz Qadeer (1 paper(s) during 2009)
  16. Shuvendu K. Lahiri (1 paper(s) during 2009)
  17. Andrey Rybalchenko (1 paper(s) during 2008)
  18. Byron Cook (1 paper(s) during 2007)
  19. Charles Bouillaguet (1 paper(s) during 2007)
  20. Cristiano Calcagno (1 paper(s) during 2007)
  21. Dino Distefano (1 paper(s) during 2007)
  22. Hongseok Yang (1 paper(s) during 2007)
  23. Josh Berdine (1 paper(s) during 2007)
  24. Peter W. O'Hearn (1 paper(s) during 2007)
  25. Patrick Lam (1 paper(s) during 2006)
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002