| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Arianna Pavone, Caterina Viola |
The Quantum Cyclic Rotation Gate.  |
ICTCS  |
2023 |
DBLP BibTeX RDF |
|
| 1 | Valentina Castiglioni, Michele Loreti, Simone Tini |
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Ruben Becker, Davide Cenzato, Sung-Hwan Kim, Bojana Kodric, Alberto Policriti, Nicola Prezza |
Testing Wheelerness of Regular Languages (short paper) (text not included). |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Massimiliano Goldwurm, Marco Vignati |
Large Deviation Properties for Pattern Statistics in Primitive Rational Models. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Tiziana Calamoneri |
L(3, 2, 1)-Labeling of Certain Planar Graphs. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Marino Miculan, Matteo Paier |
Assembling Coherent Network Topologies Using Round-Trip Graphs (short paper). |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Davide Barbarossa, Paolo Pistone |
Tropical Mathematics and the Lambda-Calculus (short paper) (text not included). |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Vittorio Bilò, Lucaleonardo Bove, Cosimo Vinci |
Utility-Sharing Games: How to Improve the Efficiency with Limited Subsidies. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Chiara Epifanio, Luca Forlizzi, Francesca Marzi, Filippo Mignosi, Giuseppe Placidi, Matteo Spezialetti |
On the k-Hamming and k-Edit Distances. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Ruggero Lanotte, Desiree Manicardi, Simone Tini |
Step-by-step Robustness for Biochemical Networks. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Romana |
Algorithmic View on Circular String Attractors. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Michela Ascolese, Andrea Frosini, Elisa Pergola, Simone Rinaldi |
A Heuristic for the P-time Reconstruction of Unique 3-Uniform Hypergraphs from their Degree Sequences. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro |
Two-Dimensional Dyck Words (short paper) (text not included). |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Adriano Barile, Stefano Berardi, Luca Roversi |
Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Domenico Cantone, Pietro Maugeri |
Complexity Results for Some Fragments of Set Theory Involving the Unordered Cartesian Product Operator. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen, Riccardo Treglia |
Properties of a Computational Lambda Calculus for Higher-Order Relational Queries. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Marcella Anselmo, Manuela Flores, Maria Madonia |
Density of Ham- and Lee- non-isometric k-ary Words. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Angelo Monti, Blerina Sinaimeri |
On Graphs that are not Star-k-PCGs (short paper). |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Giuseppa Castiglione, Marinella Sciortino (eds.) |
Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Marco Bernardo 0001, Andrea Esposito 0006 |
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | M. Utkan Gezer, A. C. Cem Say |
Finite State Verifiers with Both Private and Public Coins. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Carla Binucci, Giuseppe Liotta, Fabrizio Montecchiani, Giacomo Ortali, Tommaso Piselli |
On the Parameterized Complexity of Computing st-Orientations with Few Transitive Edges (short paper). |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Domenico Cantone, Alfio Giarlotta, Pietro Maugeri, Stephen Watson |
The Satisfiability Problem for Boolean Set Theory with a Rational Choice Correspondence. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco |
Linear Realisability Over Nets and Second Order Quantification (short paper). |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Giovanna D'Agostino, Luca Geatti, Davide Martincigh, Alberto Policriti |
A Linear-size Cascade Decomposition for Wheeler Automata. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Tiziana Calamoneri, Federico Corò |
(Eternal) Vertex Cover Number of Infinite and Finite Grid Graphs (short paper). |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Gabriele Vanoni |
(Not So) Boring Abstract Machines. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Elena Biagi 0002, Davide Cenzato, Zsuzsanna Lipták, Giuseppe Romana |
On the Number of Equal-Letter Runs of the Bijective Burrows-Wheeler Transform. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Tomoyuki Yamakami |
When Input Integers are Given in the Unary Numeral Representation. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Davide Bilò, Vittorio Bilò, Michelle Döring, Pascal Lenzner, Louise Molitor, Jonas Schmidt 0002 |
Schelling Games with Continuous Types (short paper). |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida |
On the (Im)Possibility of Estimating Various Notions of Differential Privacy (short paper). |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Michela Ascolese, Andrea Frosini |
Setting the Path to the Combinatorial Characterization of Prime Double Square Polyominoes. |
ICTCS |
2023 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca |
A Java-Like Calculus with User-Defined Coeffects. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Vittorio Bilò, Diodato Ferraioli, Cosimo Vinci |
General Opinion Formation Games with Social Group Membership. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Caterina Feletti, Carlo Mereghetti, Beatrice Palano, Priscilla Raucci |
Uniform Circle Formation for Fully Semi-, and Asynchronous Opaque Robots with Lights. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Davide Ancona, Pietro Barbieri, Elena Zucca |
Equality of Corecursive Streams Defined by Finitary Equational Systems. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Vittorio Bilò, Gianpiero Monaco, Luca Moscardelli, Cosimo Vinci |
Nash Social Welfare in Selfish and Online Load Balancing. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Marco Campion, Mila Dalla Preda, Roberto Giacobazzi |
On the Properties of Partial Completeness in Abstract Interpretation. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Brian Riccardi, Riccardo Romanello, Alberto Policriti, Christian Bianchini |
Incremental NFA Minimization. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Montecchiani, Giacomo Ortali, Tommaso Piselli, Alessandra Tappini |
On the Parametrized Complexity of the s-Club Cluster Edge Deletion Problem. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Louis Noizet, Alan Schmitt |
Semantics in Skel and Necro. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel |
Synthesis of Mechanisms with Strategy Logic. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Paolo Massazza |
On Counting k-Convex Polyominoes. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Michele Pasqua, Marino Miculan |
Distributed Programming of Smart Systems with Event-Condition-Action Rules. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Tiziana Calamoneri, Angelo Monti, Blerina Sinaimeri |
On the Domination Number of t-Constrained de Bruijn Graphs. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Ionel Eduard Stan, Guido Sciavicco, Emilio Muñoz-Velasco, Giovanni Pagliarini, Mauro Milella, Andrea Paradiso |
On Modal Logic Association Rule Mining. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Jasine Babu, Karunakaran Murali Krishnan, Veena Prabhakaran, Nandini J. Warrier |
Computing Eternal Vertex Cover Number on Maximal Outerplanar Graphs in Linear Time. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen, Ivano Salvo (eds.) |
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Sara Giuliani, Zsuzsanna Lipták, Francesco Masillo |
When a Dollar in a Fully Clustered Word Makes a BWT. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Antonio Di Stasio 0001 |
LTLf Synthesis Under Environment Specifications. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Golnaz Badkobeh, Sara Giuliani, Zsuzsanna Lipták, Simon J. Puglisi |
On Compressing Collections of Substring Samples. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Marino Miculan, Matteo Paier |
A Calculus for Subjective Communication. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Robert D. Barish, Tetsuo Shibuya |
Counting on a Rainbow Connection (text not included). |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Ugo Dal Lago, Daniele Gorla (eds.) |
Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Dondi |
Insights into the Complexity of Disentangling Temporal Graphs. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Poggiali, Alessandro Berti, Anna Bernasconi 0001, Gianna Maria Del Corso, Riccardo Guidotti |
Clustering Classical Data with Quantum k-Means. |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo Petricone, Ivano Salvo |
Monad Transformations as Parametric Distributive Laws (text not included). |
ICTCS |
2022 |
DBLP BibTeX RDF |
|
| 1 | Davide Ancona, Pietro Barbieri, Elena Zucca |
Enhanced Regular Corecursion for Data Streams. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Bastien Maubert |
Recent Results on Strategy Logic with Imperfect Information. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
Iterated Transduction on Unary Languages. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Fu Li |
Fractional Hedonic Games With a Limited Number of Coalitions. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Richard Santiago, Danish Kashaev |
A Simple Optimal Contention Resolution Scheme for Uniform Matroids. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Ugo de'Liguoro, Riccardo Treglia |
A Filter Model for the State Monad. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Simone Faro, Francesco Pio Marino, Arianna Pavone |
Enhancing Characters Distance Text Sampling by Condensed Alphabets. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà |
A Decidable Theory Treating Addition of Differentiable Real Functions. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Angelo Ferrando 0001, Vadim Malvone |
Combine Model Checking and Runtime Verification in Multi-Agent Systems. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Francesco Betti Sorbelli, Federico Corò, Sajal K. Das 0001, Lorenzo Palazzetti, Cristina M. Pinotti |
Cooperative Truck-Drone Scheduling Approach for Last-Mile Deliveries. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Fu Li, C. Gregory Plaxton, Vaibhav B. Sinha |
The Obnoxious Facility Location Game with Dichotomous Preferences. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Sasthi C. Ghosh 0001, Subhasis Koley |
Proving a Conjecture on 8-Distance Coloring of the Infinite Hexagonal Grid. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Simone Faro, Stefano Scafiti |
Pruned BNDM: Extending the Bit-Parallel Suffix Automata to Large Strings. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo |
Two Crucial Cubic-Time Components of Polynomial-Maximal Decidable Boolean Languages. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Andrea Caucchiolo, Ferdinando Cicalese |
Hardness of MSA with Selective Column Scoring. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Ruslan Kapralov, Kamil Khadiev, Joshua Mokut, Yixin Shen 0001, Maxim Yagafarov |
Fast Classical and Quantum Algorithms for Online k-server Problem on Trees. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Tomoyuki Yamakami |
Nondeterministically Selecting Positive Instances of Context-Free Languages. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Vadim Malvone, Silvia Stranieri |
Towards a Model Checking Tool for Strategy Logic with Simple Goals. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Robin Weishaupt, Jörg Rothe |
Stability of Special Graph Classes. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Dario Della Monica, Angelo Montanari, Pietro Sala |
Extended ω-Regular Languages and Interval Temporal Logic. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Melissa Antonelli, Ugo Dal Lago, Paolo Pistone |
On Counting Propositional Logic and Wagner's Hierarchy. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Davide Martincigh, Giovanna D'Agostino, Alberto Policriti |
Ordering Regular Languages: a Danger Zone. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Antonio Restivo, Pierluigi San Pietro |
Reducing the Local Alphabet Size in Tiling Systems for Picture Languages. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Carlo Taticchi |
A Unifying Four-State Labelling Semantics for Bridging Abstract Argumentation Frameworks and Belief Revision. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Valentina Dorigatti, Paolo Massazza |
On Counting L-Convex Polyominoes. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Arnaldo Cesco, Roberto Gorrieri |
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11). |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Susobhan Bandopadhyay, Sasthi C. Ghosh 0001, Subhasis Koley |
L(2, 1)-Edge Labeling of Infinite Triangular Grid. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Alexander Sakharov |
Inference From Non-Horn Clauses With Partial Predicates. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Marco Bernardo 0001 |
Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Lhouari Nourine, Simon Vilmin |
Hierarchical Decompositions of Dihypergraphs. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Marino Miculan, Marco Peressotti |
Software Transactional Memory with Interactions. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Ronny Tredup |
Finding an Optimal Label-Splitting to Make a Transition System Petri Net Implementable: a Complete Complexity Characterization. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Burigana, Francesco De Martino, Agostino Dovier |
A Java visual Simulator of Turing Machines. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Ruggero Lanotte, Massimo Merro, Andrei Munteanu |
A Process Calculus Approach to Correctness Enforcement of PLCs. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Tiziana Calamoneri, Federico Corò |
A Realistic Model for Rescue Operations after an Earthquake. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere |
From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Camillo Fiorentini, Mauro Ferrari 0002 |
Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
Undecidability of Future Timeline-based Planning over Dense Temporal Domains? |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Gennaro Cordasco, Luisa Gargano, Adele A. Rescigno (eds.) |
Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Domenico Cantone, Simone Faro, M. Oguzhan Külekci |
Shape-Preserving Pattern Matching. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Gianola, Stefano Kasangian, Desiree Manicardi, Nicoletta Sabadini, Simone Tini |
Compositional Modeling of Biological Systems in CospanSpan(Graph). |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Michele Chiari, Davide Bergamaschi, Dino Mandrioli, Matteo Pradella |
Linear Temporal Logics for Structured Context-Free Languages. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti |
A Generalized LR(1) Parser or Extended Context-Free Grammars. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license