| 2026 | KR | Almost Certain Query Answering over Incomplete Relational and Graph Data. | Heng Liu, Leonid Libkin, Eugenia Ternovska |
| 2021 | AAAI | Algebra of Modular Systems: Containment and Equivalence. | Andrei Bulatov, Eugenia Ternovska |
| 2020 | AAAI | ElGolog: A High-Level Programming Language with Memory of the Execution History. | Giuseppe De Giacomo, Yves Lesprance, Eugenia Ternovska |
| 2020 | ICDT | Executable First-Order Queries in the Logic of Information Flows. | Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche |
| 2020 | KR | Inputs, Outputs, and Composition in the Logic of Information Flows. | Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche |
| 2018 | CADE | A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems. | Alireza Ensan, Eugenia Ternovska, Heng Liu |
| 2017 | LPAR | Propagators and Solvers for the Algebra of Modular Systems. | Bart Bogaerts, Eugenia Ternovska, David G. Mitchell |
| 2016 | AAAI | SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators. | Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska |
| 2015 | IJCAI | Modular Systems with Preferences. | Alireza Ensan, Eugenia Ternovska |
| 2015 | LPNMR | Clause-Learning for Modular Systems. | David G. Mitchell, Eugenia Ternovska |
| 2014 | KR | Generalized Multi-Context Systems. | Shahab Tasharrofi, Eugenia Ternovska |
| 2012 | KR | Modular Representation of a Business Process Planner. | Shahab Tasharrofi, Eugenia Ternovska |
| 2012 | LPAR | Enfragmo: A System for Modelling and Solving Search Problems with Logic. | Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell |
| 2011 | AI | Grounding Formulas with Complex Terms. | Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David G. Mitchell |
| 2010 | LPAR | Speed-Up Techniques for Negation in Grounding. | Amir Aavani, Shahab Tasharrofi, Gulay nel, Eugenia Ternovska, David G. Mitchell |
| 2010 | LPAR | On the Complexity of Model Expansion. | Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska |
| 2010 | LPAR | PBINT, A Logic for Modelling Search Problems Involving Arithmetic. | Shahab Tasharrofi, Eugenia Ternovska |
| 2009 | IJCAI | Declarative Programming of Search Problems with Built-in Arithmetic. | Eugenia Ternovska, David G. Mitchell |
| 2007 | IJCAI | Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. | Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta |
| 2006 | LPAR | Constructing Camin-Sokal Phylogenies Via Answer Set Programming. | Jonathan Kavanagh, David G. Mitchell, Eugenia Ternovska, Jn Manuch, Xiaohong Zhao, Arvind Gupta |
| 2005 | AAAI | A Framework for Representing and Solving NP Search Problems. | David G. Mitchell, Eugenia Ternovska |
| 2005 | ICLP | Reducing Inductive Definitions to Propositional Satisfiability. | Nikolay Pelov, Eugenia Ternovska |
| 2005 | LPAR | Model Checking Abstract State Machines with Answer Set Programming. | Calvin Kai Fan Tang, Eugenia Ternovska |
| 2004 | KR | Inductive Situation Calculus. | Marc Denecker, Eugenia Ternovska |
| 2004 | LPNMR | A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. | Marc Denecker, Eugenia Ternovska |
| 2002 | AAAI | A Model Checker for Verifying ConGolog Programs. | Leila Kalantari, Eugenia Ternovska |