The SCEAS System
Navigation Menu

Journals and Conferences that author prefers

Peter W. O'Hearn: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]


  1. Theor. Comput. Sci. (7 paper(s))
  2. Electr. Notes Theor. Comput. Sci. (5 paper(s))
  3. Inf. Comput. (2 paper(s))
  4. J. ACM (2 paper(s))
  5. J. Funct. Program. (2 paper(s))
  6. Bulletin of Symbolic Logic (1 paper(s))
  7. IEEE Computer (1 paper(s))
  8. J. Symb. Comput. (1 paper(s))
  9. Higher-Order and Symbolic Computation (1 paper(s))
  10. Mathematical Structures in Computer Science (1 paper(s))


  1. (9 paper(s))
  2. Symposium on Principles of Programming Languages (POPL) (6 paper(s))
  3. Static Analysis (WSA/SAS) (3 paper(s))
  4. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (3 paper(s))
  5. Asian Symposium on Programming Languages and Systems (2 paper(s))
  6. Computer Aided Verification (CAV) (2 paper(s))
  7. European Symposium on Programming (ESOP) (2 paper(s))
  8. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
  9. Scandinavian Conference on AI (SCAI) (1 paper(s))
  10. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
  11. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
  12. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
  13. Conference for Computer Science Logic (CSL) (1 paper(s))
  14. International Conference on Typed Lambda Calculus and Applications (TLCA) (1 paper(s))
  15. Category Theory and Computer Science (1 paper(s))
  16. International Symposium/Workshop on Memory Management (ISMM/IWMM) (1 paper(s))
  17. Logic in Computer Science (LICS) (1 paper(s))
  18. Formal Methods for Components and Objects (1 paper(s))
  19. International Symposium on Symbolic and Algebraic Computation (ISSAC) (1 paper(s))
  20. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002