![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
24th ICTCS 2023: Palermo, Italy
- Giuseppa Castiglione, Marinella Sciortino:
Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023. CEUR Workshop Proceedings 3587, CEUR-WS.org 2023
Session 1: Logic and Semantics
- Domenico Cantone, Alfio Giarlotta, Pietro Maugeri, Stephen Watson:
The Satisfiability Problem for Boolean Set Theory with a Rational Choice Correspondence. 1-14 - Valentina Castiglioni, Michele Loreti, Simone Tini:
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems. 15-30 - Adriano Barile, Stefano Berardi, Luca Roversi:
Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem. 31-43 - Marco Bernardo, Andrea Esposito:
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity. 44-58 - Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco:
Linear Realisability Over Nets and Second Order Quantification (short paper). 59-64
Session 2: Graphs
- Tiziana Calamoneri:
L(3, 2, 1)-Labeling of Certain Planar Graphs. 65-76 - Michela Ascolese, Andrea Frosini, Elisa Pergola, Simone Rinaldi:
A Heuristic for the P-time Reconstruction of Unique 3-Uniform Hypergraphs from their Degree Sequences. 77-91 - Angelo Monti, Blerina Sinaimeri:
On Graphs that are not Star-k-PCGs (short paper). 92-97 - Carla Binucci, Giuseppe Liotta, Fabrizio Montecchiani, Giacomo Ortali, Tommaso Piselli:
On the Parameterized Complexity of Computing st-Orientations with Few Transitive Edges (short paper). 98-103 - Tiziana Calamoneri, Federico Corò:
(Eternal) Vertex Cover Number of Infinite and Finite Grid Graphs (short paper). 104-109 - Marino Miculan, Matteo Paier:
Assembling Coherent Network Topologies Using Round-Trip Graphs (short paper). 110-115
Session 3: String algorithms and Combinatorics
- Marcella Anselmo, Manuela Flores, Maria Madonia:
Density of Ham- and Lee- non-isometric k-ary Words. 116-128 - Elena Biagi, Davide Cenzato, Zsuzsanna Lipták, Giuseppe Romana:
On the Number of Equal-Letter Runs of the Bijective Burrows-Wheeler Transform. 129-142 - Chiara Epifanio, Luca Forlizzi, Francesca Marzi, Filippo Mignosi, Giuseppe Placidi, Matteo Spezialetti:
On the k-Hamming and k-Edit Distances. 143-156 - Michela Ascolese, Andrea Frosini:
Setting the Path to the Combinatorial Characterization of Prime Double Square Polyominoes. 157-168 - Giuseppe Romana:
Algorithmic View on Circular String Attractors. 169-180
Session 4: Languages and computational models
- Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti:
A Linear-size Cascade Decomposition for Wheeler Automata. 181-191 - Massimiliano Goldwurm, Marco Vignati:
Large Deviation Properties for Pattern Statistics in Primitive Rational Models. 192-205 - Arianna Pavone
, Caterina Viola:
The Quantum Cyclic Rotation Gate. 206-218 - 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 - Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro:
Two-Dimensional Dyck Words (short paper) (text not included). 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). 219-224
Session 5: Computational models
- Ugo Dal Lago, Gabriele Vanoni:
(Not So) Boring Abstract Machines. 225-240 - M. Utkan Gezer, A. C. Cem Say:
Finite State Verifiers with Both Private and Public Coins. 241-253 - Claudio Sacerdoti Coen, Riccardo Treglia:
Properties of a Computational Lambda Calculus for Higher-Order Relational Queries. 254-267 - Davide Barbarossa, Paolo Pistone:
Tropical Mathematics and the Lambda-Calculus (short paper) (text not included). ICTCS 2023
Session 6: Formal methods, Complexity and Game Theory
- Tomoyuki Yamakami:
When Input Integers are Given in the Unary Numeral Representation. 268-282 - Domenico Cantone, Pietro Maugeri:
Complexity Results for Some Fragments of Set Theory Involving the Unordered Cartesian Product Operator. 283-298 - Ruggero Lanotte, Desiree Manicardi, Simone Tini:
Step-by-step Robustness for Biochemical Networks. 299-313 - Vittorio Bilò, Lucaleonardo Bove, Cosimo Vinci:
Utility-Sharing Games: How to Improve the Efficiency with Limited Subsidies. 314-327 - Davide Bilò, Vittorio Bilò, Michelle Döring, Pascal Lenzner, Louise Molitor, Jonas Schmidt:
Schelling Games with Continuous Types (short paper). 328-333
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.