Graph explorer

Martin Rinard

Martin Rinard contributes to research discovery and scholarly infrastructure.

10 nodes9 linksoverview mapMartin Rinard
10 nodes9 links
Martin Rinard10 visible / 10 total nodes / 9 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMartin RinardResearcherWDataflow Analysis With ...preprint / 2020WCorrectness Verificatio...preprint / 2022WMixed Capability Gamespreprint / 2022WAn Analysis of the Sear...preprint / 2016WUnanimous Prediction fo...preprint / 2016WOn the Impact of Player...preprint / 2022WCryptographic Path Hard...preprint / 2012WOn Algorithms and Compl...preprint / 2005W(Un)Decidability Result...preprint / 2013
PersonSignal 109 links

Martin Rinard

Researcher

Open