Personensuche
X
?
Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science ,
1
On the Decidability of Disassembling Binaries:
, In:
?
2024 IEEE Aerospace Conference ,
3
Optimal Mars Entry Trajectories for Bank-Angle and Alpha-Be..:
, In:
?
Tests and Proofs; Lecture Notes in Computer Science ,
4
BIRD: A Binary Intermediate Representation for Formally Ver..:
, In:
?
Proceedings of the 4th ACM Conference on Advances in Financial Technologies ,
6
Transferable Cross-Chain Options:
, In:
?
2022 IEEE Aerospace Conference (AERO) ,
9
Mission Performance Assessment of Multimode Propulsion for ..:
, In:
?
Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems ,
11
Failure is (literally) an Option: Atomic Commitment vs Opti..:
, In:
?
Proceedings of the 3rd ACM Conference on Advances in Financial Technologies ,
12