Sfoglia per Serie
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea
2015-01-01 NIETO CORIA, CESAR AUGUSTO; Tesei, Luca; Scarcella, Giuseppe; Russo, Tommaso; Merelli, Emanuela
Sessions and Pipelines for Structured Service Programming
2008-01-01 Boreale, Michele; Roberto, Bruni; DE NICOLA, Rocco; Loreti, Michele
Sibilla: A Tool for Reasoning about Collective Systems
2022-01-01 Del Giudice, N.; Matteucci, L.; Quadrini, M.; Rehman, A.; Loreti, M.
Simulation and analysis of distributed systems in Klaim
2010-01-01 Calzolai, Francesco; Loreti, Michele
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems
2011-01-01 Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
Spatial logic and spatial model checking for closure spaces
2016-01-01 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
Specification and Analysis of Open-Ended Systems with CARMA
2015-01-01 Hillston, Jane; Loreti, Michele
Specifying and Verifying Properties of Space
2014-01-01 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment
2023-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
Stress Detection from Wearable Sensor Data Using Gramian Angular Fields and CNN
2022-01-01 Quadrini, M.; Daberdaku, S.; Blanda, A.; Capuccio, A.; Bellanova, L.; Gerard, G.
A Systems Biology and Ecology Framework for POPs Bioaccumulation in Marine Ecosystems
2013-01-01 Taffi, Marianna; Paoletti, Nicola; Liò, P.; Tesei, Luca; Merelli, Emanuela; Marini, M.
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
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea | 1-gen-2015 | NIETO CORIA, CESAR AUGUSTO; Tesei, Luca; Scarcella, Giuseppe; Russo, Tommaso; Merelli, Emanuela | Contributo in atto di convegno su volume | |
Sessions and Pipelines for Structured Service Programming | 1-gen-2008 | Boreale, Michele; Roberto, Bruni; DE NICOLA, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
Sibilla: A Tool for Reasoning about Collective Systems | 1-gen-2022 | Del Giudice, N.; Matteucci, L.; Quadrini, M.; Rehman, A.; Loreti, M. | Capitolo di libro o voce di enciclopedia | |
Simulation and analysis of distributed systems in Klaim | 1-gen-2010 | Calzolai, Francesco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems | 1-gen-2011 | Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
Spatial logic and spatial model checking for closure spaces | 1-gen-2016 | Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
Specification and Analysis of Open-Ended Systems with CARMA | 1-gen-2015 | Hillston, Jane; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
Specifying and Verifying Properties of Space | 1-gen-2014 | Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment | 1-gen-2023 | Castiglioni, V.; Loreti, M.; Tini, S. | Capitolo di libro o voce di enciclopedia | |
Stress Detection from Wearable Sensor Data Using Gramian Angular Fields and CNN | 1-gen-2022 | Quadrini, M.; Daberdaku, S.; Blanda, A.; Capuccio, A.; Bellanova, L.; Gerard, G. | Capitolo di libro o voce di enciclopedia | |
A Systems Biology and Ecology Framework for POPs Bioaccumulation in Marine Ecosystems | 1-gen-2013 | Taffi, Marianna; Paoletti, Nicola; Liò, P.; Tesei, Luca; Merelli, Emanuela; Marini, M. | Poster atto convegno su volume | |
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 |
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