BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

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

Martin Sulzmann
SearchCollections
Map detail
Martin Sulzmann9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMartin SulzmannAMartin SulzmannResearcherEfficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version)WEfficient, Near Complet...preprint / 2022Semantic preservation for a type directed translation scheme of Featherweight GoWSemantic preservation f...preprint / 2022Forkable Regular ExpressionsWForkable Regular Expres...preprint / 2015Derivative-Based Diagnosis of Regular Expression AmbiguityWDerivative-Based Diagno...preprint / 2016Concurrent Goal-Based Execution of Constraint Handling RulesWConcurrent Goal-Based E...preprint / 2010Static Trace-Based Deadlock Analysis for Synchronous Mini-GoWStatic Trace-Based Dead...preprint / 2016Visual Testing of GUIs by AbstractionWVisual Testing of GUIs ...preprint / 2020On Termination, Confluence and Consistent CHR-based Type InferenceWOn Termination, Conflue...preprint / 2014
Person8 links

Martin Sulzmann

Researcher

PaperEfficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version)Authorship / preprint / 2022PaperSemantic preservation for a type directed translation scheme of Featherweight GoAuthorship / preprint / 2022PaperForkable Regular ExpressionsAuthorship / preprint / 2015PaperDerivative-Based Diagnosis of Regular Expression AmbiguityAuthorship / preprint / 2016PaperConcurrent Goal-Based Execution of Constraint Handling RulesAuthorship / preprint / 2010PaperStatic Trace-Based Deadlock Analysis for Synchronous Mini-GoAuthorship / preprint / 2016PaperVisual Testing of GUIs by AbstractionAuthorship / preprint / 2020PaperOn Termination, Confluence and Consistent CHR-based Type InferenceAuthorship / preprint / 2014

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)