| 2176 | Profunctors, Open Maps and Bisimulation (10.7146/brics.v11i22.21847) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2177 | Optimal Strategies in Priced Timed Game Automata (10.7146/brics.v11i4.21829) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2178 | A Dynamic Continuation-Passing Style for Dynamic Delimited C… (10.7146/brics.v12i16.21882) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2179 | Secure Computing, Economy, and Trust: A Generic Solution for… (10.7146/brics.v12i18.21884) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2180 | Type Checking with XML Schema in XACT (10.7146/brics.v12i31.21898) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2181 | Complexity Results for Model Checking (10.7146/brics.v2i18.19920) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2182 | Cut-Elimination for Full Intuitionistic Linear Logic (10.7146/brics.v3i10.19973) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2183 | Regular Trace Event Structures (10.7146/brics.v3i32.20012) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2184 | Presheaf Models for Concurrency (10.7146/brics.v3i35.20017) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2185 | Pushdown Processes: Games and Model Checking (10.7146/brics.v3i54.20057) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2186 | Finitely Presented Heyting Algebras (10.7146/brics.v5i30.19436) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2187 | Derandomizing Arthur-Merlin Games using Hitting Sets (10.7146/brics.v6i47.20117) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2188 | Towards a Theory of Regular MSC Languages (10.7146/brics.v6i52.20122) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2189 | A Modular SOS for ML Concurrency Primitives (10.7146/brics.v6i57.20127) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2190 | Linear Parametric Model Checking of Timed Automata (10.7146/brics.v8i5.20459) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2191 | On the Number of Maximal Independent Sets in a Graph (10.7146/brics.v9i15.21733) | References ORCID License | 63.38 | 6 | 1601-5355 |
| 2192 | Problems with Strontium Isotopic Proveniencing in Denmark? (10.7146/dja.v10i0.121659) | References ORCID License | 63.38 | 6 | 2166-2290 |
| 2193 | Mobility and diet in Prehistoric Denmark: strontium isotope… (10.7146/dja.v9i0.116301) | References ORCID License | 63.38 | 6 | 2166-2290 |
| 2194 | La enseñanza de lenguas extranjeras en Argentina (10.7146/dl.v10i15.113584) | References ORCID License | 63.38 | 6 | 2246-8609 |
| 2195 | TRANSDISCIPLINARITY AS A DECOLONIZING RESEARCH PRACTICE (10.7146/dl.v29i0.120252) | References ORCID License | 63.38 | 6 | 2246-8609 |
| 2196 | Knowledge production and internationalization of Higher Educ… (10.7146/dl.v32i1.127278) | References ORCID License | 63.38 | 6 | 2246-8609 |
| 2197 | A Cook's Tour of Countable Nondeterminism (10.7146/dpb.v10i133.18448) | References ORCID License | 63.38 | 6 | 2245-9316 |
| 2198 | Integer Factorization (10.7146/dpb.v11i144.7419) | References ORCID License | 63.38 | 6 | 2245-9316 |
| 2199 | Transition Systems, Event Structures and Unfoldings (10.7146/dpb.v20i353.6583) | References ORCID License | 63.38 | 6 | 2245-9316 |
| 2200 | Towards Participatory Design: The Head and the Heart Revisit… (10.7146/dpb.v20i374.6606) | References ORCID License | 63.38 | 6 | 2245-9316 |