default search action
Search dblp for Publications
export results for "toc:db/conf/ictcs/ictcs2016.bht:"
@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} }
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.