| 3401 | Electromyographic investigation of Danish consonants, stress… (10.7146/aripuc.v8i.130955) | References ORCID License | 45.15 | 3 | 2794-3224 |
| 3402 | Acoustical and perceptual properties of the Danish stød (10.7146/aripuc.v8i.130956) | References ORCID License | 45.15 | 3 | 2794-3224 |
| 3403 | Requirements for event-driven architectures in open BIM coll… (10.7146/aul.455.c195) | References ORCID License | 45.15 | 3 | — |
| 3404 | Linking Early Design Stages with Physical Simulations using… (10.7146/aul.455.c212) | References ORCID License | 45.15 | 3 | — |
| 3405 | Optimisation and inhibition of anaerobic digestion of livest… (10.7146/bce.v1i3.21204) | References ORCID License | 45.15 | 3 | 2245-5817 |
| 3406 | Kvalitet i 90ernes materialevalg. Bibliotekerne mellem det m… (10.7146/bibarb.v0i31.106286) | References ORCID License | 45.15 | 3 | 0106-2514 |
| 3407 | Bibliotekariske identiteter, formidlingsarbejde og arbejdsor… (10.7146/bibarb.v0i39.104775) | References ORCID License | 45.15 | 3 | 0106-2514 |
| 3408 | Bruk av siteringer og tidsskriftimpaktfaktor til forskningse… (10.7146/bibarb.v0i48.102744) | References ORCID License | 45.15 | 3 | 0106-2514 |
| 3409 | From Interpreter to Logic Engine by Defunctionalization (10.7146/brics.v10i25.21954) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3410 | A Formal Model for Trust in Dynamic Networks (10.7146/brics.v10i4.21775) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3411 | Maximum Exact Satisfiability: NP-completeness Proofs and Exa… (10.7146/brics.v11i19.21844) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3412 | Recursion vs. Replication in Simple Cryptographic Protocols (10.7146/brics.v11i23.21848) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3413 | Static Validation of XSL Transformations (10.7146/brics.v12i32.21899) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3414 | Analyzing Ambiguity of Context-Free Grammars (10.7146/brics.v13i9.21965) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3415 | Analyzing Ambiguity of Context-Free Grammars (10.7146/brics.v14i10.21932) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3416 | Count(q) does not imply Count(p) (10.7146/brics.v1i21.21646) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3417 | Linear Logic on Petri Nets (10.7146/brics.v1i3.21667) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3418 | A Constraint Oriented Proof Methodology based on Modal Trans… (10.7146/brics.v1i47.21595) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3419 | The Constructive Lift Monad (10.7146/brics.v2i20.19922) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3420 | Petri Nets and Bisimulations (10.7146/brics.v2i4.19506) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3421 | Deciding Regularity in Process Algebras (10.7146/brics.v2i52.19953) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3422 | A Complete Deductive System for the mu-Calculus (10.7146/brics.v2i6.19508) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3423 | Partial and Higher Order Differentials and Applications to t… (10.7146/brics.v2i9.19512) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3424 | On the Complexity of Deciding Behavioural Equivalences and P… (10.7146/brics.v3i39.20021) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3425 | A Machine Verified Distributed Sorting Algorithm (10.7146/brics.v3i4.19967) | References ORCID License | 45.15 | 3 | 1601-5355 |