The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Co-authors

Martín Abadi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Luca Cardelli (19 paper(s) during 1989-1996)
  2. Michael Burrows (17 paper(s) during 1988-2005)
  3. Cédric Fournet (15 paper(s) during 1997-2008)
  4. Gordon D. Plotkin (13 paper(s) during 1989-2010)
  5. Leslie Lamport (12 paper(s) during 1988-1995)
  6. Bruno Blanchet (10 paper(s) during 2001-2009)
  7. Georges Gonthier (9 paper(s) during 1992-2004)
  8. Butler W. Lampson (8 paper(s) during 1991-1996)
  9. Edward Wobber (7 paper(s) during 1991-1999)
  10. Andrew Birrell (6 paper(s) during 1998-2009)
  11. Andrew D. Gordon (6 paper(s) during 1997-2008)
  12. Ted Wobber (6 paper(s) during 2003-2007)
  13. Zohar Manna (6 paper(s) during 1985-1990)
  14. Tim Harris (5 paper(s) during 2008-2009)
  15. Jean-Jacques Lévy (5 paper(s) during 1990-1996)
  16. Roger M. Needham (5 paper(s) during 1988-1996)
  17. Benjamin C. Pierce (5 paper(s) during 1989-1995)
  18. Pierre-Louis Curien (5 paper(s) during 1990-1995)
  19. Joan Feigenbaum (5 paper(s) during 1987-1990)
  20. Úlfar Erlingsson (4 paper(s) during 2005-2006)
  21. Mihai Budiu (4 paper(s) during 2005-2006)
  22. Nathan Whitehead (3 paper(s) during 2004-2007)
  23. Phillip Rogaway (3 paper(s) during 2000-2007)
  24. Avik Chaudhuri (3 paper(s) during 2005-2006)
  25. Bogdan Warinschi (3 paper(s) during 2005-2006)
  26. Cormac Flanagan (3 paper(s) during 1999-2006)
  27. Véronique Cortier (3 paper(s) during 2004-2006)
  28. Raymie Stata (3 paper(s) during 1998-1999)
  29. Stephan Merz (3 paper(s) during 1994-1996)
  30. Michael Isard (2 paper(s) during 2008-2009)
  31. George C. Necula (2 paper(s) during 2004-2006)
  32. Jay Ligatti (2 paper(s) during 2005)
  33. Carl A. Gunter (2 paper(s) during 2000-2003)
  34. K. Rustan M. Leino (2 paper(s) during 1997-2003)
  35. Pankaj Kakkar (2 paper(s) during 2000-2003)
  36. Marcelo P. Fiore (2 paper(s) during 1996-2001)
  37. Leendert van Doorn (2 paper(s) during 1996-1999)
  38. John Lamping (2 paper(s) during 1994-1995)
  39. Joseph Y. Halpern (2 paper(s) during 1989-1994)
  40. C. Kaufman (2 paper(s) during 1991-1993)
  41. Joe Kilian (2 paper(s) during 1987-1989)
  42. Boon Thau Loo (1 paper(s) during 2009)
  43. Fang Yu (1 paper(s) during 2009)
  44. Hubert Comon-Lundh (1 paper(s) during 2009)
  45. Johnson Hsieh (1 paper(s) during 2009)
  46. Mojtaba Mehrara (1 paper(s) during 2009)
  47. Wenchao Zhou (1 paper(s) during 2009)
  48. Yinglian Xie (1 paper(s) during 2009)
  49. Yun Mao (1 paper(s) during 2009)
  50. Deepak Garg (1 paper(s) during 2008)
  51. Katherine F. Moore (1 paper(s) during 2008)
  52. Sergio Maffeis (1 paper(s) during 2008)
  53. Aydan R. Yumerefendi (1 paper(s) during 2007)
  54. Daniel R. Simon (1 paper(s) during 2007)
  55. Jens Palsberg (1 paper(s) during 2007)
  56. Jordan Johnson (1 paper(s) during 2007)
  57. Mathieu Baudet (1 paper(s) during 2006)
  58. Michael Vrable (1 paper(s) during 2006)
  59. Ricardo Corin (1 paper(s) during 2006)
  60. Stephen N. Freund (1 paper(s) during 2006)
  61. Andrei Sabelfeld (1 paper(s) during 2005)
  62. Greg Morrisett (1 paper(s) during 2005)
  63. Mark S. Manasse (1 paper(s) during 2005)
  64. Benjamin Werner (1 paper(s) during 2004)
  65. Katia Hayati (1 paper(s) during 2004)
  66. Frank Dabek (1 paper(s) during 2003)
  67. Frank Pfenning (1 paper(s) during 2002)
  68. Leonid Libkin (1 paper(s) during 2002)
  69. Neal Glew (1 paper(s) during 2002)
  70. Jan Jürjens (1 paper(s) during 2001)
  71. Anindya Banerjee (1 paper(s) during 1999)
  72. Jon G. Riecke (1 paper(s) during 1999)
  73. Nevin Heintze (1 paper(s) during 1999)
  74. Catherine Meadows (1 paper(s) during 1998)
  75. Dieter Gollmann (1 paper(s) during 1998)
  76. Gavin Lowe (1 paper(s) during 1998)
  77. Paul F. Syverson (1 paper(s) during 1998)
  78. Riccardo Focardi (1 paper(s) during 1998)
  79. Roberto Gorrieri (1 paper(s) during 1998)
  80. Ramesh Viswanathan (1 paper(s) during 1996)
  81. Didier Rémy (1 paper(s) during 1995)
  82. Roberto Bellucci (1 paper(s) during 1995)
  83. Florian Matthes (1 paper(s) during 1993)
  84. Bowen Alpern (1 paper(s) during 1991)
  85. Fred B. Schneider (1 paper(s) during 1991)
  86. Krzysztof R. Apt (1 paper(s) during 1991)
  87. Mark R. Tuttle (1 paper(s) during 1991)
  88. Nissim Francez (1 paper(s) during 1991)
  89. Shmuel Katz (1 paper(s) during 1991)
  90. Pierre Wolper (1 paper(s) during 1989)
  91. Andrei Z. Broder (1 paper(s) during 1988)
  92. Eric Allender (1 paper(s) during 1988)
  93. Lane A. Hemachandra (1 paper(s) during 1988)
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002