Phokion G. Kolaitis

	2012
142		Ronald Fagin, Phokion G. Kolaitis: Local transformations and conjunctive-query equivalence. PODS 2012: 179-190
141		Richard Hull, Phokion G. Kolaitis, Dirk Van Gucht: The ACM PODS Alberto O. Mendelzon test-of-time award 2012. PODS 2012: 35-36
140		Phokion G. Kolaitis, Enela Pema: A dichotomy in the complexity of consistent query answering for queries with two atoms. Inf. Process. Lett. 112(3): 77-85 (2012)
	2011
139		Enela Pema, Phokion G. Kolaitis, Wang Chiew Tan: On the tractability and intractability of consistent conjunctive query answering. EDBT/ICDT Ph.D. Workshop 2011: 38-44
138		Phokion G. Kolaitis: Schema Mappings and Data Examples: Deriving Syntax from Semantics (Invited Talk). FSTTCS 2011: 25-25
137		Phokion G. Kolaitis: Schema mappings and data examples. LID 2011: 1
136		Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan: Designing and refining schema mappings via data examples. SIGMOD Conference 2011: 133-144
135		Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan: Schema Mapping Evolution Through Composition and Inversion. Schema Matching and Mapping 2011: 191-222
134		Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan: Reverse data exchange: Coping with nulls. ACM Trans. Database Syst. 36(2): 11 (2011)
133		Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan: Characterizing schema mappings via data examples. ACM Trans. Database Syst. 36(4): 23 (2011)
132		Phokion G. Kolaitis: The quest for a logic for polynomial-time computation: technical perspective. Commun. ACM 54(6): 103 (2011)
131		Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis: Probabilistic data exchange. J. ACM 58(4): 15 (2011)
130		Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan: EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples. PVLDB 4(12): 1414-1417 (2011)
129		Phokion G. Kolaitis, Maurizio Lenzerini, Nicole Schweikardt: Report on DEIS'10: advanced school on data exchange, information, and streams (A GI-Dagstuhl Seminar). SIGMOD Record 40(1): 40-42 (2011)
	2010
128		Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan: Database Constraints and Homomorphism Dualities. CP 2010: 475-490
127		Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis: Probabilistic data exchange. ICDT 2010: 76-88
126		Bogdan Alexe, Phokion G. Kolaitis, Wang Chiew Tan: Characterizing schema mappings via data examples. PODS 2010: 261-272
125		Jianwen Su, Phokion G. Kolaitis: The ACM PODS Alberto O. Mendelzon test-of-time-award 2010. PODS 2010: 39-40
124		Balder ten Cate, Phokion G. Kolaitis: Structural characterizations of schema-mapping languages. Commun. ACM 53(1): 101-110 (2010)
	2009
123		Foto N. Afrati, Phokion G. Kolaitis: Repair checking in inconsistent databases: algorithms and complexity. ICDT 2009: 31-41
122		Balder ten Cate, Phokion G. Kolaitis: Structural characterizations of schema-mapping languages. ICDT 2009: 63-72
121		Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan: Reverse data exchange: coping with nulls. PODS 2009: 23-32
120		Catriel Beeri, Phokion G. Kolaitis, Christos H. Papadimitriou: The ACM PODS Alberto O. Mendelzon test-of-time-award 2009. PODS 2009: 43
119		Phokion G. Kolaitis, Swastik Kopparty: Random graphs and the parity quantifier. STOC 2009: 705-714
118		Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan: Laconic schema mappings: computing core universal solutions by means of SQL queries CoRR abs/0903.1953: (2009)
117		Phokion G. Kolaitis, Swastik Kopparty: Random Graphs and the Parity Quantifier. Electronic Colloquium on Computational Complexity (ECCC) 16: 33 (2009)
116		Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan: Laconic Schema Mappings: Computing the Core with SQL Queries. PVLDB 2(1): 1006-1017 (2009)
115		Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou: The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies. SIAM J. Comput. 38(6): 2330-2355 (2009)
	2008
