Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pavan Kumar Chittimalli
conf.researchr.org general profile
ASE 2019 profile
POPL 2018 profile
POPL 2022 profile
Registered user since Tue 21 Sep 2021
Name:
Pavan Kumar Chittimalli
Contributions
2022
Symposium on Practical Aspects of Declarative Languages
Committee Member in Programme Committee within the PADL 2022-track
2019
ASE
Author of BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules within the Demonstrations-track
2018
Symposium on Practical Aspects of Declarative Languages
Author of An Automated Detection of Inconsistencies in SBVR-based Business Rules using Many-sorted Logic within the PADL 2018-track
Share
x
Wed 27 Sep 03:31