| Vol-2504 urn:nbn:de:0074-2504-3 Copyright © 2019 for the individual papers by the papers' authors. Copyright © 2019 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# ICTCS 2019
20th Italian Conference on Theoretical Computer Science

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

### Como, Italy, September 9-11, 2019.

Edited by

### Alessandra Cherubini *
Nicoletta Sabadini **
Simone Tini **

* Politecnico di Milano, Italy
** Università dell'Insubria, Italy

## Table of Contents

- Preface

### Invited Talks

- Interacting Hopf Algebras: the Theory of Linear Systems (text not included)
  Filippo Bonchi
- Limited Automata: Power and Complexity (text not included)
  Giovanni Pighizzini

### IC-EATCS Best Young Researcher

- From Distributed Computing to Natural Algorithms and Beyond (text not included)
  Emanuele Natale

### IC-EATCS Best PhD thesis

- Coinductive Techniques for Higher-order Languages with Algebraic Effect (text not included)
  Francesco Gavazzo
- Coping with Selfishness in Congestion Games (text not included)
  Cosimo Vinci

### IC-EATCS Best master thesis

- Temporal Logic for Operator Precedence Words (text not included)
  Michele Chiari

### Session 1: Reasoning Based on Distances and Applications to Biology

- System Analysis and Robustness (short paper) 1-7
  Eugenio Moggi, Amin Farjudian, Walid Taha
- Comparing Related Phylogenetic Trees (short paper) 8-13
  Tiziana Calamoneri, Angelo Di Mambro, Blerina Sinaimeri
- Bridging Qualitative and Quantitative Modeling with FuzzX (short paper) 14-19
  Simone Spolaor
- When a Dollar Makes a BWT 20-33
  Sara Giuliani, Zsuzsanna Liptak, Romeo Rizzi

### Session 2: Formal Languages

- On the Semantic Equivalence of Language Syntax Formalisms 34-51
  Samuele Buro, Isabella Mastroeni
- Iterated Uniform Finite-State Transducers (short paper) 52-57
  Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano
- Deque Languages, Automata and Planar Graphs (text not included) (no contribution given)
  Stefano Crespi Reghizzi, Pierluigi San Pietro
- String Attractors and Combinatorics on Words 57-71
  Sabrina Mantaci, Antonio Restivo, Giuseppe Romana, Giovanna Rosone, Marinella Sciortino
- Pushdown Automata Accepting in Constant Height: Decidability and Height Bounds - Extended Abstract (short paper) 72-77
  Giovanni Pighizzini, Luca Prigioniero
- Saddle Point Method in the analysis of pattern statistics for regular languages 78-90
  Massimiliano Goldwurm, Jianyi Lin, Marco Vignati

### Session 3: Algorithms and Graphs

- (short paper) Online Firefighting on Grids 91-96
  Marc Demange, David Ellison, Raffaella Gentilini
- Models and Algorithms for Election Control through Influence Maximization (short paper) 97-103
  Mohammad Abouei Mehrizi, Federico Corò, Emilio Cruciani, Gianlorenzo D'Angelo, Stefano Ponziani
- On the Complexity of Opinion Consensus under Majority Dynamics (short paper) 104-109
  Vincenzo Auletta, Diodato Ferraioli, Gianluigi Greco
- Top-k Overlapping Densest Subgraphs: Approximation and Complexity 110-121
  Riccardo Dondi, Mohammad Mehdi Hosseinzadeh, Giancarlo Mauri, Italo Zoppis
- A Potential-Based Variant of the Bellman-Ford Algorithm 122-135
  Domenico Cantone, Pietro Maugeri, Stefano Scafiti

### Session 4: Petri Nets, Process Calculi and Interacting Automata

- Modeling Imperative Constructs in the Pi-Calculus 136-138
  Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
- Asynchronous Games on Petri Nets and Partial Order (short paper) 139-144
  Federica Adobbati, Luca Bernardinello, Lucia Pomello
- On the Axiomatizability of Priority III: The Return of Sequential Composition 145-157
  Luca Aceto, Elli Anastasiadi, Valentina Castiglioni Anna Ingolfsdottir, Mathias Ruggaard Pedersen
- Corecursive Featherweight Java Revisited 158-170
  Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona
- An Abstract Distributed Middleware for Transactions over Heterogeneous Stores 171-183
  Luca Geatti, Federico Igne, Marino Miculan

### Session 5: Types and Evolving Network Analysis

- Intersection Types for the Computational lambda-Calculus (short paper) 184-189
  Ugo De' Liguoro, Riccardo Treglia
- Tracing and Preventing Sharing and Mutation 190-203
  Paola Giannini, Marco Servetto, Elena Zucca
- Formalizing Program Equivalences in Dependent Type Theory (short paper) 204-209
  Giorgio Marabelli, Alberto Momigliano
- Resilience Analysis of Time-varying Networks with Addition and Deletion of Nodes 210-221
  Michele Amoretti, Gianluigi Ferrari

### Session 6: Logic, (Automatic) Verification and Model Checking

- Word- and Tree-based Temporal Logics for Operator Precedence Languages 222-228
  Michele Chiari, Dino Mandrioli, Matteo Pradella
- Towards a Tool for LTL Synthesis with Bounded-Energy Constraints (short paper) 229-234
  Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano
- Model Checking Timeline-Based Systems over Dense Temporal Domains 235-247
  Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
- A Deterministic Event Calculus for Effective Runtime Verification 248-260
  Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
- Polynomial-Time Satisfiability Tests for `Small' Membership Theories 261-273
  Domenico Cantone, Pietro Maugeri

2019-10-21: submitted by Simone Tini, metadata incl. bibliographic data published under Creative Commons CC0
2019-11-28: published on CEUR-WS.org |valid HTML5|