Sfoglia per Autore
Verification of Reaction Systems Processes
2023-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Quantitative extensions of reaction systems based on SOS semantics
2023-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Levi, F.; Milazzo, P.
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge
2023-01-01 Diligenti, M.; Giannini, F.; Fioravanti, S.; Graziani, C.; Falaschi, M.; Marra, G.
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors
2023-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
A process algebraic approach to reaction systems
2021-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
2021-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Levi, F.; Milazzo, P.
A logical and graphical framework for reaction systems
2021-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
SOS Rules for Equivalences of Reaction Systems
2021-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno
Dynamic Slicing for Concurrent Constraint Languages
2020-01-01 Falaschi, M.; Gabbrielli, M.; Olarte, C.; Palamidessi, C.
A Logic Programming Approach to Reaction Systems
2020-01-01 Falaschi, Moreno; Palma, Giulia
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy
2020-01-01 Falaschi, Moreno; Palamidessi, Catuscia; Romanelli, Marco
Enhancing Reaction Systems: A Process Algebraic Approach
2019-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
An Assertion Language for Slicing Constraint Logic Languages
2019-01-01 Falaschi, M.; Olarte, C.
Process calculi for biological processes
2018-01-01 Bernini, Andrea; Brodo, Linda; Degano, Pierpaolo; Falaschi, Moreno; Hermith, Diana
Slicing concurrent constraint programs
2017-01-01 Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
Editorial
2017-01-01 Falaschi, Moreno; Sampaio, Augusto
A proof theoretic view of spatial and temporal dependencies in biochemical systems
2016-01-01 Olarte, Carlos; Chiarugi, Davide; Falaschi, Moreno; Hermith, Diana
Abstract interpretation of temporal concurrent constraint programs
2015-01-01 Falaschi, Moreno; Carlos, Olarte; Catuscia, Palamidessi
Foreword
2015-01-01 Albert, Elvira; Falaschi, Moreno
Verification of spatial and temporal modalities in biochemical systems.
2015-01-01 Chiarugi, D.; Falaschi, Moreno; HERMITH RAMIREZ, DIANA PATRICIA; Olarte, C.
Titolo | Data di pubblicazione | Autore(i) | File | Abstract |
---|---|---|---|---|
Verification of Reaction Systems Processes | 1-gen-2023 | Brodo, L.; Bruni, R.; Falaschi, M. | - | |
Quantitative extensions of reaction systems based on SOS semantics | 1-gen-2023 | Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Levi, F.; Milazzo, P. | - | |
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge | 1-gen-2023 | Diligenti, M.; Giannini, F.; Fioravanti, S.; Graziani, C.; Falaschi, M.; Marra, G. | - | |
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors | 1-gen-2023 | Brodo, L.; Bruni, R.; Falaschi, M. | - | |
A process algebraic approach to reaction systems | 1-gen-2021 | Brodo, L.; Bruni, R.; Falaschi, M. | - | |
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems | 1-gen-2021 | Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Levi, F.; Milazzo, P. | - | |
A logical and graphical framework for reaction systems | 1-gen-2021 | Brodo, L.; Bruni, R.; Falaschi, M. | - | |
SOS Rules for Equivalences of Reaction Systems | 1-gen-2021 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno | - | |
Dynamic Slicing for Concurrent Constraint Languages | 1-gen-2020 | Falaschi, M.; Gabbrielli, M.; Olarte, C.; Palamidessi, C. | - | |
A Logic Programming Approach to Reaction Systems | 1-gen-2020 | Falaschi, Moreno; Palma, Giulia | - | |
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy | 1-gen-2020 | Falaschi, Moreno; Palamidessi, Catuscia; Romanelli, Marco | - | |
Enhancing Reaction Systems: A Process Algebraic Approach | 1-gen-2019 | Brodo, L.; Bruni, R.; Falaschi, M. | - | |
An Assertion Language for Slicing Constraint Logic Languages | 1-gen-2019 | Falaschi, M.; Olarte, C. | - | |
Process calculi for biological processes | 1-gen-2018 | Bernini, Andrea; Brodo, Linda; Degano, Pierpaolo; Falaschi, Moreno; Hermith, Diana | - | |
Slicing concurrent constraint programs | 1-gen-2017 | Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia | - | |
Editorial | 1-gen-2017 | Falaschi, Moreno; Sampaio, Augusto | - | |
A proof theoretic view of spatial and temporal dependencies in biochemical systems | 1-gen-2016 | Olarte, Carlos; Chiarugi, Davide; Falaschi, Moreno; Hermith, Diana | - | |
Abstract interpretation of temporal concurrent constraint programs | 1-gen-2015 | Falaschi, Moreno; Carlos, Olarte; Catuscia, Palamidessi | - | |
Foreword | 1-gen-2015 | Albert, Elvira; Falaschi, Moreno | - | |
Verification of spatial and temporal modalities in biochemical systems. | 1-gen-2015 | Chiarugi, D.; Falaschi, Moreno; HERMITH RAMIREZ, DIANA PATRICIA; Olarte, C. | - |
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