The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


Michael Jackson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. IEEE Software (8 paper(s))
  2. ACM Trans. Softw. Eng. Methodol. (2 paper(s))
  3. Autom. Softw. Eng. (2 paper(s))
  4. IEEE Trans. Software Eng. (2 paper(s))
  5. Commun. ACM (2 paper(s))
  6. Software and System Modeling (2 paper(s))
  7. Ann. Software Eng. (1 paper(s))
  8. Wirtschaftsinformatik (1 paper(s))
  9. IEEE Computer (1 paper(s))
  10. Electr. Notes Theor. Comput. Sci. (1 paper(s))
  11. Formal Asp. Comput. (1 paper(s))
  12. Information & Software Technology (1 paper(s))
  13. Inf. Process. Lett. (1 paper(s))
  14. Journal of Systems and Software (1 paper(s))
  15. Higher-Order and Symbolic Computation (1 paper(s))
  16. Requir. Eng. (1 paper(s))

Conferences

  1. (9 paper(s))
  2. Requirements Engineering (8 paper(s))
  3. International Conference on Software Engineering (ICSE) (7 paper(s))
  4. World Congress on Formal Methods (FM) (3 paper(s))
  5. Annual Simulation Symposium (1 paper(s))
  6. International Conference on Object Oriented Information Systems (OOIS) (1 paper(s))
  7. International Conference on Automated Deduction (CADE) (1 paper(s))
  8. International Conference on Coordination Models and Languages (COORDINATION) (1 paper(s))
  9. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
  10. Conference on Software Engineering Education (and Training) (1 paper(s))
  11. Soft-Ware (1 paper(s))
  12. Design Automation Conference (DAC) (1 paper(s))
  13. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
  14. Conference of the European Cooperation in Informatics (ECI) (1 paper(s))
  15. The Unified Modeling Language (UML) (1 paper(s))
  16. Feature Interactions in Telecommunications and Software Systems (1 paper(s))
  17. UNI/IIST (1 paper(s))
  18. IEEE Symposium on Human-Centric Computing Languages and Environments (HCC) (1 paper(s))
  19. IEEE Symposia on Human Centric Computing Languages and Environments (1 paper(s))
  20. Z Users Conference (ZUM) (1 paper(s))
  21. (1 paper(s))
  22. (1 paper(s))
  23. International Conference on Engineering of Complex Computer Systems (1 paper(s))
  24. International Conference on Requirements Engineering (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