The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


Lenore D. Zuck: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. Electr. Notes Theor. Comput. Sci. (6 paper(s))
  2. Computer Languages, Systems & Structures (2 paper(s))
  3. Inf. Comput. (2 paper(s))
  4. J. ACM (2 paper(s))
  5. STTT (2 paper(s))
  6. Distributed Computing (1 paper(s))
  7. Formal Methods in System Design (1 paper(s))
  8. Int. J. Found. Comput. Sci. (1 paper(s))
  9. Journal of Computer Security (1 paper(s))
  10. J. UCS (1 paper(s))

Conferences

  1. (9 paper(s))
  2. Computer Aided Verification (CAV) (6 paper(s))
  3. Verification, Model Checking and Abstract Interpretation (VMCAI) (5 paper(s))
  4. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (4 paper(s))
  5. International Conference on Concurrency Theory (CONCUR) (4 paper(s))
  6. Logic in Computer Science (LICS) (3 paper(s))
  7. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
  8. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
  9. Logic of Programs (1 paper(s))
  10. Conference on Computer and Communications Security (CCS) (1 paper(s))
  11. SPIN (1 paper(s))
  12. International Conference on Coordination Models and Languages (COORDINATION) (1 paper(s))
  13. Engineering of Computer-Based Systems (ECBS) (1 paper(s))
  14. European Conference on Object-Oriented Programming (ECOOP): Workshops (1 paper(s))
  15. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
  16. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
  17. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
  18. International Colloquium on Automata, Languages and Programming (ICALP) (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