| 4026 | On the Axiomatizability of Priority (10.7146/brics.v13i1.21907) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4027 | Static Analysis for Java Servlets and JSP (10.7146/brics.v13i10.21915) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4028 | A Rational Deconstruction of Landin's J Operator (10.7146/brics.v13i17.21922) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4029 | Control-Flow Analysis of Functional Programs (10.7146/brics.v14i18.21936) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4030 | Ready To Preorder: Get Your BCCSP Axiomatization for Free! (10.7146/brics.v14i3.21926) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4031 | An Investigation of Abadi and Cardelli's Untyped Calculus of… (10.7146/brics.v15i6.21941) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4032 | Monadic Second-order Logic for Parameterized Verification (10.7146/brics.v1i10.21660) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4033 | A Homomorphism Concept for omega-Regularity (10.7146/brics.v1i11.21659) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4034 | External-Storage Data Structures for Plane-Sweep Algorithms (10.7146/brics.v1i16.21651) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4035 | An Action Semantics for ML Concurrency Primitives (10.7146/brics.v1i20.21647) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4036 | A General Adequacy Result for a Linear Functional Language (10.7146/brics.v1i22.21645) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4037 | Symmetric Logspace is Closed Under Complement (10.7146/brics.v1i31.21612) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4038 | Partially Persistent Data Structures of Bounded Degree with… (10.7146/brics.v1i35.21608) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4039 | Fibrations and Calculi of Fractions (10.7146/brics.v1i37.21606) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4040 | A Complete Axiomatization of Timed Bisimulation for a Class… (10.7146/brics.v1i43.21599) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4041 | Compositional Model Checking of Real Time Systems (10.7146/brics.v2i19.19921) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4042 | A Semantic Theory for Value–Passing Processes Late Approach… (10.7146/brics.v2i22.19924) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4043 | Automata for the mu-calculus and Related Results (10.7146/brics.v2i27.19929) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4044 | Petri Nets, Traces, and Local Model Checking (10.7146/brics.v2i39.19941) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4045 | Lower Bounds on Arithmetic Circuits via Partial Derivatives… (10.7146/brics.v2i43.19944) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4046 | Monadic Second-Order Logic, Graphs and Unfoldings of Transit… (10.7146/brics.v2i44.19945) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4047 | A Complete Equational Axiomatization for Prefix Iteration wi… (10.7146/brics.v2i5.19507) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4048 | A Case Study in Automated Verification Based on Trace Abstra… (10.7146/brics.v2i54.19955) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4049 | Axiomatizing Prefix Iteration with Silent Steps (10.7146/brics.v2i56.19957) | References ORCID License | 35.78 | 2 | 1601-5355 |
| 4050 | External-Memory Algorithms for Processing Line Segments in G… (10.7146/brics.v3i12.19975) | References ORCID License | 35.78 | 2 | 1601-5355 |