Documents dont l'auteur est "Soureshjani, Fatemeh Heidari"

Pour citer ou exporter
Nombre de documents: 2

Auteur ou autrice

Soureshjani, F. H., & Gorzny, J. (novembre 2024). Abstract Interpretation for PLONKish Circuits [Communication écrite]. 34th International Conference on Collaborative Advances in Software and COmputiNg (CASCON 2024), Toronto, ON, Canada. Lien externe

Soureshjani, F. H., Hall-Andersen, M., Jahanara, M.M., Kam, J., Gorzny, J., & Ahmadvand, M. (juillet 2023). Automated Analysis of Halo2 Circuits [Communication écrite]. 21st International Workshop on Satisfiability Modulo Theories (SMT 2023), Rome, Italy. Lien externe

Liste produite: Sat Oct 17 20:40:26 2026 EDT.