Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 67
Titolo Data di pubblicazione Autore(i) File Abstract
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. -
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 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. -
SOS Rules for Equivalences of Reaction Systems 1-gen-2021 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno -
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. -
Dynamic Slicing for Concurrent Constraint Languages 1-gen-2020 Falaschi, M.; Gabbrielli, M.; Olarte, C.; Palamidessi, C. -
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 -
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 -
Foreword 1-gen-2015 Albert, Elvira; Falaschi, Moreno -
A Declarative View of Signaling Pathways 1-gen-2015 Chiarugi, Davide; Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia -
Abstract interpretation of temporal concurrent constraint programs 1-gen-2015 Falaschi, Moreno; Carlos, Olarte; Catuscia, Palamidessi -
Mostrati risultati da 1 a 20 di 67
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