Luca Torella

According to our database¹, Luca Torella authored at least 4 papers between 2013 and 2015.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2015

Modelling non-Markovian dynamics in biochemical reactions.

[BibT_eX]

[DOI]

BMC Syst. Biol., 2015

2013

A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting.

[BibT_eX]

[DOI]

Marco Comini

Luca Torella

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

Automatic Inference of Term Equivalence in Term Rewriting Systems.

[BibT_eX]

[DOI]

Marco Comini

Luca Torella

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems.

[BibT_eX]

[DOI]

Marco Comini

Luca Torella

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Luca Torella

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...