Journals and Conferences that author prefers

Journals

1. Real-Time Systems (5 paper(s))
2. Acta Inf. (4 paper(s))
3. ACM Trans. Program. Lang. Syst. (3 paper(s))
4. Inf. Process. Lett. (3 paper(s))
5. Inform., Forsch. Entwickl. (2 paper(s))
6. Informatik Spektrum (2 paper(s))
7. ACM Trans. Embedded Comput. Syst. (1 paper(s))
8. Computer Languages, Systems & Structures (1 paper(s))
9. ACM Trans. Comput. Log. (1 paper(s))
10. CoRR (1 paper(s))
11. ACM Comput. Surv. (1 paper(s))
12. IEEE Trans. Software Eng. (1 paper(s))
13. IEEE Trans. Vis. Comput. Graph. (1 paper(s))
14. Logic Journal of the IGPL (1 paper(s))
15. it - Information Technology (1 paper(s))
16. J. Funct. Program. (1 paper(s))
17. Proceedings of the IEEE (1 paper(s))
18. Sci. Comput. Program. (1 paper(s))
19. SIGPLAN Notices (1 paper(s))

Conferences

1. (19 paper(s))
2. Publications Resulting from Dagstuhl Seminars (9 paper(s))
3. GI-Jahrestagung (7 paper(s))
4. Compiler Construction (CC) (6 paper(s))
5. Symposium on Principles of Programming Languages (POPL) (4 paper(s))
6. Symposium on Stochastic Algorithms: Foundations and Applications (SAGA) (3 paper(s))
7. Programmiersprachen (3 paper(s))
8. Static Analysis (WSA/SAS) (2 paper(s))
9. Innovative Informations-Infrastrukturen (2 paper(s))
10. Symposium on Programming Language Implementation and Logic Programming (PLILP) (2 paper(s))
11. Worst-Case Execution Time Analysis (2 paper(s))
12. Architektur von Rechensystemen (1 paper(s))
13. High-Performance Computing and Networking (HPCN Europe) (1 paper(s))
14. Real-Time Computing Systems and Applications (1 paper(s))
15. Automated Technology for Verification and Analysis (1 paper(s))
16. International Conference on Computational Science (ICCS) (1 paper(s))
17. Computer Aided Verification (CAV) (1 paper(s))
18. International Conference on Software Engineering (ICSE) (1 paper(s))
19. IFIP World Computer Congress (1 paper(s))
20. ACM SIGPLAN Conferences and Workshops (1 paper(s))
21. Software-Entwicklung (1 paper(s))
22. (1 paper(s))
23. International Symposium on Software Testing and Analysis (ISSTA) (1 paper(s))
24. Software Visualization (1 paper(s))
25. Dependable Systems and Networks (1 paper(s))
26. Languages, Compilers, and Tools for Embedded Systems (LCTES) (1 paper(s))
27. SPIN (1 paper(s))
28. International Conference / Workshop on Embedded Systems (EMSOFT) (1 paper(s))
29. Logical and Operational Methods in the Analysis of Programs and Systems (LOMAPS) (1 paper(s))
30. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
31. European Symposium on Programming (ESOP) (1 paper(s))
32. Parallel Architectures and Languages Europe (PARLE) (1 paper(s))
33. Attribute Grammars and their Applications (1 paper(s))
34. Formal Methods for Components and Objects (1 paper(s))
35. Formal Modeling and Analysis of Timed Systems (1 paper(s))
36. Conference on Implementation and Application of Automata (CIAA) (1 paper(s))
37. Symposium on Graph Drawing (GD) (1 paper(s))
38. (1 paper(s))
39. PROSPECTRA (1 paper(s))