Sfoglia per Serie
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems
2017-01-01 Luisa Vissat, Ludovica; Loreti, Michele; Nenzi, Laura; Hillston, Jane; Marion, Glenn
Tools for Ensemble Design and Runtime
2015-01-01 Abeywickrama Dhaminda, B.; Combaz, Jacques; Horký, Vojtěch; Keznikl, Jaroslav; Kofroň, Jan; Lafuente Alberto, Lluch; Loreti, Michele; Margheri, Andrea; Mayer, Philip; Monreale, Valentina; Montanari, Ugo; Pinciroli, Carlo; Tůma, Petr; Vandin, Andrea; Vassev, Emil
Topological Classification of RNA Structures via Intersection Graph
2017-01-01 Quadrini, Michela; Culmone, Rosario; Merelli, Emanuela
Trust-Based Enforcement of Security Policies
2014-01-01 Vigo, Roberto; Celestini, Alessandro; Tiezzi, Francesco; De Nicola, Rocco; Nielson, Flemming; Nielson, Hanne Riis
Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers.
2016-01-01 Ganty, Pierre; Loreti, Michele
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter
2015-01-01 De Nicola, Rocco; Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; Tiezzi, Francesco
Visualisation of Collective Systems with Sequit and Sibilla
2024-01-01 Del Giudice, N.; Cruciani, F. M.; Loreti, M.
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems | 1-gen-2017 | Luisa Vissat, Ludovica; Loreti, Michele; Nenzi, Laura; Hillston, Jane; Marion, Glenn | Capitolo di libro o voce di enciclopedia | |
Tools for Ensemble Design and Runtime | 1-gen-2015 | Abeywickrama Dhaminda, B.; Combaz, Jacques; Horký, Vojtěch; Keznikl, Jaroslav; Kofroň, Jan; Lafuente Alberto, Lluch; Loreti, Michele; Margheri, Andrea; Mayer, Philip; Monreale, Valentina; Montanari, Ugo; Pinciroli, Carlo; Tůma, Petr; Vandin, Andrea; Vassev, Emil | Capitolo di libro o voce di enciclopedia | |
Topological Classification of RNA Structures via Intersection Graph | 1-gen-2017 | Quadrini, Michela; Culmone, Rosario; Merelli, Emanuela | Contributo in atto di convegno su volume | |
Trust-Based Enforcement of Security Policies | 1-gen-2014 | Vigo, Roberto; Celestini, Alessandro; Tiezzi, Francesco; De Nicola, Rocco; Nielson, Flemming; Nielson, Hanne Riis | Capitolo di libro o voce di enciclopedia | |
Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers. | 1-gen-2016 | Ganty, Pierre; Loreti, Michele | Cura di atti, volumi e cataloghi | |
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter | 1-gen-2015 | De Nicola, Rocco; Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
Visualisation of Collective Systems with Sequit and Sibilla | 1-gen-2024 | Del Giudice, N.; Cruciani, F. M.; Loreti, M. | Capitolo di libro o voce di enciclopedia |
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