Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yuliya Lierler
conf.researchr.org general profile
POPL 2017 profile
POPL 2019 profile
POPL 2021 profile
Not registered as user yet
Name:
Yuliya Lierler
Affiliation:
University of Nebraska
Personal website:
http://faculty.ist.unomaha.edu/ylierler/
Contributions
PADL 2021
Keynote Speaker of SMT-based Constraint Answer Set Solver EZSMT within the PADL 2021-track
PADL 2019
Author of Strong Equivalence and Program's Structure in Arguing Essential Equivalence within the PADL 2019-track
Author of Automatic Program Rewriting in Non-Ground Answer Set Programs within the PADL 2019-track
PADL 2017
Committee Member in Organizing Committee within the PADL-track
Session Chair of Opening remarks (part of PADL)
Share
x
Sat 21 May 05:09