Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ictcs/ictcs2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/ictcs/0001023,
author = {Marco Bernardo and
Andrea Esposito},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {44--58},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/7265.pdf},
timestamp = {Mon, 18 Dec 2023 16:58:34 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/0001023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/0002CLR23,
author = {Elena Biagi and
Davide Cenzato and
Zsuzsanna Lipt{\'{a}}k and
Giuseppe Romana},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {On the Number of Equal-Letter Runs of the Bijective Burrows-Wheeler
Transform},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {129--142},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/4564.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/0002CLR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AnselmoFM23,
author = {Marcella Anselmo and
Manuela Flores and
Maria Madonia},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Density of Ham- and Lee- non-isometric k-ary Words},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {116--128},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/3914.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/AnselmoFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AscoleseF23,
author = {Michela Ascolese and
Andrea Frosini},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Setting the Path to the Combinatorial Characterization of Prime Double
Square Polyominoes},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {157--168},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/5918.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/AscoleseF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AscoleseFPR23,
author = {Michela Ascolese and
Andrea Frosini and
Elisa Pergola and
Simone Rinaldi},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {A Heuristic for the P-time Reconstruction of Unique 3-Uniform Hypergraphs
from their Degree Sequences},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {77--91},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/1871.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/AscoleseFPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BarbarossaP23,
author = {Davide Barbarossa and
Paolo Pistone},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Tropical Mathematics and the Lambda-Calculus (short paper) (text not
included)},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
publisher = {CEUR-WS.org},
year = {2023},
timestamp = {Fri, 15 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BarbarossaP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BarileBR23,
author = {Adriano Barile and
Stefano Berardi and
Luca Roversi},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Termination of Rewriting on Reversible Boolean Circuits as a Free
3-Category Problem},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {31--43},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/5208.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BarileBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BeckerCKKPP23,
author = {Ruben Becker and
Davide Cenzato and
Sung{-}Hwan Kim and
Bojana Kodric and
Alberto Policriti and
Nicola Prezza},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Testing Wheelerness of Regular Languages (short paper) (text not included)},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
publisher = {CEUR-WS.org},
year = {2023},
timestamp = {Fri, 15 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BeckerCKKPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BiloBDLM023,
author = {Davide Bil{\`{o}} and
Vittorio Bil{\`{o}} and
Michelle D{\"{o}}ring and
Pascal Lenzner and
Louise Molitor and
Jonas Schmidt},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Schelling Games with Continuous Types (short paper)},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {328--333},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/9970.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BiloBDLM023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BiloBV23,
author = {Vittorio Bil{\`{o}} and
Lucaleonardo Bove and
Cosimo Vinci},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Utility-Sharing Games: How to Improve the Efficiency with Limited
Subsidies},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {314--327},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/3300.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BiloBV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BinucciLMOP23,
author = {Carla Binucci and
Giuseppe Liotta and
Fabrizio Montecchiani and
Giacomo Ortali and
Tommaso Piselli},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {On the Parameterized Complexity of Computing st-Orientations with
Few Transitive Edges (short paper)},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {98--103},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/1133.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BinucciLMOP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Calamoneri23,
author = {Tiziana Calamoneri},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {L(3, 2, 1)-Labeling of Certain Planar Graphs},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {65--76},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/3553.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Calamoneri23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CalamoneriC23,
author = {Tiziana Calamoneri and
Federico Cor{\`{o}}},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {(Eternal) Vertex Cover Number of Infinite and Finite Grid Graphs (short
paper)},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {104--109},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/1237.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CalamoneriC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CantoneGMW23,
author = {Domenico Cantone and
Alfio Giarlotta and
Pietro Maugeri and
Stephen Watson},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {The Satisfiability Problem for Boolean Set Theory with a Rational
Choice Correspondence},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {1--14},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/0265.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CantoneGMW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CantoneM23,
author = {Domenico Cantone and
Pietro Maugeri},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Complexity Results for Some Fragments of Set Theory Involving the
Unordered Cartesian Product Operator},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {283--298},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/7624.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CantoneM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CastiglioniLT23,
author = {Valentina Castiglioni and
Michele Loreti and
Simone Tini},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {DisTL: {A} Temporal Logic for the Analysis of the Expected Behaviour
of Cyber-Physical Systems},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {15--30},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/4168.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CastiglioniLT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CoenT23,
author = {Claudio Sacerdoti Coen and
Riccardo Treglia},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Properties of a Computational Lambda Calculus for Higher-Order Relational
Queries},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {254--267},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/8059.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CoenT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Crespi-Reghizzi23,
author = {Stefano Crespi{-}Reghizzi and
Antonio Restivo and
Pierluigi {San Pietro}},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Two-Dimensional Dyck Words (short paper) (text not included)},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
publisher = {CEUR-WS.org},
year = {2023},
timestamp = {Fri, 15 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Crespi-Reghizzi23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/DAgostinoGMP23,
author = {Giovanna D'Agostino and
Luca Geatti and
Davide Martincigh and
Alberto Policriti},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {A Linear-size Cascade Decomposition for Wheeler Automata},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {181--191},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/0763.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/DAgostinoGMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/EpifanioFMMPS23,
author = {Chiara Epifanio and
Luca Forlizzi and
Francesca Marzi and
Filippo Mignosi and
Giuseppe Placidi and
Matteo Spezialetti},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {On the k-Hamming and k-Edit Distances},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {143--156},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/8136.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/EpifanioFMMPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/GezerS23,
author = {M. Utkan Gezer and
A. C. Cem Say},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Finite State Verifiers with Both Private and Public Coins},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {241--253},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/1736.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/GezerS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/GoldwurmV23,
author = {Massimiliano Goldwurm and
Marco Vignati},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Large Deviation Properties for Pattern Statistics in Primitive Rational
Models},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {192--205},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/1908.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/GoldwurmV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/GorlaJGPP23,
author = {Daniele Gorla and
Louis Jalouzot and
Federica Granese and
Catuscia Palamidessi and
Pablo Piantanida},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {On the (Im)Possibility of Estimating Various Notions of Differential
Privacy (short paper)},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {219--224},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/8823.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/GorlaJGPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/LagoV23,
author = {Ugo Dal Lago and
Gabriele Vanoni},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {(Not So) Boring Abstract Machines},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {225--240},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/9878.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/LagoV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/LanotteMT23,
author = {Ruggero Lanotte and
Desiree Manicardi and
Simone Tini},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Step-by-step Robustness for Biochemical Networks},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {299--313},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/2906.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/LanotteMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MiculanP23,
author = {Marino Miculan and
Matteo Paier},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Assembling Coherent Network Topologies Using Round-Trip Graphs (short
paper)},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {110--115},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/6692.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MiculanP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MontiS23,
author = {Angelo Monti and
Blerina Sinaimeri},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {On Graphs that are not Star-k-PCGs (short paper)},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {92--97},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/0910.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MontiS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/PavoneV23,
author = {Arianna Pavone and
Caterina Viola},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {The Quantum Cyclic Rotation Gate},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {206--218},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/4071.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/PavoneV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/RagotSF23,
author = {Adrien Ragot and
Thomas Seiller and
Lorenzo Tortora de Falco},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Linear Realisability Over Nets and Second Order Quantification (short
paper)},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {59--64},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/3998.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/RagotSF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Romana23,
author = {Giuseppe Romana},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Algorithmic View on Circular String Attractors},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {169--180},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/9885.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Romana23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Yamakami23,
author = {Tomoyuki Yamakami},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {When Input Integers are Given in the Unary Numeral Representation},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {268--282},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/5062.pdf},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Yamakami23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2023,
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587},
urn = {urn:nbn:de:0074-3587-5},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-05-20 05:38 CEST from data curated 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:
