| 2776 | Error Correcting Codes, Perfect Hashing Circuits, and Determ… (10.7146/brics.v4i17.18813) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2777 | Span Programs and General Secure Multi-Party Computation (10.7146/brics.v4i28.18954) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2778 | First-Order Logic with Two Variables and Unary Temporal Logi… (10.7146/brics.v4i5.18784) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2779 | Migration = Cloning ; Aliasing (Preliminary Version) (10.7146/brics.v5i33.19439) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2780 | Clock Difference Diagrams (10.7146/brics.v5i46.19491) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2781 | An Improved Algorithm for RNA Secondary Structure Prediction (10.7146/brics.v6i15.20072) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2782 | On proving syntactic properties of CPS programs (10.7146/brics.v6i23.20092) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2783 | The Max-Plus Algebra of the Natural Numbers has no Finite Eq… (10.7146/brics.v6i33.20102) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2784 | A Runtime System for Interactive Web Services (10.7146/brics.v6i9.20066) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2785 | Complexity of Weak Bisimilarity and Regularity for BPA and B… (10.7146/brics.v7i16.20143) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2786 | Local Logics for Traces (10.7146/brics.v7i2.20130) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2787 | Dynamic Partitioning in Linear Relation Analysis. Applicatio… (10.7146/brics.v7i38.20204) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2788 | A Calculus of Circular Proofs and its Categorical Semantics (10.7146/brics.v8i15.20472) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2789 | Non-Committing Encryption is Too Easy in the Random Oracle M… (10.7146/brics.v8i47.21707) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2790 | Optimal Black-Box Secret Sharing over Arbitrary Abelian Grou… (10.7146/brics.v9i8.21726) | References ORCID License | 52.42 | 4 | 1601-5355 |
| 2791 | Young women choosing contraceptives : Stories about informat… (10.7146/danbibfor.v7i2/3.97376) | References ORCID License | 52.42 | 4 | 1901-1040 |
| 2792 | Editorial (10.7146/dja.v10i0.130000) | Abstract References ORCID | 52.42 | 4 | 2166-2290 |
| 2793 | Syntax Directed Program Modularization (10.7146/dpb.v11i155.7429) | References ORCID License | 52.42 | 4 | 2245-9316 |
| 2794 | Degrees of Non-determinism and Concurrency: A Petri Net View (10.7146/dpb.v13i180.7455) | References ORCID License | 52.42 | 4 | 2245-9316 |
| 2795 | An Introduction to the Theoretical Aspects of Coloured Petri… (10.7146/dpb.v13i476.6949) | References ORCID License | 52.42 | 4 | 2245-9316 |
| 2796 | A Conceptual Framework for Programming Languages (10.7146/dpb.v14i192.7464) | References ORCID License | 52.42 | 4 | 2245-9316 |
| 2797 | Logics of Domains (10.7146/dpb.v18i298.6692) | References ORCID License | 52.42 | 4 | 2245-9316 |
| 2798 | Petri Nets as Models of Linear Logic (10.7146/dpb.v19i301.6682) | References ORCID License | 52.42 | 4 | 2245-9316 |
| 2799 | Convertible Undeniable Signatures (10.7146/dpb.v19i330.6719) | References ORCID License | 52.42 | 4 | 2245-9316 |
| 2800 | Activity Theory as a Challenge to Systems Design (10.7146/dpb.v19i334.6564) | References ORCID License | 52.42 | 4 | 2245-9316 |