Matin Amini

Orcid: 0009-0006-8776-3925

According to our database1, Matin Amini authored at least 3 papers in 2025.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Membership Testing for Semantic Regular Expressions.
Proc. ACM Program. Lang., 2025

"How Does my Circuit Work?": Local Explanations for the Behavior of Sequential Circuits.
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

Efficient Parallel Execution of Blockchain Transactions Leveraging Conflict Specifications.
Proceedings of the 7th Conference on Advances in Financial Technologies, 2025


  Loading...