The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


Radha Jagadeesan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. Inf. Comput. (3 paper(s))
  2. Electr. Notes Theor. Comput. Sci. (2 paper(s))
  3. Sci. Comput. Program. (2 paper(s))
  4. Theor. Comput. Sci. (2 paper(s))
  5. CoRR (2 paper(s))
  6. Ann. Pure Appl. Logic (1 paper(s))
  7. J. Symb. Comput. (1 paper(s))
  8. J. Symb. Log. (1 paper(s))
  9. Logical Methods in Computer Science (1 paper(s))
  10. Mathematical Structures in Computer Science (1 paper(s))
  11. ACM Trans. Comput. Log. (1 paper(s))
  12. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

  1. International Conference on Concurrency Theory (CONCUR) (8 paper(s))
  2. Logic in Computer Science (LICS) (6 paper(s))
  3. (5 paper(s))
  4. Symposium on Principles of Programming Languages (POPL) (3 paper(s))
  5. Hybrid Systems (3 paper(s))
  6. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
  7. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
  8. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
  9. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
  10. Aspect-Oriented Software Development (1 paper(s))
  11. International Conference on Computer Languages (ICCL) (1 paper(s))
  12. Computer Aided Verification (CAV) (1 paper(s))
  13. Mathematical Foundations of Programming Semantics (1 paper(s))
  14. USENIX Conference on Object-Oriented Technologies and Systems (1 paper(s))
  15. Principles and Practice of Constraint Programming (CP) (1 paper(s))
  16. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
  17. IEEE Computer Security Foundations Workshop (CSFW) (1 paper(s))
  18. ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP) (1 paper(s))
  19. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
  20. Quantitative Evaluation of Systems (1 paper(s))
  21. Portuguese Conference on Artificial Intelligence (EPIA) (1 paper(s))
  22. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
  23. European Symposium on Programming (ESOP) (1 paper(s))
  24. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
  25. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
  26. ACM Symposium on Access Control Models and Technologies (SACMAT) (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