8 citations · 11 across the 5 of their papers we have counts for
6 papers
Computational Logic for Biomedicine and Neurosciences
Elisabetta de Maria, Joelle Despeyroux, Amy Felty +3
We advocate here the use of computational logic for systems biology, as a \emph{unified and safe} framework well suited for both modeling the dynamic behaviour of biological system…
(Mathematical) Logic for Systems Biology (Invited Paper)
Joëlle Despeyroux
We advocates here the use of (mathematical) logic for systems biology, as a unified framework well suited for both modeling the dynamic behaviour of biological systems, expressing…
Hybrid and Subexponential Linear Logics Technical Report
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temp…
A Hybrid Linear Logic for Constrained Transition Systems
Joelle Despeyroux, Kaustuv Chaudhuri
Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable…
A Logical Framework for Systems Biology
Elisabetta De Maria, Joelle Despeyroux, Amy Felty
We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic. We show how such a logic can be used, with worlds as instant…
A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology
Kaustuv Chaudhuri, Joelle Despeyroux
Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable…