Journals and Conferences that author prefers
Josh Berdine: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Journals
- Electr. Notes Theor. Comput. Sci. (1 paper(s))
- Higher-Order and Symbolic Computation (1 paper(s))
Conferences
- (7 paper(s))
- Computer Aided Verification (CAV) (2 paper(s))
- Static Analysis (WSA/SAS) (2 paper(s))
- Asian Symposium on Programming Languages and Systems (1 paper(s))
- Formal Methods for Components and Objects (1 paper(s))
- Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
- Symposium on Principles of Programming Languages (POPL) (1 paper(s))
- SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (1 paper(s))
- Principles and Practice of Declarative Programming (PPDP) (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