Journals and Conferences that author prefers

Journals

1. Nord. J. Comput. (4 paper(s))
2. STTT (3 paper(s))
3. Inf. Comput. (2 paper(s))
4. Theor. Comput. Sci. (2 paper(s))
5. Acta Inf. (1 paper(s))
6. Formal Asp. Comput. (1 paper(s))
7. J. Log. Algebr. Program. (1 paper(s))
8. Real-Time Systems (1 paper(s))
9. Operating Systems Review (1 paper(s))
10. ACM Trans. Embedded Comput. Syst. (1 paper(s))
11. CoRR (1 paper(s))
12. Electr. Notes Theor. Comput. Sci. (1 paper(s))

Conferences

1. (13 paper(s))
2. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (7 paper(s))
3. Computer Aided Verification (CAV) (5 paper(s))
4. International Conference on Concurrency Theory (CONCUR) (3 paper(s))
5. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (3 paper(s))
6. IEEE International Conference on Formal Engineering Methods (2 paper(s))
7. Formal Modeling and Analysis of Timed Systems (2 paper(s))
8. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
9. Real-Time Computing Systems and Applications (2 paper(s))
10. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (2 paper(s))
11. IEEE Real-Time Systems Symposium (RTSS) (2 paper(s))
12. Hybrid Systems (2 paper(s))
13. Advanced Courses (1 paper(s))
14. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
15. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
16. TAPSOFT (1 paper(s))
17. Integrated Formal Methods (IFM) (1 paper(s))
18. UNI/IIST (1 paper(s))
19. Languages, Compilers, and Tools for Embedded Systems (LCTES) (1 paper(s))
20. International Conference on Engineering of Complex Computer Systems (1 paper(s))
21. BCS-FACS Publications (1 paper(s))
22. Logic in Computer Science (LICS) (1 paper(s))
23. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
24. Mathematical Foundations of Programming Semantics (1 paper(s))
25. Fundamentals of Computation Theory (FCT) (1 paper(s))
26. Modeling and Verification of Parallel Processes (MOVEP) (1 paper(s))
27. Protocol Specification, Testing and Verification (1 paper(s))
28. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
29. Quantitative Evaluation of Systems (1 paper(s))
30. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
31. SPIN (1 paper(s))