Petar Maksimović
- A Hybrid Approach to Semi-automated Rust Verification
2024/03/22 by Sacha-Élie Ayoun, Xavier Denis, Ayoun, Sacha-Élie +5 · 2 voices · 4 citations
Computer Science · Engineering · Materials Science · #Electromagnetic Compatibility and Noise Suppression #FOS: Computer and information sciences #Metallurgy and Material Science #Programming Languages (cs.PL) #cs.PL
- DarkQuest: A dark sector upgrade to SpinQuest at the 120 GeV Fermilab Main Injector
2022/03/16 by A. Apyan, Brian Batell, Apyan, Aram +75 · 4 citations
Physics and Astronomy · Computer Science · #Dark Matter and Cosmic Phenomena #Computational Physics and Python Applications #Atomic and Subatomic Physics Research