Sfoglia per Autore FALASCHI, MORENO
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems
2025-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks
2025-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.
Simulation and Analysis of Distributed Reaction Systems
2025-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Petre, I.
ccReact: a rewriting framework for the formal analysis of reaction systems
2024-01-01 Ballis, D.; Brodo, L.; Falaschi, M.; Olarte, C.
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems
2024-01-01 Ballis, D.; Brodo, L.; Falaschi, M.; Olarte, C.
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems
2024-01-01 Bendjeddou, A.; Brodo, L.; Falaschi, M.; Tiezzi, E. B. P.
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies
2024-01-01 Bowles, J.; Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.
Modeling and Analyzing Reaction Systems in Maude
2024-01-01 Ballis, Demis; Brodo, Linda; Falaschi, Moreno
Causal analysis of positive Reaction Systems
2024-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.; Montagna, V.; Pulieri, P.
A framework for monitored dynamic slicing of reaction systems
2024-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno
Quantitative extensions of reaction systems based on SOS semantics
2023-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Levi, F.; Milazzo, P.
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors
2023-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge
2023-01-01 Diligenti, M.; Giannini, F.; Fioravanti, S.; Graziani, C.; Falaschi, M.; Marra, G.
Verification of Reaction Systems Processes
2023-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
SOS Rules for Equivalences of Reaction Systems
2021-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno
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 process algebraic approach to reaction systems
2021-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
A logical and graphical framework for reaction systems
2021-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy
2020-01-01 Falaschi, Moreno; Palamidessi, Catuscia; Romanelli, Marco
A Logic Programming Approach to Reaction Systems
2020-01-01 Falaschi, Moreno; Palma, Giulia
| Titolo | Data di pubblicazione | Autore(i) | File | Abstract |
|---|---|---|---|---|
| Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems | 1-gen-2025 | Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P. | - | |
| Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks | 1-gen-2025 | Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P. | - | |
| Simulation and Analysis of Distributed Reaction Systems | 1-gen-2025 | Brodo, L.; Bruni, R.; Falaschi, M.; Petre, I. | - | |
| ccReact: a rewriting framework for the formal analysis of reaction systems | 1-gen-2024 | Ballis, D.; Brodo, L.; Falaschi, M.; Olarte, C. | - | |
| Process Calculi and Rewriting Techniques for Analyzing Reaction Systems | 1-gen-2024 | Ballis, D.; Brodo, L.; Falaschi, M.; Olarte, C. | - | |
| A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems | 1-gen-2024 | Bendjeddou, A.; Brodo, L.; Falaschi, M.; Tiezzi, E. B. P. | - | |
| Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies | 1-gen-2024 | Bowles, J.; Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P. | - | |
| Modeling and Analyzing Reaction Systems in Maude | 1-gen-2024 | Ballis, Demis; Brodo, Linda; Falaschi, Moreno | - | |
| Causal analysis of positive Reaction Systems | 1-gen-2024 | Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.; Montagna, V.; Pulieri, P. | - | |
| A framework for monitored dynamic slicing of reaction systems | 1-gen-2024 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno | - | |
| Quantitative extensions of reaction systems based on SOS semantics | 1-gen-2023 | Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Levi, F.; Milazzo, P. | - | |
| Dynamic Slicing of Reaction Systems Based on Assertions and Monitors | 1-gen-2023 | Brodo, L.; Bruni, R.; Falaschi, M. | - | |
| Enhancing Embedding Representations of Biomedical Data using Logic Knowledge | 1-gen-2023 | Diligenti, M.; Giannini, F.; Fioravanti, S.; Graziani, C.; Falaschi, M.; Marra, G. | - | |
| Verification of Reaction Systems Processes | 1-gen-2023 | Brodo, L.; Bruni, R.; Falaschi, M. | - | |
| SOS Rules for Equivalences of Reaction Systems | 1-gen-2021 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno | - | |
| 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 process algebraic approach to reaction systems | 1-gen-2021 | Brodo, L.; Bruni, R.; Falaschi, M. | - | |
| A logical and graphical framework for reaction systems | 1-gen-2021 | Brodo, L.; Bruni, R.; Falaschi, M. | - | |
| Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy | 1-gen-2020 | Falaschi, Moreno; Palamidessi, Catuscia; Romanelli, Marco | - | |
| A Logic Programming Approach to Reaction Systems | 1-gen-2020 | Falaschi, Moreno; Palma, Giulia | - |
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