The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


George S. Avrunin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. IEEE Trans. Software Eng. (5 paper(s))
  2. ACM Trans. Program. Lang. Syst. (2 paper(s))
  3. Formal Methods in System Design (1 paper(s))
  4. STTT (1 paper(s))

Conferences

  1. (7 paper(s))
  2. International Conference on Software Engineering (ICSE) (6 paper(s))
  3. International Symposium on Software Testing and Analysis (ISSTA) (6 paper(s))
  4. Foundations of Software Engineering (SIGSOFT FSE) (4 paper(s))
  5. Computer Aided Verification (CAV) (2 paper(s))
  6. European Software Engineering Conference (ESEC) (2 paper(s))
  7. International Software Process Workshop (2 paper(s))
  8. Component-Based Software Engineering (1 paper(s))
  9. Formal Methods in Software Practice (1 paper(s))
  10. International Conference on Distributed Computing Systems (ICDCS) (1 paper(s))
  11. ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP) (1 paper(s))
  12. SPIN (1 paper(s))
  13. Parallel Virtual Machine / Message Passing Interface (PVM/MPI) (1 paper(s))
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