BibTeX records: Alessandro Bianco

download as .bib file

@inproceedings{DBLP:conf/icinco/PostBY17,
  author    = {Mark A. Post and
               Alessandro Bianco and
               Xiu T. Yan},
  editor    = {Oleg Gusikhin and
               Kurosh Madani},
  title     = {Autonomous Navigation with {ROS} for a Mobile Robot in Agricultural
               Fields},
  booktitle = {Proceedings of the 14th International Conference on Informatics in
               Control, Automation and Robotics, {ICINCO} 2017, Madrid, Spain, July
               26-28, 2017, Volume 2},
  pages     = {79--87},
  publisher = {SciTePress},
  year      = {2017},
  url       = {https://doi.org/10.5220/0006434400790087},
  doi       = {10.5220/0006434400790087},
  timestamp = {Thu, 14 Dec 2017 11:57:56 +0100},
  biburl    = {https://dblp.org/rec/conf/icinco/PostBY17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/PostBY17a,
  author    = {Mark A. Post and
               Alessandro Bianco and
               Xiu T. Yan},
  editor    = {Oleg Gusikhin and
               Kurosh Madani},
  title     = {Autonomous Navigation with Open Software Platform for Field Robots},
  booktitle = {Informatics in Control, Automation and Robotics - 14th International
               Conference, {ICINCO} 2017, Madrid, Spain, July 26-28, 2017 Revised
               Selected Papers},
  series    = {Lecture Notes in Electrical Engineering},
  volume    = {495},
  pages     = {425--450},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-030-11292-9\_22},
  doi       = {10.1007/978-3-030-11292-9\_22},
  timestamp = {Tue, 30 Apr 2019 12:17:05 +0200},
  biburl    = {https://dblp.org/rec/conf/icinco/PostBY17a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/um/BiancoCFIT13,
  author    = {Alessandro Bianco and
               Paolo Campegiani and
               John Forrester and
               Leo Iaquinta and
               Maria Alessandra Torsello},
  editor    = {Shlomo Berkovsky and
               Eelco Herder and
               Pasquale Lops and
               Olga C. Santos},
  title     = {{SMART} project: Industrial and Academic Collaboration for Service
               Design},
  booktitle = {Late-Breaking Results, Project Papers and Workshop Proceedings of
               the 21st Conference on User Modeling, Adaptation, and Personalization.,
               Rome, Italy, June 10-14, 2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {997},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-997/pegov2013\_paper\_2.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:02 +0100},
  biburl    = {https://dblp.org/rec/conf/um/BiancoCFIT13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BiancoFMM12,
  author    = {Alessandro Bianco and
               Marco Faella and
               Fabio Mogavero and
               Aniello Murano},
  title     = {Quantitatively fair scheduling},
  journal   = {Theor. Comput. Sci.},
  volume    = {413},
  number    = {1},
  pages     = {160--175},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.tcs.2011.06.029},
  doi       = {10.1016/j.tcs.2011.06.029},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/BiancoFMM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BiancoMM12,
  author    = {Alessandro Bianco and
               Fabio Mogavero and
               Aniello Murano},
  title     = {Graded computation tree logic},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {13},
  number    = {3},
  pages     = {25:1--25:53},
  year      = {2012},
  url       = {https://doi.org/10.1145/2287718.2287725},
  doi       = {10.1145/2287718.2287725},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tocl/BiancoMM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BiancoFMM11,
  author    = {Alessandro Bianco and
               Marco Faella and
               Fabio Mogavero and
               Aniello Murano},
  title     = {Exploring the boundary of half-positionality},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {62},
  number    = {1-2},
  pages     = {55--77},
  year      = {2011},
  url       = {https://doi.org/10.1007/s10472-011-9250-1},
  doi       = {10.1007/s10472-011-9250-1},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/amai/BiancoFMM11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/BiancoFMM10,
  author    = {Alessandro Bianco and
               Marco Faella and
               Fabio Mogavero and
               Aniello Murano},
  editor    = {J{\"{u}}rgen Dix and
               Jo{\~{a}}o Leite and
               Guido Governatori and
               Wojtek Jamroga},
  title     = {Exploring the Boundary of Half Positionality},
  booktitle = {Computational Logic in Multi-Agent Systems, 11th International Workshop,
               {CLIMA} XI, Lisbon, Portugal, August 16-17, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6245},
  pages     = {171--185},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14977-1\_14},
  doi       = {10.1007/978-3-642-14977-1\_14},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/clima/BiancoFMM10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BiancoMM10,
  author    = {Alessandro Bianco and
               Fabio Mogavero and
               Aniello Murano},
  editor    = {Anuj Dawar and
               Helmut Veith},
  title     = {Graded Computation Tree Logic with Binary Coding},
  booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
               Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6247},
  pages     = {125--139},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15205-4\_13},
  doi       = {10.1007/978-3-642-15205-4\_13},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/csl/BiancoMM10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-5097,
  author    = {Alessandro Bianco and
               Marco Faella and
               Fabio Mogavero and
               Aniello Murano},
  editor    = {Alessandra Di Pierro and
               Gethin Norman},
  title     = {Quantitative Fairness Games},
  booktitle = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
               Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
  series    = {{EPTCS}},
  volume    = {28},
  pages     = {48--63},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.28.4},
  doi       = {10.4204/EPTCS.28.4},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1006-5097.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BiancoMM09,
  author    = {Alessandro Bianco and
               Fabio Mogavero and
               Aniello Murano},
  title     = {Graded Computation Tree Logic},
  booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
               Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
  pages     = {342--351},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/LICS.2009.28},
  doi       = {10.1109/LICS.2009.28},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/lics/BiancoMM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BiancoFMM09,
  author    = {Alessandro Bianco and
               Marco Faella and
               Fabio Mogavero and
               Aniello Murano},
  editor    = {Rastislav Kr{\'{a}}lovic and
               Damian Niwinski},
  title     = {Balanced Paths in Colored Graphs},
  booktitle = {Mathematical Foundations of Computer Science 2009, 34th International
               Symposium, {MFCS} 2009, Novy Smokovec, High Tatras, Slovakia, August
               24-28, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5734},
  pages     = {149--161},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03816-7\_14},
  doi       = {10.1007/978-3-642-03816-7\_14},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/conf/mfcs/BiancoFMM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics