Sabine Broda

Identifiers

• name variant Sabine Broda 0.60 · backfill

Papers (3)

1. The G-ACM Tool: using the Drools Rule Engine for Access Control Management cs.CR · 2016 · author #3
2. Partial Derivative Automaton for Regular Expressions with Shuffle cs.FL · 2015 · author #1
3. Deciding KAT and Hoare Logic with Derivatives cs.FL · 2012 · author #2

Mentions

• 1503.00279 #1 · backfill · confidence 0.70 Sabine Broda
• 1210.2456 #2 · backfill · confidence 0.70 Sabine Broda

Frequent Coauthors

• Nelma Moreira 2 shared papers
• Ant\'onio Machiavelo 1 shared papers
• Jo\~ao S\'a 1 shared papers
• Ricardo Almeida 1 shared papers
• Rog\'erio Reis 1 shared papers
• Sandra Alves 1 shared papers