| 2026 | CSL | Disjunctions of Two Dependence Atoms. | Nicolas Frhlich, Phokion G. Kolaitis, Arne Meier |
| 2026 | ICDT | Gamma Acyclicity, Annotated Relations, and Consistency Witness Functions. | Albert Atserias, Phokion G. Kolaitis |
| 2025 | ICDT | Query Repairs. | Balder ten Cate, Phokion G. Kolaitis, Carsten Lutz |
| 2025 | MFCS | Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts. | Balder ten Cate, Phokion G. Kolaitis, Arnar . Kristjnsson |
| 2024 | ICDT | When Do Homomorphism Counts Help in Query Algorithms? | Balder ten Cate, Victor Dalmau, Phokion G. Kolaitis, Wei-Lin Wu |
| 2024 | MFCS | On the Number of Quantifiers Needed to Define Boolean Functions. | Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta |
| 2023 | KR | A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases. | Ronald Fagin, Phokion G. Kolaitis, Domenico Lembo, Lucian Popa, Federico Scafoglieri |
| 2022 | ICDE | Consistent Answers of Aggregation Queries via SAT. | Akhil A. Dixit, Phokion G. Kolaitis |
| 2021 | AAAI | Ontology-Enriched Query Answering on Relational Databases. | Shqiponja Ahmetaj, Vasilis Efthymiou, Ronald Fagin, Phokion G. Kolaitis, Chuan Lei, Fatma zcan, Lucian Popa |
| 2021 | LICS | On the Expressive Power of Homomorphism Counts. | Albert Atserias, Phokion G. Kolaitis, Wei-Lin Wu |
| 2021 | PODS | Structure and Complexity of Bag Consistency. | Albert Atserias, Phokion G. Kolaitis |
| 2021 | PODS | Model-theoretic Characterizations of Rule-based Ontologies. | Marco Console, Phokion G. Kolaitis, Andreas Pieris |
| 2021 | SIGMOD | CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving. | Akhil A. Dixit, Phokion G. Kolaitis |
| 2020 | ADBIS | Temporal Enrichment and Querying of Ontology-Compliant Data. | Jing Ao, Zehui Cheng, Rada Chirkova, Phokion G. Kolaitis |
| 2020 | ICALP | Decision Problems in Information Theory. | Mahmoud Abo Khamis, Phokion G. Kolaitis, Hung Q. Ngo, Dan Suciu |
| 2020 | PODS | Bag Query Containment and Information Theory. | Mahmoud Abo Khamis, Phokion G. Kolaitis, Hung Q. Ngo, Dan Suciu |
| 2020 | TIME | Universal Solutions in Temporal Data Exchange. | Zehui Cheng, Phokion G. Kolaitis |
| 2019 | AAAI | Knowledge Refinement via Rule Selection. | Phokion G. Kolaitis, Lucian Popa, Kun Qian |
| 2019 | PODS | Query Evaluation in Election Databases. | Benny Kimelfeld, Phokion G. Kolaitis, Muhammad Tibi |
| 2019 | SAT | A SAT-Based System for Consistent Query Answering. | Akhil A. Dixit, Phokion G. Kolaitis |
| 2018 | IJCAI | Computational Social Choice Meets Databases. | Benny Kimelfeld, Phokion G. Kolaitis, Julia Stoyanovich |
| 2018 | PODS | Active Learning of GAV Schema Mappings. | Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang-Chiew Tan |
| 2018 | PODS | Reflections on Schema Mappings, Data Exchange, and Metadata Management. | Phokion G. Kolaitis |
| 2017 | CSL | Schema Mappings: Structural Properties and Limits (Invited Talk). | Phokion G. Kolaitis |
| 2017 | FCT | Generalized Satisfiability Problems via Operator Assignments. | Albert Atserias, Phokion G. Kolaitis, Simone Severini |
| 2017 | ICDT | Expressive Power of Entity-Linking Frameworks. | Douglas Burdick, Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan |
| 2017 | LICS | Foundations of information integration under bag semantics. | Andr Hernich, Phokion G. Kolaitis |
| 2016 | CSL | Dependence Logic vs. Constraint Satisfaction. | Lauri Hella, Phokion G. Kolaitis |
| 2016 | EDBT | Practical Query Answering in Data Exchange Under Inconsistency-Tolerant Semantics. | Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis |
| 2016 | ICDT | Limits of Schema Mappings. | Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov |
| 2015 | ICDT | A Declarative Framework for Linking Entities. | Douglas Burdick, Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan |
| 2015 | PODS | Dichotomies in the Complexity of Preferred Repairs. | Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis |
| 2014 | PODS | Nested dependencies: structure and reasoning. | Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov |
| 2013 | EDBT | Data exchange with arithmetic operations. | Balder ten Cate, Phokion G. Kolaitis, Walied Othman |
| 2013 | EDBT | Schema mappings and data examples. | Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan |
| 2013 | IJCAI | Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. | Samson Abramsky, Georg Gottlob, Phokion G. Kolaitis |
| 2013 | PODS | The complexity of mining maximal frequent subgraphs. | Benny Kimelfeld, Phokion G. Kolaitis |
| 2012 | ICDT | Learning schema mappings. | Balder ten Cate, Vctor Dalmau, Phokion G. Kolaitis |
| 2012 | ICDT | On the data complexity of consistent query answering. | Balder ten Cate, Galle Fontaine, Phokion G. Kolaitis |
| 2012 | PODS | Local transformations and conjunctive-query equivalence. | Ronald Fagin, Phokion G. Kolaitis |
| 2012 | PODS | The ACM PODS Alberto O. Mendelzon test-of-time award 2012. | Richard Hull, Phokion G. Kolaitis, Dirk Van Gucht |
| 2011 | EDBT | On the tractability and intractability of consistent conjunctive query answering. | Enela Pema, Phokion G. Kolaitis, Wang Chiew Tan |
| 2011 | SIGMOD | Designing and refining schema mappings via data examples. | Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan |
| 2010 | CP | Database Constraints and Homomorphism Dualities. | Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan |
| 2010 | ICDT | Probabilistic data exchange. | Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis |
| 2010 | PODS | Characterizing schema mappings via data examples. | Bogdan Alexe, Phokion G. Kolaitis, Wang Chiew Tan |
| 2010 | PODS | The ACM PODS Alberto O. Mendelzon test-of-time-award 2010. | Jianwen Su, Phokion G. Kolaitis |
| 2009 | ICDT | Repair checking in inconsistent databases: algorithms and complexity. | Foto N. Afrati, Phokion G. Kolaitis |
| 2009 | ICDT | Structural characterizations of schema-mapping languages. | Balder ten Cate, Phokion G. Kolaitis |
| 2009 | PODS | The ACM PODS Alberto O. Mendelzon test-of-time-award 2009. | Catriel Beeri, Phokion G. Kolaitis, Christos H. Papadimitriou |
| 2009 | PODS | Reverse data exchange: coping with nulls. | Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan |
| 2009 | STOC | Random graphs and the parity quantifier. | Phokion G. Kolaitis, Swastik Kopparty |
| 2008 | PODS | Answering aggregate queries in data exchange. | Foto N. Afrati, Phokion G. Kolaitis |
| 2008 | PODS | Towards a theory of schema-mapping optimization. | Ronald Fagin, Phokion G. Kolaitis, Alan Nash, Lucian Popa |
| 2008 | SIGMOD | Interactive generation of integrated schemas. | Laura Chiticariu, Phokion G. Kolaitis, Lucian Popa |
| 2007 | LICS | Reflections on Finite Model Theory. | Phokion G. Kolaitis |
| 2007 | PODS | Quasi-inverses of schema mappings. | Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan |
| 2007 | VLDB | Semi-Automatic Schema Integration in Clio. | Laura Chiticariu, Mauricio A. Hernndez, Phokion G. Kolaitis, Lucian Popa |
| 2006 | ICALP | The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies. | Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou |
| 2006 | PODS | The containment problem for REAL conjunctive queries with inequalities. | T. S. Jayram, Phokion G. Kolaitis, Erik Vee |
| 2006 | PODS | The complexity of data exchange. | Phokion G. Kolaitis, Jonathan Panttaja, Wang Chiew Tan |
| 2005 | PODS | Peer data exchange. | Ariel Fuxman, Phokion G. Kolaitis, Rene J. Miller, Wang Chiew Tan |
| 2005 | PODS | Schema mappings, data exchange, and metadata management. | Phokion G. Kolaitis |
| 2005 | VLDB | Efficient Implementation of Large-Scale Multi-Structural Databases. | Ronald Fagin, Phokion G. Kolaitis, Ravi Kumar, Jasmine Novak, D. Sivakumar, Andrew Tomkins |
| 2004 | CP | Constraint Propagation as a Proof System. | Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi |
| 2004 | PODS | On Preservation under Homomorphisms and Unions of Conjunctive Queries. | Albert Atserias, Anuj Dawar, Phokion G. Kolaitis |
| 2004 | PODS | Composing Schema Mappings: Second-Order Dependencies to the Rescue. | Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan |
| 2003 | CSL | On the Complexity of Existential Pebble Games. | Phokion G. Kolaitis, Jonathan Panttaja |
| 2003 | ICDT | Data Exchange: Semantics and Query Answering. | Ronald Fagin, Phokion G. Kolaitis, Rene J. Miller, Lucian Popa |
| 2003 | IJCAI | Phase Transitions of Bounded Satisfiability Problems. | Delbert D. Bailey, Phokion G. Kolaitis |
| 2003 | IJCAI | Constraint Satisfaction, Databases, and Logic. | Phokion G. Kolaitis |
| 2003 | PODS | Data exchange: getting to the core. | Ronald Fagin, Phokion G. Kolaitis, Lucian Popa |
| 2002 | AAAI | Comparing Phase Transitions and Peak Cost in PP-Complete Satisfiability Problems. | Delbert D. Bailey, Vctor Dalmau, Phokion G. Kolaitis |
| 2002 | CP | Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. | Vctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi |
| 2001 | CP | In Search of a Phase Transition in the AC-Matching Problem. | Phokion G. Kolaitis, Thomas Raffill |
| 2001 | IJCAI | Phase Transitions of PP-Complete Satisfiability Problems. | Delbert D. Bailey, Vctor Dalmau, Phokion G. Kolaitis |
| 2001 | LICS | A Dichotomy in the Complexity of Propositional Circumscription. | Lefteris M. Kirousis, Phokion G. Kolaitis |
| 2001 | LPNMR | On the Complexity of Model Checking and Inference in Minimal Models. | Lefteris M. Kirousis, Phokion G. Kolaitis |
| 2001 | STACS | The Complexity of Minimal Satisfiability Problems. | Lefteris M. Kirousis, Phokion G. Kolaitis |
| 2000 | AAAI | A Game-Theoretic Approach to Constraint Satisfaction. | Phokion G. Kolaitis, Moshe Y. Vardi |
| 2000 | FOCS | Existential Second-Order Logic over Graphs: Charting the Tractability Frontier. | Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick |
| 2000 | MFCS | Subtractive Reductions and Complete Problems for Counting Complexity Classes. | Arnaud Durand, Miki Hermann, Phokion G. Kolaitis |
| 2000 | MFCS | 0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. | Phokion G. Kolaitis, Moshe Y. Vardi |
| 1999 | LICS | First-Order Logic vs. Fixed-Point Logic in Finite Set Theory. | Albert Atserias, Phokion G. Kolaitis |
| 1999 | LPAR | On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System. | Miki Hermann, Laurent Juban, Phokion G. Kolaitis |
| 1998 | LICS | On the Boundedness Problem for Two-Variable First-Order Logic. | Phokion G. Kolaitis, Martin Otto |
| 1998 | PODS | On the Complexity of the Containment Problem for Conjunctive Queries with Built-in Predicates. | Phokion G. Kolaitis, David L. Martin, Madhukar N. Thakur |
| 1998 | PODS | Conjunctive-Query Containment and Constraint Satisfaction. | Phokion G. Kolaitis, Moshe Y. Vardi |
| 1998 | SIGCSE | Panel: logic in the computer science curriculum. | Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi |
| 1997 | CP | On the Complexity of Unification and Disunification in Commutative Idempotent Semigroups. | Miki Hermann, Phokion G. Kolaitis |
| 1996 | CADE | Unification Algorithms Cannot be Combined in Polynomial Time. | Miki Hermann, Phokion G. Kolaitis |
| 1996 | LICS | On the Expressive Power of Variable-Confined Logics. | Phokion G. Kolaitis, Moshe Y. Vardi |
| 1995 | ICALP | Implicit Definability and Infinitary Logic in Finite Model Theory. | Anuj Dawar, Lauri Hella, Phokion G. Kolaitis |
| 1995 | ICDT | Languages for Polynomial-Time Queries - An Ongoing Quest. | Phokion G. Kolaitis |
| 1995 | MFCS | Computational Complexity of Simultaneous Elementary Matching Problems (Extended Abstract). | Miki Hermann, Phokion G. Kolaitis |
| 1995 | PODS | Combinatorial Games In Database Theory. | Phokion G. Kolaitis |
| 1994 | CADE | The Complexity of Counting Problems in Equational Matching. | Miki Hermann, Phokion G. Kolaitis |
| 1994 | LICS | How to Define a Linear Order on Finite Models | Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto |
| 1994 | PODS | Can Datalog be Approximated? | Surajit Chaudhuri, Phokion G. Kolaitis |
| 1993 | LICS | A Tutorial on Finite Model Theory (Abstract) | Phokion G. Kolaitis |
| 1992 | ICALP | Infinitary Logic for Computer Science. | Phokion G. Kolaitis, Moshe Y. Vardi |
| 1992 | LICS | Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory | Phokion G. Kolaitis, Moshe Y. Vardi |
| 1992 | LICS | Generalized Quantifiers and Pebble Games on Finite Structures | Phokion G. Kolaitis, Jouko A. Vnnen |
| 1990 | LICS | Implicit Definability on Finite Structures and Unambiguous Computations (Preliminary Report) | Phokion G. Kolaitis |
| 1990 | LICS | 0-1 Laws for Infinitary Logics (Preliminary Report) | Phokion G. Kolaitis, Moshe Y. Vardi |
| 1990 | PODS | On the Expressive Power of Datalog: Tools and a Case Study. | Phokion G. Kolaitis, Moshe Y. Vardi |
| 1988 | AAAI | Some Computational Aspects of Circumscription. | Phokion G. Kolaitis, Christos H. Papadimitriou |
| 1988 | LICS | 0-1 Laws and Decision Problems for Fragments of Second-Order Logic | Phokion G. Kolaitis, Moshe Y. Vardi |
| 1988 | PODS | Why Not Negation by Fixpoint? | Phokion G. Kolaitis, Christos H. Papadimitriou |
| 1987 | STOC | The Decision Problem for the Probabilities of Higher-Order Properties | Phokion G. Kolaitis, Moshe Y. Vardi |