Search dblp for Publications

export results for "toc:db/conf/ictcs/ictcs2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ictcs/0001GPR17,
  author       = {Laura Giordano and
                  Valentina Gliozzi and
                  Gian Luca Pozzato and
                  Riccardo Renzulli},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {{RAT-OWL:} Reasoning with Rational Closure in Description Logics of
                  Typicality},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {306--320},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/CILCpaper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/0001GPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/0001LRZ17,
  author       = {Marco Alberti and
                  Evelina Lamma and
                  Fabrizio Riguzzi and
                  Riccardo Zese},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {248--261},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/CILCpaper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/0001LRZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/BarozziniMMS17,
  author       = {David Barozzini and
                  Dario Della Monica and
                  Angelo Montanari and
                  Pietro Sala},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Counter-queue Automata with an Application to a Meaningful Extension
                  of Omega-regular Languages},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {27--38},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/BarozziniMMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/BergentiM17,
  author       = {Federico Bergenti and
                  Stefania Monica},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Satisfaction of Polynomial Constraints over Finite Domains using Function
                  Values},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {262--275},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/CILCpaper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/BergentiM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/CantoneAS17,
  author       = {Domenico Cantone and
                  Marianna Nicolosi Asmundo and
                  Daniele Francesco Santamaria},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {A {C++} Reasoner for the Description Logic {DL-4X(D)}},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {276--280},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/CILCpaper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/CantoneAS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/CicaleseR17,
  author       = {Ferdinando Cicalese and
                  Massimiliano Rossi},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {On the Multi-interval Ulam-R{\'{e}}nyi game: For 3 Lies 4 Intervals
                  Suffice},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {39--50},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/CicaleseR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/ColellaDP17,
  author       = {Feliciano Colella and
                  Mattia D'Emidio and
                  Guido Proietti},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Simple and Practically Efficient Fault-tolerant 2-hop Cover Labelings},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {51--62},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/ColellaDP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/CominatoMMS17,
  author       = {Enrico Cominato and
                  Dario Della Monica and
                  Angelo Montanari and
                  Guido Sciavicco},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {A Model Checker for Interval Temporal Logic over Finite Structures},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {63--74},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/CominatoMMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/ContaldoBD17,
  author       = {Francesco Contaldo and
                  Marco De Bortoli and
                  Agostino Dovier},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Optimization of a Compiler from {PDDL} to Picat (Short Paper)},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {281--285},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/CILCpaper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/ContaldoBD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/CostantiniGPS17,
  author       = {Stefania Costantini and
                  Giovanni De Gasperis and
                  Valentina Pitoni and
                  Agnese Salutari},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {{DALI:} {A} Multi Agent System Framework for the Web, Cognitive Robotic
                  and Complex Event Processing},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {286--300},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/CILCpaper05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/CostantiniGPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/CzygrinowHWW17,
  author       = {Andrzej Czygrinow and
                  Michal Hanckowiak and
                  Wojciech Wawrzyniak and
                  Marcin Witkowski},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Distributed Approximation Algorithms for k-dominating Set in Graphs
                  of Bounded Genus and Linklessly Embeddable Graphs},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {75--86},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/CzygrinowHWW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/DEmidioK17,
  author       = {Mattia D'Emidio and
                  Imran Khan},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Multi-robot Task Allocation Problem: Current Trends and New Ideas},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {99--103},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/DEmidioK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/FerrariFF17,
  author       = {Mauro Ferrari and
                  Camillo Fiorentini and
                  Guido Fiorino},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Proof-Search in Hilbert Calculi},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {301--305},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/CILCpaper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/FerrariFF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/KorenblitL17,
  author       = {Mark Korenblit and
                  Vadim E. Levit},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Graph Expression Complexities and Simultaneous Linear Recurrences},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {104--108},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/KorenblitL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/LagoGT17,
  author       = {Ugo Dal Lago and
                  Francesco Gavazzo and
                  Ryo Tanaka},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Effectful Applicative Similarity for Call-by-Name Lambda Calculi},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {87--98},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/LagoGT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/LeonciniMMM17,
  author       = {Mauro Leoncini and
                  Gianluca De Marco and
                  Lucia Mazzali and
                  Manuela Montangero},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Distributed Beta-assignment on Graphs},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {109--120},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/LeonciniMMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/LimaFL17,
  author       = {Murilo Santos de Lima and
                  M{\'{a}}rio C{\'{e}}sar San Felice and
                  Orlando Lee},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Connected Facility Leasing Problems},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {162--173},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper14.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/LimaFL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/LisiM17,
  author       = {Francesca Alessandra Lisi and
                  Corrado Mencar},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Introducing Fuzzy Quantification in {OWL} 2 Ontologies},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {321--325},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/CILCpaper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/LisiM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/MedicM17,
  author       = {Doriana Medic and
                  Claudio Antares Mezzina},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Towards Parametric Causal Semantics in pi-calculus},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {121--125},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/MedicM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/MiculanP17,
  author       = {Marino Miculan and
                  Marco Peressotti},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Deciding Weak Weighted Bisimulation},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {126--137},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/MiculanP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/Munoz-VelascoSS17,
  author       = {Emilio Mu{\~{n}}oz{-}Velasco and
                  Guido Sciavicco and
                  Ionel Eduard Stan},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Implementation of a Tableau-based Satisfiability Checker for {HS3}},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {326--340},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/CILCpaper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/Munoz-VelascoSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/NevelingR17,
  author       = {Marc Neveling and
                  J{\"{o}}rg Rothe},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Closing the Gap of Control Complexity in Borda Elections: Solving
                  ten open cases},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {138--149},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/NevelingR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/OrnaghiFM17,
  author       = {Mario Ornaghi and
                  Camillo Fiorentini and
                  Alberto Momigliano},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {{LOGI:} {A} Didactic Tool for a Beginners' Course in Logic (System
                  Description)},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {341--345},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/CILCpaper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/OrnaghiFM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/PasquaM17,
  author       = {Michele Pasqua and
                  Isabella Mastroeni},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {On Topologies for (Hyper)Properties},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {150--161},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/PasquaM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/SpalazziS17,
  author       = {Luca Spalazzi and
                  Francesco Spegni},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {174--185},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/SpalazziS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/Su17,
  author       = {Ezgi Iraz Su},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {An S4F-related Monotonic Modal Logic},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {346--360},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/CILCpaper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/Su17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/TarzariolDP17,
  author       = {Alice Tarzariol and
                  Agostino Dovier and
                  Alberto Policriti},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Towards a Logic Programming Tool for Cancer Analysis},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {361--375},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/CILCpaper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/TarzariolDP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/ZunicL17,
  author       = {Dragisa Zunic and
                  Pierre Lescanne},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {A Congruence Relation for Restructuring Classical Terms},
  booktitle    = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {186--197},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/ZunicL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ictcs/2017,
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
                  Science and the 32nd Italian Conference on Computational Logic co-located
                  with the 2017 {IEEE} International Workshop on Measurements and Networking
                  {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949},
  urn          = {urn:nbn:de:0074-1949-5},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.