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

Co-authors

Edmund M. Clarke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Orna Grumberg (28 paper(s) during 1986-2008)
  2. Somesh Jha (26 paper(s) during 1993-2005)
  3. Helmut Veith (20 paper(s) during 2000-2010)
  4. Daniel Kroening (15 paper(s) during 2003-2007)
  5. Sérgio Vale Aguiar Campos (15 paper(s) during 1994-2001)
  6. Sagar Chaki (14 paper(s) during 2001-2006)
  7. Xudong Zhao (14 paper(s) during 1992-1999)
  8. David E. Long (14 paper(s) during 1989-1997)
  9. Kenneth L. McMillan (11 paper(s) during 1989-1997)
  10. Masahiro Fujita (10 paper(s) during 1993-2009)
  11. Natasha Sharygina (10 paper(s) during 2004-2007)
  12. Armin Biere (10 paper(s) during 1998-2003)
  13. Himanshu Jain (9 paper(s) during 2004-2009)
  14. Joël Ouaknine (9 paper(s) during 2003-2005)
  15. Wilfredo R. Marrero (9 paper(s) during 1994-2003)
  16. Yunshan Zhu (9 paper(s) during 1998-2003)
  17. E. Allen Emerson (8 paper(s) during 1980-2009)
  18. Alessandro Cimatti (8 paper(s) during 1998-2003)
  19. Dong Wang (8 paper(s) during 1999-2003)
  20. Yuan Lu (8 paper(s) during 1997-2003)
  21. Steven M. German (8 paper(s) during 1982-2000)
  22. Marius Minea (8 paper(s) during 1994-1999)
  23. Nishant Sinha (7 paper(s) during 2004-2007)
  24. Ofer Strichman (7 paper(s) during 2002-2005)
  25. A. Prasad Sistla (7 paper(s) during 1982-1998)
  26. Muralidhar Talupur (6 paper(s) during 2003-2008)
  27. Karen Yorav (6 paper(s) during 2003-2005)
  28. Alex Groce (6 paper(s) during 2003-2004)
  29. Jerry R. Burch (6 paper(s) during 1990-1994)
  30. André Platzer (5 paper(s) during 2007-2010)
  31. Robert P. Kurshan (5 paper(s) during 1989-2010)
  32. Bruce H. Krogh (5 paper(s) during 2003-2008)
  33. Anubhav Gupta (5 paper(s) during 2000-2005)
  34. Pankaj Chauhan (5 paper(s) during 2000-2004)
  35. Fausto Giunchiglia (5 paper(s) during 1998-2002)
  36. Sergey Berezin (5 paper(s) during 1997-2002)
  37. David L. Dill (5 paper(s) during 1986-1994)
  38. Joseph Y. Halpern (5 paper(s) during 1982-1989)
  39. Michael C. Browne (5 paper(s) during 1986-1989)
  40. Sumit Kumar Jha (4 paper(s) during 2005-2009)
  41. James H. Kukula (4 paper(s) during 2001-2002)
  42. Bud Mishra (4 paper(s) during 1983-1986)
  43. Azadeh Farzan (3 paper(s) during 2008-2010)
  44. Bow-Yaw Wang (3 paper(s) during 2008-2010)
  45. Samir Sapra (3 paper(s) during 2002-2010)
  46. Yih-Kuen Tsay (3 paper(s) during 2008-2010)
  47. Yu-Fang Chen (3 paper(s) during 2008-2010)
  48. Axel Legay (3 paper(s) during 2008-2009)
  49. Jeannette M. Wing (3 paper(s) during 1996-2006)
  50. Tayssir Touili (3 paper(s) during 2004-2006)
  51. Thomas W. Reps (3 paper(s) during 1999-2006)
  52. Ansgar Fehnker (3 paper(s) during 2003-2005)
  53. Michael Theobald (3 paper(s) during 2003)
  54. Marco Roveri (3 paper(s) during 1999-2002)
  55. Subash Shankar (3 paper(s) during 1998-2002)
  56. Vicky Hartonas-Garmhausen (3 paper(s) during 1998-2000)
  57. Anca Browne (3 paper(s) during 1990-1997)
  58. Hiromi Hiraishi (3 paper(s) during 1993-1995)
  59. Soumitra Bose (3 paper(s) during 1988-1992)
  60. Spiro Michaylov (3 paper(s) during 1988-1992)
  61. Paolo Zuliani (2 paper(s) during 2009-2010)
  62. Christopher James Langmead (2 paper(s) during 2008-2009)
  63. Flavio Lerda (2 paper(s) during 2004-2008)
  64. Constantinos Bartzis (2 paper(s) during 2006)
  65. Olaf Stursberg (2 paper(s) during 2003)
  66. Zhi Han (2 paper(s) during 2003)
  67. Sreeranga P. Rajan (2 paper(s) during 1999-2002)
  68. Tim Teitelbaum (2 paper(s) during 1999-2002)
  69. Richard Raimi (2 paper(s) during 1999-2001)
  70. Christel Baier (2 paper(s) during 1997-1999)
  71. Andrej Bauer (2 paper(s) during 1996-1998)
  72. J. Yang (2 paper(s) during 1993-1997)
  73. Kiyoharu Hamaguchi (2 paper(s) during 1994-1997)
  74. Vassili Hartonas-Garmhausen (2 paper(s) during 1996-1997)
  75. Manpreet Khaira (2 paper(s) during 1996)
  76. Thomas Filkorn (2 paper(s) during 1993-1996)
  77. Linda A. Ness (2 paper(s) during 1993-1995)
  78. I. A. Draghicescu (2 paper(s) during 1988-1993)
  79. L. J. Hwang (2 paper(s) during 1990-1992)
  80. Yulin Feng (2 paper(s) during 1986-1988)
  81. Michael J. Foster (2 paper(s) during 1985-1986)
  82. Thomas S. Anantharaman (2 paper(s) during 1985-1986)
  83. Nissim Francez (2 paper(s) during 1982-1984)
  84. Ming-Hsien Tsai (1 paper(s) during 2010)
  85. Sicun Gao (1 paper(s) during 2010)
  86. William Klieber (1 paper(s) during 2010)
  87. Anmol Mathur (1 paper(s) during 2009)
  88. Joseph Sifakis (1 paper(s) during 2009)
  89. Pascal Urard (1 paper(s) during 2009)
  90. Alexandre Donzé (1 paper(s) during 2008)
  91. James Kapinski (1 paper(s) during 2008)
  92. James R. Faeder (1 paper(s) during 2008)
  93. Leonard A. Harris (1 paper(s) during 2008)
  94. Byron Cook (1 paper(s) during 2007)
  95. James E. Weimer (1 paper(s) during 2007)
  96. Josh Berdine (1 paper(s) during 2007)
  97. Stephen Magill (1 paper(s) during 2007)
  98. Haifeng Zhu (1 paper(s) during 2006)
  99. Nicholas Kidd (1 paper(s) during 2006)
  100. Vaibhav Mehta (1 paper(s) during 2006)
  101. Prasanna Thati (1 paper(s) during 2005)
  102. Edjard Mota (1 paper(s) during 2004)
  103. Jorge Kanda (1 paper(s) during 2004)
  104. Marcia Falcão (1 paper(s) during 2004)
  105. Waleska Oliveira (1 paper(s) during 2004)
  106. David P. Gluch (1 paper(s) during 2003)
  107. Armando Tacchella (1 paper(s) during 2002)
  108. Enrico Giunchiglia (1 paper(s) during 2002)
  109. Marco Pistore (1 paper(s) during 2002)
  110. Roberto Sebastiani (1 paper(s) during 2002)
  111. Alexis Campailla (1 paper(s) during 2001)
  112. Thomas R. Shiple (1 paper(s) during 2001)
  113. Amit Goel (1 paper(s) during 2000)
  114. Jawahar Jain (1 paper(s) during 2000)
  115. Poul Frederick Williams (1 paper(s) during 2000)
  116. Randal E. Bryant (1 paper(s) during 2000)
  117. Will Marrero (1 paper(s) during 2000)
  118. Andreas Kuehlmann (1 paper(s) during 1999)
  119. Doron Peled (1 paper(s) during 1999)
  120. Marcio Teixeira (1 paper(s) during 1999)
  121. Vasilili Hartonas-Garmhausen (1 paper(s) during 1999)
  122. David Déharbe (1 paper(s) during 1998)
  123. Mark Ryan (1 paper(s) during 1997)
  124. Marta Z. Kwiatkowska (1 paper(s) during 1997)
  125. John W. O'Leary (1 paper(s) during 1996)
  126. Pei-Hsin Ho (1 paper(s) during 1996)
  127. Reinhard Enders (1 paper(s) during 1996)
  128. Timothy Kam (1 paper(s) during 1996)
  129. Yatin Vasant Hoskote (1 paper(s) during 1996)
  130. Yirng-An Chen (1 paper(s) during 1996)
  131. Jerry Chih-Yuan Yang (1 paper(s) during 1994)
  132. Patrick C. McGeer (1 paper(s) during 1994)
  133. Atsufumi Shibayama (1 paper(s) during 1993)
  134. Bernd-Holger Schlingloff (1 paper(s) during 1993)
  135. Frank D. Anger (1 paper(s) during 1993)
  136. Tomohiro Yoneda (1 paper(s) during 1993)
  137. P. E. Allen (1 paper(s) during 1988)
  138. Bhubaneswaru Mishra (1 paper(s) during 1985)
  139. Albert R. Meyer (1 paper(s) during 1984)
  140. Christos Nikolaou (1 paper(s) during 1982)
  141. Yuri Gurevich (1 paper(s) during 1982)
  142. Arthur Evans Jr. (1 paper(s) during 1981)
  143. C. Robert Morgan (1 paper(s) during 1981)
  144. Eric S. Roberts (1 paper(s) during 1981)
  145. Barbara T. Blaustein (1 paper(s) during 1980)
  146. Philip A. Bernstein (1 paper(s) during 1980)
  147. Lishing Liu (1 paper(s) during 1979)
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