Sfoglia per Serie
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
On-the-fly fast mean-field model-checking
2014-01-01 Latella, Diego; Loreti, Michele; Massink, Mieke
An Operational Semantics of BPMN Collaboration
2016-01-01 Corradini, Flavio; Polini, Andrea; Tiezzi, Francesco; Re, Barbara
A Persistent Entropy Automaton for the Dow Jones Stock Market
2019-01-01 Piangerelli, M.; Tesei, L.; Merelli, E.
The PLASTIC Framework and Tools for Testing Service-Oriented Applications
2009-01-01 Bertolino, Antonia; De Angelis, Guglielmo; Frantzen, Lars; Polini, Andrea
Probabilistic Modelling and Analysis of a Fish Population
2015-01-01 Cini, Chiara; Tesei, Luca; Scarcella, Giuseppe; NIETO CORIA, CESAR AUGUSTO; Merelli, Emanuela
Programming Autonomic Systems with Multiple Constraint Stores
2015-01-01 Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco
Programming of CAS systems by relying on attribute-based communication
2016-01-01 Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
ProSPs: Protein Sites Prediction Based on Sequence Fragments
2022-01-01 Quadrini, M.; Cavallin, M.; Daberdaku, S.; Ferrari, C.
Provably Correct Implementations of Services
2009-01-01 Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele; Mezzina, Leonardo
A Purpose-Guided Log Generation Framework
2022-01-01 Burattin, A.; Re, B.; Rossi, L.; Tiezzi, F.
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
2015-01-01 Nenzi, Laura; Bortolussi, Luca; Ciancia, Vincenzo; Loreti, Michele; Massink, Mieke
Quantitative Analysis of Services
2011-01-01 Cappello, Igor; Clark, Allan; Gilmore, Stephen; Latella, Diego; Loreti, Michele; Quaglia, Paola; Schivo, Stefano
Rate-Based Transition Systems for Stochastic Process Calculi
2009-01-01 DE NICOLA, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
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 | |
On-the-fly fast mean-field model-checking | 1-gen-2014 | Latella, Diego; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
An Operational Semantics of BPMN Collaboration | 1-gen-2016 | Corradini, Flavio; Polini, Andrea; Tiezzi, Francesco; Re, Barbara | Contributo in atto di convegno su volume | |
A Persistent Entropy Automaton for the Dow Jones Stock Market | 1-gen-2019 | Piangerelli, M.; Tesei, L.; Merelli, E. | Contributo in atto di convegno su volume | |
The PLASTIC Framework and Tools for Testing Service-Oriented Applications | 1-gen-2009 | Bertolino, Antonia; De Angelis, Guglielmo; Frantzen, Lars; Polini, Andrea | Contributo in atto di convegno su volume | |
Probabilistic Modelling and Analysis of a Fish Population | 1-gen-2015 | Cini, Chiara; Tesei, Luca; Scarcella, Giuseppe; NIETO CORIA, CESAR AUGUSTO; Merelli, Emanuela | Contributo in atto di convegno su volume | |
Programming Autonomic Systems with Multiple Constraint Stores | 1-gen-2015 | Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
Programming of CAS systems by relying on attribute-based communication | 1-gen-2016 | Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
ProSPs: Protein Sites Prediction Based on Sequence Fragments | 1-gen-2022 | Quadrini, M.; Cavallin, M.; Daberdaku, S.; Ferrari, C. | Capitolo di libro o voce di enciclopedia | |
Provably Correct Implementations of Services | 1-gen-2009 | Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele; Mezzina, Leonardo | Capitolo di libro o voce di enciclopedia | |
A Purpose-Guided Log Generation Framework | 1-gen-2022 | Burattin, A.; Re, B.; Rossi, L.; Tiezzi, F. | Contributo in atto di convegno su volume | |
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties | 1-gen-2015 | Nenzi, Laura; Bortolussi, Luca; Ciancia, Vincenzo; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
Quantitative Analysis of Services | 1-gen-2011 | Cappello, Igor; Clark, Allan; Gilmore, Stephen; Latella, Diego; Loreti, Michele; Quaglia, Paola; Schivo, Stefano | Capitolo di libro o voce di enciclopedia | |
Rate-Based Transition Systems for Stochastic Process Calculi | 1-gen-2009 | DE NICOLA, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke | 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