TORRONI, PAOLO
TORRONI, PAOLO
Dipartimento di Ingegneria (attivo dal 01/01/1997 al 30/09/2012)
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.007 secondi).
Coordinating the safe execution of tasks in a constrained multi-agent system
file con accesso da definire2002 Ciampolini, Anna; Mello, Paola; Torroni, Paolo; Lamma, Evelina
Expressing interaction in combinatorial auction through social integrity constraints
file con accesso da definire2005 Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Guerri, Alessio; Lamma, Evelina; Milano, Michela; Torroni, Paolo
Verification from declarative specifications using logic programming
file con accesso da definire2009 Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Coordinating the safe execution of tasks in a constrained multi-agent system | 2002 | Ciampolini, Anna; Mello, Paola; Torroni, Paolo; Lamma, Evelina | file con accesso da definire |
| Expressing interaction in combinatorial auction through social integrity constraints | 2005 | Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Guerri, Alessio; Lamma, Evelina; Milano, Mic...hela; Torroni, Paolo | file con accesso da definire |
| Verification from declarative specifications using logic programming | 2009 | Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Eveli...na; Mello, Paola | file con accesso da definire |