Halogen Promoted Desulfurative Cleavage of Cyclopropylmethyl Thioethers and Amination of the Formed Cyclopropylcarbinyl Cations
Marín‐Díaz, Pablo, Martínez‐Núñez, Clara, Sanz, Roberto, Suárez‐Pantiga, Samuel
Published in European journal of organic chemistry (27.05.2024)
Published in European journal of organic chemistry (27.05.2024)
Get full text
Journal Article
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks
Albert, Elvira, Grossman, Shelly, Rinetzky, Noam, Rodriguez-Nunez, Clara, Rubio, Albert, Sagiv, Mooly
Published in IEEE transactions on dependable and secure computing (01.05.2023)
Published in IEEE transactions on dependable and secure computing (01.05.2023)
Get full text
Journal Article
Taming callbacks for smart contract modularity
Albert, Elvira, Grossman, Shelly, Rinetzky, Noam, Rodríguez-Núñez, Clara, Rubio, Albert, Sagiv, Mooly
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Mutagenic evaluation of three glyphosate-based herbicides using somatic mutation and recombination test in Drosophila melanogaster
Marín Insfrán, Luis Francisco, Gayozo Melgarejo, Elvio, Rivarola Sena, Cynthia, Núñez, Clara
Published in Reportes científicos de la FACEN (30.06.2022)
Published in Reportes científicos de la FACEN (30.06.2022)
Get full text
Journal Article
Scalable Verification of Zero-Knowledge Protocols
Isabel, Miguel, Rodriguez-Nunez, Clara, Rubio, Albert
Published in 2024 IEEE Symposium on Security and Privacy (SP) (19.05.2024)
Published in 2024 IEEE Symposium on Security and Privacy (SP) (19.05.2024)
Get full text
Conference Proceeding
Propiedades fisicoquímicas y de procesamiento de la pulpa de coco (Acrocomia aculeata) para su aplicación como ingrediente en un producto alimenticio
Valdovinos Aguilera, Victoria Viviana, Mongelós Viedma, Sandra Elizabeth, Nuñez Vega, Clara, Yubero Cazzola, María Fátima
Published in Investigación agraria (Online) (01.07.2018)
Published in Investigación agraria (Online) (01.07.2018)
Get full text
Journal Article