Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Davide Daolio

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2007
[j1]
- view
  - electronic edition @ scpe.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scpe/AlbertiCDGLMT07
- ask others
Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Practice and Experience 8(1) (2007)
2004
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sac/AlbertiDTGLM04
- ask others
Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello: Specification and verification of agent interaction protocols in a logic-based system. SAC 2004: 72-78

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?