| 6251 | Faster Deterministic Dictionaries (10.7146/brics.v6i48.20118) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6252 | Event Structures as Presheaves —Two Representation Theorems (10.7146/brics.v6i7.20064) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6253 | Pseudoknots in RNA Secondary Structures (10.7146/brics.v7i1.20129) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6254 | A Tough Nut for Tree Resolution (10.7146/brics.v7i10.20137) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6255 | Modeling a Language for Embedded Systems in Timed Automata (10.7146/brics.v7i17.20144) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6256 | Language, Semantics, and Methods for Cryptographic Protocols (10.7146/brics.v7i18.20145) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6257 | Heuristics for Hierarchical Partitioning with Application to… (10.7146/brics.v7i21.20148) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6258 | Growing Languages with Metamorphic Syntax Macros (10.7146/brics.v7i24.20151) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6259 | A Discrete Stratety Improvement Algorithm for Solving Parity… (10.7146/brics.v7i48.20215) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6260 | Higher Order Reverse Mathematics (10.7146/brics.v7i49.20216) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6261 | Democratic Consensus and the Local Majority Rule (10.7146/brics.v7i8.20135) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6262 | The Complexity of Constructing Evolutionary Trees Using Expe… (10.7146/brics.v8i1.20220) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6263 | Effective Bounds on Strong Unicity in L1-Approximation (10.7146/brics.v8i14.20471) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6264 | Language-Based Caching of Dynamically Generated HTML (10.7146/brics.v8i17.20474) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6265 | On the Power of Labels in Transition Systems (10.7146/brics.v8i19.21680) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6266 | The Equational Theory of Fixed Points with Applications to G… (10.7146/brics.v8i22.21683) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6267 | A Selective CPS Transformation (10.7146/brics.v8i30.21690) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6268 | Lossy Dictionaries (10.7146/brics.v8i33.21693) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6269 | Free De Morgan Bisemigroups and Bisemilattices (10.7146/brics.v8i38.21698) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6270 | Temporal Concurrent Constraint Programming: Applications and… (10.7146/brics.v8i48.21708) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6271 | Note on the Tableau Technique for Commutative Transition Sys… (10.7146/brics.v8i50.21711) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6272 | Traveling Salesman Should not be Greedy: Domination Analysis… (10.7146/brics.v8i6.20460) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6273 | Checking for Open Bisimilarity in the pi-Calculus (10.7146/brics.v8i8.20463) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6274 | Modified Bar Recursion (10.7146/brics.v9i14.21732) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6275 | Strong Bisimilarity of Simple Process Algebras: Complexity L… (10.7146/brics.v9i16.21734) | References ORCID License | 22.58 | 1 | 1601-5355 |