Graph explorer

Maximiliano Cristiá

Maximiliano Cristiá contributes to research discovery and scholarly infrastructure.

8 nodes7 linksoverview previewMaximiliano Cristiá
8 nodes7 links
Maximiliano Cristiá8 visible / 8 total nodes / 7 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMaximiliano CristiáResearcherWAn Automatically Verifi...preprint / 2021WA Set-Theoretic Decisio...preprint / 2022WProof Automation in the...preprint / 2021WAn Automatically Verifi...preprint / 2020WDeclarative Programming...preprint / 2020WApplying SMT Solvers to...preprint / 2012WA Family of Simulation ...preprint / 2014
PersonSignal 107 links

Maximiliano Cristiá

Researcher

Open