114		Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer: Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar]. Springer 2008
113		Phokion G. Kolaitis, Moshe Y. Vardi: A Logical Approach to Constraint Satisfaction. Complexity of Constraints 2008: 125-155
112		Foto N. Afrati, Phokion G. Kolaitis: Answering aggregate queries in data exchange. PODS 2008: 129-138
111		Ronald Fagin, Phokion G. Kolaitis, Alan Nash, Lucian Popa: Towards a theory of schema-mapping optimization. PODS 2008: 33-42
110		Laura Chiticariu, Phokion G. Kolaitis, Lucian Popa: Interactive generation of integrated schemas. SIGMOD Conference 2008: 833-846
109		Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan: Quasi-inverses of schema mappings. ACM Trans. Database Syst. 33(2): (2008)
108		Nadia Creignou, Phokion G. Kolaitis, Bruno Zanuttini: Structure identification of Boolean relations and plain bases for co-clones. J. Comput. Syst. Sci. 74(7): 1103-1115 (2008)
107		Henry F. Korth, Philip A. Bernstein, Mary F. Fernández, Le Gruenwald, Phokion G. Kolaitis, Kathryn S. McKinley, M. Tamer Özsu: Paper and proposal reviews: is the process flawed? SIGMOD Record 37(3): 36-39 (2008)
	2007
106		Phokion G. Kolaitis: Reflections on Finite Model Theory. LICS 2007: 257-269
105		Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan: Quasi-inverses of schema mappings. PODS 2007: 123-132
104		Laura Chiticariu, Mauricio A. Hernández, Phokion G. Kolaitis, Lucian Popa: Semi-Automatic Schema Integration in Clio. VLDB 2007: 1326-1329
103		Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis: Phase transitions of PP-complete satisfiability problems. Discrete Applied Mathematics 155(12): 1627-1639 (2007)
	2006
102		Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer: Complexity of Constraints, 01.10. - 06.10.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
101		Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer: 06401 Abstracts Collection - Complexity of Constraints. Complexity of Constraints 2006
100		Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer: 06401 Executive Summary - Complexity of Constraints. Complexity of Constraints 2006
99		Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou: The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies. ICALP (1) 2006: 346-357
98		Phokion G. Kolaitis, Jonathan Panttaja, Wang Chiew Tan: The complexity of data exchange. PODS 2006: 30-39
97		T. S. Jayram, Phokion G. Kolaitis, Erik Vee: The containment problem for REAL conjunctive queries with inequalities. PODS 2006: 80-89
96		Ariel Fuxman, Phokion G. Kolaitis, Renée J. Miller, Wang Chiew Tan: Peer data exchange. ACM Trans. Database Syst. 31(4): 1454-1498 (2006)
95		Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou: The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies CoRR abs/cs/0609072: (2006)
94		Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou: The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies. Electronic Colloquium on Computational Complexity (ECCC) 13(094): (2006)
93		Tomás Feder, Phokion G. Kolaitis: Closures and dichotomies for quantified constraints. Electronic Colloquium on Computational Complexity (ECCC) 13(160): (2006)
92		Albert Atserias, Anuj Dawar, Phokion G. Kolaitis: On preservation under homomorphisms and unions of conjunctive queries. J. ACM 53(2): 208-237 (2006)
	2005
91		Ariel Fuxman, Phokion G. Kolaitis, Renée J. Miller, Wang Chiew Tan: Peer data exchange. PODS 2005: 160-171
90		Phokion G. Kolaitis: Schema mappings, data exchange, and metadata management. PODS 2005: 61-75
89		Ronald Fagin, Phokion G. Kolaitis, Ravi Kumar, Jasmine Novak, D. Sivakumar, Andrew Tomkins: Efficient Implementation of Large-Scale Multi-Structural Databases. VLDB 2005: 958-969
88		Phokion G. Kolaitis: LICS 2003 special issue. ACM Trans. Comput. Log. 6(4): 674 (2005)
87		Ronald Fagin, Phokion G. Kolaitis, Lucian Popa: Data exchange: getting to the core. ACM Trans. Database Syst. 30(1): 174-210 (2005)
86		Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan: Composing schema mappings: Second-order dependencies to the rescue. ACM Trans. Database Syst. 30(4): 994-1055 (2005)
85		Nadia Creignou, Phokion G. Kolaitis, Bruno Zanuttini: Preferred representations of Boolean relations Electronic Colloquium on Computational Complexity (ECCC)(119): (2005)
84		Leopoldo E. Bertossi, Jan Chomicki, Parke Godfrey, Phokion G. Kolaitis, Alex Thomo, Calisto Zuzarte: Exchange, integration, and consistency of data: report on the ARISE/NISR workshop. SIGMOD Record 34(3): 87-90 (2005)
83		Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1): 89-124 (2005)
82		Arnaud Durand, Miki Hermann, Phokion G. Kolaitis: Subtractive reductions and complete problems for counting complexity classes. Theor. Comput. Sci. 340(3): 496-513 (2005)
	2004
