The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


Willem P. de Roever: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. Formal Asp. Comput. (3 paper(s))
  2. Inf. Comput. (3 paper(s))
  3. Electr. Notes Theor. Comput. Sci. (2 paper(s))
  4. Sci. Comput. Program. (2 paper(s))
  5. Theor. Comput. Sci. (2 paper(s))
  6. Inf. Process. Lett. (1 paper(s))
  7. J. Comput. Syst. Sci. (1 paper(s))
  8. Nord. J. Comput. (1 paper(s))
  9. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

  1. Mathematical Foundations of Computer Science (MFCS) (7 paper(s))
  2. World Congress on Formal Methods (FM) (5 paper(s))
  3. International Colloquium on Automata, Languages and Programming (ICALP) (4 paper(s))
  4. Logic of Programs (3 paper(s))
  5. Compositionality: The Significant Difference (COMPOS) (2 paper(s))
  6. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (2 paper(s))
  7. Symposium on Principles of Programming Languages (POPL) (2 paper(s))
  8. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
  9. International Symposium on Fault-Tolerant Computing (FTCS) (1 paper(s))
  10. Protocol Specification, Testing and Verification (1 paper(s))
  11. The Analysis of Concurrent Systems (1 paper(s))
  12. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
  13. Temporal Logic in Specification (1 paper(s))
  14. Birthday ... (1 paper(s))
  15. GI-Jahrestagung (1 paper(s))
  16. International Symposium on Distributed Computing (DISC) (1 paper(s))
  17. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
  18. International Conference on Distributed Computing Systems (ICDCS) (1 paper(s))
  19. European Dependable Computing Conference (EDCC) (1 paper(s))
  20. International Conference on Engineering of Complex Computer Systems (1 paper(s))
  21. EUROCAST (1 paper(s))
  22. IEEE International Conference on Formal Engineering Methods (1 paper(s))
  23. Formale Beschreibungstechniken (1 paper(s))
  24. IFIP World Computer Congress (1 paper(s))
  25. Formal Methods for Components and Objects (1 paper(s))
  26. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))
  27. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
  28. Symposium on Programming (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