Search for persons
X
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
1
Formalizing Statistical Causality via Modal Logic:
, In:
?
Computer Security – ESORICS 2021; Lecture Notes in Computer Science ,
2
Locality Sensitive Hashing with Extended Differential Priva..:
, In:
?
Synthesis and Biological Evaluation of Pyrrole–Imidazole Polyamide Probes for Visualization of Telomeres; Springer Theses ,
3
Tandem Trimer Pyrrole-Imidazole Polyamide Probes Targeting ..:
, In:
?
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science ,
4
Statistical Epistemic Logic:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
5
Towards Logical Specification of Statistical Machine Learni..:
, In:
?
Synthesis and Biological Evaluation of Pyrrole–Imidazole Polyamide Probes for Visualization of Telomeres; Springer Theses ,
6
Introduction: Sequence-Specific DNA Binding Pyrrole–Imidazo..:
, In:
?
Lecture Notes in Computer Science; Computer Security – ESORICS 2019 ,
7
Local Obfuscation Mechanisms for Hiding Probability Distrib..:
, In:
?
Synthesis and Biological Evaluation of Pyrrole–Imidazole Polyamide Probes for Visualization of Telomeres; Springer Theses ,
8
Targeting 24 bp Within Telomere Repeat Sequences with Tande..:
, In:
?
2019 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton) ,
9
Local Distribution Obfuscation via Probability Coupling*:
, In:
?
Synthesis and Biological Evaluation of Pyrrole–Imidazole Polyamide Probes for Visualization of Telomeres; Springer Theses ,
10
Development of a New Method for Synthesis of Tandem Hairpin..:
, In:
?
Lecture Notes in Computer Science; Principles of Security and Trust ,
11
Leakage and Protocol Composition in a Game-Theoretic Perspe..:
, In:
?
High Temperature Gas-Cooled Reactors ,
13
Design of High Temperature Engineering Test Reactor (HTTR):
, In:
?
2020 IEEE PES Innovative Smart Grid Technologies Europe (ISGT-Europe) ,
15