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