Journals and Conferences that author prefers
Darko Marinov: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Journals
- Electr. Notes Theor. Comput. Sci. (2 paper(s))
- Autom. Softw. Eng. (1 paper(s))
- Electr. J. Comb. (1 paper(s))
Conferences
- (16 paper(s))
- Automated Software Engineering (ASE) (3 paper(s))
- Foundations of Software Engineering (SIGSOFT FSE) (3 paper(s))
- IEEE International Conference on Formal Engineering Methods (2 paper(s))
- International Symposium on Software Testing and Analysis (ISSTA) (2 paper(s))
- Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (2 paper(s))
- Theory and Applications of Satisfiability Testing (2 paper(s))
- Relational Methods in Computer Science (RelMiCS) (1 paper(s))
- International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
- European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
- World Congress on Formal Methods (FM) (1 paper(s))
- International Conference on Software Engineering (ICSE) (1 paper(s))
- International Symposium on Software Reliability Engineering (1 paper(s))
- Modeling, Analysis, and Simulation On Computer and Telecommunication Systems (MASCOTS) (1 paper(s))
- Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002