BibTeX records: Davide Daolio

• > Home > Persons > Davide Daolio

@article{DBLP:journals/scpe/AlbertiCDGLMT07,
  author       = {Marco Alberti and
                  Federico Chesani and
                  Davide Daolio and
                  Marco Gavanelli and
                  Evelina Lamma and
                  Paola Mello and
                  Paolo Torroni},
  title        = {Specification and Verification of Agent Interaction Protocols in a
                  Logic-based System},
  journal      = {Scalable Comput. Pract. Exp.},
  volume       = {8},
  number       = {1},
  year         = {2007},
  url          = {http://www.scpe.org/index.php/scpe/article/view/393},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scpe/AlbertiCDGLMT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sac/AlbertiDTGLM04,
  author       = {Marco Alberti and
                  Davide Daolio and
                  Paolo Torroni and
                  Marco Gavanelli and
                  Evelina Lamma and
                  Paola Mello},
  editor       = {Hisham Haddad and
                  Andrea Omicini and
                  Roger L. Wainwright and
                  Lorie M. Liebrock},
  title        = {Specification and verification of agent interaction protocols in a
                  logic-based system},
  booktitle    = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
                  Nicosia, Cyprus, March 14-17, 2004},
  pages        = {72--78},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/967900.967918},
  doi          = {10.1145/967900.967918},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/AlbertiDTGLM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}