ICTCS 2024

Table of Contents

• PDF
  
• PDF
  
• PDF
  
• PDF
  
• PDF
  
• PDF
  
• PDF
  
• Quantum Circuit Based Longest Common Substring 1-15 PDF
  Domenico Cantone, Simone Faro, Arianna Pavone, Caterina Viola
• The Grothendieck Computability Model 16-28 PDF
  Iosif Petrakis, Luis Gambarte
• Families of Constant-Depth Quantum Circuits for Rotations and Permutations 29-41 PDF
  Arianna Pavone, Caterina Viola, Simone Faro
• Low-Space Quantum Algorithms for Estimate-Mark-Amplify Tasks 42-65 PDF
  SAPV Tharrmashastha, Debajyoti Bera
• The Burrows-Wheeler Transform of an Elastic-Degenerate String 66-80 PDF
  Giovanna Rosone, Veronica Guerrini, Lapo Cioni
• On the Pseudorandomness of Parry–Bertrand Automatic Sequences 81-94 PDF
  Pierre Popoli, Manon Stipulanti
• A Comparison Between Similarity Measures Based on Minimal Absent Words: An Experimental Approach 95-105 PDF
  Antonio Restivo, Sabrina Mantaci, Salvatore Leonardo Pizzuto, Giusi Castiglione
• Novel XBWT-based Distance Measures for Labeled Trees 106-119 PDF
  Giovanna Rosone, Sabrina Mantaci, Giuseppe Romana, Danilo G. Dolce, Marinella Sciortino
• Completing Wheeler Automata 120-132 PDF
  Antonio Restivo, Giusi Castiglione
• Generation of Skew Convex Polyominoes 133-145 PDF
  Michela Ascolese, Andrea Frosini, Simone Rinaldi
• The Complexity of Boolean Failure Identification 146-157 PDF
  Nicola Galesi, Fariba Ranjbar
• On Balancing Energy Consumption in Multi-Interface Networks (short paper) 158-165 PDF
  Alessandro Aloisio
• Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations (short paper) 166-172 PDF
  Arnaud Durand 0001, Melissa Antonelli, Juha Kontinen
• Toward Grünbaum’s Conjecture Bounding Vertices of Degree 4 173-185 PDF
  Christian Ortlieb
• (t,r)-Broadcast Domination in Networks 186-199 PDF
  Gennaro Cordasco, Luisa Gargano, Adele A. Rescigno
• Strategy Repair for Reachability Games (short paper) 200-205 PDF
  Giuseppe Perelli, Fabio Patrizi, Pierre Gaillard
• Generalized Distance Polymatrix Games (short paper) 206-212 PDF
  Alessandro Aloisio, Cosimo Vinci, Michele Flammini
• A Two Player Asynchronous Game With Privacy Constraints on Petri Nets (short paper) 213-218 PDF
  Lucia Pomello, Federica Adobbati, Luca Bernardinello
• On the Inapproximability of Finding Minimum Monitoring Edge-Geodetic Sets (short paper) 219-224 PDF
  Davide Bilò, Luca Forlizzi, Stefano Leucci 0001, Giordano Colli
• Proving the Existence of Stable Assignments in Democratic Forking Using Isabelle/HOL 225-240 PDF
  Jan-Georg Smaus
• ModalFP-Growth: Efficient Extraction of Modal Association Rules from Non-Tabular Data 241-254 PDF
  Ionel Eduard Stan, Guido Sciavicco, Giovanni Pagliarini, Mauro Milella
• Host-Core Calculi for Non-classical Computations: A First Insight 255-268 PDF
  Luca Roversi, Margherita Zorzi, Matteo Palazzo, Luca Paolini
• A Process Algebraic Framework for Multi-Agent Dynamic Epistemic Systems 269-283 PDF
  Alessandro Aldini
• Global Types for Agent Interaction Protocols (short paper) 284-291 PDF
  Federico Bergenti, Stefania Monica, Paola Giannini, Leonardo Galliera, Riccardo Nazzari
• Simpson’s Proof Systems for Process Verification: A Fine-tuning (short paper) 292-299 PDF
  Omar Inverso, Cosimo Perini Brogi, Rocco De Nicola
• Improving Sampled Matching through Character Context Sampling 300-312 PDF
  Arianna Pavone, Francesco Pio Marino, Stefano Scafiti, Simone Faro, Thierry Lecroq
• A New Directly Accessible Compression Scheme 313-325 PDF
  Domenico Cantone, Simone Faro
• Some Properties of the Rate Functions of Large Deviations for Symbol Statistics 326-339 PDF
  Marco Vignati, Massimiliano Goldwurm
• Maximum Letter-Duplicated Subsequence (short paper) 340-345 PDF
  Mohammad Mehdi Hosseinzadeh, Riccardo Dondi, Alexandru Popa 0001
• PDF