The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


David Lorge Parnas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. Commun. ACM (24 paper(s))
  2. IEEE Trans. Software Eng. (15 paper(s))
  3. IEEE Computer (4 paper(s))
  4. IEEE Software (3 paper(s))
  5. Electr. Notes Theor. Comput. Sci. (2 paper(s))
  6. Inf. Process. Lett. (2 paper(s))
  7. Journal of Systems and Software (2 paper(s))
  8. Acta Inf. (1 paper(s))
  9. Ann. Software Eng. (1 paper(s))
  10. Informatik Spektrum (1 paper(s))
  11. Real-Time Systems (1 paper(s))
  12. Sci. Comput. Program. (1 paper(s))
  13. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

  1. International Conference on Software Engineering (ICSE) (11 paper(s))
  2. (8 paper(s))
  3. IFIP World Computer Congress (7 paper(s))
  4. Z Users Conference (ZUM) (3 paper(s))
  5. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
  6. International Conference on Requirements Engineering (2 paper(s))
  7. (2 paper(s))
  8. International Symposium on Software Testing and Analysis (ISSTA) (2 paper(s))
  9. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (2 paper(s))
  10. Australasian Computer Science Conference (1 paper(s))
  11. IBM Scientific Symposium Series (1 paper(s))
  12. ACM SIGPLAN Conferences and Workshops (1 paper(s))
  13. International Conference on Computing and Information (ICCI) (1 paper(s))
  14. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
  15. Australian Software Engineering Conference (1 paper(s))
  16. IEEE International Conference on Formal Engineering Methods (1 paper(s))
  17. TAPSOFT (1 paper(s))
  18. Computer Aided Verification (CAV) (1 paper(s))
  19. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
  20. COMPCON (1 paper(s))
  21. International Computer Software and Applications Conference (COMPSAC) (1 paper(s))
  22. (1 paper(s))
  23. Conditional and Typed Rewriting Systems (CTRS) (1 paper(s))
  24. Integrated Formal Methods (IFM) (1 paper(s))
  25. Conference of the European Cooperation in Informatics (ECI) (1 paper(s))
  26. International Symposium on Empirical Software (1 paper(s))
  27. Conference on Software Engineering Education (and Training) (1 paper(s))
  28. European Software Engineering Conference (ESEC) (1 paper(s))
  29. The FIDJI Project (1 paper(s))
  30. International Symposium on Information Technology (1 paper(s))
  31. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
  32. Requirements Engineering (1 paper(s))
  33. GI-Jahrestagung (1 paper(s))
  34. Software Engineering Research and Practice (SERP) (1 paper(s))
  35. Hybrid Systems (1 paper(s))
  36. Software Engineering im Unterricht der Hochschulen (SEUH) (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