 | 










| |
Online DBLP entries are available for Moshe Y. Vardi and the following references. (The DiSC DBLP references below have been taken from the Novemember 1998 DBLP.)
-
Moshe Y. Vardi: Reasoning about The Past with Two-Way Automata.
ICALP
1998: 628-641
-
Phokion
G. Kolaitis, Moshe Y. Vardi: Conjunctive-Query Containment and Constraint
Satisfaction.
PODS
1998: 205-213
-
Joan
Feigenbaum,
Sampath
Kannan, Moshe Y. Vardi,
M.
Viswanathan: Complexity of Problems on Graphs Represented as OBDDs
(Extended Abstract).
STACS
1998: 216-226
-
Moshe Y. Vardi: Alternating Automata: Unifying Truth and Validity Checking
for Temporal Logics.
CADE
1997: 191-206
-
Neil
Immerman, Moshe Y. Vardi: Model Checking and Transitive-Closure Logic.
CAV
1997: 291-302
-
Orna
Kupferman, Moshe Y. Vardi: Model Checking Revisited.
CAV
1997: 36-47
-
Moshe Y. Vardi: Verification of Open Systems.
FSTTCS
1997: 250-266
-
Kousha
Etessami, Moshe Y. Vardi,
Thomas
Wilke: First-Order Logic with Two Variables and Unary Temporal Logic.
LICS
1997: 228-235
-
Ronald
Fagin,
Joseph
Y. Halpern,
Yoram
Moses, Moshe Y. Vardi: Knowledge-Based Programs.
Distributed
Computing 10(4): 199-225 (1997)
-
Serge
Abiteboul, Moshe Y. Vardi,
Victor
Vianu: Fixpoint Logics, Relational Machines, and Computational Complexity.
JACM
44(1): 30-56 (1997)
-
Surajit
Chaudhuri, Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive
Datalog Programs.
JCSS
54(1): 61-78 (1997)
-
Orna
Kupferman, Moshe Y. Vardi: Verification of Fair Transisiton Systems.
CAV
1996: 372-382
-
Orna
Kupferman, Moshe Y. Vardi: Module Checking.
CAV
1996: 75-86
-
Surajit
Chaudhuri,
Ashok
K. Chandra,
Umeshwar
Dayal,
Jim
Gray,
Michael
Stonebraker,
Gio
Wiederhold, Moshe Y. Vardi: Database Research: Lead, Follow, or Get
Out of the Way? - Panel.
ICDE
1996: 190
-
Orna
Kupferman,
Shmuel
Safra, Moshe Y. Vardi: Relating Word and Tree Automata.
LICS
1996: 322-332
-
Phokion
G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Variable-Confined
Logics.
LICS
1996: 348-359
-
Serge
Abiteboul,
Gabriel
M. Kuper,
Christos
H. Papadimitriou, Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis.
PODS
1996: 79
-
Serge
Abiteboul,
Gabriel
M. Kuper,
Harry
G. Mairson,
Alexander
A. Shvartsman, Moshe Y. Vardi: In Memoriam Paris C. Kanellakis.
Computing
Surveys 28(1): 3-15 (1996)
-
Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis (1953-1995).
Information
and Computation 127(2): 65 (1996)
-
Moshe Y. Vardi: An Automata-Theoretic Approach to Fair Realizability and
Synthesis.
CAV
1995: 267-278
-
Moshe Y. Vardi: Alternating Automata and Program Verification.
Computer
Science Today 1995: 471-485
-
Moshe Y. Vardi: On the Complexity of Modular Model Checking.
LICS
1995: 101-111
-
Ronald
Fagin,
Joseph
Y. Halpern,
Yoram
Moses, Moshe Y. Vardi: Knowledge-Based Programs.
PODC
1995: 153-163
-
Moshe Y. Vardi: On the Complexity of Bounded-Variable Queries.
PODS
1995: 266-276
-
Ronald
Fagin,
Joseph
Y. Halpern, Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience
Problem.
Artificial
Intelligence 79(2): 203-240 (1995)
-
Ronald
Fagin,
Larry
J. Stockmeyer, Moshe Y. Vardi: On Monadic NP vs. Monadic co-NP.
Information
and Computation 120(1): 78-92 (1995)
-
Phokion
G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Datalog: Tools
and a Case Study.
JCSS
51(1): 110-134 (1995)
-
Gerd
G. Hillebrand,
Paris
C. Kanellakis,
Harry
G. Mairson, Moshe Y. Vardi: Undecidable Boundedness Problems for Datalog
Programs.
JLP
25(2): 163-190 (1995)
-
Serge
Abiteboul, Moshe Y. Vardi,
Victor
Vianu: Computing with Infinitary Logic.
TCS
149(1): 101-128 (1995)
-
Ronald
Fagin,
Joseph
Y. Halpern,
Yoram
Moses, Moshe Y. Vardi: An Operational Semantics for Knowledge Bases.
AAAI,
Vol. 2 1994: 1142-1147
-
Orna
Bernholtz, Moshe Y. Vardi,
Pierre
Wolper: An Automata-Theoretic Approach to Branching-Time Model Checking
(Extended Abstract).
CAV
1994: 142-155
-
Surajit
Chaudhuri, Moshe Y. Vardi: On the Complexity of Equivalence between
Recursive and Nonrecursive Datalog Programs.
PODS
1994: 107-116
-
Moshe Y. Vardi,
Pierre
Wolper: Reasoning About Infinite Computations.
Information
and Computation 115(1): 1-37 (1994)
-
Alexander
Aiken,
Dexter
Kozen, Moshe Y. Vardi,
Edward
L. Wimmers: The Complexity of Set Constraints.
CSL
1993: 1-17
-
Surajit
Chaudhuri, Moshe Y. Vardi: Optimization of Real Conjunctive
Queries.
PODS
1993: 59-70
-
Rajeev
Alur,
Thomas
A. Henzinger, Moshe Y. Vardi: Parametric Real-time Reasoning.
STOC
1993: 592-601
-
Tomás
Feder, Moshe Y. Vardi: Monotone Monadic SNP and Constraint Satisfaction.
STOC
1993: 612-622
-
Haim
Gaifman,
Harry
G. Mairson,
Yehoshua
Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database
Logic Programs.
JACM
40(3): 683-713 (1993)
-
Raghu
Ramakrishnan,
Yehoshua
Sagiv,
Jeffrey
D. Ullman, Moshe Y. Vardi: Logical Query Optimization by Proff-Tree
Transformation.
JCSS
47(1): 222-248 (1993)
-
Gabriel
M. Kuper, Moshe Y. Vardi: On the Complexity of Queries in the Logical
Data Model.
TCS
116(1&2): 33-57 (1993)
-
Gabriel
M. Kuper, Moshe Y. Vardi: The Logical Data Model.
TODS
18(3): 379-413 (1993)
-
Phokion
G. Kolaitis, Moshe Y. Vardi: Infinitary Logic for Computer Science.
ICALP
1992: 450-473
-
Serge
Abiteboul, Moshe Y. Vardi,
Victor
Vianu: Computing with Infinitary Logic.
ICDT
1992: 113-123
-
Phokion
G. Kolaitis, Moshe Y. Vardi: Fixpoint Logic vs. Infinitary Logic in
Finite-Model Theory.
LICS
1992: 46-57
-
Surajit
Chaudhuri, Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive
Datalog Programs.
PODS
1992: 55-66
-
Moshe Y. Vardi: Automata Theory for Database Theoreticans.
Theoretical
Studies in Computer Science 1992: 153-180
-
Phokion
G. Kolaitis, Moshe Y. Vardi: Infinitary Logics and 0-1 Laws.
Information
and Computation 98(2): 258-294 (1992)
-
Ronald
Fagin,
Joseph
Y. Halpern, Moshe Y. Vardi: What Can Machines Know? On the Properties
of Knowledge in Distributed Systems.
JACM
39(2): 328-376 (1992)
-
Joseph
Y. Halpern, Moshe Y. Vardi: Model Checking vs. Theorem Proving: A Manifesto.
KR
1991: 325-334
-
Thom
W. Frühwirth,
Ehud
Y. Shapiro, Moshe Y. Vardi,
Eyal
Yardeni: Logic Programs as Types for Logic Programs.
LICS
1991: 300-309
-
Gerd
G. Hillebrand,
Paris
C. Kanellakis,
Harry
G. Mairson, Moshe Y. Vardi: Tools for Datalog Boundedness.
PODS
1991: 1-12
-
Ronald
Fagin,
Joseph
Y. Halpern, Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge.
JACM
38(2): 382-428 (1991)
-
Moshe Y. Vardi: Database Logic Programming.
JLP
10(1/2/3&4): 179-180 (1991)
-
Moshe Y. Vardi: Global Optimization Problems for Database Logic Programs.
ICLP
1990: 767-771
-
Phokion
G. Kolaitis, Moshe Y. Vardi: 0-1 Laws for Infinitary Logics (Preliminary
Report).
LICS
1990: 156-167
-
David
Harel,
Roni
Rosner, Moshe Y. Vardi: On the Power of Bounded Concurrency~III: Reasoning
About Programs (Preliminary Report).
LICS
1990: 478-488
-
Phokion
G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Datalog: Tools
and a Case Study.
PODS
1990: 61-71
-
Moshe Y. Vardi: Endmarkers can Make a Difference.
IPL
35(3): 145-148 (1990)
-
Phokion
G. Kolaitis, Moshe Y. Vardi: 0-1 Laws and Decision Problems for Fragments
of Second-Order Logic.
Information
and Computation 87(1/2): 301-337 (1990)
-
Stavros
S. Cosmadakis,
Paris
C. Kanellakis, Moshe Y. Vardi: Polynomial-Time Implication Problems
for Unary Inclusion Dependencies.
JACM
37(1): 15-46 (1990)
-
Moshe Y. Vardi: On the Complexity of Epistemic Reasoning.
LICS
1989: 243-252
-
Yehoshua
Sagiv, Moshe Y. Vardi: Safety of Datalog Queries over Infinite Databases.
PODS
1989: 160-171
-
Raghu
Ramakrishnan,
Yehoshua
Sagiv,
Jeffrey
D. Ullman, Moshe Y. Vardi: Proof-Tree Transformation Theorems and Their
Applications.
PODS
1989: 172-181
-
Moshe Y. Vardi: Automata Theory for Database Theoreticans.
PODS
1989: 83-92
-
Shmuel
Safra, Moshe Y. Vardi: On omega-Automata and Temporal Logic (Preliminary
Report).
STOC
1989: 127-137
-
Moshe Y. Vardi: A Note on the Reduction of Two-Way Automata to One-Way
Automata.
IPL
30(5): 261-264 (1989)
-
Joseph
Y. Halpern, Moshe Y. Vardi: The Complexity of Reasoning about Knowledge
and Time. I. Lower Bounds.
JCSS
38(1): 195-237 (1989)
-
Gabriel
M. Kuper, Moshe Y. Vardi: On the Complexity of Queries in the Logical
Data Model (Extended Abstract).
ICDT
1988: 267-280
-
Phokion
G. Kolaitis, Moshe Y. Vardi: 0-1 Laws and Decision Problems for Fragments
of Second-Order Logic.
LICS
1988: 2-11
-
Moshe Y. Vardi: Decidability and Undecidability Results for Boundedness
of Linear Recursive Queries.
PODS
1988: 341-351
-
Jeffrey
D. Ullman, Moshe Y. Vardi: The Complexity of Ordering Subgoals.
PODS
1988: 74-81
-
Moshe Y. Vardi: A Temporal Fixpoint Calculus.
POPL
1988: 250-259
-
Moshe Y. Vardi: Database Logic Programming, Deductive Databases, and Expert
Database Systems.
SIGMOD
Conference 1988: 7
-
Stavros
S. Cosmadakis,
Haim
Gaifman,
Paris
C. Kanellakis, Moshe Y. Vardi: Decidable Optimization Problems for
Database Logic Programs (Preliminary Report).
STOC
1988: 477-490
-
Joseph
Y. Halpern, Moshe Y. Vardi: Reasoning about Knowledge and Time in Asynchronous
Systems.
STOC
1988: 53-65
-
Haim
Gaifman,
Harry
G. Mairson,
Yehoshua
Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database
Logic Programs.
LICS
1987: 106-115
-
Moshe Y. Vardi: Verification of Concurrent Programs: The Automata-Theoretic
Framework.
LICS
1987: 167-176
-
Phokion
G. Kolaitis, Moshe Y. Vardi: The Decision Problem for the Probabilities
of Higher-Order Properties.
STOC
1987: 425-435
-
A.
Prasad Sistla, Moshe Y. Vardi,
Pierre
Wolper: The Complementation Problem for Büchi Automata with Appplications
to Temporal Logic.
TCS
49: 217-237 (1987)
-
Ronald
Fagi,
Joseph
Y. Halpern, Moshe Y. Vardi: What Can Machines Know? On the Epistemic
Properties of Machines.
AAAA,
Vol. 1 1986: 428-435
-
Moshe Y. Vardi,
Pierre
Wolper: An Automata-Theoretic Approach to Automatic Program Verification
(Preliminary Report).
LICS
1986: 332-344
-
Moshe Y. Vardi: On the Integrity of Databases with Incomplete Information.
PODS
1986: 252-266
-
Constantin
Courcoubetis, Moshe Y. Vardi,
Pierre
Wolper: Reasoning about Fair Concurrent Programs.
STOC
1986: 283-294
-
Joseph
Y. Halpern, Moshe Y. Vardi: The Complexity of Reasoning about Knowledge
and Time: Extended Abstract.
STOC
1986: 304-315
-
Johann
A. Makowsky, Moshe Y. Vardi: On the Expressive Power of Data Dependencies.
Acta
Informatica 23(3): 231-244 (1986)
-
Ronald
Fagin,
Gabriel
M. Kuper,
Jeffrey
D. Ullman, Moshe Y. Vardi: Updating Logical Databases.
Advances
in Computing Research 3: 1-18 (1986)
-
Marc
H. Graham,
Alberto
O. Mendelzon, Moshe Y. Vardi: Notions of Dependency Satisfaction.
JACM
33(1): 105-129 (1986)
-
Moshe Y. Vardi,
Pierre
Wolper: Automata-Theoretic Techniques for Modal Logics of Programs.
JCSS
32(2): 183-221 (1986)
-
Moshe Y. Vardi: Querying Logical Databases.
JCSS
33(2): 142-160 (1986)
-
Moshe Y. Vardi: Automatic Verification of Probabilistic Concurrent Finite-State
Programs.
FOCS
1985: 327-338
-
A.
Prasad Sistla, Moshe Y. Vardi,
Pierre
Wolper: The Complementation Problem for Büchi Automata with Applications
to Temporal Logic (Extended Abstract).
ICALP
1985: 465-474
-
Moshe Y. Vardi: A Model-Theoretic Analysis of Monotonic Knowledge.
IJCAI
1985: 509-512
-
Moshe Y. Vardi: Querying Logical Databases.
PODS
1985: 57-65
-
Gabriel
M. Kuper, Moshe Y. Vardi: On the Expressive Power of the Logical Data
Model (Preliminary Report).
SIGMOD
Conference 1985: 180-187
-
Moshe Y. Vardi,
Larry
J. Stockmeyer: Improved Upper and Lower Bounds for Modal Logics of
Programs: Preliminary Report.
STOC
1985: 240-251
-
Ronald
Fagin, Moshe Y. Vardi: An Internal Semantics for Modal Logic: Preliminary
Report.
STOC
1985: 305-315
-
Ashok
K. Chandra, Moshe Y. Vardi: The Implication Problem for Functional
and Inclusion Dependencies is Undecidable.
SIAM
J. Comput. 14(3): 671-677 (1985)
-
Catriel
Beeri, Moshe Y. Vardi: Formal Systems for Join Dependencies.
TCS
38: 99-116 (1985)
-
Ronald
Fagin,
Joseph
Y. Halpern, Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge:
Preliminary Report.
FOCS
1984: 268-278
-
Ronald
Fagin, Moshe Y. Vardi: The Theory of Data Dependencies - An Overview.
ICALP
1984: 1-22
-
Gabriel
M. Kuper,
Jeffrey
D. Ullman, Moshe Y. Vardi: On the Equivalence of Logical Databases.
PODS
1984: 221-228
-
Marc
H. Graham, Moshe Y. Vardi: On the Complexity and Axiomatizability of
Consistent Database States.
PODS
1984: 281-289
-
Gabriel
M. Kuper, Moshe Y. Vardi: A New Approach to Database Logic.
PODS
1984: 86-96
-
Moshe Y. Vardi,
Pierre
Wolper: Automata Theoretic Techniques for Modal Logics of Programs
(Extended Abstract).
STOC
1984: 446-456
-
Moshe Y. Vardi: A Note on Lossless Database Decompositions.
Information
Processing Letters 18(5): 257-260 (1984)
-
Catriel
Beeri, Moshe Y. Vardi: On Acyclic Database Decompositions.
Information
and Control 61(2): 75-84 (1984)
-
Catriel
Beeri, Moshe Y. Vardi: A Proof Procedure for Data Dependencies.
JACM
31(4): 718-741 (1984)
-
Moshe Y. Vardi: The Implication and Finite Implication Problems for Typed
Template Dependencies.
JCSS
28(1): 3-28 (1984)
-
Catriel
Beeri, Moshe Y. Vardi: Formal Systems for Tuple and Equality Generating
Dependencies.
SIAM
J. Comput. 13(1): 76-98 (1984)
-
David
Maier,
Jeffrey
D. Ullman, Moshe Y. Vardi: On the Foundations of the Universal Relation
Model.
TODS
9(2): 283-308 (1984)
-
Pierre
Wolper, Moshe Y. Vardi,
A.
Prasad Sistla: Reasoning about Infinite Computation Paths (Extended
Abstract).
FOCS
1983: 185-194
-
David
Maier,
Jeffrey
D. Ullman, Moshe Y. Vardi: The Revenge of the JD.
PODS
1983: 279-287
-
Ronald
Fagin,
Jeffrey
D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases.
PODS
1983: 352-365
-
Paris
C. Kanellakis,
Stavros
S. Cosmadakis, Moshe Y. Vardi: Unary Inclusion Dependencies have Polynomial
Time Inference Problems (Extended Abstract).
STOC
1983: 264-277
-
Moshe Y. Vardi: Inferring Multivalued Dependencies From Functional and
Join Dependencies.
Acta
Informatica 19: 305-324 (1983)
-
Ronald
Fagin, Moshe Y. Vardi: Armstrong Databases for Functional and Inclusion
Dependencies.
IPL
16(1): 13-19 (1983)
-
Moshe Y. Vardi: On Decomposition of Relational Databases.
FOCS
1982: 176-185
-
Moshe Y. Vardi: The Implication and Finite Implication Problems for Typed
Template Dependencies.
PODS
1982: 230-238
-
Moshe Y. Vardi: The Complexity of Relational Query Languages (Extended
Abstract).
STOC
1982: 137-146
-
Moshe Y. Vardi: Global Decision Problems for Relational Databases.
FOCS
1981: 198-202
-
Catriel
Beeri, Moshe Y. Vardi: The Implication Problem for Data Dependencies.
ICALP
1981: 73-85
-
Moshe Y. Vardi: The Decision Problem for Database Dependencies.
Information
Processing Letters 12(5): 251-254 (1981)
-
Catriel
Beeri, Moshe Y. Vardi: A Note on Decompositions of Relational Databases.
SIGMOD
Records 12(1): 33-37 (1981)
-
Catriel
Beeri, Moshe Y. Vardi: On the Properties of Join Dependencies.
Advances
in Data Base Theory 1979: 25-71
DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).
|
|