81		Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi: Constraint Propagation as a Proof System. CP 2004: 77-91
80		Albert Atserias, Anuj Dawar, Phokion G. Kolaitis: On Preservation under Homomorphisms and Unions of Conjunctive Queries. PODS 2004: 319-329
79		Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan: Composing Schema Mappings: Second-Order Dependencies to the Rescue. PODS 2004: 83-94
78		Phokion G. Kolaitis: Constraint Satisfaction, Complexity, and Logic. SETN 2004: 1-2
77		Phokion G. Kolaitis, Michael J. Franklin: Foreword. ACM Trans. Database Syst. 29: 1 (2004)
76		Phokion G. Kolaitis, Victor Vianu: Foreword. J. ACM 51(1): 1 (2004)
75		Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick: Existential second-order logic over graphs: Charting the tractability frontier. J. ACM 51(2): 312-362 (2004)
74		Lefteris M. Kirousis, Phokion G. Kolaitis: A Dichotomy in the Complexity of Propositional Circumscription. Theory Comput. Syst. 37(6): 695-715 (2004)
	2003
73		Phokion G. Kolaitis, Jonathan Panttaja: On the Complexity of Existential Pebble Games. CSL 2003: 314-329
72		Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa: Data Exchange: Semantics and Query Answering. ICDT 2003: 207-224
71		Delbert D. Bailey, Phokion G. Kolaitis: Phase Transitions of Bounded Satisfiability Problems. IJCAI 2003: 1187-1193
70		Phokion G. Kolaitis: Constraint Satisfaction, Databases, and Logic. IJCAI 2003: 1587-1595
69		Ronald Fagin, Phokion G. Kolaitis, Lucian Popa: Data exchange: getting to the core. PODS 2003: 90-101
68		Lefteris M. Kirousis, Phokion G. Kolaitis: The complexity of minimal satisfiability problems. Inf. Comput. 187(1): 20-39 (2003)
	2002
67		Lucian Popa, Serge Abiteboul, Phokion G. Kolaitis: Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, Madison, Wisconsin, USA ACM 2002
66		Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis: Comparing Phase Transitions and Peak Cost in PP-Complete Satisfiability Problems. AAAI/IAAI 2002: 620-626
65		Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi: Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. CP 2002: 310-326
	2001
64		Phokion G. Kolaitis, Thomas Raffill: In Search of a Phase Transition in the AC-Matching Problem. CP 2001: 433-450
63		Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis: Phase Transitions of PP-Complete Satisfiability Problems. IJCAI 2001: 183-192
62		Lefteris M. Kirousis, Phokion G. Kolaitis: A Dichotomy in the Complexity of Propositional Circumscription. LICS 2001: 71-80
61		Lefteris M. Kirousis, Phokion G. Kolaitis: On the Complexity of Model Checking and Inference in Minimal Models. LPNMR 2001: 42-53
60		Lefteris M. Kirousis, Phokion G. Kolaitis: The Complexity of Minimal Satisfiability Problems. STACS 2001: 407-418
59		Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu: On the unusual effectiveness of logic in computer science. Bulletin of Symbolic Logic 7(2): 213-236 (2001)
	2000
