Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (7 paper(s))
2. Electr. Notes Theor. Comput. Sci. (6 paper(s))
3. Formal Methods in System Design (4 paper(s))
4. Inf. Comput. (4 paper(s))
5. Nord. J. Comput. (4 paper(s))
6. STTT (3 paper(s))
7. IEEE Computer (1 paper(s))
8. ITA (1 paper(s))
9. J. Log. Algebr. Program. (1 paper(s))
10. J. Log. Comput. (1 paper(s))
11. Real-Time Systems (1 paper(s))
12. SIGMETRICS Performance Evaluation Review (1 paper(s))
13. CoRR (1 paper(s))

Conferences

1. (18 paper(s))
2. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (9 paper(s))
3. Computer Aided Verification (CAV) (9 paper(s))
4. International Conference on Concurrency Theory (CONCUR) (7 paper(s))
5. Formal Modeling and Analysis of Timed Systems (6 paper(s))
6. International Colloquium on Automata, Languages and Programming (ICALP) (6 paper(s))
7. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (5 paper(s))
8. Hybrid Systems (5 paper(s))
9. Mathematical Foundations of Computer Science (MFCS) (3 paper(s))
10. Protocol Specification, Testing and Verification (3 paper(s))
11. IEEE Real-Time Systems Symposium (RTSS) (3 paper(s))
12. Logic in Computer Science (LICS) (3 paper(s))
13. TAPSOFT (2 paper(s))
14. Colloquium on Trees in Algebra and Programming (CAAP) (2 paper(s))
15. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
16. Process Algebra and Probabilistic Methods (2 paper(s))
17. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
18. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (2 paper(s))
19. Publications Resulting from Dagstuhl Seminars (2 paper(s))
20. International Conference / Workshop on Embedded Systems (EMSOFT) (2 paper(s))
21. International Workshop on Formal Approaches to Testing of Software (2 paper(s))
22. School on Formal Methods for the Design of Computer, Communication and Software Systems (1 paper(s))
23. Applications and Theory of Petri Nets (ICATPN/APN) (1 paper(s))
24. Fundamentals of Computation Theory (FCT) (1 paper(s))
25. SPIN (1 paper(s))
26. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
27. World Congress on Formal Methods (FM) (1 paper(s))
28. Mathematical Foundations of Programming Semantics (1 paper(s))
29. Automatic Verification Methods for Finite State Systems (1 paper(s))
30. Formal Methods for Components and Objects (1 paper(s))
31. Modeling and Verification of Parallel Processes (MOVEP) (1 paper(s))
32. North American Process Algebra Workshop (1 paper(s))
33. UNI/IIST (1 paper(s))
34. Computer Applications in Industry and Engineering (1 paper(s))
35. Automated Technology for Verification and Analysis (1 paper(s))
36. Computers and Their Applications (1 paper(s))
37. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
38. European Symposium on Programming (ESOP) (1 paper(s))
39. Quantitative Evaluation of Systems (1 paper(s))
40. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
41. Ershov Memorial Conference (1 paper(s))
42. International Conference on Distributed Computing Systems (ICDCS) - Workshops (1 paper(s))
43. ACM Symposium on Applied Computing (SAC) (1 paper(s))
44. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
45. Automated Software Engineering (ASE) (1 paper(s))
46. Semantics of Data Types (1 paper(s))