Graph explorer

Adam Rogalewicz

Adam Rogalewicz contributes to research discovery and scholarly infrastructure.

7 nodes6 linksoverview mapAdam Rogalewicz
7 nodes6 links
Adam Rogalewicz7 visible / 7 total nodes / 6 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAAdam RogalewiczResearcherWThe Tree Width of Separ...preprint / 2013WDeciding Entailments in...preprint / 2014WAbstraction Refinement ...preprint / 2015WLow-Level Bi-Abductionpreprint / 2022WPerun: Performance Vers...preprint / 2022WFully Automated Shape A...preprint / 2013
PersonSignal 106 links

Adam Rogalewicz

Researcher

Open