Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yuliya Lierler
conf.researchr.org general profile
FLOPS 2024 profile
POPL 2017 profile
POPL 2019 profile
POPL 2021 profile
POPL 2025 profile
Not registered as user
Name:
Yuliya Lierler
Affiliation:
University of Nebraska
Personal website:
http://faculty.ist.unomaha.edu/ylierler/
Contributions
2025
Symposium on Practical Aspects of Declarative Languages
Author of SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic within the PADL 2025-track
2024
FLOPS
Keynote Speaker of Verification of Refactoring in Answer Set Programming within the FLOPS 2024-track
2021
Symposium on Practical Aspects of Declarative Languages
Keynote Speaker of SMT-based Constraint Answer Set Solver EZSMT within the PADL 2021-track
2019
Symposium on Practical Aspects of Declarative Languages
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
2017
Symposium on Practical Aspects of Declarative Languages
Committee Member in Organizing Committee within the PADL-track
Session Chair of Opening remarks (part of PADL)
Share
x
Sat 24 May 15:23
