According to our database1, Giovanni Birolo authored at least 7 papers between 2013 and 2020.
Legend:Book In proceedings Article PhD thesis Other
J. Open Source Softw., 2020
QueryOR: a comprehensive web platform for genetic variant analysis and prioritization.
BMC Bioinform., 2017
A Witness Extraction Technique by Proof Normalization Based on Interactive Realizability
Proceedings of the Proceedings First Workshop on Control Operators and their Semantics, 2013
Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1.
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013