Giovanni Birolo

According to our database1, Giovanni Birolo authored at least 7 papers between 2013 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
covtobed: a simple and fast tool to extract coverage tracks from BAM files.
J. Open Source Softw., 2020

2017
QueryOR: a comprehensive web platform for genetic variant analysis and prioritization.
BMC Bioinform., 2017

2013
A Witness Extraction Technique by Proof Normalization Based on Interactive Realizability
CoRR, 2013

Interactive Realizability, Monads and Witness Extraction
CoRR, 2013

A Monadic Framework for Interactive Realizability.
CoRR, 2013

Interpreting a Classical Geometric Proof with 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


  Loading...