| 6151 | Faster Algorithms for Computing Longest Common Increasing Su… (10.7146/brics.v12i37.21904) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6152 | A Syntactic Correspondence between Context-Sensitive Calculi… (10.7146/brics.v12i38.21905) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6153 | Denotational Aspects of Untyped Normalization by Evaluation (10.7146/brics.v12i4.21870) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6154 | Exploiting Labels in Structural Operational Semantics (10.7146/brics.v12i8.21874) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6155 | Visibly Pushdown Automata: From Language Equivalence to Simu… (10.7146/brics.v13i13.21918) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6156 | Static Analysis for Event-Based XML Processing (10.7146/brics.v13i16.21921) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6157 | A Syntactic Correspondence between Context-Sensitive Calculi… (10.7146/brics.v13i18.22176) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6158 | Logics for The Applied pi Calculus (10.7146/brics.v13i19.21923) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6159 | A Concrete Framework for Environment Machines (10.7146/brics.v13i3.21909) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6160 | A Rational Deconstruction of Landin's J Operator (10.7146/brics.v13i4.21910) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6161 | Static Analysis for Java Servlets and JSP (10.7146/brics.v13i8.21914) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6162 | Temporal Logics Beyond Regularity (10.7146/brics.v14i13.22178) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6163 | A Complete, Co-Inductive Syntactic Theory of Sequential Cont… (10.7146/brics.v14i4.21927) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6164 | On the Existence of a Finite Base for Complete Trace Equival… (10.7146/brics.v14i5.21928) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6165 | On One-Pass CPS Transformations (10.7146/brics.v14i6.21929) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6166 | Refunctionalization at Work (10.7146/brics.v14i7.21930) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6167 | Dynamic Normal Forms and Dynamic Characteristic Polynomial (10.7146/brics.v15i2.21937) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6168 | Refunctionalization at Work (10.7146/brics.v15i4.21939) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6169 | The Limit View of Infinite Computations (10.7146/brics.v1i14.21653) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6170 | Petri Nets and Bisimulations (10.7146/brics.v1i15.21652) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6171 | Local Model Checking and Traces (10.7146/brics.v1i17.21650) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6172 | Automatic Verification of Real-Timed Systems Using EPSILON (10.7146/brics.v1i19.21648) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6173 | Secure Signature Schemes Based on Interactive Protocols (10.7146/brics.v1i29.21637) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6174 | Enhancing the Strength of Conventional Cryptosystems (10.7146/brics.v1i38.21605) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6175 | CPO Models for GSOS Languages - Part I: Compact GSOS Languag… (10.7146/brics.v1i40.21603) | References ORCID License | 22.58 | 1 | 1601-5355 |