Abstract is missing.
- Testing Wheelerness of Regular Languages (short paper) (text not included)Ruben Becker, Davide Cenzato, Sung-Hwan Kim, Bojana Kodric, Alberto Policriti, Nicola Prezza.
- Tropical Mathematics and the Lambda-Calculus (short paper) (text not included)Davide Barbarossa, Paolo Pistone.
- Two-Dimensional Dyck Words (short paper) (text not included)Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro.
- The Satisfiability Problem for Boolean Set Theory with a Rational Choice CorrespondenceDomenico Cantone, Alfio Giarlotta, Pietro Maugeri, Stephen Watson. 1-14 [doi]
- DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical SystemsValentina Castiglioni, Michele Loreti, Simone Tini. 15-30 [doi]
- Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category ProblemAdriano Barile, Stefano Berardi, Luca Roversi. 31-43 [doi]
- On the Weak Continuation of Reverse Bisimilarity vs. Forward BisimilarityMarco Bernardo 0001, Andrea Esposito 0006. 44-58 [doi]
- Linear Realisability Over Nets and Second Order Quantification (short paper)Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco. 59-64 [doi]
- L(3, 2, 1)-Labeling of Certain Planar GraphsTiziana Calamoneri. 65-76 [doi]
- A Heuristic for the P-time Reconstruction of Unique 3-Uniform Hypergraphs from their Degree SequencesMichela Ascolese, Andrea Frosini, Elisa Pergola, Simone Rinaldi. 77-91 [doi]
- On Graphs that are not Star-k-PCGs (short paper)Angelo Monti, Blerina Sinaimeri. 92-97 [doi]
- On the Parameterized Complexity of Computing st-Orientations with Few Transitive Edges (short paper)Carla Binucci, Giuseppe Liotta, Fabrizio Montecchiani, Giacomo Ortali, Tommaso Piselli. 98-103 [doi]
- (Eternal) Vertex Cover Number of Infinite and Finite Grid Graphs (short paper)Tiziana Calamoneri, Federico Corò. 104-109 [doi]
- Assembling Coherent Network Topologies Using Round-Trip Graphs (short paper)Marino Miculan, Matteo Paier. 110-115 [doi]
- Density of Ham- and Lee- non-isometric k-ary WordsMarcella Anselmo, Manuela Flores, Maria Madonia. 116-128 [doi]
- On the Number of Equal-Letter Runs of the Bijective Burrows-Wheeler TransformElena Biagi 0002, Davide Cenzato, Zsuzsanna Lipták, Giuseppe Romana. 129-142 [doi]
- On the k-Hamming and k-Edit DistancesChiara Epifanio, Luca Forlizzi, Francesca Marzi, Filippo Mignosi, Giuseppe Placidi, Matteo Spezialetti. 143-156 [doi]
- Setting the Path to the Combinatorial Characterization of Prime Double Square PolyominoesMichela Ascolese, Andrea Frosini. 157-168 [doi]
- Algorithmic View on Circular String AttractorsGiuseppe Romana. 169-180 [doi]
- A Linear-size Cascade Decomposition for Wheeler AutomataGiovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti. 181-191 [doi]
- Large Deviation Properties for Pattern Statistics in Primitive Rational ModelsMassimiliano Goldwurm, Marco Vignati. 192-205 [doi]
- The Quantum Cyclic Rotation GateArianna Pavone, Caterina Viola. 206-218 [doi]
- On the (Im)Possibility of Estimating Various Notions of Differential Privacy (short paper)Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida. 219-224 [doi]
- (Not So) Boring Abstract MachinesUgo Dal Lago, Gabriele Vanoni. 225-240 [doi]
- Finite State Verifiers with Both Private and Public CoinsM. Utkan Gezer, A. C. Cem Say. 241-253 [doi]
- Properties of a Computational Lambda Calculus for Higher-Order Relational QueriesClaudio Sacerdoti Coen, Riccardo Treglia. 254-267 [doi]
- When Input Integers are Given in the Unary Numeral RepresentationTomoyuki Yamakami. 268-282 [doi]
- Complexity Results for Some Fragments of Set Theory Involving the Unordered Cartesian Product OperatorDomenico Cantone, Pietro Maugeri. 283-298 [doi]
- Step-by-step Robustness for Biochemical NetworksRuggero Lanotte, Desiree Manicardi, Simone Tini. 299-313 [doi]
- Utility-Sharing Games: How to Improve the Efficiency with Limited SubsidiesVittorio Bilò, Lucaleonardo Bove, Cosimo Vinci. 314-327 [doi]
- Schelling Games with Continuous Types (short paper)Davide Bilò, Vittorio Bilò, Michelle Döring, Pascal Lenzner, Louise Molitor, Jonas Schmidt 0002. 328-333 [doi]