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

Co-authors

Andrei Voronkov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Anatoli Degtyarev (17 paper(s) during 1995-2003)
  2. Konstantin Korovin (12 paper(s) during 2000-2009)
  3. Alexandre Riazanov (12 paper(s) during 1999-2005)
  4. Tatiana Rybina (7 paper(s) during 2000-2003)
  5. Evgeny Dantsin (5 paper(s) during 1997-2001)
  6. Yuri Gurevich (5 paper(s) during 1996-2000)
  7. Laura Kovács (4 paper(s) during 2009-2010)
  8. Juan Antonio Navarro Pérez (4 paper(s) during 2005-2008)
  9. Robert Nieuwenhuis (4 paper(s) during 2001-2005)
  10. Krystof Hoder (3 paper(s) during 2009-2010)
  11. Iman Narasamdya (2 paper(s) during 2005-2009)
  12. Mohammed K. Jaber (2 paper(s) during 2006)
  13. Dimitri Chubarov (2 paper(s) during 2005)
  14. Franz Baader (2 paper(s) during 2005)
  15. Peter Baumgartner (2 paper(s) during 2005)
  16. Georg Gottlob (2 paper(s) during 1997-2001)
  17. Lars Thalmann (2 paper(s) during 2000-2001)
  18. Melvin Fitting (2 paper(s) during 2000-2001)
  19. Thomas Eiter (2 paper(s) during 1997-2001)
  20. Margus Veanes (2 paper(s) during 1998-2000)
  21. Paliath Narendran (2 paper(s) during 1998-2000)
  22. Josef Urban (1 paper(s) during 2010)
  23. Thibaud Hottelier (1 paper(s) during 2010)
  24. Thomas A. Henzinger (1 paper(s) during 2010)
  25. Mahmoud Kinanah (1 paper(s) during 2009)
  26. Nestan Tsiskaridze (1 paper(s) during 2009)
  27. Nikolai Tillmann (1 paper(s) during 2009)
  28. Nikolaj Bjørner (1 paper(s) during 2009)
  29. Zurab Khasidashvili (1 paper(s) during 2009)
  30. Ian Horrocks (1 paper(s) during 2006)
  31. Boris Konev (1 paper(s) during 2004)
  32. Ullrich Hustadt (1 paper(s) during 2004)
  33. Larisa Maksimova (1 paper(s) during 2003)
  34. Thomas Hillenbrand (1 paper(s) during 2001)
  35. Harald Ganzinger (1 paper(s) during 1998)
  36. Leo Bachmair (1 paper(s) during 1998)
  37. Sergei G. Vorobyov (1 paper(s) during 1998)
  38. Martin Argenius (1 paper(s) during 1996)
  39. Yuri Matiyasevich (1 paper(s) during 1996)
  40. Vladimir Yu. Sazonov (1 paper(s) during 1993)
  41. Chris Moss (1 paper(s) during 1991)
  42. Harold Boley (1 paper(s) during 1991)
  43. Micha Meier (1 paper(s) during 1991)
  44. Michael M. Richter (1 paper(s) during 1991)
  45. Sergei Starchenko (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