Journals and Conferences that author prefers

Journals

1. STTT (4 paper(s))
2. Inf. Comput. (2 paper(s))
3. Acta Inf. (1 paper(s))
4. Distributed Computing (1 paper(s))
5. Electr. Notes Theor. Comput. Sci. (1 paper(s))
6. Formal Asp. Comput. (1 paper(s))
7. Formal Methods in System Design (1 paper(s))
8. ITA (1 paper(s))
9. Fundam. Inform. (1 paper(s))
10. CoRR (1 paper(s))
11. IEEE Design & Test of Computers (1 paper(s))

Conferences

1. Computer Aided Verification (CAV) (8 paper(s))
2. (6 paper(s))
3. SDL Forum (3 paper(s))
4. SPIN (3 paper(s))
5. International Colloquium on Automata, Languages and Programming (ICALP) (3 paper(s))
6. Birthday ... (2 paper(s))
7. SAM (2 paper(s))
8. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
9. The Unified Modeling Language (UML) (2 paper(s))
10. Automatic Verification Methods for Finite State Systems (1 paper(s))
11. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
12. European Workshop on Software Architecture (1 paper(s))
13. School on Formal Methods for the Design of Computer, Communication and Software Systems (1 paper(s))
14. World Congress on Formal Methods (FM) (1 paper(s))
15. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))
16. TAPSOFT (1 paper(s))
17. Temporal Logic in Specification (1 paper(s))
18. International Conference on COTS-Based Software Systems (ICCBSS) (1 paper(s))
19. Workshops on Abstract State Machines (1 paper(s))
20. Logic of Programs (1 paper(s))
21. Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (1 paper(s))
22. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
23. (1 paper(s))
24. Network Computing and Applications (1 paper(s))