Giovanni Birolo

Orcid: 0000-0003-0160-9312

According to our database1, Giovanni Birolo authored at least 19 papers between 2013 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Artificial intelligence and statistical methods for stratification and prediction of progression in amyotrophic lateral sclerosis: A systematic review.
Artif. Intell. Medicine, August, 2023

Recombulator-X: A fast and user-friendly tool for estimating X chromosome recombination rates in forensic genetics.
PLoS Comput. Biol., 2023

How good Neural Networks interpretation methods really are? A quantitative benchmark.
CoRR, 2023

Multiple Sclerosis Survival Prediction Results from DSM-COMPBIO UNITO.
Proceedings of the Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2023), 2023



2022
DDGun: an untrained predictor of protein stability changes upon amino acid variants.
Nucleic Acids Res., 2022

BamToCov: an efficient toolkit for sequence coverage calculations.
Bioinform., 2022

Predicting protein stability changes upon single-point mutation: a thorough comparison of the available tools on a new dataset.
Briefings Bioinform., 2022

Multi-Event Survival Prediction for Amyotrophic Lateral Sclerosis.
Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum, Bologna, Italy, September 5th - to, 2022


Overview of iDPP@CLEF 2022: The Intelligent Disease Progression Prediction Challenge.
Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum, Bologna, Italy, September 5th - to, 2022

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...