Aidin Rasti

University of Ottawa — Canada

Computer Science · Physical Sciences

5h-index59citations7works6.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Blockchain Technology Applications and Security(3), Formal Methods in Verification(2), Multi-Agent Systems and Negotiation(2), Business Process Modeling and Analysis(2), Artificial Intelligence in Law(2)

Publications7 total

The compliance gap in data supply chains: contract specification languages and smart contracts as compliance technologies
Artificial Intelligence and Law·2025
SymboleoPC: checking properties of legal contracts
Software & Systems Modeling·2024· 6 cited
Automated generation of smart contract code from legal contract specifications with Symboleo2SC
Software & Systems Modeling·2024· 12 cited
Automated Generation of Smart Contract Code from Legal Contract Specifications with Symboleo2SC
Zenodo (CERN European Organization for Nuclear Research)·2023Open Access
Specification and analysis of legal contracts with Symboleo
Software & Systems Modeling·2022· 18 cited
Symboleo2SC
2022· 16 cited
Model-checking legal contracts with SymboleoPC
2022· 7 cited

Frequent Co-authors

Alireza Parvizimosaed(7), Daniel Amyot(7), Luigi Logrippo(7), Marco Roveri(7), John Mylopoulos(7), Amal Ahmed Anda(5), Sofana Alfuhaid(3), Sepehr Sharifi(1), Ali Roudak(1), Pablo Marcello Baquero(1), David Restrepo Amariles(1), Mustafa Bayirli(1), Alexandre Días Lópes(1)