| 4051 | Rotation of Periodic Strings and Short Superstrings (10.7146/brics.v3i21.19984) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4052 | Scalings in Linear Programming: Necessary and Sufficient Con… (10.7146/brics.v3i48.20050) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4053 | Diagnostic Model Checking for Real-Time Systems (10.7146/brics.v3i57.18682) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4054 | Compilation and Equivalence of Imperative Objects (10.7146/brics.v4i19.21677) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4055 | Topological Completeness for Higher-Order Logic (10.7146/brics.v4i21.18947) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4056 | Relational Semantics of Non-Deterministic Dataflow (10.7146/brics.v4i36.18962) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4057 | Distributed Safety Controllers for Web Services (10.7146/brics.v4i47.19268) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4058 | CASL for ASF+SDF Users (10.7146/brics.v4i49.19270) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4059 | Sequential Iteration of Interactive Arguments and an Efficie… (10.7146/brics.v4i50.19271) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4060 | Some Lambda Calculus and Type Theory Formalized (10.7146/brics.v4i51.19272) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4061 | On the Finitary Characterization of pi-Congruences (10.7146/brics.v4i52.19273) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4062 | A Comparison of Petri Net Semantics under the Collective Tok… (10.7146/brics.v5i17.19423) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4063 | An Extensional Characterization of Lambda-Lifting and Lambda… (10.7146/brics.v5i2.21961) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4064 | Efficient Multiparty Computations with Dishonest Minority (10.7146/brics.v5i36.19441) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4065 | The Power of Reachability Testing for Timed Automata (10.7146/brics.v5i48.19493) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4066 | Formatting Strings in ML (10.7146/brics.v5i5.21679) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4067 | Imperative Objects and Mobile Processes (10.7146/brics.v5i52.19498) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4068 | Weak Bisimulation and Open Maps (10.7146/brics.v6i14.20071) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4069 | An Error in the Mixed Adversary Protocol by Fitzi, Hirt and… (10.7146/brics.v6i2.20059) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4070 | Two Notes on the Computational Complexity of One-Dimensional… (10.7146/brics.v6i3.20060) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4071 | Structural Operational Semantics (10.7146/brics.v6i30.20099) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4072 | Decoding Choice Encodings (10.7146/brics.v6i42.20112) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4073 | Partial Evaluation for Constraint-Based Program Analyses (10.7146/brics.v6i45.20115) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4074 | Model-Checking Real-Time Control Programs. Verifying LEGO Mi… (10.7146/brics.v6i53.20123) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4075 | Free mu-lattices (10.7146/brics.v7i28.20161) | References ORCID License | 35.78 | 2 | 1601-5355 |