Abstract is missing.
- Bisimilarity Via Unique-Solution TechniquesDavide Sangiorgi. 7-11 [doi]
- On String AttractorsNicola Prezza. 12-16 [doi]
- Flexible Coinduction for Infinite BehaviourFrancesco Dagnino. 17-23 [doi]
- Hedonic Games with Social ContextGianpiero Monaco, Luca Moscardelli, Yllka Velaj. 24-35 [doi]
- On the Effectiveness of Connection Tolls in Fair Cost Facility Location GamesFélix Carvalho Rodrigues, Guido Schäfer, Eduardo C. Xavier. 36-47 [doi]
- The Price of Anarchy of Affine Congestion Games with Similar StrategiesVittorio Bilò, Cosimo Vinci. 48-59 [doi]
- On the Emergent Behavior of the 2-Choices DynamicsEmilio Cruciani, Emanuele Natale, André Nusser, Giacomo Scornavacca. 60-64 [doi]
- Threshold-Bounded Dominating Set with IncentivesGennaro Cordasco, Luisa Gargano, Adele A. Rescigno. 65-76 [doi]
- On Mining Distances in Large-Scale Dynamic GraphsSerafino Cicerone, Mattia D'Emidio, Daniele Frigioni. 77-81 [doi]
- Time-Based Similar Trajectories on GraphsShima Moghtasedi. 82-86 [doi]
- Graph Theoretic Detection of Inefficiencies in Network ModelsIvano Salvo, Daniele Gorla, Pietro Cenciarelli. 87-91 [doi]
- On Randomised Strategies in the λ-calculusUgo Dal Lago, Gabriele Vanoni. 92-103 [doi]
- Neural Cryptanalysis of Classical CiphersRiccardo Focardi, Flaminia L. Luccio. 104-115 [doi]
- Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-CompleteLaura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger. 116-127 [doi]
- The Fixed Point Problem for General and for Linear SRL Programs is UndecidableArmando B. Matos, Luca Paolini, Luca Roversi. 128-139 [doi]
- Metric Right Propositional Neighborhood Logic with an Equivalence RelationPietro Sala. 140-151 [doi]
- Graded CTL* over Finite PathsLoredana Sorrentino, Sasha Rubin, Aniello Murano. 152-161 [doi]
- Power (Set) ALCLaura Giordano 0001, Alberto Policriti. 162-173 [doi]
- Preliminary Results on the Modeling of System Level Diagnosis Problems with Abstract ArgumentationStefano Bistarelli, Antonio Caruso 0001. 179-190 [doi]
- On the Generating Functions of Languages Accepted by Deterministic One-reversal Counter MachinesPaolo Massazza. 191-202 [doi]
- A Taxonomy of Program AnalysesGianluca Amato, Maria Chiara Meo, Francesca Scozzari. 213-217 [doi]
- Deciding Hedged BisimilarityAlessio Mansutti, Marino Miculan. 218-229 [doi]
- On the Reactive Nature of Financial NetworksSilvia Crafa, Daniele Varacca. 230-241 [doi]
- Relating some Logics for True ConcurrencyTommaso Padoan. 242-253 [doi]