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

Your prioritized action plan

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

Deposit reference lists for 670 records

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

High impact670 DOIs

Attach ORCID iDs across 670 articles

ORCID iDs strengthen author disambiguation and institutional reporting.

High impact670 DOIs

Add license metadata to 670 records

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

High impact670 DOIs

DOIs for this ISSN

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

#	Title	Missing	Priority	Citations
1	On provably disjoint NP-pairs (10.7146/brics.v1i36.21607)	References ORCID License	129.93	53
2	Refocusing in Reduction Semantics (10.7146/brics.v11i26.21851)	References ORCID License	124.71	45
3	Decidability Issues for Petri Nets (10.7146/brics.v1i8.21662)	References ORCID License	121.74	41
4	A Group Signature Scheme Based on an RSA-Variant (10.7146/brics.v5i27.19433)	References ORCID License	115.81	34
5	Cache Oblivious Search Trees via Binary Trees of Small Heigh… (10.7146/brics.v8i36.21696)	References ORCID License	112.89	31
6	MONA: Monadic Second-Order Logic in Practice (10.7146/brics.v2i21.19923)	References ORCID License	107.35	26
7	Modelling and Analysis of a Collision Avoidance Protocol usi… (10.7146/brics.v3i24.20005)	References ORCID License	107.35	26
8	Cuckoo Hashing (10.7146/brics.v8i32.21692)	References ORCID License	107.35	26
9	Balls and Bins: A Study in Negative Dependence (10.7146/brics.v3i25.20006)	References ORCID License	104.85	24
10	Formal Modeling and Analysis of an Audio/Video Protocol: An… (10.7146/brics.v4i31.18957)	References ORCID License	102.13	22
11	Relational Reasoning about Contexts (10.7146/brics.v4i24.18950)	References ORCID License	100.68	21
12	A Generalisation, a Simplification and some Applications of… (10.7146/brics.v7i45.20212)	References ORCID License	97.58	19
13	From HUPPAAL to UPPAAL - A Translation from Hierarchical Tim… (10.7146/brics.v8i11.20467)	References ORCID License	97.58	19
14	Minimum-Cost Reachability for Priced Timed Automata (10.7146/brics.v8i3.20457)	References ORCID License	97.58	19
15	From Interpreter to Compiler and Virtual Machine: A Function… (10.7146/brics.v10i14.21784)	References ORCID License	95.91	18
16	Bisimulation for Labelled Markov Processes (10.7146/brics.v4i4.18783)	References ORCID License	95.91	18
17	The Meaning of Types From Intrinsic to Extrinsic Semantics (10.7146/brics.v7i32.20167)	References ORCID License	90.31	15
18	Cryptography in the Bounded Quantum Storage Model (10.7146/brics.v12i20.21886)	References ORCID License	88.21	14
19	A Compositional Proof System for the Modal mu-Calculus (10.7146/brics.v1i34.21609)	References ORCID License	88.21	14
20	Open Maps (at) Work (10.7146/brics.v2i23.19925)	References ORCID License	88.21	14
21	Marked Ancestor Problems (10.7146/brics.v5i16.21956)	References ORCID License	85.96	13
22	Verifiable Encryption and Applications to Group Signatures a… (10.7146/brics.v5i32.19438)	References ORCID License	85.96	13
23	Hashing Functions can Simplify Zero-Knowledge Protocol Desig… (10.7146/brics.v1i39.21604)	References ORCID License	83.55	12
24	A Modular SOS for Action Notation (10.7146/brics.v6i56.20126)	References ORCID License	83.55	12
25	Deciding Framed Bisimilarity (10.7146/brics.v9i25.21741)	References ORCID License	83.55	12
26	A Calculus for Context-Awareness (10.7146/brics.v12i27.21894)	References ORCID License	80.94	11
27	Models for Concurrency (10.7146/brics.v1i12.21658)	References ORCID License	80.94	11
28	UPPAAL—a Tool Suite for Automatic Verification of Real–Time… (10.7146/brics.v3i58.18769)	References ORCID License	80.94	11
29	Guided Synthesis of Control Programs for a Batch Plant using… (10.7146/brics.v7i37.20203)	References ORCID License	80.94	11
30	Efficient Protocols based on Probabilistic Encryption using… (10.7146/brics.v7i5.20133)	References ORCID License	80.94	11
31	Universal Hash Proofs and a Paradigm for Adaptive Chosen Cip… (10.7146/brics.v8i37.21697)	References ORCID License	80.94	11
32	Efficient Guiding Towards Cost-Optimality in UPPAAL (10.7146/brics.v8i4.20458)	References ORCID License	80.94	11
33	Decidability of Systems of Set Constraints with Negative Con… (10.7146/brics.v1i32.21611)	References ORCID License	78.10	10
34	A HOL Basis for Reasoning about Functional Programs (10.7146/brics.v1i44.21598)	References ORCID License	78.10	10
35	Bisimulations for Asynchronous Mobile Processes (10.7146/brics.v3i8.19971)	References ORCID License	78.10	10
36	Measures on Hidden Markov Models (10.7146/brics.v6i6.20063)	References ORCID License	78.10	10
37	A Denotational Investigation of Defunctionalization (10.7146/brics.v7i47.20214)	References ORCID License	78.10	10
38	Compact Representations of BL-Algebras (10.7146/brics.v9i23.21739)	References ORCID License	78.10	10
39	A Rational Deconstruction of Landin's SECD Machine (10.7146/brics.v10i33.21801)	References ORCID License	75.00	9
40	Dictionaries on AC^0 RAMs: Query Time Theta(√log n/log log n… (10.7146/brics.v4i14.21678)	References ORCID License	75.00	9
41	Multiparty Computation from Threshold Homomorphic Encryption (10.7146/brics.v7i14.20141)	References ORCID License	75.00	9
42	Static Analysis for Dynamic XML (10.7146/brics.v9i24.21740)	References ORCID License	75.00	9
43	Online On-the-Fly Testing of Real-time Systems (10.7146/brics.v10i49.21821)	References ORCID License	71.57	8
44	Precise Analysis of String Expressions (10.7146/brics.v10i5.21776)	References ORCID License	71.57	8
45	A Study of Syntactic and Semantic Artifacts and its Applicat… (10.7146/brics.v15i3.21938)	References ORCID License	71.57	8
46	From Timed Automata to Logic - and Back (10.7146/brics.v2i2.19504)	References ORCID License	71.57	8
47	BDD Algortihms and Cache Misses (10.7146/brics.v3i26.20007)	References ORCID License	71.57	8
48	Objects as Mobile Processes (10.7146/brics.v3i38.20020)	References ORCID License	71.57	8
49	How to Believe a Machine-Checked Proof (10.7146/brics.v4i18.18945)	References ORCID License	71.57	8
50	Optimal Time-Space Trade-Offs for Sorting (10.7146/brics.v5i10.19282)	References ORCID License	71.57	8