| 4076 | The Alternation Hierarchy for the Theory of mu-lattices (10.7146/brics.v7i29.20163) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4077 | PowerForms: Declarative Client-Side Form Field Validation (10.7146/brics.v7i43.20210) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4078 | The Second Futamura Projection for Type-Directed Partial Eva… (10.7146/brics.v7i44.20211) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4079 | Reasoning About Code-Generation in Two-Level Languages (10.7146/brics.v7i46.20213) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4080 | Events in Security Protocols (10.7146/brics.v8i13.20470) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4081 | A Temporal Concurrent Constraint Programming Calculus (10.7146/brics.v8i20.21681) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4082 | A Higher-Order Calculus for Categories (10.7146/brics.v8i27.21687) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4083 | A Fully Equational Proof of Parikh's Theorem (10.7146/brics.v8i28.21688) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4084 | Syntactic Theories in Practice (10.7146/brics.v8i31.21691) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4085 | Perfect Hiding and Perfect Binding Universally Composable Co… (10.7146/brics.v8i41.21701) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4086 | Extracting Witnesses from Proofs of Knowledge in the Random… (10.7146/brics.v8i52.21713) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4087 | Syntactic Accidents in Program Analysis: On the Impact of th… (10.7146/brics.v8i54.21715) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4088 | A Simple CPS Transformation of Control-Flow Information (10.7146/brics.v8i55.21716) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4089 | Static Validation of Dynamically Generated HTML (10.7146/brics.v8i9.20464) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4090 | The Powerdomain of Indexed Valuations (10.7146/brics.v9i38.21753) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4091 | Cognitive Science in Biblical Studies: An Overview (10.7146/cb.v15i0.16306) | References ORCID License | 35.78 | 2 | 2246-4158 |
| 4092 | Metrical Dissonance in the Works of Carl Nielsen. A Metrical… (10.7146/cns.v5i0.27775) | References ORCID License | 35.78 | 2 | 2245-5809 |
| 4093 | Personas : En domæneanalytisk tilgang (10.7146/danbibfor.v3i2.97542) | References ORCID License | 35.78 | 2 | 1901-1040 |
| 4094 | Folkebibliotekernes brugerbilleder. Fire forestillinger om b… (10.7146/danbibfor.v5i1.97461) | References ORCID License | 35.78 | 2 | 1901-1040 |
| 4095 | The Future of Research and the Research Library. A Report to… (10.7146/danbibfor.v5i2/3.97452) | References ORCID License | 35.78 | 2 | 1901-1040 |
| 4096 | Evidensbaseret praksis i videnskabsteoretisk belysning (10.7146/danbibfor.v6i2/3.97406) | References ORCID License | 35.78 | 2 | 1901-1040 |
| 4097 | Evidens om bibliotekernes brugere (10.7146/danbibfor.v6i2/3.97408) | References ORCID License | 35.78 | 2 | 1901-1040 |
| 4098 | ‘The coldest case of all’ (10.7146/dja.v10i0.121916) | References ORCID License | 35.78 | 2 | 2166-2290 |
| 4099 | Turfs and timbers (10.7146/dja.v10i0.121918) | References ORCID License | 35.78 | 2 | 2166-2290 |
| 4100 | Borgring. Uncovering the strategy for a Viking Age ring fort… (10.7146/dja.v10i0.121920) | References ORCID License | 35.78 | 2 | 2166-2290 |