Generalizing Redundancy Elimination in Checking Sequences. - K. Tuncay Tekle; Hasan Ural; M. Cihan Yalcin; Hüsnü Yenigün (ISCIS, 2005)

Efficient trust management policy analysis from rules. - Katia Hristova; K. Tuncay Tekle; Yanhong A. Liu (PPDP, 2007)

Generating Specialized Rules and Programs for Demand-Driven Analysis. - K. Tuncay Tekle; Katia Hristova; Yanhong A. Liu (AMAST, 2008)

Analysis and Transformations for Efficient Query-Based Debugging. - Michael Gorbovitski; K. Tuncay Tekle; Tom Rothamel; Scott D. Stoller; Yanhong A. Liu (SCAM, 2008)

Alias analysis for optimization of dynamic languages. - Michael Gorbovitski; Yanhong A. Liu; Scott D. Stoller; Tom Rothamel; K. Tuncay Tekle (DLS, 2010)

Graph queries through datalog optimizations. - K. Tuncay Tekle; Michael Gorbovitski; Yanhong A. Liu (PPDP, 2010)

Precise complexity analysis for efficient datalog queries. - K. Tuncay Tekle; Yanhong A. Liu (PPDP, 2010)

More efficient datalog queries: subsumptive tabling beats magic sets. - K. Tuncay Tekle; Yanhong A. Liu (SIGMOD Conference, 2011)

Precise complexity guarantees for pointer analysis via Datalog with extensions. - K. Tuncay Tekle; Yanhong A. Liu (Theory Pract. Log. Program., 2016)

Datalog: concepts, history, and outlook. - David Maier 001; K. Tuncay Tekle; Michael Kifer; David Scott Warren (Declarative Logic Programming, 2018)

Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees. - K. Tuncay Tekle; Yanhong A. Liu (ICLP Technical Communications, 2019)

Programming with rules and everything else, seamlessly. - Yanhong A. Liu; Scott D. Stoller; Yi Tong; Bo Lin; K. Tuncay Tekle (CoRR, 2022)

Benchmarking for Integrating Logic Rules with Everything Else. - Yanhong A. Liu; Scott D. Stoller; Yi Tong; K. Tuncay Tekle (ICLP, 2023)