The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


Olivier Danvy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. Higher-Order and Symbolic Computation (23 paper(s))
  2. Theor. Comput. Sci. (6 paper(s))
  3. Inf. Process. Lett. (6 paper(s))
  4. J. Funct. Program. (6 paper(s))
  5. Electr. Notes Theor. Comput. Sci. (3 paper(s))
  6. Sci. Comput. Program. (3 paper(s))
  7. ACM Comput. Surv. (2 paper(s))
  8. ACM Trans. Program. Lang. Syst. (2 paper(s))
  9. CoRR (2 paper(s))
  10. Mathematical Structures in Computer Science (2 paper(s))
  11. Fundam. Inform. (1 paper(s))
  12. Logic Journal of the IGPL (1 paper(s))
  13. Journal of Functional and Logic Programming (1 paper(s))
  14. Logical Methods in Computer Science (1 paper(s))
  15. LOPLAS (1 paper(s))
  16. New Generation Comput. (1 paper(s))

Conferences

  1. (7 paper(s))
  2. European Symposium on Programming (ESOP) (5 paper(s))
  3. Fuji International Symposium on Functional and Logic Programming (5 paper(s))
  4. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (5 paper(s))
  5. Symposium on Principles of Programming Languages (POPL) (5 paper(s))
  6. ACM Conference on LISP and Functional Programming (LFP) (4 paper(s))
  7. ACM SIGPLAN International Conference on Functional Programming (ICFP) (3 paper(s))
  8. Birthday ... (2 paper(s))
  9. Generative Programming and Component Engineering (2 paper(s))
  10. Principles and Practice of Declarative Programming (PPDP) (2 paper(s))
  11. Semantics, Applications, and Implementation of Program Generation (SAIG) (2 paper(s))
  12. Implementation of Functional Languages (IFL) (2 paper(s))
  13. International Conference on Typed Lambda Calculus and Applications (TLCA) (1 paper(s))
  14. Compiler Construction (CC) (1 paper(s))
  15. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (1 paper(s))
  16. Publications Resulting from Dagstuhl Seminars (1 paper(s))
  17. Mathematical Foundations of Programming Semantics (1 paper(s))
  18. Mathematics of Program Construction (MPC) (1 paper(s))
  19. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
  20. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (1 paper(s))
  21. Conference on Functional Programming Languages and Computer Architecture (FPCA) (1 paper(s))
  22. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
  23. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
  24. International Conference on Computer Languages (ICCL) (1 paper(s))
  25. Rewriting Techniques and Applications (RTA) (1 paper(s))
  26. IFIP World Computer Congress (1 paper(s))
  27. Static Analysis (WSA/SAS) (1 paper(s))
  28. Types in Language Design and Implementation (TLDI) / Types in Compilation (TIC) (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