58		Phokion G. Kolaitis, Moshe Y. Vardi: A Game-Theoretic Approach to Constraint Satisfaction. AAAI/IAAI 2000: 175-181
57		Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick: Existential Second-Order Logic over Graphs: Charting the Tractability Frontier. FOCS 2000: 664-674
56		Arnaud Durand, Miki Hermann, Phokion G. Kolaitis: Subtractive Reductions and Complete Problems for Counting Complexity Classes. MFCS 2000: 323-332
55		Phokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. MFCS 2000: 84-98
54		Lefteris M. Kirousis, Phokion G. Kolaitis: The Complexity of Minimal Satisfiability Problems Electronic Colloquium on Computational Complexity (ECCC) 7(82): (2000)
53		Miki Hermann, Phokion G. Kolaitis: Unification Algorithms Cannot Be Combined in Polynomial Time. Inf. Comput. 162(1-2): 24-42 (2000)
52		Phokion G. Kolaitis, Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. J. Comput. Syst. Sci. 61(2): 302-332 (2000)
51		Foto N. Afrati, Phokion G. Kolaitis: Foreword: Selected Papers from ICDT 1997. Theor. Comput. Sci. 239(2): 187 (2000)
	1999
50		Albert Atserias, Phokion G. Kolaitis: First-Order Logic vs. Fixed-Point Logic in Finite Set Theory. LICS 1999: 275-284
49		Miki Hermann, Laurent Juban, Phokion G. Kolaitis: On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System. LPAR 1999: 13-32
48		Miki Hermann, Phokion G. Kolaitis: Computational Complexity of Simultaneous Elementary Matching Problems. J. Autom. Reasoning 23(2): 107-136 (1999)
	1998
47		Phokion G. Kolaitis, Martin Otto: On the Boundedness Problem for Two-Variable First-Order Logic. LICS 1998: 513-524
46		Phokion G. Kolaitis, David L. Martin, Madhukar N. Thakur: On the Complexity of the Containment Problem for Conjunctive Queries with Built-in Predicates. PODS 1998: 197-204
45		Phokion G. Kolaitis, Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. PODS 1998: 205-213
44		Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi: Panel: logic in the computer science curriculum. SIGCSE 1998: 376-377
43		Ian Barland, Phokion G. Kolaitis, Madhukar N. Thakur: Integer Programming as a Framework for Optimization and Approximability. J. Comput. Syst. Sci. 57(2): 144-161 (1998)
	1997
42		Foto N. Afrati, Phokion G. Kolaitis: Database Theory - ICDT '97, 6th International Conference, Delphi, Greece, January 8-10, 1997, Proceedings Springer 1997
41		Miki Hermann, Phokion G. Kolaitis: On the Complexity of Unification and Disunification in Commutative Idempotent Semigroups. CP 1997: 282-296
40		Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto: How to Define a Linear Order on Finite Models. Ann. Pure Appl. Logic 87(3): 241-267 (1997)
39		Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi: On the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic 3(1): 53-69 (1997)
38		Surajit Chaudhuri, Phokion G. Kolaitis: Can Datalog Be Approximated? J. Comput. Syst. Sci. 55(2): 355-369 (1997)
	1996
37		Neil Immerman, Phokion G. Kolaitis: Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University American Mathematical Society 1996
36		Miki Hermann, Phokion G. Kolaitis: Unification Algorithms Cannot be Combined in Polynomial Time. CADE 1996: 246-260
35		Ian Barland, Phokion G. Kolaitis, Madhukar N. Thakur: Integer Programming as a Framework for Optimization and Approximability. IEEE Conference on Computational Complexity 1996: 249-259
34		Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Variable-Confined Logics. LICS 1996: 348-359
33		Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto: Almost everywhere equivalence of logics in finite model theory. Bulletin of Symbolic Logic 2(4): 422-443 (1996)
	1995
32		Anuj Dawar, Lauri Hella, Phokion G. Kolaitis: Implicit Definability and Infinitary Logic in Finite Model Theory. ICALP 1995: 624-635
31		Phokion G. Kolaitis: Languages for Polynomial-Time Queries - An Ongoing Quest. ICDT 1995: 38-39
30		Miki Hermann, Phokion G. Kolaitis: Computational Complexity of Simultaneous Elementary Matching Problems (Extended Abstract). MFCS 1995: 359-370
29		Phokion G. Kolaitis: Combinatorial Games In Database Theory. PODS 1995: 231-232
28		Phokion G. Kolaitis, Jouko A. Väänänen: Generalized Quantifiers and Pebble Games on Finite Structures. Ann. Pure Appl. Logic 74(1): 23-75 (1995)
27		Phokion G. Kolaitis, Madhukar N. Thakur: Approximation Properties of NP Minimization Classes. J. Comput. Syst. Sci. 50(3): 391-411 (1995)
26		Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. J. Comput. Syst. Sci. 51(1): 110-134 (1995)
25		Miki Hermann, Phokion G. Kolaitis: The Complexity of Counting Problems in Equational Matching. J. Symb. Comput. 20(3): 343-362 (1995)
	1994
