We stand with Ukraine  

Fatemeh Heidari Soureshjani

According to our database1, Fatemeh Heidari Soureshjani authored at least 2 papers between 2023 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Account Abstraction for Enforcing Blockchain-Based AI Agent Non-Functional Requirements.
[BibTeX]
[DOI]
Jan Gorzny
,
Fatemeh Heidari Soureshjani
,
Martin Derka
Proceedings of the 33rd IEEE International Requirements Engineering Conference, 2025

2023
Automated Analysis of Halo2 Circuits.
[BibTeX]
[DOI]
Fatemeh Heidari Soureshjani
,
Mathias Hall-Andersen
,
MohammadMahdi Jahanara
,
Jeffrey Kam
,
Jan Gorzny
,
Mohsen Ahmadvand
Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023


  Loading...