Abstract is missing.
- Coinductive Techniques for Higher-order Languages with Algebraic Effect (text not included)Francesco Gavazzo.
- From Distributed Computing to Natural Algorithms and Beyond (text not included)Emanuele Natale.
- Temporal Logic for Operator Precedence Words (text not included)Michele Chiari.
- Deque Languages, Automata and Planar Graphs (text not included)Stefano Crespi-Reghizzi, Pierluigi San Pietro.
- Coping with Selfishness in Congestion Games (text not included)Cosimo Vinci.
- Interacting Hopf Algebras: the Theory of Linear Systems (text not included)Filippo Bonchi.
- Limited Automata: Power and Complexity (text not included)Giovanni Pighizzini.
- System Analysis and RobustnessEugenio Moggi, Amin Farjudian, Walid Taha. 1-7 [doi]
- Comparing Related Phylogenetic TreesTiziana Calamoneri, Angelo Di Mambro, Blerina Sinaimeri. 8-13 [doi]
- Bridging Qualitative and Quantitative Modeling with FuzzXSimone Spolaor. 14-19 [doi]
- When a Dollar Makes a BWTSara Giuliani, Zsuzsanna Lipták, Romeo Rizzi. 20-33 [doi]
- On the Semantic Equivalence of Language Syntax FormalismsSamuele Buro, Isabella Mastroeni. 34-51 [doi]
- Iterated Uniform Finite-State TransducersMartin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano. 52-57 [doi]
- String Attractors and Combinatorics on WordsSabrina Mantaci, Antonio Restivo, Giuseppe Romana, Giovanna Rosone, Marinella Sciortino. 57-71 [doi]
- Pushdown Automata Accepting in Constant Height: Decidability and Height Bounds - Extended AbstractGiovanni Pighizzini, Luca Prigioniero. 72-77 [doi]
- Saddle Point Method in the analysis of pattern statistics for regular languagesMassimiliano Goldwurm, Jianyi Lin, Marco Vignati. 78-90 [doi]
- Online Firefighting on GridsMarc Demange, David Ellison, Raffaella Gentilini. 91-96 [doi]
- Models and Algorithms for Election Control through Influence MaximizationMohammad Abouei Mehrizi, Federico Corò, Emilio Cruciani, Gianlorenzo D'Angelo, Stefano Ponziani. 97-103 [doi]
- On the Complexity of Opinion Consensus under Majority DynamicsVincenzo Auletta, Diodato Ferraioli, Gianluigi Greco. 104-109 [doi]
- Top-k Overlapping Densest Subgraphs: Approximation and ComplexityRiccardo Dondi, Mohammad Mehdi Hosseinzadeh, Giancarlo Mauri, Italo Zoppis. 110-121 [doi]
- A Potential-Based Variant of the Bellman-Ford AlgorithmDomenico Cantone, Pietro Maugeri, Stefano Scafiti. 122-135 [doi]
- Modeling Imperative Constructs in the Pi-CalculusDaniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi. 136-138 [doi]
- Asynchronous Games on Petri Nets and Partial OrderFederica Adobbati, Luca Bernardinello, Lucia Pomello. 139-144 [doi]
- On the Axiomatizability of Priority III: The Return of Sequential CompositionLuca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen. 145-157 [doi]
- Corecursive Featherweight Java RevisitedPietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona. 158-170 [doi]
- An Abstract Distributed Middleware for Transactions over Heterogeneous StoresLuca Geatti, Federico Igne, Marino Miculan. 171-183 [doi]
- Intersection Types for the Computational lambda-CalculusUgo de'Liguoro, Riccardo Treglia. 184-189 [doi]
- Tracing and Preventing Sharing and MutationPaola Giannini, Marco Servetto, Elena Zucca. 190-203 [doi]
- Formalizing Program Equivalences in Dependent Type TheoryGiorgio Marabelli, Alberto Momigliano. 204-209 [doi]
- Resilience Analysis of Time-varying Networks with Addition and Deletion of NodesMichele Amoretti, GianLuigi Ferrari. 210-221 [doi]
- Word- and Tree-based Temporal Logics for Operator Precedence LanguagesMichele Chiari, Dino Mandrioli, Matteo Pradella. 222-228 [doi]
- Towards a Tool for LTL Synthesis with Bounded-Energy ConstraintsBastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano. 229-234 [doi]
- Model Checking Timeline-Based Systems over Dense Temporal DomainsLaura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron. 235-247 [doi]
- A Deterministic Event Calculus for Effective Runtime VerificationDavide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi. 248-260 [doi]
- Polynomial-Time Satisfiability Tests for 'Small' Membership TheoriesDomenico Cantone, Pietro Maugeri. 261-273 [doi]