Journals and Conferences that author prefers

Journals

1. Inf. Comput. (6 paper(s))
2. Theor. Comput. Sci. (4 paper(s))
3. Distributed Computing (2 paper(s))
4. Electr. Notes Theor. Comput. Sci. (2 paper(s))
5. Nord. J. Comput. (2 paper(s))
6. STTT (2 paper(s))
7. Formal Asp. Comput. (1 paper(s))
8. Formal Methods in System Design (1 paper(s))
9. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

1. Computer Aided Verification (CAV) (10 paper(s))
2. International Conference on Concurrency Theory (CONCUR) (9 paper(s))
3. Logic in Computer Science (LICS) (5 paper(s))
4. (4 paper(s))
5. TAPSOFT (3 paper(s))
6. Formal Techniques for Networked and Distributed Systems / (3 paper(s))
7. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (2 paper(s))
8. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
9. Publications Resulting from Dagstuhl Seminars (2 paper(s))
10. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (2 paper(s))
11. Fundamental Approaches to Software Engineering (FASE) (2 paper(s))
12. Feature Interactions in Telecommunications and Software Systems (2 paper(s))
13. IEEE Real-Time Systems Symposium (RTSS) (2 paper(s))
14. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
15. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
16. SPIN (1 paper(s))
17. Automatic Verification Methods for Finite State Systems (1 paper(s))
18. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
19. Birthday ... (1 paper(s))
20. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
21. IEEE International Symposium on Circuits and Systems (ISCAS) (1 paper(s))
22. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
23. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
24. International Conference / Workshop on Embedded Systems (EMSOFT) (1 paper(s))
25. Parallel Architectures and Languages Europe (PARLE) (1 paper(s))
26. Erlang Workshop (1 paper(s))
27. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
28. International Workshop on Formal Approaches to Testing of Software (1 paper(s))
29. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
30. Formal Modeling and Analysis of Timed Systems (1 paper(s))
31. SDL Forum (1 paper(s))
32. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))