Journals and Conferences that author prefers

Journals

1. Inf. Process. Lett. (2 paper(s))
2. Acta Inf. (1 paper(s))
3. BIT (1 paper(s))
4. IEEE Computer (1 paper(s))
5. Formal Methods in System Design (1 paper(s))
6. Parallel Computing (1 paper(s))
7. Parallel Processing Letters (1 paper(s))
8. Softw., Pract. Exper. (1 paper(s))
9. IEEE Trans. Software Eng. (1 paper(s))
10. Commun. ACM (1 paper(s))

Conferences

1. Theorem Provers in Circuit Design (TPCD) (4 paper(s))
2. International Conference on Hardware Software Codesign (2 paper(s))
3. World Congress on Formal Methods (FM) (2 paper(s))
4. Automatic Verification Methods for Finite State Systems (1 paper(s))
5. Conference on Algorithms and Hardware for Parallel Processing (CONPAR) (1 paper(s))
6. International Symposium on Distributed Data Bases (DDB) (1 paper(s))
7. Formal Hardware Verification (1 paper(s))
8. Research Directions in High-Level Parallel Programming Languages (1 paper(s))
9. IFIP World Computer Congress (1 paper(s))
10. IFIP WG10.5 (1 paper(s))
11. International Workshop on Larch (1 paper(s))
12. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
13. TAPSOFT (1 paper(s))