Search for persons
X
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
2
A Logical Interpretation of Asynchronous Multiparty Compati..:
, In:
?
Lecture Notes in Computer Science; Applied Cryptography and Network Security Workshops ,
8
POSTER: Enabling User-Accountable Mechanisms in Decision Sy..:
, In:
?
Protocols, Strands, and Logic; Lecture Notes in Computer Science ,
10
Security Protocols as Choreographies:
, In:
?
Electronic Voting; Lecture Notes in Computer Science ,
11
Cyber Awareness Training for Election Staff Using Construct..:
, In:
?
23rd International Symposium on Principles and Practice of Declarative Programming ,
12
Trimming Data Sets: a Verified Algorithm for Robust Mean Es..:
, In:
?
Protocols, Strands, and Logic; Lecture Notes in Computer Science ,
14
A Declaration of Software Independence:
, In:
?
Electronic Voting; Lecture Notes in Computer Science ,
15