Stefano Bistarelli, Andrea Formisano (Eds.) ICTCS’14 Fifteenth Italian Conference on Theoretical Computer Science Perugia, Italy, September 17–19, 2014 Proceedings Copyright c 2014 for the individual papers by the papers’ authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. Editors’ address: Università di Perugia Dipartimento di Matematica e Informatica Via Vanvitelli 1 06123 Perugia, Italy {stefano.bistarelli | andrea.formisano}@unipg.it Preface This volume contains the papers presented at ICTCS 2014, the 15th Italian Conference on Theoretical Computer Science held on September 17-19, 2014 in Perugia. ICTCS is the traditional meeting of the Italian Chapter of the European Association for Theoretical Computer Science (EATCS). The purpose of these meetings is fostering the cross-fertilisation of ideas stemming from different areas of theoretical computer science. Hence, they represent occasions for exchanging ideas and for sharing experiences between researchers. They also provide the ideal environment where junior researchers and PhD students can meet senior researchers. The Italian Chapter of the EATCS was founded in 1972 and previous meetings took place in Pisa (1972), Mantova (1974 and 1989), L’Aquila (1992), Ravello (1995), Prato (1998), Torino (2001), Bertinoro (2003), Pontignano (2005), Roma (2007), Cremona (2009), Camerino (2010), Varese (2012) and Palermo (2013). As usual, ICTCS 2014 was open to researchers from outside Italy, who are always welcome to submit papers and attend these periodical events. In this edition, there were 30 submitted contributions. Each of them was reviewed by at least 3 Program Committee members. The Committee decided to accept 26 papers covering several areas of theoretical computer science. The participants came from in- stitutions of various countries, namely, China, Finland, France, India, Israel, Italy, Japan, Poland, Tunisia, Turkey, UK, and USA. The program included two invited speakers, Rocco De Nicola (IMT, Lucca) and Giuseppe Liotta (Università di Perugia) and a presentation given by Flavio Chierichetti (Sapienza Università di Roma), the recipient of the Young Researcher in Theoretical Computer Science Award 2014, conferred this year by the Ital- ian Chapter. Furthermore, Livio Bioglio (INSERM, Paris) and Andrea Marino (Università di Milano), the two recipients of the Best PhD Thesis in Theoretical Computer Science Award 2014, assigned by the Italian Chapter, gave two talks illustrating their recent re- search. The program of ICTCS 2014 included a special session devoted to the memory of Alberto Bertoni, which was one of the founders of the Italian Chapter and recently passed away. This session, was organized by Arturo Carpi and Alessandra Cherubini. We would like to express our gratitude to the invited speakers, to the recipients of the three Awards, and to all authors and participants. We also wish to thank the members of the Program Committee and all additional anonymous reviewers for their hard work. A special mention is due to the colleagues of the Organizing Committee for the invaluable contribution they gave in organizing ICTCS 2014. We would like to give special thanks to the various sponsors that supported the event: EATCS, Università di Perugia, Dipartimento di Matematica e Informatica, Regione Um- bria, Provincia di Perugia, Comune di Perugia, Fondazione Perugiassisi 2019, Fondazione Cassa di Risparmio di Perugia, INdAM-GNCS, IOS Press. Finally, we mention Easy- Chair and CEUR-WS.org that helped us in organizing the conference and producing the proceedings. September 2014 Stefano Bistarelli Perugia Andrea Formisano i Program Committee Paolo Baldan Università di Padova Giampaolo Bella Università di Catania Marco Bernardo Università di Urbino Davide Bilo Università di Sassari Stefano Bistarelli (chair) Università di Perugia Michele Boreale Università di Firenze Tiziana Calamoneri Sapienza Università di Roma Antonio Caruso Università del Salento Ferdinando Cicalese Università diSalerno Flavio Corradini Università di Camerino Giorgio Delzanno Università di Genova Mariangiola Dezani Università di Torino Eugenio Di Sciascio Politecnico di Bari Agostino Dovier Università di Udine Marco Faella Università di Napoli “Federico II” Michele Flammini Università di L’Aquila Andrea Formisano (chair) Università di Perugia Maurizio Gabbrielli Università di Bologna Fabio Gadducci Università di Pisa Raffaella Gentilini Università of Perugia Laura Giordano Università del Piemonte Orientale Giuseppe F. Italiano Università di Roma ”Tor Vergata” Sabrina Mantaci Università di Palermo Isabella Mastroeni Università di Verona Manuela Montangero Università di Modena e Reggio Emilia Maurizio Proietti IASI-CNR, Roma Antonino Salibra Università Ca’ Foscari Venezia Francesco Santini Università di Perugia Marinella Sciortino Università di Palermo Maurice Ter Beek ISTI-CNR, Pisa Local Organizing Committee Serena Arteritano Fernanda Pambianco Stefano Bistarelli Fabio Rossi Arturo Carpi Francesco Santini Andrea Formisano Simone Topini Raffaella Gentilini Lidia Trotta Bruno Iannazzo Emanuela Ughi Laura Marozzi Flavio Vella Alfredo Navarra ii Contents Invited Talks A formal approach to autonomic systems programming: the SCEL language Rocco De Nicola 1 Graph drawing beyond planarity: some results and open problems Giuseppe Liotta 3 ICTCS Young TCS Research Award Trace complexity Flavio Chierichetti 9 ICTCS Doctoral Research Awards Type disciplines for systems biology Livio Bioglio 11 Algorithms for biological graphs: analysis and enumeration Andrea Marino 15 Regular Papers Timed process calculi: from durationless actions to durational ones Marco Bernardo, Flavio Corradini, Luca Tesei 21 Size-constrained 2-clustering in the plane with Manhattan distance Alberto Bertoni, Massimiliano Goldwurm, Jianyi Lin, Linda Pini 33 Graphs of edge-intersecting and non-splitting paths Arman Boyacı, Tınaz Ekim, Mordechai Shalom, Shmuel Zaks 45 A graph-easy class of mute lambda-terms Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra 59 iii CONTENTS Relating threshold tolerance graphs to other graph classes Tiziana Calamoneri, Blerina Sinaimeri 73 Černý-like problems for finite sets of words Arturo Carpi, Flavio D’Alessandro 81 Reasoning about connectivity without paths Alberto Casagrande, Eugenio Omodeo 93 Binary 3-compressible automata Alessandra Cherubini, Andrzej Kisielewicz 109 Extendibility of Choquet rational preferences on generalized lotteries Giulianella Coletti, Davide Petturiti, Barbara Vantaggi 121 On multiple learning schemata in conflict driven solvers Andrea Formisano, Flavio Vella 133 A metamodeling level transformation from UML sequence diagrams to Coq Chao Li, Liang Dou, Zongyuan Yang 147 An efficient algorithm for generating symmetric ice piles Roberto Mantaci, Paolo Massazza, Jean-Baptiste Yunès 159 Adding two equivalence relations to the interval temporal logic AB Angelo Montanari, Marco Pazzaglia, Pietro Sala 171 Efficient channel assignment for cellular networks modeled as honeycomb grid Soumen Nandi, Nitish Panigrahy, Mohit Agrawal, Sasthi C. Ghosh, Sandip Das 183 Programmable enforcement framework of information flow policies Minh Ngo, Fabio Massacci 197 On the Stackelberg fuel pricing problem Cosimo Vinci, Vittorio Bilò 213 Structural complexity of multi-valued partial functions computed by nondeterministic pushdown automata Tomoyuki Yamakami 225 iv CONTENTS Communications Proving termination of programs having transition invariants of height ω Stefano Berardi, Paulo Oliva, Silvia Steila 237 Orthomodular algebraic lattices related to combinatorial posets Luca Bernardinello, Lucia Pomello, Stefania Rombolà 241 Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making Stefano Bistarelli, Martine Ceberio, Joel A. Henderson, Francesco Santini 247 Optimal placement of storage nodes in a wireless sensor network Gianlorenzo D’Angelo, Daniele Diodati, Alfredo Navarra, Cristina M. Pinotti 259 Engineering shortest-path algorithms for dynamic networks Mattia D’Emidio, Daniele Frigioni 265 Minimal models for rational closure in SHIQ Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato 271 An algebraic characterization of unary two-way transducers Christian Choffrut, Bruno Guillon 279 Logspace computability and regressive machines Stefano Mazzanti 285 Papers not included here and published elsewhere Operational state complexity under Parikh equivalence Giovanna Lavado, Giovanni Pighizzini and Shinnosuke Seki. Appeared in H. Jur- gensen et al. (Eds.): DCFS 2014, LNCS 8614, pp. 294-305. Springer (2014) Author Index 291 v