Luca Torella

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 1

Top Topics

Term Rewriting Systems

Bayesian Inference

Conjunctive Queries

Decision Process

Top Venues

BMC Syst. Biol.

Publications

Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, Luca Torella
Modelling non-Markovian dynamics in biochemical reactions. BMC Syst. Biol. 9 (S-3) (2015)
Marco Comini, Luca Torella
TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems. PEPM (2013)
Marco Comini, Luca Torella
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting. SCSS (2013)
Marco Comini, Luca Torella
Automatic Inference of Term Equivalence in Term Rewriting Systems. SCSS (2013)