The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


Grigore Rosu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. Electr. Notes Theor. Comput. Sci. (20 paper(s))
  2. Theor. Comput. Sci. (5 paper(s))
  3. J. UCS (4 paper(s))
  4. Formal Methods in System Design (3 paper(s))
  5. Autom. Softw. Eng. (2 paper(s))
  6. Mathematical Structures in Computer Science (2 paper(s))
  7. STTT (2 paper(s))
  8. Bulletin of the EATCS (1 paper(s))
  9. Formal Asp. Comput. (1 paper(s))
  10. Higher-Order and Symbolic Computation (1 paper(s))
  11. Concurrency and Computation: Practice and Experience (1 paper(s))

Conferences

  1. (19 paper(s))
  2. Automated Software Engineering (ASE) (6 paper(s))
  3. Computer Aided Verification (CAV) (5 paper(s))
  4. Rewriting Techniques and Applications (RTA) (4 paper(s))
  5. World Congress on Formal Methods (FM) (3 paper(s))
  6. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (3 paper(s))
  7. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
  8. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (2 paper(s))
  9. Birthday ... (2 paper(s))
  10. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (2 paper(s))
  11. Conference on Algebra and Coalgebra in Computer Science (2 paper(s))
  12. Formal Methods for Open Object-Based Distributed Systems (2 paper(s))
  13. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
  14. Workshop on Algebraic Development Techniques (WADT) (2 paper(s))
  15. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
  16. Asian Computing Science Conference (ASIAN) (1 paper(s))
  17. IEEE International Conference on Formal Engineering Methods (1 paper(s))
  18. Workshops on Abstract State Machines (1 paper(s))
  19. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
  20. International Conference on Software Engineering (ICSE) (1 paper(s))
  21. International Conference on Automated Deduction (CADE) (1 paper(s))
  22. International Symposium om Computer Architecture (ISCA) (1 paper(s))
  23. Conference for Computer Science Logic (CSL) (1 paper(s))
  24. Dependable Systems and Networks (1 paper(s))
  25. ACM SIGPLAN Workshop on Rule-Based Programming (1 paper(s))
  26. Static Analysis (WSA/SAS) (1 paper(s))
  27. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
  28. First Order Theorem Proving (FTP) (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