Ronald Fagin - RankMe

207 papers A* 54A 13B 9Misc 1Journal 104Unranked 18

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Applying Theory to Practice. J. Log. Comput. Ronald Fagin
2025	J	`jnl`	Multi-Structural Games and Number of Quantifiers. Log. Methods Comput. Sci. Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas
2025	J	`jnl`	New Foundations of Reasoning via Real-Valued First-order Logics. Bull. Symb. Log. Guillermo Badia, Ronald Fagin, Carles Noguera
2025	J	`jnl`	Who Wins the Multi-Structural Game? CoRR Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta
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`	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
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
2022	B	`conf`	On the Number of Quantifiers as a Complexity Measure. MFCS Ronald Fagin, Jonathan Lenchner, Nikhil Vyas, R. Ryan Williams
2022	J	`jnl`	On the Number of Quantifiers as a Complexity Measure. CoRR Ronald Fagin, Jonathan Lenchner, Nikhil Vyas, Ryan Williams
2021	A*	`conf`	Multi-Structural Games and Number of Quantifiers. LICS Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas
2021	J	`jnl`	Multi-Structural Games and Number of Quantifiers. CoRR Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas
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	—	`conf`	Panel on "Past and Future of Computer Science Theory" (Discussion Paper). SEBD Ronald Fagin, Georg Gottlob, Christos H. Papadimitriou, Moshe Y. Vardi, Giorgio Ausiello, Maurizio Lenzerini, Domenico Saccà, Luigi Palopoli, Francesco Scarcello
2020	J	`jnl`	Foundations of Reasoning with Uncertainty via Real-valued Logics. CoRR Ronald Fagin, Ryan Riegel, Alexander G. Gray
2020	J	`jnl`	Logical Neural Networks. CoRR Ryan Riegel, Alexander G. Gray, Francois P. S. Luus, Naweed Khan, Ndivhuwo Makondo, Ismail Yunus Akhalwaya, Haifeng Qian, Ronald Fagin, Francisco Barahona, Udit Sharma, Shajith Ikbal, Hima Karanam, Sumit Neelam, Ankita Likhyani, Santosh K. Srivastava
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	A	`conf`	Recursive Programs for Document Spanners. ICDT Liat Peterfreund, Balder ten Cate, Ronald Fagin, Benny Kimelfeld
2018	—	`ch.`	Equality-Generating Dependencies. Encyclopedia of Database Systems (2nd ed.) Ronald Fagin
2018	—	`ch.`	Score Aggregation. Encyclopedia of Database Systems (2nd ed.) Ronald Fagin
2018	—	`ch.`	Tuple-Generating Dependencies. Encyclopedia of Database Systems (2nd ed.) Ronald Fagin
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`	Recursive Programs for Document Spanners. CoRR Liat Peterfreund, Balder ten Cate, Ronald Fagin, Benny Kimelfeld
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	J	`jnl`	An Algorithmic View of Voting. SIAM J. Discret. Math. Ronald Fagin, Ravi Kumar, Mohammad Mahdian, D. Sivakumar, Erik Vee
2016	J	`jnl`	Declarative Cleaning of Inconsistencies in Information Extraction. ACM Trans. Database Syst. Ronald Fagin, Benny Kimelfeld, Frederick Reiss, Stijn Vansummeren
2016	A*	`conf`	Optimal Score Aggregation Algorithms. PODS Ronald Fagin
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`	A Relational Framework for Information Extraction. SIGMOD Rec. Ronald Fagin, Benny Kimelfeld, Frederick Reiss, Stijn Vansummeren
2015	A*	`conf`	Dichotomies in the Complexity of Preferred Repairs. PODS Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis
2015	J	`jnl`	Document Spanners: A Formal Approach to Information Extraction. J. ACM Ronald Fagin, Benny Kimelfeld, Frederick Reiss, Stijn Vansummeren
2014	A*	`conf`	Cleaning inconsistencies in information extraction via prioritized repairs. PODS Ronald Fagin, Benny Kimelfeld, Frederick Reiss, Stijn Vansummeren
2014	A	`conf`	The ICDT 2014 Test of Time Award. ICDT Michael Benedikt, Ronald Fagin, Wim Martens
2013	J	`jnl`	A New Approach to Updating Beliefs CoRR Ronald Fagin, Joseph Y. Halpern
2013	A	`conf`	Applying theory to practice. CIKM Ronald Fagin
2013	J	`jnl`	Solutions and query rewriting in data exchange. Inf. Comput. Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin
2013	A*	`conf`	Spanners: a formal framework for information extraction. PODS Ronald Fagin, Benny Kimelfeld, Frederick Reiss, Stijn Vansummeren
2012	A	`conf`	A normal form for preventing redundant tuples in relational databases. ICDT Hugh Darwen, C. J. Date, Ronald Fagin
2012	A*	`conf`	Local transformations and conjunctive-query equivalence. PODS Ronald Fagin, Phokion G. Kolaitis
2011	J	`jnl`	Composition with Target Constraints Log. Methods Comput. Sci. Marcelo Arenas, Ronald Fagin, Alan Nash
2011	J	`jnl`	Foreword. Theory Comput. Syst. Albert Atserias, Mikolaj Bojanczyk, Balder ten Cate, Ronald Fagin, Floris Geerts, Kenneth A. Ross
2011	J	`jnl`	Probabilistic data exchange. J. ACM Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis
2011	J	`jnl`	Reverse data exchange: Coping with nulls. ACM Trans. Database Syst. Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan
2011	A*	`conf`	Rewrite rules for search database systems. PODS Ronald Fagin, Benny Kimelfeld, Yunyao Li, Sriram Raghavan, Shivakumar Vaithyanathan
2011	—	`ch.`	Schema Mapping Evolution Through Composition and Inversion. Schema Matching and Mapping Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan
2010	A	`conf`	Composition with target constraints. ICDT Marcelo Arenas, Ronald Fagin, Alan Nash
2010	J	`jnl`	Epistemic privacy. J. ACM Alexandre V. Evfimievski, Ronald Fagin, David P. Woodruff
2010	A	`conf`	Probabilistic data exchange. ICDT Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis
2010	J	`jnl`	The structure of inverses in schema mappings. J. ACM Ronald Fagin, Alan Nash
2010	A*	`conf`	Understanding queries in a search database system. PODS Ronald Fagin, Benny Kimelfeld, Yunyao Li, Sriram Raghavan, Shivakumar Vaithyanathan
2009	—	`conf`	Clio: Schema Mapping Creation and Data Exchange. Conceptual Modeling: Foundations and Applications Ronald Fagin, Laura M. Haas, Mauricio A. Hernández, Renée J. Miller, Lucian Popa, Yannis Velegrakis
2009	A	`ed.`	Database Theory - ICDT 2009, 12th International Conference, St. Petersburg, Russia, March 23-25, 2009, Proceedings ICDT Ronald Fagin
2009	—	`ch.`	Equality-Generating Dependencies. Encyclopedia of Database Systems Ronald Fagin
2009	Misc	`conf`	Finite Model Theory and its Origins. APCCM Ronald Fagin
2009	A*	`conf`	Reverse data exchange: coping with nulls. PODS Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan
2009	—	`ch.`	Tuple-Generating Dependencies. Encyclopedia of Database Systems Ronald Fagin
2008	—	`conf`	Corrigendum to "efficient similarity search and classification via rank aggregation" by Ronald Fagin, Ravi Kumar and D. Sivakumar (proc. SIGMOD'03). SIGMOD Conference Alexandr Andoni, Ronald Fagin, Ravi Kumar, Mihai Patrascu, D. Sivakumar
2008	A*	`conf`	Epistemic privacy. PODS Alexandre V. Evfimievski, Ronald Fagin, David P. Woodruff
2008	J	`jnl`	Quasi-inverses of schema mappings. ACM Trans. Database Syst. Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan
2008	A*	`conf`	Towards a theory of schema-mapping optimization. PODS Ronald Fagin, Phokion G. Kolaitis, Alan Nash, Lucian Popa
2007	J	`jnl`	Inverting schema mappings. ACM Trans. Database Syst. Ronald Fagin
2007	A*	`conf`	Quasi-inverses of schema mappings. PODS Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan
2006	J	`jnl`	Comparing Partial Rankings. SIAM J. Discret. Math. Ronald Fagin, Ravi Kumar, Mohammad Mahdian, D. Sivakumar, Erik Vee
2006	A*	`conf`	Inverting schema mappings. PODS Ronald Fagin
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	A*	`conf`	Multi-structural databases. PODS Ronald Fagin, Ramanathan V. Guha, Ravi Kumar, Jasmine Novak, D. Sivakumar, Andrew Tomkins
2005	A*	`ed.`	Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005 STOC Harold N. Gabow, Ronald Fagin
2004	A*	`conf`	Comparing and Aggregating Rankings with Ties. PODS Ronald Fagin, Ravi Kumar, Mohammad Mahdian, D. Sivakumar, Erik Vee
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`	Locally Consistent Transformations and Query Answering in Data Exchange. PODS Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin
2003	J	`jnl`	Comparing Top k Lists. SIAM J. Discret. Math. Ronald Fagin, Ravi Kumar, D. Sivakumar
2003	A*	`conf`	Comparing top k lists. SODA Ronald Fagin, Ravi Kumar, D. Sivakumar
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	—	`conf`	Efficient similarity search and classification via rank aggregation. SIGMOD Conference Ronald Fagin, Ravi Kumar, D. Sivakumar
2003	J	`jnl`	Optimal aggregation algorithms for middleware. J. Comput. Syst. Sci. Ronald Fagin, Amnon Lotem, Moni Naor
2003	A*	`conf`	Searching the workplace web. WWW Ronald Fagin, Ravi Kumar, Kevin S. McCurley, Jasmine Novak, D. Sivakumar, John A. Tomlin, David P. Williamson
2002	J	`jnl`	Combining Fuzzy Information: an Overview. SIGMOD Rec. Ronald Fagin
2002	J	`jnl`	Compactly encoding unstructured inputs with differential compression. J. ACM Miklós Ajtai, Randal C. Burns, Ronald Fagin, Darrell D. E. Long, Larry J. Stockmeyer
2002	J	`jnl`	Guest Editor's Foreword. J. Comput. Syst. Sci. Lenore Cowen, Ronald Fagin, Joe Kilian, Jon M. Kleinberg
2002	J	`jnl`	Optimal Aggregation Algorithms for Middleware CoRR Ronald Fagin, Amnon Lotem, Moni Naor
2002	J	`jnl`	Query Strategies for Priced Information. J. Comput. Syst. Sci. Moses Charikar, Ronald Fagin, Venkatesan Guruswami, Jon M. Kleinberg, Prabhakar Raghavan, Amit Sahai
2002	J	`jnl`	Schema Management. IEEE Data Eng. Bull. Periklis Andritsos, Ronald Fagin, Ariel Fuxman, Laura M. Haas, Mauricio A. Hernández, C. T. Howard Ho, Anastasios Kementsietsidis, Renée J. Miller, Felix Naumann, Lucian Popa, Yannis Velegrakis, Charlotte Vilarem, Ling-Ling Yan
2002	A*	`conf`	Translating Web Data. VLDB Lucian Popa, Yannis Velegrakis, Renée J. Miller, Mauricio A. Hernández, Ronald Fagin
2001	—	`conf`	Data-Driven Understanding and Refinement of Schema Mappings. SIGMOD Conference Ling-Ling Yan, Renée J. Miller, Laura M. Haas, Ronald Fagin
2001	A*	`conf`	Optimal Aggregation Algorithms for Middleware. PODS Ronald Fagin, Amnon Lotem, Moni Naor
2001	A*	`conf`	Static Index Pruning for Information Retrieval Systems. SIGIR Aya Soffer, David Carmel, Doron Cohen, Ronald Fagin, Eitan Farchi, Michael Herscovici, Yoëlle S. Maarek
2001	J	`jnl`	The Clio Project: Managing Heterogeneity. SIGMOD Rec. Renée J. Miller, Mauricio A. Hernández, Laura M. Haas, Ling-Ling Yan, C. T. Howard Ho, Ronald Fagin, Lucian Popa
2000	J	`jnl`	A formula for incorporating weights into scoring rules. Theor. Comput. Sci. Ronald Fagin, Edward L. Wimmers
2000	—	`conf`	Allowing users to weight search terms. RIAO Ronald Fagin, Yoëlle S. Maarek
2000	A*	`conf`	Logic, Complexity, and Games. LICS Ronald Fagin
2000	A*	`conf`	Query strategies for priced information (extended abstract). STOC Moses Charikar, Ronald Fagin, Venkatesan Guruswami, Jon M. Kleinberg, Prabhakar Raghavan, Amit Sahai
2000	A*	`conf`	Random walks with "back buttons" (extended abstract). STOC Ronald Fagin, Anna R. Karlin, Jon M. Kleinberg, Prabhakar Raghavan, Sridhar Rajagopalan, Ronitt Rubinfeld, Madhu Sudan, Andrew Tomkins
2000	J	`jnl`	The Closure of Monadic NP. J. Comput. Syst. Sci. Miklós Ajtai, Ronald Fagin, Larry J. Stockmeyer
1999	J	`jnl`	Combining Fuzzy Information from Multiple Systems. J. Comput. Syst. Sci. Ronald Fagin
1999	J	`jnl`	Common Knowledge Revisited. Ann. Pure Appl. Log. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1999	J	`jnl`	The hierarchical approach to modeling knowledge and common knowledge. Int. J. Game Theory Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi
1998	J	`jnl`	Common knowledge revisited CoRR Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1998	A*	`conf`	Fuzzy Queries in Multimedia Database Systems. PODS Ronald Fagin
1998	J	`jnl`	Relaxing the Triangle Inequality in Pattern Matching. Int. J. Comput. Vis. Ronald Fagin, Larry J. Stockmeyer
1998	A*	`conf`	The Closure of Monadic NP (Extended Abstract). STOC Miklós Ajtai, Ronald Fagin, Larry J. Stockmeyer
1997	J	`jnl`	Comparing the Power of Games on Graphs. Math. Log. Q. Ronald Fagin
1997	A	`conf`	Incorporating User Preferences in Multimedia Queries. ICDT Ronald Fagin, Edward L. Wimmers
1997	J	`jnl`	Knowledge-Based Programs. Distributed Comput. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1997	J	`jnl`	On Winning Strategies in Ehrenfeucht-Fraïssé Games. Theor. Comput. Sci. Sanjeev Arora, Ronald Fagin
1997	J	`jnl`	Reasoning about Knowledge: A Response by the Authors. Minds Mach. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1997	B	`conf`	Spectra with Only Unary Function Symbols. CSL Arnaud Durand, Ronald Fagin, Bernd Loescher
1996	A*	`conf`	Combining Fuzzy Information from Multiple Systems. PODS Ronald Fagin
1996	B	`conf`	Common Knowledge Revisited. TARK Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1996	J	`jnl`	Comparing Information Without Leaking It. Commun. ACM Ronald Fagin, Moni Naor, Peter Winkler
1996	—	`conf`	Easier Ways to Win Logical Games. Descriptive Complexity and Finite Models Ronald Fagin
1996	J	`jnl`	Efficiently Extendible Mappings for Balanced Data Distribution. Algorithmica David M. Choy, Ronald Fagin, Larry J. Stockmeyer
1996	—	`conf`	The Garlic Project. SIGMOD Conference Mary Tork Roth, Manish Arya, Laura M. Haas, Michael J. Carey, William F. Cody, Ronald Fagin, Peter M. Schwarz, Joachim Thomas, Edward L. Wimmers
1995	J	`jnl`	A Nonstandard Approach to the Logical Omniscience Problem. Artif. Intell. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1995	A*	`conf`	Knowledge-Based Programs. PODC Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1995	J	`jnl`	On Monadic NP vs. Monadic co-NP Inf. Comput. Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi
1995	—	`conf`	Querying Multimedia Data from Multiple Repositories by Content: the Garlic Project. VDB William F. Cody, Laura M. Haas, Wayne Niblack, Manish Arya, Michael J. Carey, Ronald Fagin, Myron Flickner, Denis Lee, Dragutin Petkovic, Peter M. Schwarz, Joachim Thomas, Mary Tork Roth, John H. Williams, Edward L. Wimmers
1995	—	`book`	Reasoning About Knowledge. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1995	—	`book`	Reasoning about knowledge. Ronald Fagin
1995	—	`conf`	Towards Heterogeneous Multimedia Information Systems: The Garlic Approach. RIDE-DOM Michael J. Carey, Laura M. Haas, Peter M. Schwarz, Manish Arya, William F. Cody, Ronald Fagin, Myron Flickner, Allen Luniewski, Wayne Niblack, Dragutin Petkovic, Joachim Thomas, John H. Williams, Edward L. Wimmers
1994	J	`jnl`	A Quantitative Analysis of Modal Logic. J. Symb. Log. Ronald Fagin
1994	A*	`conf`	An Operational Semantics for Knowledge Bases. AAAI Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1994	—	`conf`	Comparing the Power of Monadic NP Games. LCC Ronald Fagin
1994	B	`ed.`	Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994 TARK Ronald Fagin
1994	J	`jnl`	Reasoning About Knowledge and Probability. J. ACM Ronald Fagin, Joseph Y. Halpern
1993	J	`jnl`	Finite-Model Theory - A Personal Perspective. Theor. Comput. Sci. Ronald Fagin
1993	—	`conf`	On Monadic NP vs. Monadic co-NP (Extended Abstract). SCT Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi
1993	J	`jnl`	Response to "Remarks on Two New Theorems of Date and Fagin". SIGMOD Rec. C. J. Date, Ronald Fagin
1992	J	`jnl`	Simple Conditions for Guaranteeing Higher Normal Forms in Relational Databases. ACM Trans. Database Syst. C. J. Date, Ronald Fagin
1992	B	`conf`	The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. TARK Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi
1992	J	`jnl`	Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. Artif. Intell. Joseph Y. Halpern, Ronald Fagin
1992	J	`jnl`	What Can Machines Know? On the Properties of Knowledge in Distributed Systems. J. ACM Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1992	J	`jnl`	What Is an Inference Rule? J. Symb. Log. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1991	J	`jnl`	A Model-Theoretic Analysis of Knowledge. J. ACM Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1991	J	`jnl`	Uncertainty, belief, and probability. Comput. Intell. Ronald Fagin, Joseph Y. Halpern
1990	J	`jnl`	A Logic for Reasoning about Probabilities Inf. Comput. Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo
1990	B	`conf`	A Nonstandard Approach to the Logical Omniscience Problem. TARK Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1990	A	`conf`	A new approach to updating beliefs. UAI Ronald Fagin, Joseph Y. Halpern
1990	A	`conf`	Finite-Model Theory - a Personal Perspective. ICDT Ronald Fagin
1990	J	`jnl`	Reachability Is Harder for Directed than for Undirected Finite Graphs. J. Symb. Log. Miklós Ajtai, Ronald Fagin
1990	A*	`conf`	Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. AAAI Joseph Y. Halpern, Ronald Fagin
1990	—	`conf`	What is an inference rule? Jerusalem Conference on Information Technology Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1989	J	`jnl`	Modelling Knowledge and Action in Distributed Systems. Distributed Comput. Joseph Y. Halpern, Ronald Fagin
1989	A*	`conf`	Uncertainty, Belief, and Probability. IJCAI Ronald Fagin, Joseph Y. Halpern
1988	A*	`conf`	A Logic for Reasoning about Probabilities LICS Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo
1988	J	`jnl`	I'm OK if you're OK: On the notion of trusting communication. J. Philos. Log. Ronald Fagin, Joseph Y. Halpern
1988	—	`conf`	Modelling Knowledge and Action in Distributed Systems. Concurrency Joseph Y. Halpern, Ronald Fagin
1988	A*	`conf`	Reachability Is Harder for Directed than for Undirected Finite Graphs (Preliminary Version) FOCS Miklós Ajtai, Ronald Fagin
1988	B	`conf`	Reasoning about Knowledge and Probability. TARK Ronald Fagin, Joseph Y. Halpern
1987	J	`jnl`	Belief, Awareness, and Limited Reasoning. . Artif. Intell. Ronald Fagin, Joseph Y. Halpern
1987	J	`jnl`	Correction to "An equivalence between relational database dependencies and a fragment of propositional logic". J. ACM Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin
1987	A*	`conf`	I'm OK if You're OK: On the Notion of Trusting Communication LICS Ronald Fagin, Joseph Y. Halpern
1986	J	`jnl`	A Simple Characterization of Database Dependency Implication. Inf. Process. Lett. Yoshito Hanatani, Ronald Fagin
1986	B	`conf`	Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report. TARK Ronald Fagin, Moshe Y. Vardi
1986	J	`jnl`	Updating Logical Databases. Adv. Comput. Res. Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi
1986	A*	`conf`	What Can Machines Know? On the Epistemic Properties of Machines. AAAI Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1985	A*	`conf`	A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report. PODC Joseph Y. Halpern, Ronald Fagin
1985	A*	`conf`	An Internal Semantics for Modal Logic: Preliminary Report STOC Ronald Fagin, Moshe Y. Vardi
1985	A*	`conf`	Belief, Awareness, and Limited Reasoning: Preliminary Report. IJCAI Ronald Fagin, Joseph Y. Halpern
1985	J	`jnl`	Bounded-Depth, Polynomial-Size Circuits for Symmetric Functions. Theor. Comput. Sci. Ronald Fagin, Maria M. Klawe, Nicholas Pippenger, Larry J. Stockmeyer
1985	J	`jnl`	Decreasing the Nesting Depth of Expressions Involving Square Roots. J. Symb. Comput. Allan Borodin, Ronald Fagin, John E. Hopcroft, Martin Tompa
1984	A*	`conf`	A Model-Theoretic Analysis of Knowledge: Preliminary Report FOCS Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1984	J	`jnl`	Inclusion Dependencies and Their Interaction with Functional Dependencies. J. Comput. Syst. Sci. Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou
1984	J	`jnl`	On the Structure of Armstrong Relations for Functional Dependencies. J. ACM Catriel Beeri, Martin Dowd, Ronald Fagin, Richard Statman
1984	A*	`ed.`	Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada Daniel J. Rosenkrantz, Ronald Fagin
1984	A*	`conf`	The Theory of Data Dependencies - An Overview. ICALP Ronald Fagin, Moshe Y. Vardi
1983	J	`jnl`	A Fair Carpool Scheduling Algorithm. IBM J. Res. Dev. Ronald Fagin, John H. Williams
1983	—	`conf`	Acyclic Database Schemes (of Various Degrees): A Painless Introduction. CAAP Ronald Fagin
1983	J	`jnl`	Armstrong Databases for Functional and Inclusion Dependencies. Inf. Process. Lett. Ronald Fagin, Moshe Y. Vardi
1983	J	`jnl`	Degrees of Acyclicity for Hypergraphs and Relational Database Schemes J. ACM Ronald Fagin
1983	J	`jnl`	On the Desirability of Acyclic Database Schemes J. ACM Catriel Beeri, Ronald Fagin, David Maier, Mihalis Yannakakis
1983	A*	`conf`	On the Semantics of Updates in Databases. PODS Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi
1983	A*	`ed.`	Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 25-27 April, 1983, Boston, Massachusetts, USA STOC David S. Johnson, Ronald Fagin, Michael L. Fredman, David Harel, Richard M. Karp, Nancy A. Lynch, Christos H. Papadimitriou, Ronald L. Rivest, Walter L. Ruzzo, Joel I. Seiferas
1983	A*	`ed.`	Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta, Georgia, USA Ronald Fagin, Philip A. Bernstein
1983	J	`jnl`	Tools for Template Dependencies. SIAM J. Comput. Ronald Fagin, David Maier, Jeffrey D. Ullman, Mihalis Yannakakis
1982	J	`jnl`	A Simplified Universal Relation Assumption and Its Properties. ACM Trans. Database Syst. Ronald Fagin, Alberto O. Mendelzon, Jeffrey D. Ullman
1982	J	`jnl`	Horn clauses and database dependencies. J. ACM Ronald Fagin
1982	A*	`conf`	Inclusion Dependencies and Their Interaction with Functional Dependencies. PODS Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou
1981	J	`jnl`	A Normal Form for Relational Databases That Is Based on Domians and Keys. ACM Trans. Database Syst. Ronald Fagin
1981	J	`jnl`	A Note on the Existence of Continuous Functionals. Theor. Comput. Sci. J. Lawrence Carter, Ronald Fagin
1981	J	`jnl`	An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic. J. ACM Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin
1981	A*	`conf`	Properties of Acyclic Database Schemes STOC Catriel Beeri, Ronald Fagin, David Maier, Alberto O. Mendelzon, Jeffrey D. Ullman, Mihalis Yannakakis
1980	A*	`conf`	Horn Clauses and Database Dependencies (Extended Abstract) STOC Ronald Fagin
1979	J	`jnl`	Extendible Hashing - A Fast Access Method for Dynamic Files. ACM Trans. Database Syst. Ronald Fagin, Jürg Nievergelt, Nicholas Pippenger, H. Raymond Strong
1979	—	`conf`	Normal Forms and Relational Database Operators. SIGMOD Conference Ronald Fagin
1978	J	`jnl`	Cold-Start vs. Warm-Start Miss Ratios. Commun. ACM Malcolm C. Easton, Ronald Fagin
1978	J	`jnl`	Efficient Calculation of Expected Miss Ratios in the Independent Reference Model. SIAM J. Comput. Ronald Fagin, Thomas G. Price
1978	J	`jnl`	On an Authorization Mechanism. ACM Trans. Database Syst. Ronald Fagin
1977	—	`conf`	A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations. SIGMOD Conference Catriel Beeri, Ronald Fagin, John H. Howard
1977	J	`jnl`	Asymptotic Miss Ratios over Independent References. J. Comput. Syst. Sci. Ronald Fagin
1977	J	`jnl`	Functional Dependencies in a Relational Data Base and Propositional Logic. IBM J. Res. Dev. Ronald Fagin
1977	J	`jnl`	Multivalued Dependencies and a New Normal Form for Relational Databases. ACM Trans. Database Syst. Ronald Fagin
1977	A*	`conf`	The Decomposition Versus Synthetic Approach to Relational Database Design. VLDB Ronald Fagin
1977	J	`jnl`	The number of finite relational structures. Discret. Math. Ronald Fagin
1976	J	`jnl`	A Counterintuitive Example of Computer Paging. Commun. ACM Ronald Fagin
1976	J	`jnl`	Probabilities on Finite Models. J. Symb. Log. Ronald Fagin
1976	J	`jnl`	The independence of miss ratio on page size. J. ACM Ronald Fagin, Malcolm C. Easton
1975	J	`jnl`	A spectrum hierarchy. Math. Log. Q. Ronald Fagin
1975	J	`jnl`	A two-cardinal characterization of double spectra. Math. Log. Q. Ronald Fagin
1975	J	`jnl`	Monadic generalized spectra. Math. Log. Q. Ronald Fagin