default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st ICTCS 2020: Ischia, Italy
- Gennaro Cordasco, Luisa Gargano, Adele A. Rescigno:
Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020. CEUR Workshop Proceedings 2756, CEUR-WS.org 2020
Session 1: Algorithms
- Jasine Babu, Veena Prabhakaran, Arko Sharma:
A Substructure based Lower Bound for Eternal Vertex Cover Number. 1-14 - Pratibha Choudhary, Venkatesh Raman:
Structural Parameterizations of Tracking Paths Problem. 15-27 - Tiziana Calamoneri, Federico Corò:
A Realistic Model for Rescue Operations after an Earthquake. 28-32
Session 2: Computability
- Petra Wolf:
From Decidability to Undecidability by Considering Regular Sets of Instances. 33-46 - Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere:
From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory. 47-60 - Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Simone Tini:
Compositional Modeling of Biological Systems in CospanSpan(Graph). 61-66
Session 3: Semantics
- Marino Miculan, Marco Peressotti:
Software Transactional Memory with Interactions. 67-80 - Ruggero Lanotte, Massimo Merro, Andrei Munteanu:
A Process Calculus Approach to Correctness Enforcement of PLCs. 81-94 - Alberto Momigliano:
Why Proof-Theory Matters in Specification-Based Testing. 95-100
Session 4: Logic
- Ugo Dal Lago, Francesco Gavazzo:
Differential Logical Relations Part II: Increments and Derivatives. 101-114 - Michele Chiari, Davide Bergamaschi, Dino Mandrioli, Matteo Pradella:
Linear Temporal Logics for Structured Context-Free Languages. 115-121
Session 5: Algorithms
- Serafino Cicerone:
Breaking Symmetries on Tessellation Graphs via Asynchronous Robots. 122-136 - Domenico Cantone, Simone Faro, M. Oguzhan Külekci:
Shape-Preserving Pattern Matching. 137-148 - Antonio Macaluso, Stefano Lodi, Claudio Sartori:
Quantum Algorithm for Ensemble Learning. 149-154
Session 6: Computability
- Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Undecidability of Future Timeline-based Planning over Dense Temporal Domains? 155-166 - Alessandro Burigana, Francesco De Martino, Agostino Dovier:
A Java visual Simulator of Turing Machines. 167-123 - Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
A Generalized LR(1) Parser or Extended Context-Free Grammars. 124-130
Session 7: Complexity
- Ronny Tredup:
Finding an Optimal Label-Splitting to Make a Transition System Petri Net Implementable: a Complete Complexity Characterization. 131-144 - Stefan Hoffmann:
On A Class of Constrained Synchronization Problems in NP. 145-157
Session 8: Algorithms
- Lhouari Nourine, Simon Vilmin:
Hierarchical Decompositions of Dihypergraphs. 158-171 - Francesco Arena, Miriam Di Ianni:
Complexity of Scorpion Solitaire and applications to Klondike. 172-183 - Diodato Ferraioli, Adrian Meier, Paolo Penna, Carmine Ventre:
Novel Paradigm for the design of Obviously Strategyproof Mechanisms. 184-189
Session 9: Complexity
- Giorgio Ausiello, Francesco Cristiano, Paolo Fantozzi, Luigi Laura:
Syntactic Isomorphism of CNF Boolean Formulas is Graph Isomorphism Complete. 190-201 - Neeldhara Misra, Aditi Sethia:
Fair Division is Hard even for Amicable Agents. 202-207
Session 10: Semantics
- Marco Bernardo:
Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions. 208-222 - Marco Girardi, Roberto Zunino, Marco Benini:
A General Syntax for Nonrecursive Higher Inductive Types. 223-229 - Camillo Fiorentini, Mauro Ferrari:
Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic. 230-235
Session 11: Logic
- Samuele Buro, Roy L. Crole, Isabella Mastroeni:
Equational Logic and Set-Theoretic Models for Multi-Languages. 236-249 - Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
Time Series Checking with Fuzzy Interval Temporal Logics. 250-262
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.
last updated on 2025-01-30 20:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
