C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Alireza S. Abyaneh
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 2
Top Topics
Computer Programs
Pattern Matching
Relational Databases
Open Source
Top Venues
ASE
Principles of Modeling
</>
Publications
</>
Alireza S. Abyaneh
,
Christoph M. Kirsch
ASE: A Value Set Decision Procedure for Symbolic Execution.
ASE
(2021)
Alireza S. Abyaneh
,
Christoph M. Kirsch
You Can Program What You Want but You Cannot Compute What You Want.
Principles of Modeling
(2018)