Sfoglia per Serie
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
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems
2022-01-01 Loreti, M.; Rehman, A.
Measuring Adaptability and Reliability of Large Scale Systems
2020-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
A Methodology for the Analysis of Robotic Systems via Process Mining
2024-01-01 Corradini, F.; Pettinari, S.; Re, B.; Rossi, L.; Tiezzi, F.
A Modal Logic for KLAIM
2000-01-01 DE NICOLA, Rocco; Loreti, Michele
Modelling and analysis of collective adaptive systems with CARMA and its tools
2016-01-01 Loreti, Michele; Hillston, Jane
MoMo: A Modal Logic for Reasoning About Mobility
2005-01-01 DE NICOLA, Rocco; Loreti, Michele
A New Remez-Type Algorithm for Best Polynomial Approximation
2020-01-01 Egidi, N.; Fatone, L.; Misici, L.
On a Uniform Framework for the Definition of Stochastic Process Languages.
2009-01-01 De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink:, Mieke
On the Power of Attribute-Based Communication
2016-01-01 Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
On the Interplay Between BPMN Collaborations and the Physical Environment
2024-01-01 Corradini, Flavio; Piccioni, Jessica; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
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 | |
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems | 1-gen-2022 | Loreti, M.; Rehman, A. | Capitolo di libro o voce di enciclopedia | |
Measuring Adaptability and Reliability of Large Scale Systems | 1-gen-2020 | Castiglioni, V.; Loreti, M.; Tini, S. | Capitolo di libro o voce di enciclopedia | |
A Methodology for the Analysis of Robotic Systems via Process Mining | 1-gen-2024 | Corradini, F.; Pettinari, S.; Re, B.; Rossi, L.; Tiezzi, F. | Contributo in atto di convegno su volume | |
A Modal Logic for KLAIM | 1-gen-2000 | DE NICOLA, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
Modelling and analysis of collective adaptive systems with CARMA and its tools | 1-gen-2016 | Loreti, Michele; Hillston, Jane | Capitolo di libro o voce di enciclopedia | |
MoMo: A Modal Logic for Reasoning About Mobility | 1-gen-2005 | DE NICOLA, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
A New Remez-Type Algorithm for Best Polynomial Approximation | 1-gen-2020 | Egidi, N.; Fatone, L.; Misici, L. | Contributo in atto di convegno su volume | |
On a Uniform Framework for the Definition of Stochastic Process Languages. | 1-gen-2009 | De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink:, Mieke | Capitolo di libro o voce di enciclopedia | |
On the Power of Attribute-Based Communication | 1-gen-2016 | Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
On the Interplay Between BPMN Collaborations and the Physical Environment | 1-gen-2024 | Corradini, Flavio; Piccioni, Jessica; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco | Contributo in atto di convegno su volume |
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