The SCEAS System
Navigation Menu

Co-authors


Philipp Rümmer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
  1. Daniel Kroening (3 paper(s) during 2010)
  2. Vladimir Klebanov (3 paper(s) during 2005-2008)
  3. Peter H. Schmitt (3 paper(s) during 2005-2007)
  4. Reiner Hähnle (3 paper(s) during 2006-2007)
  5. Bernhard Beckert (2 paper(s) during 2006-2007)
  6. Steffen Schlager (2 paper(s) during 2005-2007)
  7. Alastair F. Donaldson (1 paper(s) during 2010)
  8. Angelo Brillout (1 paper(s) during 2010)
  9. Byron Cook (1 paper(s) during 2010)
  10. Christoph M. Wintersteiger (1 paper(s) during 2010)
  11. K. Rustan M. Leino (1 paper(s) during 2010)
  12. Thomas Wahl (1 paper(s) during 2010)
  13. André Platzer (1 paper(s) during 2009)
  14. Jan-David Quesel (1 paper(s) during 2009)
  15. Andreas Roth (1 paper(s) during 2008)
  16. Christian Engel (1 paper(s) during 2008)
  17. Christoph Gladisch (1 paper(s) during 2008)
  18. Helga Velroyen (1 paper(s) during 2008)
  19. Richard Bubel (1 paper(s) during 2008)
  20. Martin Giese (1 paper(s) during 2007)
  21. Muhammad Ali Shah (1 paper(s) during 2007)
  22. Dennis Walter (1 paper(s) during 2006)
  23. Jing Pan (1 paper(s) during 2006)
  24. Wolfgang Ahrendt (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