Dieter Hutter

Identifiers

• name variant Dieter Hutter 0.60 · backfill

Papers (3)

1. Structure Formation in Large Theories cs.LO · 2015 · author #2
2. Possibilistic Information Flow Control for Workflow Management Systems cs.CR · 2014 · author #2
3. Strand-Based Approach to Patch Security Protocols cs.CR · 2013 · author #1

Mentions

• 1505.01620 #2 · backfill · confidence 0.70 Dieter Hutter
• 1404.1987 #2 · backfill · confidence 0.70 Dieter Hutter
• 1308.1888 #1 · backfill · confidence 0.70 Dieter Hutter

Frequent Coauthors

• Raul Monroy 1 shared papers
• Serge Autexier 1 shared papers
• Thomas Bauereiss 1 shared papers