The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


Flemming Nielson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. Electr. Notes Theor. Comput. Sci. (8 paper(s))
  2. Theor. Comput. Sci. (5 paper(s))
  3. Sci. Comput. Program. (4 paper(s))
  4. Nord. J. Comput. (3 paper(s))
  5. ACM Comput. Surv. (2 paper(s))
  6. Inf. Comput. (2 paper(s))
  7. Inf. Process. Lett. (2 paper(s))
  8. J. Funct. Program. (2 paper(s))
  9. Acta Inf. (1 paper(s))
  10. SIGPLAN Notices (1 paper(s))
  11. STTT (1 paper(s))
  12. Bulletin of the EATCS (1 paper(s))
  13. ACM Trans. Program. Lang. Syst. (1 paper(s))
  14. Future Generation Comp. Syst. (1 paper(s))
  15. Comput. Lang. (1 paper(s))
  16. Int. J. Inf. Sec. (1 paper(s))
  17. Journal of Computer Security (1 paper(s))
  18. J. Log. Comput. (1 paper(s))

Conferences

  1. (16 paper(s))
  2. European Symposium on Programming (ESOP) (9 paper(s))
  3. Symposium on Principles of Programming Languages (POPL) (6 paper(s))
  4. Static Analysis (WSA/SAS) (6 paper(s))
  5. Birthday ... (4 paper(s))
  6. Logical and Operational Methods in the Analysis of Programs and Systems (LOMAPS) (4 paper(s))
  7. International Conference on Concurrency Theory (CONCUR) (4 paper(s))
  8. ACM Conference on LISP and Functional Programming (LFP) (3 paper(s))
  9. Parallel Computing Technologies (PaCT) (3 paper(s))
  10. IFIP WG 1.7 Publications (2 paper(s))
  11. Programs as Data Objects (2 paper(s))
  12. (1 paper(s))
  13. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
  14. TAPSOFT (1 paper(s))
  15. Compiler Construction (CC) (1 paper(s))
  16. Constraints in Computational Logics (CCL) (1 paper(s))
  17. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
  18. IEEE Computer Security Foundations Workshop (CSFW) (1 paper(s))
  19. Parallel Architectures and Languages Europe (PARLE) (1 paper(s))
  20. Publications Resulting from Dagstuhl Seminars (1 paper(s))
  21. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (1 paper(s))
  22. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
  23. Foundations of Security Analysis and Design (1 paper(s))
  24. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
  25. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
  26. Conference on Functional Programming Languages and Computer Architecture (FPCA) (1 paper(s))
  27. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
  28. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
  29. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (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