Co-authors

1. Thomas A. Henzinger (16 paper(s) during 2001-2009)
2. Ana Sokolova (4 paper(s) during 2008-2010)
3. Silviu S. Craciunas (3 paper(s) during 2008-2010)
4. David F. Bacon (3 paper(s) during 2005-2009)
5. Harald Röck (3 paper(s) during 2007-2009)
6. Arkadeb Ghosal (3 paper(s) during 2004-2008)
7. Daniel T. Iercan (3 paper(s) during 2006-2008)
8. Marco A. A. Sanvido (3 paper(s) during 2002-2005)
9. Slobodan Matic (3 paper(s) during 2002-2005)
10. Benjamin Horowitz (3 paper(s) during 2001-2003)
11. Hannes Payer (2 paper(s) during 2008-2009)
12. Joshua S. Auerbach (2 paper(s) during 2007-2009)
13. Alberto L. Sangiovanni-Vincentelli (2 paper(s) during 2006-2008)
14. V. T. Rajan (2 paper(s) during 2005-2007)
15. Rupak Majumdar (2 paper(s) during 2001-2002)
16. Eduardo R. B. Marques (1 paper(s) during 2009)
17. Eloi Pereira (1 paper(s) during 2009)
18. J. Karl Hedrick (1 paper(s) during 2009)
19. Jerry Jariyasunant (1 paper(s) during 2009)
20. Joshua Love (1 paper(s) during 2009)
21. Marco Zennaro (1 paper(s) during 2009)
22. Raja Sengupta (1 paper(s) during 2009)
23. Claudio Pinello (1 paper(s) during 2008)
24. Horst Stadler (1 paper(s) during 2008)
25. Krishnendu Chatterjee (1 paper(s) during 2008)
26. Robert Staudinger (1 paper(s) during 2008)
27. Rainer Trummer (1 paper(s) during 2007)
28. Reinhard Wilhelm (1 paper(s) during 2007)
29. Daniel Spoonhower (1 paper(s) during 2005)
30. David Grove (1 paper(s) during 2005)
31. Eran Yahav (1 paper(s) during 2005)
32. Martin T. Vechev (1 paper(s) during 2005)
33. Matthias Hauswirth (1 paper(s) during 2005)
34. Michael Hind (1 paper(s) during 2005)
35. Perry Cheng (1 paper(s) during 2005)
36. Wolfgang Pree (1 paper(s) during 2002)
37. Bow-Yaw Wang (1 paper(s) during 2001)
38. Freddy Y. C. Mang (1 paper(s) during 2001)
39. Luca de Alfaro (1 paper(s) during 2001)
40. M. Kang (1 paper(s) during 2001)
41. Radu Grosu (1 paper(s) during 2001)
42. Rajeev Alur (1 paper(s) during 2001)