Sfoglia per Rivista
From Coalition Logic to STIT
2006-01-01 Broersen, J; Herzig, A; Troquard, N
Interaction and Concurrency Experiences
2009-01-01 Bonchi, Filippo; Grohmann, Davide; Spoletini, Paola; Troina, Angelo; Tuosto, Emilio
Into the Square: On the Complexity of Some Quadratic-time Solvable Problems
2016-01-01 Borassi, Michele; Crescenzi, Pierluigi; Habib, Michel
A Logic for Application Level QoS
2006-01-01 Hirsch, Dan; Lluch-Lafuente, Alberto; Tuosto, E
An Observational Model for Spatial Logics
2006-01-01 Tuosto, E; Vieira, Torres
On the Maximum Betweenness Improvement Problem
2016-01-01 D'Angelo, G; Lorenzo, Severini; Yllka, Velaj
Security Issues in Component-based Design
2001-01-01 Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E
Tarzan
2005-01-01 Tuosto, E
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| From Coalition Logic to STIT | 1-gen-2006 | Broersen, J; Herzig, A; Troquard, N | |
| Interaction and Concurrency Experiences | 1-gen-2009 | Bonchi, Filippo; Grohmann, Davide; Spoletini, Paola; Troina, Angelo; Tuosto, Emilio | |
| Into the Square: On the Complexity of Some Quadratic-time Solvable Problems | 1-gen-2016 | Borassi, Michele; Crescenzi, Pierluigi; Habib, Michel | |
| A Logic for Application Level QoS | 1-gen-2006 | Hirsch, Dan; Lluch-Lafuente, Alberto; Tuosto, E | |
| An Observational Model for Spatial Logics | 1-gen-2006 | Tuosto, E; Vieira, Torres | |
| On the Maximum Betweenness Improvement Problem | 1-gen-2016 | D'Angelo, G; Lorenzo, Severini; Yllka, Velaj | |
| Security Issues in Component-based Design | 1-gen-2001 | Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E | |
| Tarzan | 1-gen-2005 | Tuosto, E |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile