Alberto Gatto

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2019
Electrification of agricultural machinery: a feasibility evaluation.
Proceedings of the Fourteenth International Conference on Ecological Vehicles and Renewable Energies, 2019

2015
Decidability via Mosaics for Bundled Ockhamist Logic.
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

2013
Bisimulation and p-morphism for branching-time logics with indistinguishability relations
CoRR, 2013

Unbiased comparison of alignment tools for splice junction detection from RNA-Seq data.
Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2013


  Loading...