Graph explorer

Research map

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

Sabine Broda
Map detail
Sabine Broda4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipAuthorshipSabine BrodaASabine BrodaResearcherPartial Derivative Automaton for Regular Expressions with ShuffleWPartial Derivative Auto...preprint / 2015Deciding KAT and Hoare Logic with DerivativesWDeciding KAT and Hoare ...preprint / 2012The G-ACM Tool: using the Drools Rule Engine for Access Control ManagementWThe G-ACM Tool: using t...preprint / 2016
Person3 links

Sabine Broda

Researcher