| Vol-2243 urn:nbn:de:0074-2243-4 Copyright © 2018 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# ICTCS 2018
Italian Conference on Theoretical Computer Science

### Proceedings of the 19th Italian Conference on Theoretical Computer Science

### Urbino, Italy, September 18-20, 2018.

Edited by

### Alessandro Aldini *
Marco Bernardo *

* University of Urbino Carlo Bo, Department of Pure and Applied Sciences, 61029 Urbino, Italy

## Table of Contents

- Preface

### Invited Talks

- Pairwise Compatibility Graphs (invited paper) 1-6
  Rossella Petreschi, Tiziana Calamoneri
- Bisimilarity Via Unique-Solution Techniques (invited paper) 7-11
  Davide Sangiorgi

### IC-EATCS Best Young Researcher

- On String Attractors 12-16
  Nicola Prezza

### IC-EATCS Best PhD thesis (Mattia Gastaldello award)

- Round and Computational Efficiency of Two-Party Protocols (text not included)
  Michele Ciampi
- Delayed-Input and Non-Malleable Cryptographic Protocols (text not included)
  Luisa Siniscalchi

### IC-EATCS Best master thesis

- Flexible Coinduction for Infinite Behaviour 17-23
  Francesco Dagnino

### Session 1: Games and Distributed Algorithms

- Hedonic Games with Social Context 24-35
  Gianpiero Monaco, Luca Moscardelli, Yllka Velaj
- On the Effectiveness of Connection Tolls in Fair Cost Facility Location Games 36-47
  Felix C. Rodrigues, Guido Schaefer, Eduardo C. Xavier
- The Price of Anarchy of Affine Congestion Games with Similar Strategies 48-59
  Vittorio Bilò, Cosimo Vinci
- On the Emergent Behavior of the 2-Choices Dynamics 60-64
  Emilio Cruciani, Emanuele Natale, André Nusser, Giacomo Scornavacca

### Session 2: Graphs

- Threshold-Bounded Dominating Set with Incentives 65-76
  Gennaro Cordasco, Luisa Gargano, Adele A. Rescigno
- On Mining Distances in Large-Scale Dynamic Graphs 77-81
  Serafino Cicerone, Mattia D’Emidio, Daniele Frigioni
- Time-Based Similar Trajectories on Graphs 82-86
  Shima Moghtasedi
- Graph Theoretic Detection of Inefficiencies in Network Models 87-91
  Ivano Salvo, Daniele Gorla, Pietro Cenciarelli

### Session 3: AI, Complexity and Decidability

- On Randomised Strategies in the λ-calculus 92-103
  Ugo Dal Lago, Gabriele Vanoni
- Neural Cryptanalysis of Classical Ciphers 104-115
  Riccardo Focardi, Flaminia L. Luccio
- Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 116-127
  Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard Woeginger
- The Fixed Point Problem for General and for Linear SRL Programs is Undecidable 128-139
  Armando B. Matos, Luca Paolini, Luca Roversi

### Session 4: Logics and Constraints

- Metric Right Propositional Neighborhood Logic with an Equivalence Relation 140-151
  Pietro Sala
- Graded CTL* over Finite Paths 152-161
  Loredana Sorrentino, Sasha Rubin, Aniello Murano
- Power (Set) ALC 162-173
  Laura Giordano, Alberto Policriti
- Random Models of Very Hard 2QBF and Disjunctive Programs: An Overview (extended abstract; full paper published at IJCAI 2017) 174-178
  Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski

### Session 5: Formal Languages and Static Analysis

- Preliminary Results on the Modeling of System Level Diagnosis Problems with Abstract Argumentation 179-190
  Stefano Bistarelli, Antonio Caruso
- On the Generating Functions of Languages Accepted by Deterministic One-reversal Counter Machines 191-202
  Paolo Massazza
- On Some Succinct Representations of Regular Languages (extended abstract; full paper published at CIAA 2018 and NCMA 2017) 203-207
  Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero
- Linear-Time Limited Automata (extended abstract; full paper published at DCFS 2018) 208-212
  Bruno Guillon, Luca Prigioniero
- A Taxonomy of Program Analyses 213-217
  Gianluca Amato, Maria Chiara Meo, Francesca Scozzari

### Session 6: Concurrency

- Deciding Hedged Bisimilarity 218-229
  Alessio Mansutti, Marino Miculan
- On the Reactive Nature of Financial Networks 230-241
  Silvia Crafa, Daniele Varacca
- Relating some Logics for True Concurrency 242-253
  Tommaso Padoan
- Trace Metrics on Nondeterministic Probabilistic Processes (text not included)
  Valentina Castiglioni, Michele Loreti, Simone Tini

2018-11-08: submitted by Alessandro Aldini and Marco Bernardo, metadata incl. bibliographic data published under Creative Commons CC0
2018-11-11: published on CEUR-WS.org |valid HTML5|