Graph explorer

Martin Sulzmann

Martin Sulzmann contributes to research discovery and scholarly infrastructure.

9 nodes8 linksoverview mapMartin Sulzmann
9 nodes8 links
Martin Sulzmann9 visible / 9 total nodes / 8 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMartin SulzmannResearcherWEfficient, Near Complet...preprint / 2022WSemantic preservation f...preprint / 2022WForkable Regular Expres...preprint / 2015WDerivative-Based Diagno...preprint / 2016WConcurrent Goal-Based E...preprint / 2010WStatic Trace-Based Dead...preprint / 2016WVisual Testing of GUIs ...preprint / 2020WOn Termination, Conflue...preprint / 2014
PersonSignal 108 links

Martin Sulzmann

Researcher

Open