2245-9316

DAIMI Report Series

Det Kgl. Bibliotek/Royal Danish Library

Health Score

0 Poor

Metadata coverage

Abstract
ORCID
References
License

Extended metadata coverage

Informational — signals of interoperability and funding across the corpus. Not part of the health score.

Funding

Funder
Award / grant

Affiliation & institutional identifiers

Affiliation
ROR ID

Update policy

Update policy

Your prioritized action plan

Ordered by how many DOIs each fix touches — start here, not with every error at once.

1

Deposit reference lists for 599 records

Deposited references power Crossref's Cited-by links between your articles and the literature.

High impact599 DOIs
2

Attach ORCID iDs across 599 articles

ORCID iDs strengthen author disambiguation and institutional reporting.

High impact599 DOIs
3

Add license metadata to 599 records

License metadata tells indexers and readers how each article may be reused.

High impact599 DOIs

DOIs for this ISSN

Showing the top 5 of 291 DOIs, ordered by correction priority.

# Title Missing Priority Citations
1 Concurrent Program Schemes and their Interpretations (10.7146/dpb.v6i78.7691)
References ORCID License
182.83 273
2 Lanczos Bidiagonalization With Partial Reorthogonalization (10.7146/dpb.v27i537.7070)
References ORCID License
156.74 122
3 CSCW - Four Characters in Search of a Context (10.7146/dpb.v18i289.6667)
References ORCID License
129.93 53
4 A Scaled Conjugate Gradient Algorithm for Fast Supervised Le… (10.7146/dpb.v19i339.6570)
References ORCID License
128.07 50
5 A Calculus of Communicating Systems with Label Passing (10.7146/dpb.v15i208.7559)
References ORCID License
126.76 48
6 Through the Interface - a Human Activity Approach to User In… (10.7146/dpb.v16i224.7586)
References ORCID License
122.51 42
7 Fibrations, Logical Predicates and Indeterminates (10.7146/dpb.v22i462.6935)
References ORCID License
118.48 37
8 Model Checking Coloured Petri Nets - Exploiting Strongly Con… (10.7146/dpb.v26i519.7048)
References ORCID License
118.48 37
9 gbeta - a Language with Virtual Attributes, Block Structure,… (10.7146/dpb.v29i549.7654)
References ORCID License
114.86 33
10 Block Ciphers: Analysis, Design and Applications (10.7146/dpb.v23i485.6978)
References ORCID License
112.89 31
11 Succinctness of Descriptions of Context-Free, Regular, and F… (10.7146/dpb.v7i84.6500)
References ORCID License
108.54 27
12 The BETA Programming Language (10.7146/dpb.v16i229.7578)
References ORCID License
100.68 21
13 Collaboration, Coordination and Computer Support: An Activit… (10.7146/dpb.v27i533.7062)
References ORCID License
99.17 20
14 Seventh Workshop and Tutorial on Practical Use of Coloured P… (10.7146/dpb.v35i579.7322)
References ORCID License
99.17 20
15 Using Artifacts as Triggers for Participatory Analysis (10.7146/dpb.v21i413.6726)
References ORCID License
95.91 18
16 Verification of Temporal Properties of Concurrent Systems (10.7146/dpb.v22i445.6762)
References ORCID License
95.91 18
17 A Linear Specification Language for Petri Nets (10.7146/dpb.v20i363.6594)
References ORCID License
94.15 17
18 Electronic Payments of Small Amounts (10.7146/dpb.v24i495.7023)
References ORCID License
90.31 15
19 Computer Support for Cooperative Design (10.7146/dpb.v17i262.6550)
References ORCID License
88.21 14
20 Efficient Training of Feed-Forward Neural Networks (10.7146/dpb.v22i464.6937)
References ORCID License
88.21 14
21 Results on the Propositional µ-Calculus (10.7146/dpb.v11i146.7420)
References ORCID License
85.96 13
22 Creating Conditions for Participation: Conflicts and Resourc… (10.7146/dpb.v13i479.6952)
References ORCID License
85.96 13
23 Galleries and Institutions (10.7146/dpb.v14i191.7463)
References ORCID License
85.96 13
24 Distributed Provers and Verifiable Secret Sharing Based on t… (10.7146/dpb.v21i388.6621)
References ORCID License
85.96 13
25 Coloured Petri Nets Extended with Channels for Synchronous C… (10.7146/dpb.v21i390.6625)
References ORCID License
85.96 13
26 Models for Concurrency (10.7146/dpb.v22i463.6936)
References ORCID License
83.55 12
27 Abstract Semantic Algebras! (10.7146/dpb.v11i145.6543)
References ORCID License
80.94 11
28 Elementary transition systems (10.7146/dpb.v19i310.6701)
References ORCID License
80.94 11
29 Supporting Active User Involvement in Prototyping (10.7146/dpb.v19i333.6563)
References ORCID License
80.94 11
30 A Tool Perspective on Design of Interactive Computer Support… (10.7146/dpb.v14i190.6547)
References ORCID License
78.10 10
31 Verification of VLSI Circuits Using LP (10.7146/dpb.v17i258.7842)
References ORCID License
78.10 10
32 Provably Correct Compiler Generation (10.7146/dpb.v21i422.6736)
References ORCID License
78.10 10
33 State Space Methods for Coloured Petri Nets (10.7146/dpb.v29i546.7080)
References ORCID License
78.10 10
34 Designing Emotions for Activity Selection (10.7146/dpb.v29i545.7079)
References ORCID License
75.00 9
35 Aesthetic Approaches to Human-Computer Interaction (10.7146/dpb.v33i572.7129)
References ORCID License
75.00 9
36 Beyond the Interface: Encountering Artifacts in Use (10.7146/dpb.v18i288.6666)
References ORCID License
71.57 8
37 Challenging Practice: an approach to Cooperative Analysis (10.7146/dpb.v23i465.6938)
References ORCID License
71.57 8
38 Elements of a Theory of Design Artefacts: a contribution to… (10.7146/dpb.v27i531.7060)
References ORCID License
71.57 8
39 MACROS, Iterated Substitution and Lindenmayer AFLs (10.7146/dpb.v2i18.6437)
References ORCID License
71.57 8
40 Sixth Workshop and Tutorial on Practical Use of Coloured Pet… (10.7146/dpb.v34i576.7198)
References ORCID License
71.57 8
41 Towards Reachability Trees for High-level Petri Nets (10.7146/dpb.v13i174.7449)
References ORCID License
67.73 7
42 Multiple Inheritance, a Structuring Mechanism for Data, Proc… (10.7146/dpb.v15i209.7560)
References ORCID License
67.73 7
43 The Use of Action Semantics (10.7146/dpb.v15i217.7568)
References ORCID License
67.73 7
44 A Cooperative Work Perspective on Use and Development of Com… (10.7146/dpb.v16i234.7590)
References ORCID License
67.73 7
45 A Sweepline Algorithm for Generalized Delaunay Triangulation… (10.7146/dpb.v20i373.6605)
References ORCID License
67.73 7
46 A Design of One's Own: Towards Participatory Design in the U… (10.7146/dpb.v20i375.6607)
References ORCID License
67.73 7
47 Models for Concurrency (10.7146/dpb.v21i429.6743)
References ORCID License
67.73 7
48 Exact Calculation of the Product of the Hessian Matrix of Fe… (10.7146/dpb.v22i432.6748)
References ORCID License
67.73 7
49 IO and OI (10.7146/dpb.v4i47.6466)
References ORCID License
67.73 7
50 A Cook's Tour of Countable Nondeterminism (10.7146/dpb.v10i133.18448)
References ORCID License
63.38 6