Login / Signup
Marco Rubino
ORCID
Publication Activity (10 Years)
Years Active: 2017-2018
Publications (10 Years): 2
Top Topics
Blocks World
Experimental Evaluation
Social Networks
Cross Domain
Top Venues
Sci. Comput. Program.
Electron. Notes Theor. Comput. Sci.
</>
Publications
</>
Gianluca Amato
,
Marco Rubino
Experimental Evaluation of Numerical Domains for Inferring Ranges.
Electron. Notes Theor. Comput. Sci.
334 (2018)
Gianluca Amato
,
Marco Rubino
,
Francesca Scozzari
Inferring linear invariants with parallelotopes.
Sci. Comput. Program.
148 (2017)