2008 |
13 | EE | Nataliia Bielova,
Marco Dalla Torre,
Nicola Dragoni,
Ida Siahaan:
Matching Policies with Security Claims of Mobile Applications.
ARES 2008: 128-135 |
2007 |
12 | EE | Nicola Dragoni,
Fabio Massacci,
Katsiaryna Naliuka,
Ida Siahaan:
Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code.
EuroPKI 2007: 297-312 |
11 | EE | Nicola Dragoni,
Fabio Massacci:
Security-by-contract for web services.
SWS 2007: 90-98 |
10 | EE | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
An ACL for Specifying Fault-Tolerant Protocols.
Applied Artificial Intelligence 21(4&5): 361-381 (2007) |
2006 |
9 | EE | Nicola Dragoni,
Mauro Gaspari:
Performative Patterns for Designing Verifiable ACLs.
CIA 2006: 375-387 |
8 | EE | Nicola Dragoni:
Fault tolerant knowledge level inter-agent communication in open Multi-Agent Systems.
AI Commun. 19(4): 385-387 (2006) |
7 | EE | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
An infrastructure to support cooperation of knowledge-level agents on the semantic Grid.
Appl. Intell. 25(2): 159-180 (2006) |
6 | EE | Nicola Dragoni,
Mauro Gaspari:
Crash failure detection in asynchronous agent communication languages.
Autonomous Agents and Multi-Agent Systems 13(3): 355-390 (2006) |
2005 |
5 | EE | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
An ACL for Specifying Fault-Tolerant Protocols.
AI*IA 2005: 237-248 |
4 | | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
Integrating Knowledge-Level Agents in the (Semantic) Web: An Agent-based Open Service Architecture.
FLAIRS Conference 2005: 320-325 |
3 | EE | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
NOWHERE - An Open Service Architecture to support Agents and Services within the Semantic Web.
SWAP 2005 |
2 | | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
A Peer-to-Peer Knowledge Level Open Service Architecture.
Wissensmanagement 2005: 195-201 |
1 | EE | Nicola Dragoni,
Mauro Gaspari:
An object based algebra for specifying a fault tolerant software architecture.
J. Log. Algebr. Program. 63(2): 271-297 (2005) |