Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd ICTCS 2021: Bologna, Italy
- Claudio Sacerdoti Coen, Ivano Salvo:
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021. CEUR Workshop Proceedings 3072, CEUR-WS.org 2022
Session 1: Algorithms
- Simone Faro, Francesco Pio Marino, Arianna Pavone:
Enhancing Characters Distance Text Sampling by Condensed Alphabets. 1-15 - Sasthi C. Ghosh, Subhasis Koley:
Proving a Conjecture on 8-Distance Coloring of the Infinite Hexagonal Grid. 16-26 - Richard Santiago, Danish Kashaev:
A Simple Optimal Contention Resolution Scheme for Uniform Matroids. 27-39 - Francesco Betti Sorbelli, Federico Corò, Sajal K. Das, Lorenzo Palazzetti, Cristina M. Pinotti:
Cooperative Truck-Drone Scheduling Approach for Last-Mile Deliveries. 40-45
Session 2: Formal Languages
- Davide Martincigh, Giovanna D'Agostino, Alberto Policriti:
Ordering Regular Languages: a Danger Zone. 46-69 - Dario Della Monica, Angelo Montanari, Pietro Sala:
Extended ω-Regular Languages and Interval Temporal Logic. 70-86 - Martin Kutrib
, Andreas Malcher, Carlo Mereghetti, Beatrice Palano:
Iterated Transduction on Unary Languages. 87-92
Session 3: Logic
- Stefano Bistarelli, Carlo Taticchi:
A Unifying Four-State Labelling Semantics for Bridging Abstract Argumentation Frameworks and Belief Revision. 93-106 - Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
On Counting Propositional Logic and Wagner's Hierarchy. 107-121 - Bastien Maubert:
Recent Results on Strategy Logic with Imperfect Information. 122-128 - Alexander Sakharov:
Inference From Non-Horn Clauses With Partial Predicates. 129-134
Session 4: Concurrency and Decidability
- Arnaldo Cesco, Roberto Gorrieri:
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11). 135-149 - Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà:
A Decidable Theory Treating Addition of Differentiable Real Functions. 150-163 - Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo:
Two Crucial Cubic-Time Components of Polynomial-Maximal Decidable Boolean Languages. 164-178
Session 5: Combinatorics
- Susobhan Bandopadhyay, Sasthi C. Ghosh, Subhasis Koley:
L(2, 1)-Edge Labeling of Infinite Triangular Grid. 179-192 - Valentina Dorigatti, Paolo Massazza:
On Counting L-Convex Polyominoes. 193-198 - Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro:
Reducing the Local Alphabet Size in Tiling Systems for Picture Languages. 199-204
Session 6: Games
- Fu Li:
Fractional Hedonic Games With a Limited Number of Coalitions. 205-218 - Fu Li, C. Gregory Plaxton, Vaibhav B. Sinha:
The Obnoxious Facility Location Game with Dichotomous Preferences. 219-233
Session 7: Complexity
- Robin Weishaupt, Jörg Rothe:
Stability of Special Graph Classes. 234-248 - Tomoyuki Yamakami:
Nondeterministically Selecting Positive Instances of Context-Free Languages. 249-265
Session 8: Computation and Deduction
- Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhanced Regular Corecursion for Data Streams. 266-280 - Ugo de'Liguoro, Riccardo Treglia:
A Filter Model for the State Monad. 281-286
Session 9: Quantum Computation and Model Checking
- Ruslan Kapralov, Kamil Khadiev, Joshua Mokut, Yixin Shen, Maxim Yagafarov:
Fast Classical and Quantum Algorithms for Online k-server Problem on Trees. 287-301 - Angelo Ferrando, Vadim Malvone:
Combine Model Checking and Runtime Verification in Multi-Agent Systems. 302-310 - Vadim Malvone, Silvia Stranieri:
Towards a Model Checking Tool for Strategy Logic with Simple Goals. 311-316
Session 10: Strings and Alignments
- Andrea Caucchiolo, Ferdinando Cicalese:
Hardness of MSA with Selective Column Scoring. 317-327 - Simone Faro, Stefano Scafiti:
Pruned BNDM: Extending the Bit-Parallel Suffix Automata to Large Strings. 328-340
a service of 
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 2024-06-18 21:29 CEST 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:
