Search for persons
X
?
25th ACM International Conference on Hybrid Systems: Computation and Control ,
3
Poster Abstract: Data-Driven Estimation of Collision Risks ..:
, In:
?
Arthroscopy and Endoscopy of the Hand, Wrist and Elbow ,
5
Radio-Carpal and Midcarpal Arthroscopy:
, In:
?
Arthroscopy and Endoscopy of the Elbow, Wrist and Hand ,
6
Arthroscopic Arthrolysis of the Wrist:
, In:
?
Wrist and Elbow Arthroscopy with Selected Open Procedures ,
7
Arthroscopic Wrist Anatomy and Setup:
, In:
?
Arthroscopy and Endoscopy of the Hand, Wrist and Elbow ,
9
Ulnocarpal Arthroscopy and Distal Radioulnar Arthroscopy:
, In:
?
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
10
Developing secure bitcoin contracts with BitML:
, In:
?
Financial Cryptography and Data Security; Lecture Notes in Computer Science ,
11
A Formal Model of Bitcoin Transactions:
, In:
?
Lecture Notes in Computer Science; Principles of Security and Trust ,
12