Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ofer Strichman
Map detail
Ofer Strichman4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipOfer StrichmanAOfer StrichmanResearcherAutomated Repair of Neural NetworksWAutomated Repair of Neu...preprint / 2022Regression verification of unbalanced recursive functions with multiple calls (long version)WRegression verification...preprint / 2022A combination of 'pooling' with a prediction model can reduce by 73% the number of COVID-19 (Corona-virus) testsWA combination of 'pooli...preprint / 2020
Person3 links

Ofer Strichman

Researcher