Sfoglia per Serie
Refinements of Orthopairs and IUML-algebras
2016-01-01 Aguzzoli, Stefano; Boffa, Stefania; Ciucci, Davide; Gerla, Brunella
Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games
2013-01-01 Liliana, Pasquale; Spoletini, Paola; Dario, Pometto; Francesco, Blasi; Tiziana, Redaelli
Rule Formats for Non Interference
2003-01-01 Tini, Simone
Schur complement matrix and its (elementwise) approximation: a spectral analysis based on GLT sequences
2015-01-01 Dorostkar, A.; Neytcheva, M.; SERRA CAPIZZANO, Stefano
A second-order Perceptron algorithm
2002-01-01 Cesa Bianchi, N.; Conconi, A.; Gentile, Claudio
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks
2011-01-01 Lanotte, Ruggero; Merro, M.
Sequences of orthopairs given by refinements of coverings
2017-01-01 Gerla, Brunella; Boffa, Stefania
Specifying Access Control Policies on Data Streams
2007-01-01 Carminati, Barbara; Ferrari, Elena; K. L., Tan
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment
2023-01-01 Castiglioni, Valentina; Loreti, Michele; Tini, Simone
State-based firewall for industrial protocols with critical-state prediction monitor
2011-01-01 Nai Fovino, I.; Carcano, A.; Coletta, A.; Guglielmi, M.; Masera, M.; Trombetta, A.
Taylor Approximation for Hybrid Systems
2005-01-01 Lanotte, Ruggero; Tini, Simone
A Terminating Evaluation-Driven Variant of G3i
2013-01-01 Ferrari, Mauro; Fiorentini, C.; Fiorino, G.
Towards an Ontology-Based Decision Support System to Support Car-Reconfiguration for Novice Wheelchair Users
2022-01-01 Spoladore, D.; Cilsal, T.; Mahroo, A.; Trombetta, A.; Sacco, M.
Towards Reverse Engineering of Industrial Physical Processes
2023-01-01 Ceccato, M.; Driouich, Y.; Lanotte, R.; Lucchese, M.; Merro, M.
A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming
1999-01-01 MAGGIOLO SCHETTINI, A.; Tini, Simone
Trust-X: An XML framework for trust negotiations
2003-01-01 Elisa, Bertino; Ferrari, Elena; ANNA CINZIA SQUICCIARINI TRUST, Chi
VIrtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities
2003-01-01 Benini, Marco; F. DE CINDIO, F.; Sonnante, L.
Weak simulation quasimetric in a gossip scenario
2017-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Refinements of Orthopairs and IUML-algebras | 1-gen-2016 | Aguzzoli, Stefano; Boffa, Stefania; Ciucci, Davide; Gerla, Brunella | |
| Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games | 1-gen-2013 | Liliana, Pasquale; Spoletini, Paola; Dario, Pometto; Francesco, Blasi; Tiziana, Redaelli | |
| Rule Formats for Non Interference | 1-gen-2003 | Tini, Simone | |
| Schur complement matrix and its (elementwise) approximation: a spectral analysis based on GLT sequences | 1-gen-2015 | Dorostkar, A.; Neytcheva, M.; SERRA CAPIZZANO, Stefano | |
| A second-order Perceptron algorithm | 1-gen-2002 | Cesa Bianchi, N.; Conconi, A.; Gentile, Claudio | |
| Semantic Analysis of Gossip Protocols for Wireless Sensor Networks | 1-gen-2011 | Lanotte, Ruggero; Merro, M. | |
| Sequences of orthopairs given by refinements of coverings | 1-gen-2017 | Gerla, Brunella; Boffa, Stefania | |
| Specifying Access Control Policies on Data Streams | 1-gen-2007 | Carminati, Barbara; Ferrari, Elena; K. L., Tan | |
| Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment | 1-gen-2023 | Castiglioni, Valentina; Loreti, Michele; Tini, Simone | |
| State-based firewall for industrial protocols with critical-state prediction monitor | 1-gen-2011 | Nai Fovino, I.; Carcano, A.; Coletta, A.; Guglielmi, M.; Masera, M.; Trombetta, A. | |
| Taylor Approximation for Hybrid Systems | 1-gen-2005 | Lanotte, Ruggero; Tini, Simone | |
| A Terminating Evaluation-Driven Variant of G3i | 1-gen-2013 | Ferrari, Mauro; Fiorentini, C.; Fiorino, G. | |
| Towards an Ontology-Based Decision Support System to Support Car-Reconfiguration for Novice Wheelchair Users | 1-gen-2022 | Spoladore, D.; Cilsal, T.; Mahroo, A.; Trombetta, A.; Sacco, M. | |
| Towards Reverse Engineering of Industrial Physical Processes | 1-gen-2023 | Ceccato, M.; Driouich, Y.; Lanotte, R.; Lucchese, M.; Merro, M. | |
| A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming | 1-gen-1999 | MAGGIOLO SCHETTINI, A.; Tini, Simone | |
| Trust-X: An XML framework for trust negotiations | 1-gen-2003 | Elisa, Bertino; Ferrari, Elena; ANNA CINZIA SQUICCIARINI TRUST, Chi | |
| VIrtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities | 1-gen-2003 | Benini, Marco; F. DE CINDIO, F.; Sonnante, L. | |
| Weak simulation quasimetric in a gossip scenario | 1-gen-2017 | Lanotte, Ruggero; Merro, Massimo; Tini, Simone |
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