Journals and Conferences that author prefers

Journals

1. J. Autom. Reasoning (2 paper(s))
2. AI EDAM (1 paper(s))
3. Concurrency and Computation: Practice and Experience (1 paper(s))
4. Information & Software Technology (1 paper(s))
5. J. Symb. Comput. (1 paper(s))
6. Parallel Computing (1 paper(s))
7. Theor. Comput. Sci. (1 paper(s))
8. CoRR (1 paper(s))

Conferences

1. Engineering of Computer-Based Systems (ECBS) (3 paper(s))
2. International Symposium on Symbolic and Algebraic Computation (ISSAC) (3 paper(s))
3. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (AAECC) (2 paper(s))
4. Rewriting Techniques and Applications (RTA) (2 paper(s))
5. Computer Algebra and Parallelism (2 paper(s))
6. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE) (2 paper(s))
7. Design and Implementation of Symbolic Computation Systems (DISCO) (2 paper(s))
8. Workshop on Parallel Algorithms for Irregularly Structured Problems (IRREGULAR) (2 paper(s))
9. European Conference on Computer Algebra (EUROCAL) (2 paper(s))
10. The Florida AI Research Society (FLAIRS) (1 paper(s))
11. Parallel Processing and Applied Mathematics (1 paper(s))
12. ACPC Conference (1 paper(s))
13. World Congress on Formal Methods (FM) (1 paper(s))
14. International Conference on Quality Software (1 paper(s))
15. Asia-Pacific Conference on Quality Software (1 paper(s))
16. High-Performance Computing and Networking (HPCN Europe) (1 paper(s))
17. Architektur von Rechensystemen (1 paper(s))
18. International Conference on Internet Computing (IC) (1 paper(s))
19. ACM Symposium on Applied Computing (SAC) (1 paper(s))
20. IEEE International Conference on Formal Engineering Methods (1 paper(s))
21. Theory and Applications of Satisfiability Testing (1 paper(s))
22. IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID) (1 paper(s))
23. International Conference on Supercomputing (ICS) (1 paper(s))
24. IEEE Symposium on Parallel and Distributed Processing (SPDP) (1 paper(s))
25. International Conference on Cooperative Information Systems (CoopIS) (1 paper(s))
26. IEEE International Conference on Software Maintenance (1 paper(s))
27. Integrated Formal Methods (IFM) (1 paper(s))
28. DeLFI - Fachtagung "e-Learning" der Gesellschaft für Informatik (1 paper(s))
29. Integrated Network Management (1 paper(s))
30. Innovative Internet Computing Systems (1 paper(s))
31. (1 paper(s))
32. International Conference on Extending Database Technology (EDBT) - Workshops (1 paper(s))
33. Object-Oriented Real-Time Distributed Computing (1 paper(s))
34. European Conference on Parallel Processing (Euro-Par) (1 paper(s))
35. Parallel and Distributed Processing Techniques and Applications (1 paper(s))