Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (3 paper(s))
2. Formal Asp. Comput. (3 paper(s))
3. Formal Methods in System Design (3 paper(s))
4. Computer Networks (2 paper(s))
5. Sci. Comput. Program. (2 paper(s))
6. Theor. Comput. Sci. (2 paper(s))
7. Comput. J. (1 paper(s))
8. Comput. Syst. Sci. Eng. (1 paper(s))
9. J. Log. Algebr. Program. (1 paper(s))
10. IEEE Micro (1 paper(s))
11. J. Log. Program. (1 paper(s))

Conferences

1. (6 paper(s))
2. TAPSOFT (3 paper(s))
3. Dependable Systems and Networks (2 paper(s))
4. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
5. Formal Methods for Open Object-Based Distributed Systems (2 paper(s))
6. High-Assurance Systems (HASE) (2 paper(s))
7. International Conference on Software Engineering (ICSE) (2 paper(s))
8. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
9. Symposium on Mathematical Fundamentals of Database Systems (MFDBS) (1 paper(s))
10. Cooperative Systems Design (1 paper(s))
11. ACM Symposium on Applied Computing (SAC) (1 paper(s))
12. Static Analysis (WSA/SAS) (1 paper(s))
13. Design, Specification, and Verification of Interactive Systems (DSV-IS) (1 paper(s))
14. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
15. Workshop on Algebraic Development Techniques (WADT) (1 paper(s))
16. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
17. Global Computing (1 paper(s))
18. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
19. International Conference on Engineering of Complex Computer Systems (1 paper(s))
20. International Symposium on Software Testing and Analysis (ISSTA) (1 paper(s))