Graph explorer

Nadia Polikarpova

Nadia Polikarpova contributes to research discovery and scholarly infrastructure.

13 nodes33 linksoverview previewNadia Polikarpova
13 nodes33 links
Nadia Polikarpova13 visible / 13 total nodes / 33 links
Related contextRelated contextCo-authorshipCo-authorshipCo-authorshipRelated contextAuthorshipWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAuthorshipAuthorshipAuthorshipAuthorshipANadia PolikarpovaResearcherWLanguage-Based Agent Co...preprint / 2026ATimothy ZhouResearcherALoris D'AntoniResearcherWLiquid Information Flow...preprint / 2020TProgramming Languages1239 worksTArtificial Intelligence22915 worksTCryptography and Security7258 worksWConcise Read-Only Speci...preprint / 2020WSearching Entangled Pro...preprint / 2022WLiquid Resource Typespreprint / 2020WType-Directed Program S...preprint / 2022WProgram Synthesis by Ty...preprint / 2019
PersonSignal 1012 links

Nadia Polikarpova

Researcher

Open