Sfoglia per Serie
DISPAS: An Agent-Based Tool for the Management of Fishing Effort
2014-01-01 Penna, Pierluigi; Paoletti, Nicola; Scarcella, Giuseppe; Tesei, Luca; Marini, Mauro; Merelli, Emanuela
Encoding Timed Models as Uniform Labeled Transition Systems
2013-01-01 Bernardo, Marco; Tesei, Luca
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations
2024-01-01 Castiglioni, V.; Lanotte, R.; Loreti, M.; Tini, S.
An experimental spatio-temporal model checker
2015-01-01 Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields
2015-01-01 Lafuente Alberto, Lluch; Loreti, Michele; Montanari, Ugo
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
2008-01-01 Massink, Mieke; Latella, Diego; Ter, Maurice H.; Harrison, Michael D.; Loreti, Michele
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT
2019-01-01 Fortino, Giancarlo; Re, Barbara; Viroli, Mirko; Zambonelli, Franco
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation
2017-01-01 Latella, Diego; Loreti, Michele; Massink, Mieke
Formal Approaches for Modeling and Analysis of Business Process Collaborations
2024-01-01 Corradini, Flavio; Fornari, Fabrizio; Re, Barbara; Rossi, Lorenzo; Polini, Andrea; Tiezzi, Francesco; Vandin, Andrea
Formalizing properties of mobile agent systems
2002-01-01 Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele
Group-by-group probabilistic bisimilarities and their logical characterizations
2014-01-01 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
HELM and the Semantic Math-Web
2001-01-01 Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I.
Hierarchical Representation and Graph Convolutional Networks for the Prediction of Protein–Protein Interaction Sites
2020-01-01 Quadrini, M.; Daberdaku, S.; Ferrari, C.
How Adaptive and Reliable is Your Program?
2021-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
How Grossone Can Be Helpful to Iteratively Compute Negative Curvature Directions
2019-01-01 De Leone, Renato; Fasano, Giovanni; Roma, Massimo; Sergeyev, Yaroslav D.
Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks
2023-01-01 Belenchia, M.; Corradini, F.; Quadrini, M.; Loreti, M.
Implementing Session Centered Calculi
2008-01-01 Bettini, Lorenzo; DE NICOLA, Rocco; Loreti, Michele
Interactive Editing of MathML Markup Using TeX Syntax
2004-01-01 Padovani, Luca
The Klaim Project: Theory and Practice
2003-01-01 Bettini, Lorenzo; Bono, Viviana; DE NICOLA, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Bettin
A Language-Based Approach to Autonomic Computing
2013-01-01 De Nicola, Rocco; Ferrari, Gianluigi; Loreti, Michele; Pugliese, Rosario
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
DISPAS: An Agent-Based Tool for the Management of Fishing Effort | 1-gen-2014 | Penna, Pierluigi; Paoletti, Nicola; Scarcella, Giuseppe; Tesei, Luca; Marini, Mauro; Merelli, Emanuela | Contributo in atto di convegno su volume | |
Encoding Timed Models as Uniform Labeled Transition Systems | 1-gen-2013 | Bernardo, Marco; Tesei, Luca | Contributo in atto di convegno su volume | |
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations | 1-gen-2024 | Castiglioni, V.; Lanotte, R.; Loreti, M.; Tini, S. | Capitolo di libro o voce di enciclopedia | |
An experimental spatio-temporal model checker | 1-gen-2015 | Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields | 1-gen-2015 | Lafuente Alberto, Lluch; Loreti, Michele; Montanari, Ugo | Capitolo di libro o voce di enciclopedia | |
A Fluid Flow Approach to Usability Analysis of Multi-user Systems | 1-gen-2008 | Massink, Mieke; Latella, Diego; Ter, Maurice H.; Harrison, Michael D.; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT | 1-gen-2019 | Fortino, Giancarlo; Re, Barbara; Viroli, Mirko; Zambonelli, Franco | Contributo in atto di convegno su volume | |
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation | 1-gen-2017 | Latella, Diego; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
Formal Approaches for Modeling and Analysis of Business Process Collaborations | 1-gen-2024 | Corradini, Flavio; Fornari, Fabrizio; Re, Barbara; Rossi, Lorenzo; Polini, Andrea; Tiezzi, Francesco; Vandin, Andrea | Contributo in atto di convegno su volume | |
Formalizing properties of mobile agent systems | 1-gen-2002 | Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
Group-by-group probabilistic bisimilarities and their logical characterizations | 1-gen-2014 | Bernardo, Marco; De Nicola, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
HELM and the Semantic Math-Web | 1-gen-2001 | Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I. | Contributo in atto di convegno su volume | |
Hierarchical Representation and Graph Convolutional Networks for the Prediction of Protein–Protein Interaction Sites | 1-gen-2020 | Quadrini, M.; Daberdaku, S.; Ferrari, C. | Capitolo di libro o voce di enciclopedia | |
How Adaptive and Reliable is Your Program? | 1-gen-2021 | Castiglioni, V.; Loreti, M.; Tini, S. | Capitolo di libro o voce di enciclopedia | |
How Grossone Can Be Helpful to Iteratively Compute Negative Curvature Directions | 1-gen-2019 | De Leone, Renato; Fasano, Giovanni; Roma, Massimo; Sergeyev, Yaroslav D. | Contributo in atto di convegno su volume | |
Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks | 1-gen-2023 | Belenchia, M.; Corradini, F.; Quadrini, M.; Loreti, M. | Capitolo di libro o voce di enciclopedia | |
Implementing Session Centered Calculi | 1-gen-2008 | Bettini, Lorenzo; DE NICOLA, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
Interactive Editing of MathML Markup Using TeX Syntax | 1-gen-2004 | Padovani, Luca | Contributo in atto di convegno su volume | |
The Klaim Project: Theory and Practice | 1-gen-2003 | Bettini, Lorenzo; Bono, Viviana; DE NICOLA, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Bettin | Capitolo di libro o voce di enciclopedia | |
A Language-Based Approach to Autonomic Computing | 1-gen-2013 | De Nicola, Rocco; Ferrari, Gianluigi; Loreti, Michele; Pugliese, Rosario | 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