ICTCS

Keyphrases

Publications

2023

Adriano Barile, Stefano Berardi, Luca Roversi
Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem. ICTCS (2023)
Marcella Anselmo, Manuela Flores, Maria Madonia
Density of Ham- and Lee- non-isometric k-ary Words. ICTCS (2023)
Chiara Epifanio, Luca Forlizzi, Francesca Marzi, Filippo Mignosi, Giuseppe Placidi, Matteo Spezialetti
On the k-Hamming and k-Edit Distances. ICTCS (2023)
Angelo Monti, Blerina Sinaimeri
On Graphs that are not Star-k-PCGs (short paper). ICTCS (2023)
Tomoyuki Yamakami
When Input Integers are Given in the Unary Numeral Representation. ICTCS (2023)
Giuseppe Romana
Algorithmic View on Circular String Attractors. ICTCS (2023)
Domenico Cantone, Pietro Maugeri
Complexity Results for Some Fragments of Set Theory Involving the Unordered Cartesian Product Operator. ICTCS (2023)
Marino Miculan, Matteo Paier
Assembling Coherent Network Topologies Using Round-Trip Graphs (short paper). ICTCS (2023)
Tiziana Calamoneri
L(3, 2, 1)-Labeling of Certain Planar Graphs. ICTCS (2023)
Ruben Becker, Davide Cenzato, Sung-Hwan Kim, Bojana Kodric, Alberto Policriti, Nicola Prezza
Testing Wheelerness of Regular Languages (short paper) (text not included). ICTCS (2023)
Marco Bernardo, Andrea Esposito
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity. ICTCS (2023)
Michela Ascolese, Andrea Frosini, Elisa Pergola, Simone Rinaldi
A Heuristic for the P-time Reconstruction of Unique 3-Uniform Hypergraphs from their Degree Sequences. ICTCS (2023)
Claudio Sacerdoti Coen, Riccardo Treglia
Properties of a Computational Lambda Calculus for Higher-Order Relational Queries. ICTCS (2023)
Ruggero Lanotte, Desiree Manicardi, Simone Tini
Step-by-step Robustness for Biochemical Networks. ICTCS (2023)
Domenico Cantone, Alfio Giarlotta, Pietro Maugeri, Stephen Watson
The Satisfiability Problem for Boolean Set Theory with a Rational Choice Correspondence. ICTCS (2023)
Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro
Two-Dimensional Dyck Words (short paper) (text not included). ICTCS (2023)
Vittorio Bilò, Lucaleonardo Bove, Cosimo Vinci
Utility-Sharing Games: How to Improve the Efficiency with Limited Subsidies. ICTCS (2023)
Carla Binucci, Giuseppe Liotta, Fabrizio Montecchiani, Giacomo Ortali, Tommaso Piselli
On the Parameterized Complexity of Computing st-Orientations with Few Transitive Edges (short paper). ICTCS (2023)
Massimiliano Goldwurm, Marco Vignati
Large Deviation Properties for Pattern Statistics in Primitive Rational Models. ICTCS (2023)
Davide Bilò, Vittorio Bilò, Michelle Döring, Pascal Lenzner, Louise Molitor, Jonas Schmidt
Schelling Games with Continuous Types (short paper). ICTCS (2023)
Valentina Castiglioni, Michele Loreti, Simone Tini
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems. ICTCS (2023)
Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida
On the (Im)Possibility of Estimating Various Notions of Differential Privacy (short paper). ICTCS (2023)
Tiziana Calamoneri, Federico Corò
(Eternal) Vertex Cover Number of Infinite and Finite Grid Graphs (short paper). ICTCS (2023)
Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti
A Linear-size Cascade Decomposition for Wheeler Automata. ICTCS (2023)
Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco
Linear Realisability Over Nets and Second Order Quantification (short paper). ICTCS (2023)
Arianna Pavone, Caterina Viola
The Quantum Cyclic Rotation Gate. ICTCS (2023)
Elena Biagi, Davide Cenzato, Zsuzsanna Lipták, Giuseppe Romana
On the Number of Equal-Letter Runs of the Bijective Burrows-Wheeler Transform. ICTCS (2023)
M. Utkan Gezer, A. C. Cem Say
Finite State Verifiers with Both Private and Public Coins. ICTCS (2023)
Michela Ascolese, Andrea Frosini
Setting the Path to the Combinatorial Characterization of Prime Double Square Polyominoes. ICTCS (2023)
Ugo Dal Lago, Gabriele Vanoni
(Not So) Boring Abstract Machines. ICTCS (2023)
Davide Barbarossa, Paolo Pistone
Tropical Mathematics and the Lambda-Calculus (short paper) (text not included). ICTCS (2023)

volume 3587, 2023

Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023. ICTCS 3587 (2023)

2022

volume 3284, 2022

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022. ICTCS 3284 (2022)

volume 3072, 2022

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021. ICTCS 3072 (2022)