The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


Ron van der Meyden: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. CoRR (5 paper(s))
  2. Electr. Notes Theor. Comput. Sci. (2 paper(s))
  3. Journal of Computer Security (2 paper(s))
  4. J. Comput. Syst. Sci. (2 paper(s))
  5. SIAM J. Comput. (2 paper(s))
  6. Inf. Comput. (1 paper(s))
  7. Int. J. Found. Comput. Sci. (1 paper(s))
  8. J. Log. Comput. (1 paper(s))
  9. Studia Logica (1 paper(s))
  10. Theor. Comput. Sci. (1 paper(s))
  11. ACM Trans. Comput. Log. (1 paper(s))

Conferences

  1. (12 paper(s))
  2. Theoretical Aspects of Rationality and Knowledge (4 paper(s))
  3. IEEE Computer Security Foundations Workshop (CSFW) (3 paper(s))
  4. (2 paper(s))
  5. Principles of Knowledge Representation and Reasoning (KR) (2 paper(s))
  6. Logic in Computer Science (LICS) (2 paper(s))
  7. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
  8. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
  9. Computer Aided Verification (CAV) (1 paper(s))
  10. Computing and Combinatorics (COCOON) (1 paper(s))
  11. Russian Conference on Logic Programming / (1 paper(s))
  12. Logic Programming and Non-Monotonic Reasoning (LPNMR) (1 paper(s))
  13. Symposium on Principles of Database Systems (PODS) (1 paper(s))
  14. Conference for Computer Science Logic (CSL) (1 paper(s))
  15. Pacific Rim International Conference on Artificial Intelligence (PRICAI) (1 paper(s))
  16. Publications Resulting from Dagstuhl Seminars (1 paper(s))
  17. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
  18. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
  19. TIME Symposium / Workshop (1 paper(s))
  20. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
  21. International Symposium on Distributed Computing (DISC) (1 paper(s))
  22. International Conference on Database Theory (ICDT) (1 paper(s))
  23. European Symposium on Research in Computer Security (ESORICS) (1 paper(s))
  24. IEEE International Conference on Formal Engineering Methods (1 paper(s))
  25. IFIP WG 1.7 Publications (1 paper(s))
  26. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))
  27. Logical Foundations of Computer Science (LFCS) (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