Marco Rubino

Orcid: 0000-0003-1534-8221

According to our database1, Marco Rubino authored at least 2 papers in 2017.

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

2017
Inferring linear invariants with parallelotopes.
Sci. Comput. Program., 2017

Experimental Evaluation of Numerical Domains for Inferring Ranges.
Proceedings of the Seventh Workshop on Numericaland Symbolic Abstract Domains, 2017


  Loading...