Kritika Anand

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 9

Top Topics

Automated Detection

Top Venues

Publications

D. A. Sasi Kiran, Kritika Anand, Chaitanya Kharyal, Gulshan Kumar, Nandiraju Gireesh, Snehasis Banerjee, Ruddra Dev Roychoudhury, Mohan Sridharan, Brojeshwar Bhowmick, K. Madhava Krishna
Spatial Relation Graph and Graph Convolutional Network for Object Goal Navigation. CoRR (2022)
D. A. Sasi Kiran, Kritika Anand, Chaitanya Kharyal, Gulshan Kumar, Nandiraju Gireesh, Snehasis Banerjee, Ruddra Dev Roychoudhury, Mohan Sridharan, Brojeshwar Bhowmick, K. Madhava Krishna
Spatial Relation Graph and Graph Convolutional Network for Object Goal Navigation. CASE (2022)
Kritika Anand, Sayandeep Mitra, Pavan Kumar Chittimalli
Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval Method. ENASE (2019)
Pavan Kumar Chittimalli, Kritika Anand, Shrishti Pradhan, Sayandeep Mitra, Chandan Prakash, Rohit Shere, Ravindra Naik
BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules. ASE (2019)
Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik
An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic. PADL (2018)
Sayandeep Mitra, Kritika Anand, Pavan Kumar Chittimalli
Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2. ICEIS (2) (2018)
Pavan Kumar Chittimalli, Kritika Anand
Domain-independent method of detecting inconsistencies in SBVR-based business rules. ForMABS@ASE (2016)
Kritika Anand, Nisha Gupta, Ashish Sureka
Utility-Based Control Flow Discovery from Business Process Event Logs. BDA (2015)
Nisha Gupta, Kritika Anand, Ashish Sureka
Pariket: Mining Business Process Logs for Root Cause Analysis of Anomalous Incidents. DNIS (2015)