| 3426 | Theory and Practice of Action Semantics (10.7146/brics.v3i53.20056) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3427 | Model Checking via Reachability Testing for Timed Automata (10.7146/brics.v4i29.18955) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3428 | Quantum Entanglement and Communication Complexity (10.7146/brics.v4i40.18966) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3429 | CoFI: The Common Framework Initiative for Algebraic Specific… (10.7146/brics.v4i48.19269) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3430 | Online Type-Directed Partial Evaluation (10.7146/brics.v4i53.19274) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3431 | Dynamic Linear Time Temporal Logic (10.7146/brics.v4i8.18798) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3432 | On the (Im)possibility of Basing Oblivious Transfer and Bit… (10.7146/brics.v5i37.19442) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3433 | A Complexity Gap for Tree-Resolution (10.7146/brics.v6i29.20098) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3434 | Verification of State/Event Systems by Quotienting (10.7146/brics.v6i41.20111) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3435 | Observational Mu-Calculus (10.7146/brics.v6i5.20062) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3436 | Practical Threshold RSA Signatures Without a Trusted Dealer (10.7146/brics.v7i30.20164) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3437 | Improved Non-Committing Encryption Schemes based on a Genera… (10.7146/brics.v7i6.20134) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3438 | The Abstraction and Instantiation of String-Matching Program… (10.7146/brics.v8i12.20469) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3439 | Defunctionalization at Work (10.7146/brics.v8i23.21684) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3440 | On the Number of Quasi-Kernels in Digraphs (10.7146/brics.v8i7.20461) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3441 | Extending Java for High-Level Web Service Construction (10.7146/brics.v9i11.21729) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3442 | Solving the String Statistics Problem in Time O(n log n) (10.7146/brics.v9i13.21731) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3443 | A Simple Correctness Proof of the Direct-Style Transformatio… (10.7146/brics.v9i2.21719) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3444 | Composing Strand Spaces (10.7146/brics.v9i5.21723) | References ORCID License | 45.15 | 3 | 1601-5355 |
| 3445 | Communication management under the spotlight (10.7146/claw.v6i2.116131) | References ORCID License | 45.15 | 3 | 2245-5744 |
| 3446 | Weapon and tool use during the Nordic Bronze Age (10.7146/dja.v8i0.111834) | References License | 45.15 | 7 | 2166-2290 |
| 3447 | Exploring Spatial Patterns at “Nørholm”, a Metal-rich Site b… (10.7146/dja.v9i0.114872) | References ORCID License | 45.15 | 3 | 2166-2290 |
| 3448 | Dominating the Landscape – the emblematic Setting of Borgrin… (10.7146/dja.v9i0.116110) | References ORCID License | 45.15 | 3 | 2166-2290 |
| 3449 | Las vicisitudes de la enseñanza de lenguas en Colombia (10.7146/dl.v10i15.113586) | References ORCID License | 45.15 | 3 | 2246-8609 |
| 3450 | La formulación de las políticas públicas de turismo en Méxic… (10.7146/dl.v14i21.113255) | References ORCID License | 45.15 | 3 | 2246-8609 |