The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


Ganesh Gopalakrishnan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. Formal Methods in System Design (6 paper(s))
  2. Electr. Notes Theor. Comput. Sci. (5 paper(s))
  3. IEEE Trans. VLSI Syst. (2 paper(s))
  4. IEEE Design & Test of Computers (2 paper(s))
  5. Inf. Process. Lett. (2 paper(s))
  6. IEEE Trans. on CAD of Integrated Circuits and Systems (2 paper(s))
  7. Computer Communication Review (1 paper(s))
  8. Concurrency and Computation: Practice and Experience (1 paper(s))
  9. Int. Journal in Computer Simulation (1 paper(s))
  10. STTT (1 paper(s))
  11. IEEE Trans. Computers (1 paper(s))
  12. ACM Trans. Comput. Syst. (1 paper(s))
  13. ACM Trans. Design Autom. Electr. Syst. (1 paper(s))
  14. IEEE Trans. Software Eng. (1 paper(s))

Conferences

  1. (22 paper(s))
  2. Computer Aided Verification (CAV) (6 paper(s))
  3. International Conference on Computer Design (ICCD) (6 paper(s))
  4. Correct Hardware Design and Verification Methods (CHARME) (5 paper(s))
  5. Formal Methods in Computer-Aided Design (FMCAD) (5 paper(s))
  6. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (5 paper(s))
  7. SPIN (3 paper(s))
  8. Advanced Research in VLSI (2 paper(s))
  9. Parallel Virtual Machine / Message Passing Interface (PVM/MPI) (2 paper(s))
  10. Design Automation Conference (DAC) (2 paper(s))
  11. International Conference on Computer Aided Design (ICCAD) (2 paper(s))
  12. Java Grande (1 paper(s))
  13. Symposium on Asynchronous Circuits and Systems (1 paper(s))
  14. International Conference on Formal Methods and Models for Co-Design (1 paper(s))
  15. Automatic Verification Methods for Finite State Systems (1 paper(s))
  16. Petri Nets and Performance Models (1 paper(s))
  17. ACM Symposium on Parallel Algorithms and Architectures (SPAA) (1 paper(s))
  18. Conference on Very Large Scale Integration (VLSI) (1 paper(s))
  19. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
  20. Z Users Conference (ZUM) (1 paper(s))
  21. IEEE International Conference on Formal Engineering Methods (1 paper(s))
  22. International Symposium om Computer Architecture (ISCA) (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