The SCEAS System
Navigation Menu

Journals and Conferences that author prefers

Alexander Aiken: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]


  1. Concurrency and Computation: Practice and Experience (1 paper(s))
  2. Inf. Comput. (1 paper(s))
  3. Higher-Order and Symbolic Computation (1 paper(s))
  4. Sci. Comput. Program. (1 paper(s))
  5. SIGPLAN Notices (1 paper(s))
  6. STTT (1 paper(s))
  7. Theor. Comput. Sci. (1 paper(s))
  8. ACM Trans. Database Syst. (1 paper(s))
  9. ACM Trans. Program. Lang. Syst. (1 paper(s))
  10. IEEE Trans. Parallel Distrib. Syst. (1 paper(s))
  11. IEEE Trans. Software Eng. (1 paper(s))
  12. J. Vis. Lang. Comput. (1 paper(s))


  1. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (11 paper(s))
  2. Symposium on Principles of Programming Languages (POPL) (8 paper(s))
  3. Static Analysis (WSA/SAS) (7 paper(s))
  4. Conference on Functional Programming Languages and Computer Architecture (FPCA) (3 paper(s))
  5. ACM SIGMOD Conference (3 paper(s))
  6. European Symposium on Programming (ESOP) (2 paper(s))
  7. IEEE Symposium on Human-Centric Computing Languages and Environments (HCC) (2 paper(s))
  8. Computer Aided Verification (CAV) (1 paper(s))
  9. Conference for Computer Science Logic (CSL) (1 paper(s))
  10. Principles and Practice of Constraint Programming (1 paper(s))
  11. Workshop on Database Issues for Data Visualization (1 paper(s))
  12. SIAM Conference on Parallel Processing for Scientific Computing (1 paper(s))
  13. International Conference on Data Engineering (ICDE) (1 paper(s))
  14. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
  15. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
  16. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
  17. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
  18. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
  19. Logic in Computer Science (LICS) (1 paper(s))
  20. Types in Language Design and Implementation (TLDI) / Types in Compilation (TIC) (1 paper(s))
  21. Network and Distributed System Security Symposium (NDSS) (1 paper(s))
  22. Visual Database Systems (VDB) (1 paper(s))
  23. Neural Information Processing Systems (NIPS) (1 paper(s))
  24. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (1 paper(s))
  25. International Conference on Formal Methods and Models for Co-Design (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