default search action
23rd ICTCS 2022: Rome, Italy
- Ugo Dal Lago, Daniele Gorla:
Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022. CEUR Workshop Proceedings 3284, CEUR-WS.org 2022
Session 1: Graph Algorithms
- Riccardo Dondi:
Insights into the Complexity of Disentangling Temporal Graphs. 1-13 - Fabrizio Montecchiani, Giacomo Ortali, Tommaso Piselli, Alessandra Tappini:
On the Parametrized Complexity of the s-Club Cluster Edge Deletion Problem. 14-20 - Jasine Babu, Karunakaran Murali Krishnan
, Veena Prabhakaran, Nandini J. Warrier:
Computing Eternal Vertex Cover Number on Maximal Outerplanar Graphs in Linear Time. 21-33 - Tiziana Calamoneri, Angelo Monti, Blerina Sinaimeri:
On the Domination Number of t-Constrained de Bruijn Graphs. 34-39
Session 2: Logic
- Antonio Di Stasio:
LTLf Synthesis Under Environment Specifications. 40-46 - Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel:
Synthesis of Mechanisms with Strategy Logic. 47-52 - Ionel Eduard Stan, Guido Sciavicco, Emilio Muñoz-Velasco, Giovanni Pagliarini, Mauro Milella, Andrea Paradiso:
On Modal Logic Association Rule Mining. 53-65
Session 3: Types and Semantics
- Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
A Java-Like Calculus with User-Defined Coeffects. 66-78 - Marco Campion, Mila Dalla Preda, Roberto Giacobazzi:
On the Properties of Partial Completeness in Abstract Interpretation. 79-85 - Davide Ancona, Pietro Barbieri, Elena Zucca:
Equality of Corecursive Streams Defined by Finitary Equational Systems. 86-98 - Louis Noizet, Alan Schmitt:
Semantics in Skel and Necro. 99-115
Session 4: Counting and Combinatorics
- Paolo Massazza:
On Counting k-Convex Polyominoes. 116-121 - Sara Giuliani, Zsuzsanna Lipták, Francesco Masillo:
When a Dollar in a Fully Clustered Word Makes a BWT. 122-135 - Golnaz Badkobeh, Sara Giuliani, Zsuzsanna Lipták, Simon J. Puglisi:
On Compressing Collections of Substring Samples. 136-147
Session 5: Concurrency and Automata + Game Theory
- Marino Miculan, Matteo Paier:
A Calculus for Subjective Communication. 148-160 - Brian Riccardi, Riccardo Romanello, Alberto Policriti, Christian Bianchini:
Incremental NFA Minimization. 161-173 - Vittorio Bilò, Diodato Ferraioli, Cosimo Vinci:
General Opinion Formation Games with Social Group Membership. 174-179 - Vittorio Bilò, Gianpiero Monaco, Luca Moscardelli, Cosimo Vinci:
Nash Social Welfare in Selfish and Online Load Balancing. 180-187
Session 6: Machine Learning and Autonomic Computing
- Alessandro Poggiali, Alessandro Berti, Anna Bernasconi, Gianna Maria Del Corso, Riccardo Guidotti:
Clustering Classical Data with Quantum k-Means. 188-200 - Michele Pasqua, Marino Miculan:
Distributed Programming of Smart Systems with Event-Condition-Action Rules. 201-206 - Caterina Feletti, Carlo Mereghetti, Beatrice Palano, Priscilla Raucci:
Uniform Circle Formation for Fully Semi-, and Asynchronous Opaque Robots with Lights. 207-221
Session 7: Short Presentations
- Lorenzo Petricone, Ivano Salvo:
Monad Transformations as Parametric Distributive Laws (text not included). ICTCS 2022 - Robert D. Barish, Tetsuo Shibuya:
Counting on a Rainbow Connection (text not included). ICTCS 2022
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-11 20:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: