Abstract is missing.
- Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity AutomataDana Angluin, Timos Antonopoulos, Dana Fisman, Nevin George. 1-20 [doi]
- Limits and difficulties in the design of under-approximation abstract domainsFlavio Ascari, Roberto Bruni, Roberta Gori. 21-39 [doi]
- On probability-raising causality in Markov decision processesChristel Baier, Florian Funke 0002, Jakob Piribauer, Robin Ziemek. 40-60 [doi]
- Parameterized Analysis of Reconfigurable Broadcast NetworksA. R. Balasubramanian, Lucie Guillou, Chana Weil-Kennedy. 61-80 [doi]
- Separators in Continuous Petri NetsMichael Blondin, Javier Esparza. 81-100 [doi]
- Graphical Piecewise-Linear AlgebraGuillaume Boisseau, Robin Piedeleu. 101-119 [doi]
- Token Games and History-Deterministic Quantitative AutomataUdi Boker, Karoliina Lehtinen. 120-139 [doi]
- On the Translation of Automata to Linear Temporal LogicUdi Boker, Karoliina Lehtinen, Salomon Sickert. 140-160 [doi]
- Categorical composable cryptographyAnne Broadbent, Martti Karvonen. 161-183 [doi]
- DyNetKAT: An Algebra of Dynamic NetworksGeorgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi 0001, Hünkar Can Tunç. 184-204 [doi]
- N-adhesivity, with an application to hierarchical graphsDavide Castelnovo, Fabio Gadducci, Marino Miculan. 205-224 [doi]
- Quantifier elimination for counting extensions of Presburger arithmeticDmitry Chistikov 0001, Christoph Haase, Alessio Mansutti. 225-243 [doi]
- A first-order logic characterisation of safety and co-safety languagesAlessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta. 244-263 [doi]
- First-order separation over countable ordinalsThomas Colcombet, Sam van Gool, Rémi Morvan. 264-284 [doi]
- A Faithful and Quantitative Notion of Distant Reduction for Generalized ApplicationsJosé Espírito Santo, Delia Kesner, Loïc Peyrot. 285-304 [doi]
- Modal Logics and Local Quantifiers: A Zoo in the Elementary HierarchyRaul Fervari, Alessio Mansutti. 305-324 [doi]
- Temporal Stream Logic modulo TheoriesBernd Finkbeiner, Philippe Heim, Noemi Passing. 325-346 [doi]
- The Different Shades of Infinite Session TypesSimon J. Gay, Diogo Poças, Vasco T. Vasconcelos. 347-367 [doi]
- Complete and tractable machine-independent characterizations of second-order polytimeEmmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Péchoux. 368-388 [doi]
- Variable binding and substitution for (nameless) dummiesAndré Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi. 389-408 [doi]
- Uniform Guarded FragmentsReijo Jaakkola. 409-427 [doi]
- Sweedler Theory of MonadsDylan McDermott, Exequiel Rivas, Tarmo Uustalu. 428-448 [doi]
- Model Checking Temporal Properties of Recursive Probabilistic ProgramsTobias Winkler, Christina Gehnen, Joost-Pieter Katoen. 449-469 [doi]