Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd 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
a service of 
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 2024-06-10 21:38 CEST 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:
