Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (14 paper(s))
2. Theor. Comput. Sci. (13 paper(s))
3. Inf. Comput. (6 paper(s))
4. ACM Comput. Surv. (2 paper(s))
5. Fundam. Inform. (2 paper(s))
6. Journal of Computer Security (2 paper(s))
7. Acta Inf. (1 paper(s))
8. Sci. Comput. Program. (1 paper(s))
9. Comput. J. (1 paper(s))
10. Computer Communications (1 paper(s))
11. T. Comp. Sys. Biology (1 paper(s))
12. ACM Trans. Comput. Log. (1 paper(s))
13. ACM Trans. Model. Comput. Simul. (1 paper(s))
14. Formal Asp. Comput. (1 paper(s))
15. ACM Trans. Softw. Eng. Methodol. (1 paper(s))
16. IEEE Trans. Software Eng. (1 paper(s))
17. Int. J. Found. Comput. Sci. (1 paper(s))
18. Int. J. Inf. Sec. (1 paper(s))
19. J. Log. Algebr. Program. (1 paper(s))
20. Perform. Eval. (1 paper(s))

Conferences

1. International Conference on Concurrency Theory (CONCUR) (5 paper(s))
2. IEEE Computer Security Foundations Workshop (CSFW) (5 paper(s))
3. Algebraic Methodology and Software Technology (AMAST) (4 paper(s))
4. TAPSOFT (4 paper(s))
5. (4 paper(s))
6. Mathematical Foundations of Computer Science (MFCS) (4 paper(s))
7. Foundations of Security Analysis and Design (3 paper(s))
8. Applications and Theory of Petri Nets (ICATPN/APN) (3 paper(s))
9. International Colloquium on Automata, Languages and Programming (ICALP) (3 paper(s))
10. International Conference on Coordination Models and Languages (COORDINATION) (3 paper(s))
11. Formal Methods for Open Object-Based Distributed Systems (2 paper(s))
12. International Conference on Service Oriented Computing (2 paper(s))
13. Advanced Courses (1 paper(s))
14. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
15. International Conference on Application of Concurrency to System Design (1 paper(s))
16. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
17. Programming Concepts, Methods and Calculi (PROCOMET) (1 paper(s))
18. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
19. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
20. ACM Symposium on Applied Computing (SAC) (1 paper(s))
21. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
22. Global Computing (1 paper(s))
23. Information Security (1 paper(s))
24. Computer Aided Verification (CAV) (1 paper(s))
25. Global Computing (1 paper(s))
26. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
27. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
28. International Conference on Logic Programming (1 paper(s))
29. Workshop on Enabling Technologies: Infrastracture for Collaborative Enterprises (WETICE) (1 paper(s))
30. European Conference on Object-Oriented Programming (ECOOP): Workshops (1 paper(s))
31. IFIP WG 1.7 Publications (1 paper(s))
32. European Performance Engineering Workshop (1 paper(s))
33. European Symposium on Programming (ESOP) (1 paper(s))
34. Mathematical Methods, Models, and Architectures for Network Security Systems (MMM-ACNS) (1 paper(s))
35. Formale Beschreibungstechniken (1 paper(s))
36. Process Algebra and Probabilistic Methods (1 paper(s))