Software Verification and Formal Methods for ML-Enabled Autonomous SystemsOmri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi · First published 2023Open the Tome
First Measurement of the $K^+} Rightarrow Pi^+}nuoverline{nu}$ Decay with the NA62 Experiment at CERNRadoslav Ivanov Marchevski · First published 2019Open the Tome
Structural and Biochemical Characterization of the Cop9 Signalosome CSN5/CSN6 HeterodimerMelissa Birol, Radoslav Ivanov Enchev, André Padilla, Florian Stengel, Ruedi Aebersold, Stéphane Betzi, Yinshan Yang, François Hoh, Matthias Peter, Christian Dumas, Aude Echalier · First published 2016Open the Tome
