DAIMI Report Series
Last updated ISSN 0105-8517
DAIMI Report Series is published by Aarhus University Library in computer science. It is open access. Its article processing charge is not published.
Is your paper a fit?
The surest way to know is to compare your own abstract against what this journal has actually been publishing, rather than against its aims-and-scope page. Paste your abstract and Journal Hunt will tell you how close DAIMI Report Series is — and show you journals like it.
What it publishes
Recent work in DAIMI Report Series concentrates on these topics, taken from its published record rather than from its own description:
- Logic, programming, and type systems
- Formal Methods in Verification
- Petri Nets in System Modeling
- Business Process Modeling and Analysis
- Logic, Reasoning, and Knowledge
- Model-Driven Software Engineering Techniques
- semigroups and automata theory
- Semantic Web and Ontologies
- Parallel Computing and Optimization Techniques
- Software Engineering Research
Key facts
| Publisher | Aarhus University Library |
|---|---|
| ISSN | 0105-8517, 2245-9316 |
| Subject area | Computer Science |
| Access | Open access |
| Article processing charge | Not published |
| Indexed in | Not recorded |
| Articles published | 596 |
| Publishing since | 1972 |
| Journal website | ojs.statsbiblioteket.dk/index.php/daimipb/index |
Facts come from OpenAlex, DOAJ and Wikidata and may lag the journal’s own pages. Check the publisher’s site before submitting. Indexing shown here is what is recorded, not a complete picture — about a third of journals have no indexing recorded anywhere we can read, so “not recorded” does not mean a journal is absent from Scopus or Web of Science.
Journals like DAIMI Report Series
Other established journals in computer science, if this one is not the right home for your paper:

