Phokion G. Kolaitis

264 papers A* 64A 26B 15C 3Journal 120Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Disjunctions of Two Dependence Atoms. CSL Nicolas Fröhlich, Phokion G. Kolaitis, Arne Meier
2026	A	`conf`	Gamma Acyclicity, Annotated Relations, and Consistency Witness Functions. ICDT Albert Atserias, Phokion G. Kolaitis
2026	J	`jnl`	Semijoins of Annotated Relations. CoRR Phokion G. Kolaitis
2025	J	`jnl`	A Unifying Algorithm for Hierarchical Queries. CoRR Mahmoud Abo Khamis, Jesse Comer, Phokion G. Kolaitis, Sudeepa Roy, Val Tannen
2025	J	`jnl`	A Unifying Algorithm for Hierarchical Queries. Proc. ACM Manag. Data Mahmoud Abo Khamis, Jesse Comer, Phokion G. Kolaitis, Sudeepa Roy, Val Tannen
2025	B	`conf`	Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts. MFCS Balder ten Cate, Phokion G. Kolaitis, Arnar Á. Kristjánsson
2025	J	`jnl`	Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts. CoRR Balder ten Cate, Phokion G. Kolaitis, Arnar Á. Kristjánsson
2025	J	`jnl`	Codd's Theorem for Databases over Semirings. CoRR Guillermo Badia, Phokion G. Kolaitis, Carles Noguera
2025	J	`jnl`	Codd's Theorem for Databases over Semirings. Proc. ACM Manag. Data Guillermo Badia, Phokion G. Kolaitis, Carles Noguera
2025	J	`jnl`	Consistency Witnesses for Annotated Relations. SIGMOD Rec. Albert Atserias, Phokion G. Kolaitis
2025	J	`jnl`	Consistency of Relations over Monoids. J. ACM Albert Atserias, Phokion G. Kolaitis
2025	J	`jnl`	Disjunctions of Two Dependence Atoms. CoRR Nicolas Fröhlich, Phokion G. Kolaitis, Arne Meier
2025	J	`jnl`	Gamma Acyclicity, Annotated Relations, and Consistency Witness Functions. CoRR Albert Atserias, Phokion G. Kolaitis
2025	—	`conf`	Local Consistency vs. Global Consistency on Annotated Data - Abstract. SEBD Phokion G. Kolaitis
2025	A	`conf`	Query Repairs. ICDT Balder ten Cate, Phokion G. Kolaitis, Carsten Lutz
2025	J	`jnl`	Query Repairs. CoRR Balder ten Cate, Phokion G. Kolaitis, Carsten Lutz
2025	J	`jnl`	Rewriting Consistent Answers On Annotated Data. Proc. ACM Manag. Data Phokion G. Kolaitis, Nina Pardal, Jonni Virtema, Jef Wijsen
2025	J	`jnl`	Semirings in Databases, Automata, and Logic (Dagstuhl Seminar 25081). Dagstuhl Reports Guillermo Badia, Manfred Droste, Phokion G. Kolaitis, Carles Noguera, Sophie Brinke, Lovro Mrkonjic, Gaia Petreni
2025	J	`jnl`	Who Wins the Multi-Structural Game? CoRR Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta
2024	J	`jnl`	A Unifying Framework for Incompleteness, Inconsistency, and Uncertainty in Databases. Commun. ACM Benny Kimelfeld, Phokion G. Kolaitis
2024	J	`jnl`	Characterizing Data Dependencies Then and Now. CoRR Phokion G. Kolaitis, Andreas Pieris
2024	—	`conf`	Combining Entity Resolution and Query Answering in Ontologies: A Formal Conceptual Framework. SEBD Ronald Fagin, Phokion G. Kolaitis, Domenico Lembo, Lucian Popa, Federico Scafoglieri
2024	J	`jnl`	Consistency of Relations over Monoids. Proc. ACM Manag. Data Albert Atserias, Phokion G. Kolaitis
2024	J	`jnl`	Multi-Structural Games and Beyond. Log. Methods Comput. Sci. Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta
2024	B	`conf`	On the Number of Quantifiers Needed to Define Boolean Functions. MFCS Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta
2024	J	`jnl`	On the Number of Quantifiers Needed to Define Boolean Functions. CoRR Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta
2024	J	`jnl`	Parallel Play Saves Quantifiers. CoRR Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta, R. Ryan Williams
2024	J	`jnl`	Rewriting Consistent Answers on Annotated Data. CoRR Phokion G. Kolaitis, Nina Pardal, Jonni Virtema
2024	A	`conf`	When Do Homomorphism Counts Help in Query Algorithms? ICDT Balder ten Cate, Victor Dalmau, Phokion G. Kolaitis, Wei-Lin Wu
2023	J	`jnl`	A Finer Analysis of Multi-Structural Games and Beyond. CoRR Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta
2023	A*	`conf`	A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases. KR Ronald Fagin, Phokion G. Kolaitis, Domenico Lembo, Lucian Popa, Federico Scafoglieri
2023	J	`jnl`	A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases. CoRR Ronald Fagin, Phokion G. Kolaitis, Domenico Lembo, Lucian Popa, Federico Scafoglieri
2023	J	`jnl`	Consistency of Relations over Monoids. CoRR Albert Atserias, Phokion G. Kolaitis
2023	J	`jnl`	Theory and Practice of Relational-to-RDF Temporal Data Exchange and Query Answering. ACM J. Data Inf. Qual. Jing Ao, Zehui Cheng, Rada Chirkova, Phokion G. Kolaitis
2023	J	`jnl`	When do homomorphism counts help in query algorithms? CoRR Balder ten Cate, Víctor Dalmau, Phokion G. Kolaitis, Wei-Lin Wu
2022	J	`jnl`	Algorithmic Aspects of Information Theory (Dagstuhl Seminar 22301). Dagstuhl Reports Phokion G. Kolaitis, Andrei E. Romashchenko, Milan Studený, Dan Suciu, Tobias Boege
2022	A*	`conf`	Consistent Answers of Aggregation Queries via SAT. ICDE Akhil A. Dixit, Phokion G. Kolaitis
2022	J	`jnl`	Logic and Random Discrete Structures (Dagstuhl Seminar 22061). Dagstuhl Reports Erich Grädel, Phokion G. Kolaitis, Marc Noy
2022	J	`jnl`	Structure and Complexity of Bag Consistency. SIGMOD Rec. Albert Atserias, Phokion G. Kolaitis
2021	J	`jnl`	Algorithmic Techniques for Necessary and Possible Winners. Trans. Data Sci. Vishal Chakraborty, Theo Delemazure, Benny Kimelfeld, Phokion G. Kolaitis, Kunal Relia, Julia Stoyanovich
2021	J	`jnl`	Bag Query Containment and Information Theory. ACM Trans. Database Syst. Mahmoud Abo Khamis, Phokion G. Kolaitis, Hung Q. Ngo, Dan Suciu
2021	—	`conf`	CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving. SIGMOD Conference Akhil A. Dixit, Phokion G. Kolaitis
2021	A	`conf`	Classifying the Complexity of the Possible Winner Problem on Partial Chains. AAMAS Vishal Chakraborty, Phokion G. Kolaitis
2021	—	`conf`	Computational Social Choice and Incomplete Information. SEBD Phokion G. Kolaitis
2021	J	`jnl`	Consistent Answers of Aggregation Queries using SAT Solvers. CoRR Akhil A. Dixit, Phokion G. Kolaitis
2021	—	`conf`	Model-theoretic Characterizations of Rule-based Ontologies. Description Logics Marco Console, Phokion G. Kolaitis, Andreas Pieris
2021	A*	`conf`	Model-theoretic Characterizations of Rule-based Ontologies. PODS Marco Console, Phokion G. Kolaitis, Andreas Pieris
2021	J	`jnl`	On the Computational Complexity of Non-Dictatorial Aggregation. J. Artif. Intell. Res. John Livieratos, Phokion G. Kolaitis, Lefteris M. Kirousis
2021	A*	`conf`	On the Expressive Power of Homomorphism Counts. LICS Albert Atserias, Phokion G. Kolaitis, Wei-Lin Wu
2021	J	`jnl`	On the Expressive Power of Homomorphism Counts. CoRR Albert Atserias, Phokion G. Kolaitis, Wei-Lin Wu
2021	A*	`conf`	Ontology-Enriched Query Answering on Relational Databases. AAAI Shqiponja Ahmetaj, Vasilis Efthymiou, Ronald Fagin, Phokion G. Kolaitis, Chuan Lei, Fatma Özcan, Lucian Popa
2021	A*	`conf`	Structure and Complexity of Bag Consistency. PODS Albert Atserias, Phokion G. Kolaitis
2021	J	`jnl`	Universal solutions for temporal data exchange. Inf. Comput. Zehui Cheng, Phokion G. Kolaitis
2020	J	`jnl`	Algorithmic Techniques for Necessary and Possible Winners. CoRR Vishal Chakraborty, Theo Delemazure, Benny Kimelfeld, Phokion G. Kolaitis, Kunal Relia, Julia Stoyanovich
2020	A*	`conf`	Bag Query Containment and Information Theory. PODS Mahmoud Abo Khamis, Phokion G. Kolaitis, Hung Q. Ngo, Dan Suciu
2020	J	`jnl`	Consistency, Acyclicity, and Positive Semirings. CoRR Albert Atserias, Phokion G. Kolaitis
2020	A*	`conf`	Decision Problems in Information Theory. ICALP Mahmoud Abo Khamis, Phokion G. Kolaitis, Hung Q. Ngo, Dan Suciu
2020	J	`jnl`	Decision Problems in Information Theory. CoRR Mahmoud Abo Khamis, Phokion G. Kolaitis, Hung Q. Ngo, Dan Suciu
2020	J	`jnl`	On the Language of Nested Tuple Generating Dependencies. ACM Trans. Database Syst. Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
2020	J	`jnl`	Structure and Complexity of Bag Consistency. CoRR Albert Atserias, Phokion G. Kolaitis
2020	—	`conf`	Temporal Enrichment and Querying of Ontology-Compliant Data. ADBIS (Short Papers) Jing Ao, Zehui Cheng, Rada Chirkova, Phokion G. Kolaitis
2020	J	`jnl`	The Complexity of Possible Winners on Partial Chains. CoRR Vishal Chakraborty, Phokion G. Kolaitis
2020	C	`conf`	Universal Solutions in Temporal Data Exchange. TIME Zehui Cheng, Phokion G. Kolaitis
2019	A	`conf`	A SAT-Based System for Consistent Query Answering. SAT Akhil A. Dixit, Phokion G. Kolaitis
2019	J	`jnl`	A SAT-based System for Consistent Query Answering. CoRR Akhil A. Dixit, Phokion G. Kolaitis
2019	J	`jnl`	Aggregation of Votes with Multiple Positions on Each Issue. ACM Trans. Economics and Comput. Lefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos
2019	J	`jnl`	Bag Query Containment and Information Theory. CoRR Mahmoud Abo Khamis, Phokion G. Kolaitis, Hung Q. Ngo, Dan Suciu
2019	J	`jnl`	Expressive power of entity-linking frameworks. J. Comput. Syst. Sci. Douglas Burdick, Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang-Chiew Tan
2019	J	`jnl`	Generalized satisfiability problems via operator assignments. J. Comput. Syst. Sci. Albert Atserias, Phokion G. Kolaitis, Simone Severini
2019	A*	`conf`	Knowledge Refinement via Rule Selection. AAAI Phokion G. Kolaitis, Lucian Popa, Kun Qian
2019	J	`jnl`	Knowledge Refinement via Rule Selection. CoRR Phokion G. Kolaitis, Lucian Popa, Kun Qian
2019	J	`jnl`	Logic and Learning (Dagstuhl Seminar 19361). Dagstuhl Reports Michael Benedikt, Kristian Kersting, Phokion G. Kolaitis, Daniel Neider
2019	J	`jnl`	Logics for Dependence and Independence (Dagstuhl Seminar 19031). Dagstuhl Reports Erich Grädel, Phokion G. Kolaitis, Juha Kontinen, Heribert Vollmer
2019	A*	`conf`	Query Evaluation in Election Databases. PODS Benny Kimelfeld, Phokion G. Kolaitis, Muhammad Tibi
2018	A*	`conf`	Active Learning of GAV Schema Mappings. PODS Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang-Chiew Tan
2018	A*	`conf`	Computational Social Choice Meets Databases. IJCAI Benny Kimelfeld, Phokion G. Kolaitis, Julia Stoyanovich
2018	J	`jnl`	Computational Social Choice Meets Databases. CoRR Benny Kimelfeld, Phokion G. Kolaitis, Julia Stoyanovich
2018	J	`jnl`	Limits of Schema Mappings. Theory Comput. Syst. Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
2018	C	`conf`	On the Computational Complexity of Non-dictatorial Aggregation. RAMiCS Lefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos
2018	A*	`conf`	Reflections on Schema Mappings, Data Exchange, and Metadata Management. PODS Phokion G. Kolaitis
2017	C	`conf`	Aggregation of Votes with Multiple Positions on Each Issue. RAMiCS Lefteris M. Kirousis, Phokion G. Kolaitis, John Livieratos
2017	J	`jnl`	Approximation Algorithms for Schema-Mapping Discovery from Data Examples. ACM Trans. Database Syst. Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang-Chiew Tan
2017	A	`conf`	Expressive Power of Entity-Linking Frameworks. ICDT Douglas Burdick, Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan
2017	J	`jnl`	Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361). Dagstuhl Reports Anuj Dawar, Erich Grädel, Phokion G. Kolaitis, Thomas Schwentick
2017	A*	`conf`	Foundations of information integration under bag semantics. LICS André Hernich, Phokion G. Kolaitis
2017	B	`conf`	Generalized Satisfiability Problems via Operator Assignments. FCT Albert Atserias, Phokion G. Kolaitis, Simone Severini
2017	J	`jnl`	Generalized Satisfiability Problems via Operator Assignments. CoRR Albert Atserias, Phokion G. Kolaitis, Simone Severini
2017	B	`conf`	Schema Mappings: Structural Properties and Limits (Invited Talk). CSL Phokion G. Kolaitis
2016	J	`jnl`	A Declarative Framework for Linking Entities. ACM Trans. Database Syst. Douglas Burdick, Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang-Chiew Tan
2016	B	`conf`	Dependence Logic vs. Constraint Satisfaction. CSL Lauri Hella, Phokion G. Kolaitis
2016	J	`jnl`	Exchange-Repairs - Managing Inconsistency in Data Exchange. J. Data Semant. Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis
2016	A	`conf`	Limits of Schema Mappings. ICDT Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
2016	B	`conf`	Practical Query Answering in Data Exchange Under Inconsistency-Tolerant Semantics. EDBT Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis
2015	A	`conf`	A Declarative Framework for Linking Entities. ICDT Douglas Burdick, Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan
2015	J	`jnl`	Aggregation of Votes with Multiple Positions on Each Issue. CoRR Lefteris M. Kirousis, Phokion G. Kolaitis
2015	—	`conf`	Approximation Algorithms for Schema-Mapping Discovery from Data Examples. AMW Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang Chiew Tan
2015	J	`jnl`	Consistent Answers of Conjunctive Queries on Graphs. CoRR Foto N. Afrati, Phokion G. Kolaitis, Angelos Vasilakopoulos
2015	A*	`conf`	Dichotomies in the Complexity of Preferred Repairs. PODS Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis
2015	J	`jnl`	Exchange-Repairs: Managing Inconsistency in Data Exchange. CoRR Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis
2015	J	`jnl`	Invited Articles Foreword. J. ACM Avi Wigderson, Phokion G. Kolaitis
2015	J	`jnl`	On the Data Complexity of Consistent Query Answering. Theory Comput. Syst. Balder ten Cate, Gaëlle Fontaine, Phokion G. Kolaitis
2014	—	`conf`	Exchange-Repairs: Managing Inconsistency in Data Exchange. RR Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis
2014	A*	`conf`	Nested dependencies: structure and reasoning. PODS Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
2014	—	`ed.`	Reasoning Web. Reasoning on the Web in the Big Data Era - 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings Reasoning Web Manolis Koubarakis, Giorgos B. Stamou, Giorgos Stoilos, Ian Horrocks, Phokion G. Kolaitis, Georg Lausen, Gerhard Weikum
2014	—	`ch.`	Schema Mappings: A Case of Logical Dynamics in Database Theory. Johan van Benthem on Logic and Information Dynamics Balder ten Cate, Phokion G. Kolaitis
2014	J	`jnl`	The Complexity of Mining Maximal Frequent Subgraphs. ACM Trans. Database Syst. Benny Kimelfeld, Phokion G. Kolaitis
2013	—	`book`	Data Exchange, Integration, and Streams Data Exchange, Information, and Streams Phokion G. Kolaitis, Maurizio Lenzerini, Nicole Schweikardt
2013	B	`conf`	Data exchange with arithmetic operations. EDBT Balder ten Cate, Phokion G. Kolaitis, Walied Othman
2013	J	`jnl`	Efficient Querying of Inconsistent Databases with Binary Integer Programming. Proc. VLDB Endow. Phokion G. Kolaitis, Enela Pema, Wang-Chiew Tan
2013	J	`jnl`	Learning schema mappings. ACM Trans. Database Syst. Balder ten Cate, Víctor Dalmau, Phokion G. Kolaitis
2013	J	`jnl`	Random graphs and the parity quantifier. J. ACM Phokion G. Kolaitis, Swastik Kopparty
2013	A*	`conf`	Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. IJCAI Samson Abramsky, Georg Gottlob, Phokion G. Kolaitis
2013	B	`conf`	Schema mappings and data examples. EDBT Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan
2013	—	`conf`	The Query Containment Problem: Set Semantics vs. Bag Semantics. AMW Phokion G. Kolaitis
2013	—	`conf`	The Semantics of Aggregate Queries in Data Exchange Revisited. SUM Phokion G. Kolaitis, Francesca Spezzano
2013	A*	`conf`	The complexity of mining maximal frequent subgraphs. PODS Benny Kimelfeld, Phokion G. Kolaitis
2012	J	`jnl`	A dichotomy in the complexity of consistent query answering for queries with two atoms. Inf. Process. Lett. Phokion G. Kolaitis, Enela Pema
2012	A	`conf`	Learning schema mappings. ICDT Balder ten Cate, Víctor Dalmau, Phokion G. Kolaitis
2012	A*	`conf`	Local transformations and conjunctive-query equivalence. PODS Ronald Fagin, Phokion G. Kolaitis
2012	A	`conf`	On the data complexity of consistent query answering. ICDT Balder ten Cate, Gaëlle Fontaine, Phokion G. Kolaitis
2012	A*	`conf`	The ACM PODS Alberto O. Mendelzon test-of-time award 2012. PODS Richard Hull, Phokion G. Kolaitis, Dirk Van Gucht
2011	J	`jnl`	Characterizing schema mappings via data examples. ACM Trans. Database Syst. Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan
2011	—	`conf`	Designing and refining schema mappings via data examples. SIGMOD Conference Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan
2011	J	`jnl`	EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples. Proc. VLDB Endow. Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan
2011	—	`conf`	On the tractability and intractability of consistent conjunctive query answering. EDBT/ICDT Ph.D. Workshop Enela Pema, Phokion G. Kolaitis, Wang Chiew Tan
2011	J	`jnl`	Probabilistic data exchange. J. ACM Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis
2011	J	`jnl`	Report on DEIS'10: advanced school on data exchange, information, and streams (A GI-Dagstuhl Seminar). SIGMOD Rec. Phokion G. Kolaitis, Maurizio Lenzerini, Nicole Schweikardt
2011	J	`jnl`	Reverse data exchange: Coping with nulls. ACM Trans. Database Syst. Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan
2011	—	`ch.`	Schema Mapping Evolution Through Composition and Inversion. Schema Matching and Mapping Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan
2011	—	`conf`	Schema Mappings and Data Examples: Deriving Syntax from Semantics (Invited Talk). FSTTCS Phokion G. Kolaitis
2011	—	`conf`	Schema mappings and data examples. LID Phokion G. Kolaitis
2011	J	`jnl`	The quest for a logic for polynomial-time computation: technical perspective. Commun. ACM Phokion G. Kolaitis
2010	A*	`conf`	Characterizing schema mappings via data examples. PODS Bogdan Alexe, Phokion G. Kolaitis, Wang Chiew Tan
2010	A	`conf`	Database Constraints and Homomorphism Dualities. CP Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan
2010	A	`conf`	Probabilistic data exchange. ICDT Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis
2010	J	`jnl`	Structural characterizations of schema-mapping languages. Commun. ACM Balder ten Cate, Phokion G. Kolaitis
2010	A*	`conf`	The ACM PODS Alberto O. Mendelzon test-of-time-award 2010. PODS Jianwen Su, Phokion G. Kolaitis
2009	—	`conf`	09441 Abstracts Collection - The Constraint Satisfaction Problem: Complexity and Approximability. The Constraint Satisfaction Problem: Complexity and Approximability Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin
2009	—	`conf`	09441 Executive Summary - The Constraint Satisfaction Problem: Complexity and Approximability. The Constraint Satisfaction Problem: Complexity and Approximability Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin
2009	J	`jnl`	Laconic Schema Mappings: Computing the Core with SQL Queries. Proc. VLDB Endow. Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan
2009	J	`jnl`	Laconic schema mappings: computing core universal solutions by means of SQL queries CoRR Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan
2009	J	`jnl`	Random Graphs and the Parity Quantifier. Electron. Colloquium Comput. Complex. Phokion G. Kolaitis, Swastik Kopparty
2009	A*	`conf`	Random graphs and the parity quantifier. STOC Phokion G. Kolaitis, Swastik Kopparty
2009	A	`conf`	Repair checking in inconsistent databases: algorithms and complexity. ICDT Foto N. Afrati, Phokion G. Kolaitis
2009	A*	`conf`	Reverse data exchange: coping with nulls. PODS Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan
2009	A	`conf`	Structural characterizations of schema-mapping languages. ICDT Balder ten Cate, Phokion G. Kolaitis
2009	A*	`conf`	The ACM PODS Alberto O. Mendelzon test-of-time-award 2009. PODS Catriel Beeri, Phokion G. Kolaitis, Christos H. Papadimitriou
2009	J	`jnl`	The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies. SIAM J. Comput. Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou
2009	—	`ed.`	The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009 The Constraint Satisfaction Problem: Complexity and Approximability Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin
2008	—	`conf`	A Logical Approach to Constraint Satisfaction. Complexity of Constraints Phokion G. Kolaitis, Moshe Y. Vardi
2008	A*	`conf`	Answering aggregate queries in data exchange. PODS Foto N. Afrati, Phokion G. Kolaitis
2008	—	`ed.`	Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar]. Complexity of Constraints Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer
2008	—	`conf`	Interactive generation of integrated schemas. SIGMOD Conference Laura Chiticariu, Phokion G. Kolaitis, Lucian Popa
2008	J	`jnl`	Paper and proposal reviews: is the process flawed? SIGMOD Rec. Henry F. Korth, Philip A. Bernstein, Mary F. Fernández, Le Gruenwald, Phokion G. Kolaitis, Kathryn S. McKinley, M. Tamer Özsu
2008	J	`jnl`	Quasi-inverses of schema mappings. ACM Trans. Database Syst. Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan
2008	J	`jnl`	Structure identification of Boolean relations and plain bases for co-clones. J. Comput. Syst. Sci. Nadia Creignou, Phokion G. Kolaitis, Bruno Zanuttini
2008	A*	`conf`	Towards a theory of schema-mapping optimization. PODS Ronald Fagin, Phokion G. Kolaitis, Alan Nash, Lucian Popa
2007	—	`book`	Finite Model Theory and Its Applications Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
2007	J	`jnl`	Phase transitions of PP-complete satisfiability problems. Discret. Appl. Math. Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis
2007	A*	`conf`	Quasi-inverses of schema mappings. PODS Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan
2007	A*	`conf`	Reflections on Finite Model Theory. LICS Phokion G. Kolaitis
2007	A*	`conf`	Semi-Automatic Schema Integration in Clio. VLDB Laura Chiticariu, Mauricio A. Hernández, Phokion G. Kolaitis, Lucian Popa
2006	—	`conf`	06401 Abstracts Collection - Complexity of Constraints. Complexity of Constraints Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer
2006	—	`conf`	06401 Executive Summary - Complexity of Constraints. Complexity of Constraints Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer
2006	J	`jnl`	Closures and dichotomies for quantified constraints. Electron. Colloquium Comput. Complex. Tomás Feder, Phokion G. Kolaitis
2006	—	`ed.`	Complexity of Constraints, 01.10. - 06.10.2006 Complexity of Constraints Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer
2006	J	`jnl`	On preservation under homomorphisms and unions of conjunctive queries. J. ACM Albert Atserias, Anuj Dawar, Phokion G. Kolaitis
2006	J	`jnl`	Peer data exchange. ACM Trans. Database Syst. Ariel Fuxman, Phokion G. Kolaitis, Renée J. Miller, Wang Chiew Tan
2006	J	`jnl`	The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies CoRR Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou
2006	—	`conf`	The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies. ICALP (1) Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou
2006	J	`jnl`	The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies. Electron. Colloquium Comput. Complex. Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou
2006	A*	`conf`	The complexity of data exchange. PODS Phokion G. Kolaitis, Jonathan Panttaja, Wang Chiew Tan
2006	A*	`conf`	The containment problem for REAL conjunctive queries with inequalities. PODS T. S. Jayram, Phokion G. Kolaitis, Erik Vee
2005	J	`jnl`	Composing schema mappings: Second-order dependencies to the rescue. ACM Trans. Database Syst. Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan
2005	J	`jnl`	Data exchange: getting to the core. ACM Trans. Database Syst. Ronald Fagin, Phokion G. Kolaitis, Lucian Popa
2005	J	`jnl`	Data exchange: semantics and query answering. Theor. Comput. Sci. Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa
2005	A*	`conf`	Efficient Implementation of Large-Scale Multi-Structural Databases. VLDB Ronald Fagin, Phokion G. Kolaitis, Ravi Kumar, Jasmine Novak, D. Sivakumar, Andrew Tomkins
2005	J	`jnl`	Exchange, integration, and consistency of data: report on the ARISE/NISR workshop. SIGMOD Rec. Leopoldo E. Bertossi, Jan Chomicki, Parke Godfrey, Phokion G. Kolaitis, Alex Thomo, Calisto Zuzarte
2005	J	`jnl`	LICS 2003 special issue. ACM Trans. Comput. Log. Phokion G. Kolaitis
2005	A*	`conf`	Peer data exchange. PODS Ariel Fuxman, Phokion G. Kolaitis, Renée J. Miller, Wang Chiew Tan
2005	J	`jnl`	Preferred representations of Boolean relations Electron. Colloquium Comput. Complex. Nadia Creignou, Phokion G. Kolaitis, Bruno Zanuttini
2005	A*	`conf`	Schema mappings, data exchange, and metadata management. PODS Phokion G. Kolaitis
2005	J	`jnl`	Subtractive reductions and complete problems for counting complexity classes. Theor. Comput. Sci. Arnaud Durand, Miki Hermann, Phokion G. Kolaitis
2004	J	`jnl`	A Dichotomy in the Complexity of Propositional Circumscription. Theory Comput. Syst. Lefteris M. Kirousis, Phokion G. Kolaitis
2004	A*	`conf`	Composing Schema Mappings: Second-Order Dependencies to the Rescue. PODS Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan
2004	A	`conf`	Constraint Propagation as a Proof System. CP Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi
2004	—	`conf`	Constraint Satisfaction, Complexity, and Logic. SETN Phokion G. Kolaitis
2004	J	`jnl`	Existential second-order logic over graphs: Charting the tractability frontier. J. ACM Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick
2004	J	`jnl`	Foreword. J. ACM Phokion G. Kolaitis, Victor Vianu
2004	J	`jnl`	Foreword. ACM Trans. Database Syst. Phokion G. Kolaitis, Michael J. Franklin
2004	A*	`conf`	On Preservation under Homomorphisms and Unions of Conjunctive Queries. PODS Albert Atserias, Anuj Dawar, Phokion G. Kolaitis
2003	A*	`conf`	Constraint Satisfaction, Databases, and Logic. IJCAI Phokion G. Kolaitis
2003	A	`conf`	Data Exchange: Semantics and Query Answering. ICDT Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa
2003	A*	`conf`	Data exchange: getting to the core. PODS Ronald Fagin, Phokion G. Kolaitis, Lucian Popa
2003	B	`conf`	On the Complexity of Existential Pebble Games. CSL Phokion G. Kolaitis, Jonathan Panttaja
2003	A*	`conf`	Phase Transitions of Bounded Satisfiability Problems. IJCAI Delbert D. Bailey, Phokion G. Kolaitis
2003	J	`jnl`	The complexity of minimal satisfiability problems. Inf. Comput. Lefteris M. Kirousis, Phokion G. Kolaitis
2002	—	`conf`	Comparing Phase Transitions and Peak Cost in PP-Complete Satisfiability Problems. AAAI/IAAI Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis
2002	A	`conf`	Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. CP Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi
2002	A*	`ed.`	Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, Madison, Wisconsin, USA Lucian Popa, Serge Abiteboul, Phokion G. Kolaitis
2001	A*	`conf`	A Dichotomy in the Complexity of Propositional Circumscription. LICS Lefteris M. Kirousis, Phokion G. Kolaitis
2001	A	`conf`	In Search of a Phase Transition in the AC-Matching Problem. CP Phokion G. Kolaitis, Thomas Raffill
2001	B	`conf`	On the Complexity of Model Checking and Inference in Minimal Models. LPNMR Lefteris M. Kirousis, Phokion G. Kolaitis
2001	J	`jnl`	On the unusual effectiveness of logic in computer science. Bull. Symb. Log. Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
2001	A*	`conf`	Phase Transitions of PP-Complete Satisfiability Problems. IJCAI Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis
2001	A	`conf`	The Complexity of Minimal Satisfiability Problems. STACS Lefteris M. Kirousis, Phokion G. Kolaitis
2000	B	`conf`	0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. MFCS Phokion G. Kolaitis, Moshe Y. Vardi
2000	—	`conf`	A Game-Theoretic Approach to Constraint Satisfaction. AAAI/IAAI Phokion G. Kolaitis, Moshe Y. Vardi
2000	J	`jnl`	Conjunctive-Query Containment and Constraint Satisfaction. J. Comput. Syst. Sci. Phokion G. Kolaitis, Moshe Y. Vardi
2000	A*	`conf`	Existential Second-Order Logic over Graphs: Charting the Tractability Frontier. FOCS Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick
2000	J	`jnl`	Foreword: Selected Papers from ICDT 1997. Theor. Comput. Sci. Foto N. Afrati, Phokion G. Kolaitis
2000	B	`conf`	Subtractive Reductions and Complete Problems for Counting Complexity Classes. MFCS Arnaud Durand, Miki Hermann, Phokion G. Kolaitis
2000	J	`jnl`	The Complexity of Minimal Satisfiability Problems Electron. Colloquium Comput. Complex. Lefteris M. Kirousis, Phokion G. Kolaitis
2000	J	`jnl`	Unification Algorithms Cannot Be Combined in Polynomial Time. Inf. Comput. Miki Hermann, Phokion G. Kolaitis
1999	J	`jnl`	Computational Complexity of Simultaneous Elementary Matching Problems. J. Autom. Reason. Miki Hermann, Phokion G. Kolaitis
1999	A*	`conf`	First-Order Logic vs. Fixed-Point Logic in Finite Set Theory. LICS Albert Atserias, Phokion G. Kolaitis
1999	B	`conf`	On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System. LPAR Miki Hermann, Laurent Juban, Phokion G. Kolaitis
1998	A*	`conf`	Conjunctive-Query Containment and Constraint Satisfaction. PODS Phokion G. Kolaitis, Moshe Y. Vardi
1998	J	`jnl`	Integer Programming as a Framework for Optimization and Approximability. J. Comput. Syst. Sci. Ian Barland, Phokion G. Kolaitis, Madhukar N. Thakur
1998	A*	`conf`	On the Boundedness Problem for Two-Variable First-Order Logic. LICS Phokion G. Kolaitis, Martin Otto
1998	A*	`conf`	On the Complexity of the Containment Problem for Conjunctive Queries with Built-in Predicates. PODS Phokion G. Kolaitis, David L. Martin, Madhukar N. Thakur
1998	A	`conf`	Panel: logic in the computer science curriculum. SIGCSE Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi
1997	J	`jnl`	Can Datalog Be Approximated? J. Comput. Syst. Sci. Surajit Chaudhuri, Phokion G. Kolaitis
1997	A	`ed.`	Database Theory - ICDT '97, 6th International Conference, Delphi, Greece, January 8-10, 1997, Proceedings ICDT Foto N. Afrati, Phokion G. Kolaitis
1997	J	`jnl`	How to Define a Linear Order on Finite Models. Ann. Pure Appl. Log. Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
1997	A	`conf`	On the Complexity of Unification and Disunification in Commutative Idempotent Semigroups. CP Miki Hermann, Phokion G. Kolaitis
1997	J	`jnl`	On the decision problem for two-variable first-order logic. Bull. Symb. Log. Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi
1996	J	`jnl`	Almost everywhere equivalence of logics in finite model theory. Bull. Symb. Log. Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
1996	—	`ed.`	Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop 1996, Princeton, New Jersey, USA, January 14-17, 1996 Descriptive Complexity and Finite Models Neil Immerman, Phokion G. Kolaitis
1996	A	`conf`	Integer Programming as a Framework for Optimization and Approximability. CCC Ian Barland, Phokion G. Kolaitis, Madhukar N. Thakur
1996	A*	`conf`	On the Expressive Power of Variable-Confined Logics. LICS Phokion G. Kolaitis, Moshe Y. Vardi
1996	A	`conf`	Unification Algorithms Cannot be Combined in Polynomial Time. CADE Miki Hermann, Phokion G. Kolaitis
1995	J	`jnl`	Approximation Properties of NP Minimization Classes. J. Comput. Syst. Sci. Phokion G. Kolaitis, Madhukar N. Thakur
1995	A*	`conf`	Combinatorial Games In Database Theory. PODS Phokion G. Kolaitis
1995	B	`conf`	Computational Complexity of Simultaneous Elementary Matching Problems (Extended Abstract). MFCS Miki Hermann, Phokion G. Kolaitis
1995	J	`jnl`	Generalized Quantifiers and Pebble Games on Finite Structures. Ann. Pure Appl. Log. Phokion G. Kolaitis, Jouko A. Väänänen
1995	A*	`conf`	Implicit Definability and Infinitary Logic in Finite Model Theory. ICALP Anuj Dawar, Lauri Hella, Phokion G. Kolaitis
1995	A	`conf`	Languages for Polynomial-Time Queries - An Ongoing Quest. ICDT Phokion G. Kolaitis
1995	J	`jnl`	On the Expressive Power of Datalog: Tools and a Case Study. J. Comput. Syst. Sci. Phokion G. Kolaitis, Moshe Y. Vardi
1995	J	`jnl`	The Complexity of Counting Problems in Equational Matching. J. Symb. Comput. Miki Hermann, Phokion G. Kolaitis
1994	A*	`conf`	Can Datalog be Approximated? PODS Surajit Chaudhuri, Phokion G. Kolaitis
1994	A*	`conf`	How to Define a Linear Order on Finite Models LICS Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto
1994	J	`jnl`	Logical Definability of NP Optimization Problems Inf. Comput. Phokion G. Kolaitis, Madhukar N. Thakur
1994	A	`conf`	The Complexity of Counting Problems in Equational Matching. CADE Miki Hermann, Phokion G. Kolaitis
1993	A*	`conf`	A Tutorial on Finite Model Theory (Abstract) LICS Phokion G. Kolaitis
1993	—	`conf`	Polynomial-time Optimization, Parallel Approximation, and Fixpoint Logic (Extended Abstract). SCT Phokion G. Kolaitis, Madhukar N. Thakur
1992	A*	`conf`	Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory LICS Phokion G. Kolaitis, Moshe Y. Vardi
1992	A*	`conf`	Generalized Quantifiers and Pebble Games on Finite Structures LICS Phokion G. Kolaitis, Jouko A. Väänänen
1992	A*	`conf`	Infinitary Logic for Computer Science. ICALP Phokion G. Kolaitis, Moshe Y. Vardi
1992	J	`jnl`	Infinitary Logics and 0-1 Laws Inf. Comput. Phokion G. Kolaitis, Moshe Y. Vardi
1991	—	`conf`	Approximation Properties of NP Minimization Classes. SCT Phokion G. Kolaitis, Madhukar N. Thakur
1991	J	`jnl`	The Expressive Power of Stratified Programs Inf. Comput. Phokion G. Kolaitis
1991	J	`jnl`	Why not Negation by Fixpoint? J. Comput. Syst. Sci. Phokion G. Kolaitis, Christos H. Papadimitriou
1990	J	`jnl`	0-1 Laws and Decision Problems for Fragments of Second-Order Logic Inf. Comput. Phokion G. Kolaitis, Moshe Y. Vardi
1990	A*	`conf`	0-1 Laws for Infinitary Logics (Preliminary Report) LICS Phokion G. Kolaitis, Moshe Y. Vardi
1990	A*	`conf`	Implicit Definability on Finite Structures and Unambiguous Computations (Preliminary Report) LICS Phokion G. Kolaitis
1990	A*	`conf`	On the Expressive Power of Datalog: Tools and a Case Study. PODS Phokion G. Kolaitis, Moshe Y. Vardi
1990	J	`jnl`	Some Computational Aspects of Circumscription J. ACM Phokion G. Kolaitis, Christos H. Papadimitriou
1988	A*	`conf`	0-1 Laws and Decision Problems for Fragments of Second-Order Logic LICS Phokion G. Kolaitis, Moshe Y. Vardi
1988	A*	`conf`	Some Computational Aspects of Circumscription. AAAI Phokion G. Kolaitis, Christos H. Papadimitriou
1988	A*	`conf`	Why Not Negation by Fixpoint? PODS Phokion G. Kolaitis, Christos H. Papadimitriou
1987	A*	`conf`	The Decision Problem for the Probabilities of Higher-Order Properties STOC Phokion G. Kolaitis, Moshe Y. Vardi
1985	—	`conf`	On Asymptotic Probability of Inductive Queries and Their Decision Problem. Logic of Programs Phokion G. Kolaitis
1979	J	`jnl`	Recursion in a Quantifier vs. Elementary Induction. J. Symb. Log. Phokion G. Kolaitis