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/ictcs2016.bht:"
download as .bib file
@inproceedings{DBLP:conf/ictcs/0001FLMMS16,
author = {Shantanu Das and
Riccardo Focardi and
Flaminia L. Luccio and
Euripides Markou and
Davide Moro and
Marco Squarcina},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Gathering of Robots in a Ring with Mobile Faults},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {122--135},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/0001FLMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AriasCP16,
author = {Jaime Arias and
Mauricio Cano and
Jorge Andr{\'{e}}s P{\'{e}}rez},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Towards {A} Practical Model of Reactive Communication-Centric Software},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {227--233},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/AriasCP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Bella16,
author = {Gianpaolo Bella},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Cybersecurity's Way Forward: to get Beautiful or Invisible},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {1--7},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/bella.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Bella16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BernardoM16,
author = {Marco Bernardo and
Marino Miculan},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on
Reactive Probabilistic Systems},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {203--220},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BernardoM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BistarelliCGM16,
author = {Stefano Bistarelli and
Rosario Culmone and
Paolo Giuliodori and
Stefano Mugnoz},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {A Mechanism Design Approach for Allocation of Commodities},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {275--279},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BistarelliCGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BodeiG16,
author = {Chiara Bodei and
Letterio Galletta},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {The Cost of Securing IoT Communications},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {163--176},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BodeiG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Interval Temporal Logic Model Checking Based on Track Bisimilarity
and Prefix Sampling},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {49--61},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BusiDG16,
author = {Matteo Busi and
Pierpaolo Degano and
Letterio Galletta},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {A Semantics for Disciplined Concurrency in {COP}},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {177--189},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BusiDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CafaroP16,
author = {Massimo Cafaro and
Marco Pulimeno},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Merging Frequent Summaries},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {280--285},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CafaroP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CalamoneriDM16,
author = {Tiziana Calamoneri and
Matteo Dell'Orefice and
Angelo Monti},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {A Locally Connected Spanning Tree Can Be Found in Polynomial Time
on Simple Clique 3-Trees},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {103--121},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CalamoneriDM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CalamoneriGMSS16,
author = {Tiziana Calamoneri and
Mattia Gastaldello and
Arnaud Mary and
Marie{-}France Sagot and
Blerina Sinaimeri},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {On Maximal Chain Subgraphs and Covers of Bipartite Graphs},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {286--291},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CalamoneriGMSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CalamoneriS16,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Types for Immutability and Aliasing Control},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {62--74},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CalamoneriS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CantoneAS16,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Daniele Francesco Santamaria},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Conjunctive Query Answering via a Fragment of Set Theory},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {23--35},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CantoneAS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CantoneC16,
author = {Domenico Cantone and
Salvatore Cristofaro},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {A Variant of Turing Machines with no Control States and its Connection
to Bounded Temporal Memory},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {36--48},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CantoneC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CasuP16,
author = {Giovanni Casu and
G. Michele Pinna},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {An Unifying Framework for Compacting Petri Nets Behaviors},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {245--250},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CasuP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CordascoGR16,
author = {Gennaro Cordasco and
Luisa Gargano and
Adele A. Rescigno},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Active Spreading in Networks},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {149--162},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CordascoGR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/DAngeloSV16,
author = {Gianlorenzo D'Angelo and
Lorenzo Severini and
Yllka Velaj},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Influence Maximization in the Independent Cascade Model},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {269--274},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/DAngeloSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/DEmidioFF0P16,
author = {Mattia D'Emidio and
Luca Forlizzi and
Daniele Frigioni and
Stefano Leucci and
Guido Proietti},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {On the Clustered Shortest-Path Tree Problem},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {263--268},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/DEmidioFF0P16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/DEmidioSFN16,
author = {Mattia D'Emidio and
Gabriele Di Stefano and
Daniele Frigioni and
Alfredo Navarra},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Improved Protocols for Luminous Asynchronous Robots},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {136--148},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/DEmidioSFN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/DimaMP16,
author = {Catalin Dima and
Bastien Maubert and
Sophie Pinchinat},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Relating Paths in Transition Systems: the Fall of the Modal mu-Calculus},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {240--244},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/DimaMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/GianniniSZ16,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Runtime Checks as Nominal Types},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {75--87},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/GianniniSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/LavadoPP16,
author = {Giovanna J. Lavado and
Giovanni Pighizzini and
Luca Prigioniero},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Minimal and Reduced Reversible Automata},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {234--239},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/LavadoPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MalvoneM16,
author = {Vadim Malvone and
Aniello Murano},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Additional Winning Strategies in Two-Player Games},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {251--256},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MalvoneM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Mastandrea16,
author = {Vincenzo Mastandrea},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Deadlock Analysis with Behavioral Types for Actors},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {257--262},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Mastandrea16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MezzinaP16,
author = {Claudio Antares Mezzina and
Jorge Andr{\'{e}}s P{\'{e}}rez},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Reversible Semantics in Session-based Concurrency},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {221--226},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MezzinaP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MiculanP16,
author = {Marino Miculan and
Marco Peressotti},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {On the Bisimulation Hierarchy of State-to-Function Transition Systems},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {88--102},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MiculanP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/NayakSK16,
author = {Ananda Chandra Nayak and
Amit Kumar Srivastava and
Kalpesh Kapoor},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {On Exchange-Robust and Subst-Robust Primitive Partial Words},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {190--202},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/NayakSK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Vinci16,
author = {Cosimo Vinci},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Non-Atomic One-Round Walks in Polynomial Congestion Games},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {11--22},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Vinci16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2016,
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720},
urn = {urn:nbn:de:0074-1720-9},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/2016.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-24 20:19 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:
