Journals and Conferences that author prefers

Journals

1. Inf. Comput. (7 paper(s))
2. Acta Inf. (3 paper(s))
3. ACM Comput. Surv. (2 paper(s))
4. Theor. Comput. Sci. (2 paper(s))
5. IEEE Computer (1 paper(s))
6. Acta Cybern. (1 paper(s))
7. Electr. Notes Theor. Comput. Sci. (1 paper(s))
8. Formal Methods in System Design (1 paper(s))
9. Proceedings of the IEEE (1 paper(s))
10. Real-Time Systems (1 paper(s))
11. Sci. Comput. Program. (1 paper(s))
12. ACM Trans. Embedded Comput. Syst. (1 paper(s))
13. IEEE Trans. Software Eng. (1 paper(s))
14. Commun. ACM (1 paper(s))

Conferences

1. (22 paper(s))
2. Computer Aided Verification (CAV) (6 paper(s))
3. Hybrid Systems (4 paper(s))
4. International Colloquium on Automata, Languages and Programming (ICALP) (4 paper(s))
5. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (3 paper(s))
6. REX (Research and Education in Concurrent Systems) - Workshops (3 paper(s))
7. Mathematical Foundations of Computer Science (MFCS) (3 paper(s))
8. Advanced Courses (2 paper(s))
9. Applications and Theory of Petri Nets (ICATPN/APN) (2 paper(s))
10. Protocol Specification, Testing and Verification (2 paper(s))
11. IEEE Real-Time Systems Symposium (RTSS) (2 paper(s))
12. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (2 paper(s))
13. International Conference / Workshop on Embedded Systems (EMSOFT) (2 paper(s))
14. Conference on Software Engineering and Formal Methods (SEFM) (2 paper(s))
15. World Congress on Formal Methods (FM) (2 paper(s))
16. Formal Methods for Components and Objects (2 paper(s))
17. Logic in Computer Science (LICS) (2 paper(s))
18. Symposium on Theoretical Aspects of Computer Science (STACS) (2 paper(s))
19. Logic of Programs (2 paper(s))
20. Temporal Logic in Specification (1 paper(s))
21. International Symposium on Fault-Tolerant Computing (FTCS) (1 paper(s))
22. International Conference On Principles Of DIstributed Systems (1 paper(s))
23. Birthday ... (1 paper(s))
24. The Analysis of Concurrent Systems (1 paper(s))
25. International Symposium on Computer Modeling, Measurement and Evaluation (Performance) (1 paper(s))
26. Network Computing and Applications (1 paper(s))
27. Symposium on Programming (1 paper(s))
28. Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (1 paper(s))
29. Compositionality: The Significant Difference (COMPOS) (1 paper(s))
30. International Conference on Software Engineering (ICSE) (1 paper(s))
31. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
32. IFIP World Computer Congress (1 paper(s))
33. Design, Automation, and Test in Europe (1 paper(s))
34. SDL Forum (1 paper(s))
35. International Symposium om Computer Architecture (ISCA) (1 paper(s))
36. International Symposium on Systems Synthesis (1 paper(s))
37. School on Formal Methods for the Design of Computer, Communication and Software Systems (1 paper(s))
38. Annual Symposium on Foundations of Computer Science (FOCS) (1 paper(s))
39. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
40. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
41. TAPSOFT (1 paper(s))
42. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
43. International Working Conference on Model Realism (1 paper(s))