Sfoglia per Autore  

opzioni
Mostrati risultati da 1 a 20 di 62
Titolo Data di pubblicazione Autore(i) File Abstract
SOS Rules for Equivalences of Reaction Systems 1-gen-2021 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno -
A logical and graphical framework for reaction systems 1-gen-2021 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 Logic Programming Approach to Reaction Systems 1-gen-2020 Falaschi, Moreno; Palma, Giulia -
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 -
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 -
A Declarative View of Signaling Pathways 1-gen-2015 Chiarugi, Davide; Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia -
Verification of spatial and temporal modalities in biochemical systems. 1-gen-2015 Chiarugi, D.; Falaschi, Moreno; HERMITH RAMIREZ, DIANA PATRICIA; Olarte, C. -
Functional and (Constraint) Logic Programming 1-gen-2014 Escobar, S.; Falaschi, Moreno -
A framework for modelling spatially dependent interactions of biological systems in CCP. 1-gen-2014 Chiarugi, D.; Falaschi, Moreno; HERMITH RAMIREZ, DIANA PATRICIA; Olarte, C. -
Simulating signalling pathways via BioWays 1-gen-2013 Chiarugi, D.; Falaschi, Moreno; Guzman, M.; HERMITH RAMIREZ, DIANA PATRICIA; Olarte, C. -
Mostrati risultati da 1 a 20 di 62
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