Abstract is missing.
- A Substructure based Lower Bound for Eternal Vertex Cover NumberJasine Babu, Veena Prabhakaran, Arko Sharma. 1-14 [doi]
- Structural Parameterizations of Tracking Paths ProblemPratibha Choudhary, Venkatesh Raman 0001. 15-27 [doi]
- A Realistic Model for Rescue Operations after an EarthquakeTiziana Calamoneri, Federico Corò. 28-32 [doi]
- From Decidability to Undecidability by Considering Regular Sets of InstancesPetra Wolf 0002. 33-46 [doi]
- From Hilbert's 10th Problem to slim, Undecidable Fragments of Set TheoryDomenico Cantone, Eugenio G. Omodeo, Mattia Panettiere. 47-60 [doi]
- Compositional Modeling of Biological Systems in CospanSpan(Graph)Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Simone Tini. 61-66 [doi]
- Software Transactional Memory with InteractionsMarino Miculan, Marco Peressotti. 67-80 [doi]
- A Process Calculus Approach to Correctness Enforcement of PLCsRuggero Lanotte, Massimo Merro, Andrei Munteanu. 81-94 [doi]
- Why Proof-Theory Matters in Specification-Based TestingAlberto Momigliano. 95-100 [doi]
- Differential Logical Relations Part II: Increments and DerivativesUgo Dal Lago, Francesco Gavazzo. 101-114 [doi]
- Linear Temporal Logics for Structured Context-Free LanguagesMichele Chiari, Davide Bergamaschi, Dino Mandrioli, Matteo Pradella. 115-121 [doi]
- Breaking Symmetries on Tessellation Graphs via Asynchronous RobotsSerafino Cicerone. 122-136 [doi]
- A Generalized LR(1) Parser or Extended Context-Free GrammarsAngelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti. 124-130 [doi]
- Finding an Optimal Label-Splitting to Make a Transition System Petri Net Implementable: a Complete Complexity CharacterizationRonny Tredup. 131-144 [doi]
- Shape-Preserving Pattern MatchingDomenico Cantone, Simone Faro, M. Oguzhan Külekci. 137-148 [doi]
- On A Class of Constrained Synchronization Problems in NPStefan Hoffman. 145-157 [doi]
- Quantum Algorithm for Ensemble LearningAntonio Macaluso, Stefano Lodi, Claudio Sartori 0001. 149-154 [doi]
- Undecidability of Future Timeline-based Planning over Dense Temporal Domains?Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron. 155-166 [doi]
- Hierarchical Decompositions of DihypergraphsLhouari Nourine, Simon Vilmin. 158-171 [doi]
- A Java visual Simulator of Turing MachinesAlessandro Burigana, Francesco De Martino, Agostino Dovier. 167-123 [doi]
- Complexity of Scorpion Solitaire and applications to KlondikeFrancesco Arena, Miriam Di Ianni. 172-183 [doi]
- Novel Paradigm for the design of Obviously Strategyproof MechanismsDiodato Ferraioli, Adrian Meier, Paolo Penna, Carmine Ventre. 184-189 [doi]
- Syntactic Isomorphism of CNF Boolean Formulas is Graph Isomorphism CompleteGiorgio Ausiello, Francesco Cristiano, Paolo Fantozzi, Luigi Laura. 190-201 [doi]
- Fair Division is Hard even for Amicable AgentsNeeldhara Misra, Aditi Sethia. 202-207 [doi]
- Extending Backward Compatibility of Probabilistic Testing via Coherent ResolutionsMarco Bernardo 0001. 208-222 [doi]
- A General Syntax for Nonrecursive Higher Inductive TypesMarco Girardi, Roberto Zunino, Marco Benini. 223-229 [doi]
- Forward proof-search and Countermodel Construction in Intuitionistic Propositional LogicCamillo Fiorentini, Mauro Ferrari 0002. 230-235 [doi]
- Equational Logic and Set-Theoretic Models for Multi-LanguagesSamuele Buro, Roy Crole, Isabella Mastroeni. 236-249 [doi]
- Time Series Checking with Fuzzy Interval Temporal LogicsWillem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan. 250-262 [doi]