24		Miki Hermann, Phokion G. Kolaitis: The Complexity of Counting Problems in Equational Matching. CADE 1994: 560-574
23		Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto: How to Define a Linear Order on Finite Models LICS 1994: 40-49
22		Surajit Chaudhuri, Phokion G. Kolaitis: Can Datalog be Approximated? PODS 1994: 86-96
21		Phokion G. Kolaitis, Madhukar N. Thakur: Logical Definability of NP Optimization Problems Inf. Comput. 115(2): 321-353 (1994)
	1993
20		Phokion G. Kolaitis: A Tutorial on Finite Model Theory (Abstract) LICS 1993: 122
19		Phokion G. Kolaitis, Madhukar N. Thakur: Polynomial-time Optimization, Parallel Approximation, and Fixpoint Logic (Extended Abstract). Structure in Complexity Theory Conference 1993: 31-41
	1992
18		Phokion G. Kolaitis, Moshe Y. Vardi: Infinitary Logic for Computer Science. ICALP 1992: 450-473
17		Phokion G. Kolaitis, Jouko A. Väänänen: Generalized Quantifiers and Pebble Games on Finite Structures LICS 1992: 348-359
16		Phokion G. Kolaitis, Moshe Y. Vardi: Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory LICS 1992: 46-57
15		Phokion G. Kolaitis, Moshe Y. Vardi: Infinitary Logics and 0-1 Laws Inf. Comput. 98(2): 258-294 (1992)
	1991
14		Phokion G. Kolaitis, Madhukar N. Thakur: Approximation Properties of NP Minimization Classes. Structure in Complexity Theory Conference 1991: 353-366
13		Phokion G. Kolaitis: The Expressive Power of Stratified Programs Inf. Comput. 90(1): 50-66 (1991)
12		Phokion G. Kolaitis, Christos H. Papadimitriou: Why not Negation by Fixpoint? J. Comput. Syst. Sci. 43(1): 125-144 (1991)
	1990
11		Phokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws for Infinitary Logics (Preliminary Report) LICS 1990: 156-167
10		Phokion G. Kolaitis: Implicit Definability on Finite Structures and Unambiguous Computations (Preliminary Report) LICS 1990: 168-180
9		Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. PODS 1990: 61-71
8		Phokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws and Decision Problems for Fragments of Second-Order Logic Inf. Comput. 87(1/2): 301-337 (1990)
7		Phokion G. Kolaitis, Christos H. Papadimitriou: Some Computational Aspects of Circumscription J. ACM 37(1): 1-14 (1990)
	1988
6		Phokion G. Kolaitis, Christos H. Papadimitriou: Some Computational Aspects of Circumscription. AAAI 1988: 455-469
5		Phokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws and Decision Problems for Fragments of Second-Order Logic LICS 1988: 2-11
4		Phokion G. Kolaitis, Christos H. Papadimitriou: Why Not Negation by Fixpoint? PODS 1988: 231-239
	1987
3		Phokion G. Kolaitis, Moshe Y. Vardi: The Decision Problem for the Probabilities of Higher-Order Properties STOC 1987: 425-435
	1985
2		Phokion G. Kolaitis: On Asymptotic Probability of Inductive Queries and Their Decision Problem. Logic of Programs 1985: 153-166
	1979
1		Phokion G. Kolaitis: Recursion in a Quantifier vs. Elementary Induction. J. Symb. Log. 44(2): 235-259 (1979)

Coauthor Index

1	Serge Abiteboul	[67]
2	Foto N. Afrati	[42] [51] [112] [123]
3	Bogdan Alexe	[126] [130] [133] [136]
4	Albert Atserias	[50] [80] [81] [92]
5	Delbert D. Bailey	[63] [66] [71] [103]
6	Ian Barland	[35] [43]
7	Catriel Beeri	[120]
8	Philip A. Bernstein	[107]
9	Leopoldo E. Bertossi	[84]
10	Kim B. Bruce	[44]
11	Balder ten Cate	[116] [118] [122] [124] [128] [130] [133] [136]
12	Surajit Chaudhuri	[22] [38]
13	Laura Chiticariu	[104] [110] [116] [118]
14	Jan Chomicki	[84]
15	Nadia Creignou	[85] [100] [101] [102] [108] [114]
16	Víctor Dalmau	[63] [65] [66] [103]
17	Anuj Dawar	[32] [80] [92]
18	Arnaud Durand	[56] [82]
19	Ronald Fagin	[69] [72] [79] [83] [86] [87] [89] [105] [109] [111] [121] [127] [131] [134] [135] [142]
20	Tomás Feder	[93]
21	Mary F. Fernández (Mary F. Fernandez)	[107]
22	Michael J. Franklin (Mike Franklin)	[77]
23	Ariel Fuxman	[91] [96]
24	Parke Godfrey	[84]
25	Parikshit Gopalan	[94] [95] [99] [115]
26	Georg Gottlob	[57] [75]
27	Erich Grädel	[39]
28	Le Gruenwald	[107]
29	Dirk Van Gucht	[141]
30	Joseph Y. Halpern	[59]
31	Robert Harper	[59]
32	Lauri Hella	[23] [32] [33] [40]
33	Miki Hermann	[24] [25] [30] [36] [41] [48] [49] [53] [56] [82]
34	Mauricio A. Hernández	[104]
35	Richard Hull	[141]
36	Neil Immerman	[37] [59]
37	T. S. Jayram (Jayram S. Thathachar)	[97]
38	Laurent Juban	[49]
39	Benny Kimelfeld	[127] [131]
40	Lefteris M. Kirousis	[54] [60] [61] [62] [68] [74]
41	Swastik Kopparty	[117] [119]
42	Henry F. Korth (Hank Korth)	[107]
43	Ravi Kumar (S. Ravi Kumar)	[89]
44	Daniel Leivant	[44]
45	Maurizio Lenzerini	[129]
46	Kerkko Luosto	[23] [33] [40]
47	Elitza N. Maneva	[94] [95] [99] [115]
48	David L. Martin	[46]
49	Kathryn S. McKinley	[107]
50	Renée J. Miller	[72] [83] [91] [96]
51	Alan Nash	[111]
52	Jasmine Novak	[89]
53	Martin Otto	[47]
54	M. Tamer Özsu	[107]
55	Jonathan Panttaja	[73] [98]
56	Christos H. Papadimitriou	[4] [6] [7] [12] [94] [95] [99] [115] [120]
57	Enela Pema	[139] [140]
58	Lucian Popa	[67] [69] [72] [79] [83] [86] [87] [104] [105] [109] [110] [111] [121] [134] [135]
59	Thomas Raffill	[64]
60	Nicole Schweikardt	[129]
61	Thomas Schwentick	[57] [75]
62	D. Sivakumar	[89]
63	Jianwen Su	[125]
64	Wang Chiew Tan	[79] [86] [91] [96] [98] [105] [109] [116] [118] [121] [126] [128] [130] [133] [134] [135] [136] [139]
65	Madhukar N. Thakur	[14] [19] [21] [27] [35] [43] [46]
66	Alex Thomo	[84]
67	Andrew Tomkins	[89]
68	Jouko A. Väänänen	[17] [28]
69	Moshe Y. Vardi	[3] [5] [8] [9] [11] [15] [16] [18] [26] [34] [39] [44] [45] [52] [55] [58] [59] [65] [81] [113]
70	Erik Vee	[97]
71	Victor Vianu	[59] [76]
72	Heribert Vollmer	[100] [101] [102] [114]
73	Bruno Zanuttini	[85] [108]
74	Calisto Zuzarte	[84]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page