Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (2 paper(s))
2. Algorithmica (1 paper(s))
3. Distributed Computing (1 paper(s))
4. Electr. Notes Theor. Comput. Sci. (1 paper(s))
5. Fundam. Inform. (1 paper(s))
6. J. Funct. Program. (1 paper(s))
7. J. Parallel Distrib. Comput. (1 paper(s))
8. Real-Time Systems (1 paper(s))

Conferences

1. (13 paper(s))
2. Workshop on Object-Oriented Real-Time Dependable Systems (3 paper(s))
3. IEEE Real-Time Systems Symposium (RTSS) (2 paper(s))
4. Advanced Courses (1 paper(s))
5. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
6. Static Analysis (WSA/SAS) (1 paper(s))
7. Euromicro Conference on Real-Time Systems (ECRTS) (1 paper(s))
8. ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems (1 paper(s))
9. International Conference / Workshop on Embedded Systems (EMSOFT) (1 paper(s))
10. ACM Symposium on Parallel Algorithms and Architectures (SPAA) (1 paper(s))
11. European Conference on Parallel Processing (Euro-Par) (1 paper(s))
12. Worst-Case Execution Time Analysis (1 paper(s))
13. Formal Modeling and Analysis of Timed Systems (1 paper(s))
14. Conference on Functional Programming Languages and Computer Architecture (FPCA) (1 paper(s))
15. IFIP WG10.3 Publications (1 paper(s))
16. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
17. Synthesis for Control Dominated Circuits (1 paper(s))
18. (1 paper(s))
19. Languages, Compilers, and Tools for Embedded Systems (LCTES) (1 paper(s))
20. Parallel Architectures and Languages Europe (PARLE) (1 paper(s))
21. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (1 paper(s))