Original: https://ceur-ws.org/Vol-4039/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-4039/ | Year: 2025

Vol-4039
urn:nbn:de:0074-4039-X

Copyright © 2025 for the individual papers by the papers' authors. Copyright © 2025 for the volume as a collection by its editors. This volume and its papers are published under https://creativecommons.org/licenses/by/4.0/.

ICTCS 2025

Proceedings of the 26th Italian Conference on Theoretical Computer Science

Pescara, Italy, September 10–12, 2025.

Edited by

Luca Moscardelli
Francesca Scozzari

Table of Contents

1-2 PDF
PDF
PDF
PDF
PDF
PDF
Watching Systems with Bounded Probes 3-15 PDF
Gennaro Cordasco, Luisa Gargano, Adele Rescigno
Experimental Evaluation of Blum’s Maximum Matching Algorithm in General Graphs 16-27 PDF
Ahmad Dandeh, Tamas Lukovszki
The Black-and-White Coloring Problem on Tree-Structured Hypergraphs 28-37 PDF
Shira Zucker
Generating Constrained Lattice Paths in a Grid Related to Counting Cycles 38-48 PDF
Hareshkumar Jadav, Mihir Patel, Samip Shah, Ranveer Singh, Harsh Talati
Finite Guarding of Weakly Visible Segments via LineAspect Ratio in Simple Polygons 49-59 PDF
Arash Vaezi
Multipacking in Hypercubes 60-66 PDF
Deepak Rajendraprasad, Varun Sani, Birenjith Sasidharan, Jishnu Sen
Hyperset Individualisation Algorithms 67-80 PDF
Simone Boscaratto, Francesco Nascimben, Alberto Policriti
Communications: Duality, chi-Boundedness and Order Density of Homomorphisms of Ordered Graphs 81-86 PDF
Michal Čertík, Jaroslav Nešetřil
Non-obvious Manipulability in Hedonic Games with Friends Appreciation Preferences 87-93 PDF
Michele Flammini, Maria Fomenko, Giovanna Varricchio
OB-GRAG: LLM Assisted Graph Creation and Querying via Domain Specific Ontology 94-100 PDF
Paulis Barzdins, Normunds Gruzitis
A Temporal, Deontic, Conditional Logic with Typicality: a Preliminary Report 101-112 PDF
Mario Alviano, Laura Giordano, Daniele Theseider Dupre
Recurrent Neural Networks for Guiding Proof Search in Propositional Logic 113-126 PDF
Gianluca Amato, Nicola Balestra, Marco Maggesi, Maurizio Parton
Displayed Universal Algebra in UniMath: Basic Definitions and Results 127-133 PDF
Gianluca Amato, Matteo Calosci, Marco Maggesi, Cosimo Perini Brogi
Realizability Models and Complexity Classes 134-139 PDF
Eugenio Moggi
Linearization and Model Reduction in Zonotope-Based Reachability Analysis of Nonlinear ODEs 140-146 PDF
Michele Boreale, Luisa Collodi
Towards Algebraic Analysis of Probabilistic Programs 147-153 PDF
Luisa Collodi, Michele Boreale, Alessandro Pompa Di Gregorio
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS 154-162 PDF
Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi
An Agda Implementation of the Modal Logic S4.2: First Investigations 163-168 PDF
Riccardo Borsetto, Margherita Zorzi
Omission Failures in Choreographic Programming 169-184 PDF
Eva Graversen, Fabrizio Montesi, Marco Peressotti
Attribute-Based Precedence Relations for Free-Form Grammars 185-197 PDF
Angelo Borsotti, Stefano Crespi Reghizzi, Matteo Pradella
Wheelerness and Complementation 198-210 PDF
Giuseppa Castiglione, Giovanna D’Agostino, Alberto Policriti, Antonio Restivo, Brian Riccardi
On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle 211-223 PDF
Davide Ancona, Angelo Ferrando
Structural Properties of Non-Linear Cellular Automata: Permutivity, Surjectivity, and Reversibility 224-229 PDF
Firas Ben Ramdhane, Alberto Dennunzio, Luciano Margara, Giuliamaria Menara
PDF
PDF
PDF

2025-09-22: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|