BibTeX records: Loredana Sorrentino

download as .bib file

@inproceedings{DBLP:conf/atal/MalvoneMS17,
  author    = {Vadim Malvone and
               Aniello Murano and
               Loredana Sorrentino},
  title     = {Hiding Actions in Multi-Player Games},
  booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
               Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
  pages     = {1205--1213},
  year      = {2017},
  crossref  = {DBLP:conf/atal/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3091293},
  timestamp = {Thu, 11 May 2017 14:16:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/MalvoneMS17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iccS/ArcucciMMS17,
  author    = {Rossella Arcucci and
               Umberto Marotta and
               Aniello Murano and
               Loredana Sorrentino},
  title     = {Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive
               Algorithm},
  booktitle = {International Conference on Computational Science, {ICCS} 2017, 12-14
               June 2017, Zurich, Switzerland},
  pages     = {525--534},
  year      = {2017},
  crossref  = {DBLP:conf/iccS/2017},
  url       = {https://doi.org/10.1016/j.procs.2017.05.120},
  doi       = {10.1016/j.procs.2017.05.120},
  timestamp = {Wed, 21 Jun 2017 14:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iccS/ArcucciMMS17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/atal/MalvoneMS16,
  author    = {Vadim Malvone and
               Aniello Murano and
               Loredana Sorrentino},
  title     = {Concurrent Multi-Player Parity Games},
  booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
               {\&} Multiagent Systems, Singapore, May 9-13, 2016},
  pages     = {689--697},
  year      = {2016},
  crossref  = {DBLP:conf/atal/2016},
  url       = {http://dl.acm.org/citation.cfm?id=2937026},
  timestamp = {Fri, 20 May 2016 20:33:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/MalvoneMS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MalvoneMS16,
  author    = {Vadim Malvone and
               Aniello Murano and
               Loredana Sorrentino},
  title     = {Hiding Actions in Concurrent Games},
  booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
               29 August-2 September 2016, The Hague, The Netherlands - Including
               Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
  pages     = {1686--1687},
  year      = {2016},
  crossref  = {DBLP:conf/ecai/2016},
  url       = {https://doi.org/10.3233/978-1-61499-672-9-1686},
  doi       = {10.3233/978-1-61499-672-9-1686},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/MalvoneMS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/FontaineMMPS16,
  author    = {Ga{\"{e}}lle Fontaine and
               Fabio Mogavero and
               Aniello Murano and
               Giuseppe Perelli and
               Loredana Sorrentino},
  title     = {Cycle Detection in Computation Tree Logic},
  booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
               Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
               September 2016.},
  pages     = {164--177},
  year      = {2016},
  crossref  = {DBLP:journals/corr/CantoneD16},
  url       = {https://doi.org/10.4204/EPTCS.226.12},
  doi       = {10.4204/EPTCS.226.12},
  timestamp = {Wed, 03 May 2017 14:47:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/FontaineMMPS16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fuin/MogaveroMS15,
  author    = {Fabio Mogavero and
               Aniello Murano and
               Loredana Sorrentino},
  title     = {On Promptness in Parity Games},
  journal   = {Fundam. Inform.},
  volume    = {139},
  number    = {3},
  pages     = {277--305},
  year      = {2015},
  url       = {https://doi.org/10.3233/FI-2015-1235},
  doi       = {10.3233/FI-2015-1235},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fuin/MogaveroMS15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cilc/MalvoneMS15,
  author    = {Vadim Malvone and
               Aniello Murano and
               Loredana Sorrentino},
  title     = {Games with additional winning strategies},
  booktitle = {Proceedings of the 30th Italian Conference on Computational Logic,
               Genova, Italy, July 1-3, 2015.},
  pages     = {175--180},
  year      = {2015},
  crossref  = {DBLP:conf/cilc/2015},
  url       = {http://ceur-ws.org/Vol-1459/paper20.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/MalvoneMS15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/time/MalvoneMMS15,
  author    = {Vadim Malvone and
               Fabio Mogavero and
               Aniello Murano and
               Loredana Sorrentino},
  title     = {On the Counting of Strategies},
  booktitle = {22nd International Symposium on Temporal Representation and Reasoning,
               {TIME} 2015, Kassel, Germany, September 23-25, 2015},
  pages     = {170--179},
  year      = {2015},
  crossref  = {DBLP:conf/time/2015},
  url       = {https://doi.org/10.1109/TIME.2015.19},
  doi       = {10.1109/TIME.2015.19},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/time/MalvoneMMS15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/woa/MuranoS15,
  author    = {Aniello Murano and
               Loredana Sorrentino},
  title     = {A Game-based Model for Human-robots Interaction},
  booktitle = {Proceedings of the 16th Workshop "From Objects to Agents", Naples,
               Italy, June 17-19, 2015.},
  pages     = {146--150},
  year      = {2015},
  crossref  = {DBLP:conf/woa/2015},
  url       = {http://ceur-ws.org/Vol-1382/paper23.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/woa/MuranoS15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/facs2/StasioMPS14,
  author    = {Antonio Di Stasio and
               Aniello Murano and
               Vincenzo Prignano and
               Loredana Sorrentino},
  title     = {Solving Parity Games in Scala},
  booktitle = {Formal Aspects of Component Software - 11th International Symposium,
               {FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
               Papers},
  pages     = {145--161},
  year      = {2014},
  crossref  = {DBLP:conf/facs2/2014},
  url       = {https://doi.org/10.1007/978-3-319-15317-9_9},
  doi       = {10.1007/978-3-319-15317-9_9},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/facs2/StasioMPS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MogaveroMS13,
  author    = {Fabio Mogavero and
               Aniello Murano and
               Loredana Sorrentino},
  title     = {On Promptness in Parity Games},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
               International Conference, LPAR-19, Stellenbosch, South Africa, December
               14-19, 2013. Proceedings},
  pages     = {601--618},
  year      = {2013},
  crossref  = {DBLP:conf/lpar/2013},
  url       = {https://doi.org/10.1007/978-3-642-45221-5_40},
  doi       = {10.1007/978-3-642-45221-5_40},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpar/MogaveroMS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atal/2017,
  editor    = {Kate Larson and
               Michael Winikoff and
               Sanmay Das and
               Edmund Durfee},
  title     = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
               Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3091125},
  timestamp = {Thu, 11 May 2017 14:16:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iccS/2017,
  editor    = {Petros Koumoutsakos and
               Michael Lees and
               Valeria V. Krzhizhanovskaya and
               Jack J. Dongarra and
               Peter M. A. Sloot},
  title     = {International Conference on Computational Science, {ICCS} 2017, 12-14
               June 2017, Zurich, Switzerland},
  series    = {Procedia Computer Science},
  volume    = {108},
  publisher = {Elsevier},
  year      = {2017},
  url       = {http://www.sciencedirect.com/science/journal/18770509/108},
  timestamp = {Wed, 21 Jun 2017 14:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iccS/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atal/2016,
  editor    = {Catholijn M. Jonker and
               Stacy Marsella and
               John Thangarajah and
               Karl Tuyls},
  title     = {Proceedings of the 2016 International Conference on Autonomous Agents
               {\&} Multiagent Systems, Singapore, May 9-13, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2936924},
  isbn      = {978-1-4503-4239-1},
  timestamp = {Fri, 20 May 2016 20:33:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecai/2016,
  editor    = {Gal A. Kaminka and
               Maria Fox and
               Paolo Bouquet and
               Eyke H{\"{u}}llermeier and
               Virginia Dignum and
               Frank Dignum and
               Frank van Harmelen},
  title     = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
               29 August-2 September 2016, The Hague, The Netherlands - Including
               Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {285},
  publisher = {{IOS} Press},
  year      = {2016},
  isbn      = {978-1-61499-671-2},
  timestamp = {Tue, 30 Aug 2016 10:30:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/CantoneD16,
  editor    = {Domenico Cantone and
               Giorgio Delzanno},
  title     = {Proceedings of the Seventh International Symposium on Games, Automata,
               Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
               September 2016},
  series    = {{EPTCS}},
  volume    = {226},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.226},
  doi       = {10.4204/EPTCS.226},
  timestamp = {Wed, 03 May 2017 14:47:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/CantoneD16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cilc/2015,
  editor    = {Davide Ancona and
               Marco Maratea and
               Viviana Mascardi},
  title     = {Proceedings of the 30th Italian Conference on Computational Logic,
               Genova, Italy, July 1-3, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1459},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1459},
  urn       = {urn:nbn:de:0074-1459-5},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cilc/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/time/2015,
  editor    = {Fabio Grandi and
               Martin Lange and
               Alessio Lomuscio},
  title     = {22nd International Symposium on Temporal Representation and Reasoning,
               {TIME} 2015, Kassel, Germany, September 23-25, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7371540},
  isbn      = {978-1-4673-9317-1},
  timestamp = {Mon, 19 Sep 2016 15:07:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/time/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/woa/2015,
  editor    = {Claudia Di Napoli and
               Silvia Rossi and
               Mariacarla Staffa},
  title     = {Proceedings of the 16th Workshop "From Objects to Agents", Naples,
               Italy, June 17-19, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1382},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1382},
  urn       = {urn:nbn:de:0074-1382-4},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/woa/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/facs2/2014,
  editor    = {Ivan Lanese and
               Eric Madelaine},
  title     = {Formal Aspects of Component Software - 11th International Symposium,
               {FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8997},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-15317-9},
  doi       = {10.1007/978-3-319-15317-9},
  isbn      = {978-3-319-15316-2},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/facs2/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpar/2013,
  editor    = {Kenneth L. McMillan and
               Aart Middeldorp and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
               International Conference, LPAR-19, Stellenbosch, South Africa, December
               14-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8312},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-45221-5},
  doi       = {10.1007/978-3-642-45221-5},
  isbn      = {978-3-642-45220-8},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpar/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier