ICTCS 2019
20th Italian Conference on Theoretical Computer Science

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