Schürmann, Carsten
167  results:
Search for persons X
?
2

A Logical Interpretation of Asynchronous Multiparty Compati..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
 
?
8

POSTER: Enabling User-Accountable Mechanisms in Decision Sy..:

, In: Lecture Notes in Computer Science; Applied Cryptography and Network Security Workshops,
 
?
10

Security Protocols as Choreographies:

, In: Protocols, Strands, and Logic; Lecture Notes in Computer Science,
 
?
11

Cyber Awareness Training for Election Staff Using Construct..:

, In: Electronic Voting; Lecture Notes in Computer Science,
 
?
12

Trimming Data Sets: a Verified Algorithm for Robust Mean Es..:

, In: 23rd International Symposium on Principles and Practice of Declarative Programming,
 
?
14

A Declaration of Software Independence:

, In: Protocols, Strands, and Logic; Lecture Notes in Computer Science,
 
1-15