dblp.uni-trier.dewww.uni-trier.de

Moshe Y. Vardi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
375EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: An Automata-Theoretic Approach to Regular XPath. DBPL 2009: 18-35
374EEYoad Lustig, Moshe Y. Vardi: Synthesis from Component Libraries. FOSSACS 2009: 395-409
373EEMoshe Y. Vardi: From Philosophical to Industrial Logics. ICLA 2009: 89-115
372EEMoshe Y. Vardi: Model Checking as A Reachability Problem. RP 2009: 35
371EEMoshe Y. Vardi: Symbolic Techniques in Propositional Satisfiability Solving. SAT 2009: 2-3
370EESeth Fogarty, Moshe Y. Vardi: Büchi Complementation and Size-Change Termination. TACAS 2009: 16-30
369EEErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Falsification of LTL Safety Properties in Hybrid Systems. TACAS 2009: 368-382
368EEMoshe Y. Vardi: Constraints, Graphs, Algebra, Logic, and Complexity. TAMC 2009: 3
367EEMoshe Y. Vardi: How are we doing? Commun. ACM 52(1): 5 (2009)
366EEMoshe Y. Vardi: "Yes, it can be done". Commun. ACM 52(3): 5 (2009)
365EEMoshe Y. Vardi: Conferences vs. journals in computing research. Commun. ACM 52(5): 5 (2009)
364EEMoshe Y. Vardi: Open, closed, or clopen access? Commun. ACM 52(7): 5 (2009)
363EEMoshe Y. Vardi: The financial meltdown and computing. Commun. ACM 52(9): 5 (2009)
362EEErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Hybrid systems: from verification to falsification by combining motion planning and discrete search. Formal Methods in System Design 34(2): 157-182 (2009)
361EEOrna Kupferman, Nir Piterman, Moshe Y. Vardi: From liveness to promptness. Formal Methods in System Design 34(2): 83-103 (2009)
2008
360 Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi: Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
359EEMoshe Y. Vardi: From Church and Prior to PSL. 25 Years of Model Checking 2008: 150-171
358EEPhokion G. Kolaitis, Moshe Y. Vardi: A Logical Approach to Constraint Satisfaction. Complexity of Constraints 2008: 125-155
357EEDeian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman: A Temporal Language for SystemC. FMCAD 2008: 1-9
356EEMoshe Y. Vardi: Automata-Theoretic Model Checking Revisited. Haifa Verification Conference 2008: 2
355EEDana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi: A Framework for Inherent Vacuity. Haifa Verification Conference 2008: 7-22
354EEKarin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi: Open Implication. ICALP (2) 2008: 361-372
353EEErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Impact of workspace decompositions on discrete search leading continuous exploration (DSLX) motion planning. ICRA 2008: 3751-3756
352EERoni Wiener, Gila Kamhi, Moshe Y. Vardi: Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. PATMOS 2008: 52-61
351EEMoshe Y. Vardi: From Monadic Logic to PSL. Pillars of Computer Science 2008: 656-681
350EEMoshe Y. Vardi: From Verification to Synthesis. VSTTE 2008: 2
349EEPiero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi CoRR abs/0809.0360: (2008)
348EEKousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-Objective Model Checking of Markov Decision Processes CoRR abs/0810.5728: (2008)
347EEMoshe Y. Vardi: CACM: past, present, and future. Commun. ACM 51(1): 44-48 (2008)
346EEMoshe Y. Vardi: Let us---together---make CACM exciting. Commun. ACM 51(10): 5 (2008)
345EEMoshe Y. Vardi: "Where do you come from? and where are you going?". Commun. ACM 51(7): 5 (2008)
344EEPiero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi. Logical Methods in Computer Science 4(3): (2008)
343EEKousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-Objective Model Checking of Markov Decision Processes. Logical Methods in Computer Science 4(4): (2008)
2007
342EERoy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar: Deeper Bound in BMC by Combining Constant Propagation and Abstraction. ASP-DAC 2007: 304-309
341EESumit Nain, Moshe Y. Vardi: Branching vs. Linear Time: Semantical Perspective. ATVA 2007: 19-34
340EERod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi: 07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures. Algorithmic-Logical Theory of Infinite Structures 2007
339EERod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi: 07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. Algorithmic-Logical Theory of Infinite Structures 2007
338EEOrna Kupferman, Nir Piterman, Moshe Y. Vardi: From Liveness to Promptness. CAV 2007: 406-419
337EEErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Hybrid Systems: From Verification to Falsification. CAV 2007: 463-476
336EEMoshe Y. Vardi: Linear-Time Model Checking: Automata Theory in Practice. CIAA 2007: 5-10
335EEBenjamin Aminof, Aniello Murano, Moshe Y. Vardi: Pushdown Module Checking with Imperfect Information. CONCUR 2007: 460-475
334EELucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi: An Analysis of Slow Convergence in Interval Propagation. CP 2007: 790-797
333EEMoshe Y. Vardi: Formal Techniques for SystemC Verification; Position Paper. DAC 2007: 188-192
332EEPietro Babighian, Gila Kamhi, Moshe Y. Vardi: Interactive presentation: PowerQuest: trace driven data mining for power optimization. DATE 2007: 1078-1083
331EEErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints. ICRA 2007: 692-697
330EEByron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi: Proving that programs eventually do something good. POPL 2007: 265-276
329EEErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning. Robotics: Science and Systems 2007
328EEKristin Y. Rozier, Moshe Y. Vardi: LTL Satisfiability Checking. SPIN 2007: 149-167
327EEMoshe Y. Vardi: The Büchi Complementation Saga. STACS 2007: 12-22
326EERoberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi: Property-Driven Partitioning for Abstraction Refinement. TACAS 2007: 389-404
325EEKousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-objective Model Checking of Markov Decision Processes. TACAS 2007: 50-65
324EEMoshe Y. Vardi: Automata-Theoretic Model Checking Revisited. VMCAI 2007: 137-150
323EERoberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE is partitioned model checking. Formal Methods in System Design 31(2): 177-196 (2007)
322EEMarco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. J. Artif. Intell. Res. (JAIR) 30: 101-132 (2007)
321EECristopher Moore, Gabriel Istrate, Demetrios D. Demopoulos, Moshe Y. Vardi: A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas. Random Struct. Algorithms 31(2): 173-185 (2007)
320EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-based query processing: On the relationship between rewriting, answering and losslessness. Theor. Comput. Sci. 371(3): 169-182 (2007)
2006
319 Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: Synthesis and Planning, 12.-17. June 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
318EEOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Safraless Compositional Synthesis. CAV 2006: 31-44
317EERoy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar: Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV 2006: 163-177
316EEPiero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched µ-Calculi. ICALP (2) 2006: 540-551
315EEOrna Kupferman, Moshe Y. Vardi: Memoryful Branching-Time Logic. LICS 2006: 265-274
314EEGuoqiang Pan, Moshe Y. Vardi: Fixed-Parameter Hierarchies inside PSPACE. LICS 2006: 27-36
313EEOrna Kupferman, Yoad Lustig, Moshe Y. Vardi: On Locally Checkable Properties. LPAR 2006: 302-316
312EEMichal Armoni, S. Rodger, Moshe Y. Vardi, R. Verma: Automata theory: its relevance to computer science students and course contents. SIGCSE 2006: 197-198
311EEWilliam Aspray, A. Frank Mayadas, Moshe Y. Vardi, Stuart H. Zweben: educational response to offshore outsourcing. SIGCSE 2006: 330-331
310EEOrna Kupferman, Shmuel Safra, Moshe Y. Vardi: Relating word and tree automata. Ann. Pure Appl. Logic 138(1-3): 126-146 (2006)
309EEHana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for temporal logic model checking*. Formal Methods in System Design 28(3): 189-212 (2006)
308EEEhud Friedgut, Orna Kupferman, Moshe Y. Vardi: Büchi Complementation Made Tighter. Int. J. Found. Comput. Sci. 17(4): 851-868 (2006)
307 Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi: BDD-based decision procedures for the modal logic K. Journal of Applied Non-Classical Logics 16(1-2): 169-208 (2006)
306EEHana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for formal verification. STTT 8(4-5): 373-386 (2006)
2005
305EECristopher Moore, Gabriel Istrate, Demetrios D. Demopoulos, Moshe Y. Vardi: A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas. APPROX-RANDOM 2005: 414-425
304EETamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck: Formal Verification of Backward Compatibility of Microcode. CAV 2005: 185-198
303EERoberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi: Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. CAV 2005: 350-363
302EEDoron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi: Regular Vacuity. CHARME 2005: 191-206
301EEOrna Kupferman, Moshe Y. Vardi: Safraless Decision Procedures. FOCS 2005: 531-542
300 Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi: Efficient LTL compilation for SAT-based model checking. ICCAD 2005: 877-884
299EEMoshe Y. Vardi: Model Checking for Database Theoreticians. ICDT 2005: 1-16
298EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. ICDT 2005: 321-336
297EEDeian Tabakov, Moshe Y. Vardi: Experimental Evaluation of Classical Automata Constructions. LPAR 2005: 396-411
296EEAndrea Ferrara, Guoqiang Pan, Moshe Y. Vardi: Treewidth in Verification: Local vs. Global. LPAR 2005: 489-503
295EEHenry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005
294EEHenry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005
293EEOrna Kupferman, Moshe Y. Vardi: Complementation Constructions for Nondeterministic Automata on Infinite Words. TACAS 2005: 206-221
292EEOrna Kupferman, Moshe Y. Vardi: From linear time to branching time. ACM Trans. Comput. Log. 6(2): 273-294 (2005)
291EERoy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi: SAT-based Induction for Temporal Safety Properties. Electr. Notes Theor. Comput. Sci. 119(2): 3-16 (2005)
290EEGuoqiang Pan, Moshe Y. Vardi: Symbolic Techniques in Satisfiability Solving. J. Autom. Reasoning 35(1-3): 25-50 (2005)
289EESerge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi: In memory of Seymour Ginsburg 1928 - 2004. SIGMOD Record 34(1): 5-12 (2005)
288EEDiego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable containment of recursive queries. Theor. Comput. Sci. 336(1): 33-56 (2005)
287EEOrna Kupferman, Moshe Y. Vardi: From complementation to certification. Theor. Comput. Sci. 345(1): 83-100 (2005)
2004
286EEEhud Friedgut, Orna Kupferman, Moshe Y. Vardi: Büchi Complementation Made Tighter. ATVA 2004: 64-78
285EEDoron Bustan, Sasha Rubin, Moshe Y. Vardi: Verifying omega-Regular Properties of Markov Chains. CAV 2004: 189-201
284EERoberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE Is Partitioned Model Checking. CAV 2004: 229-241
283EENir Piterman, Moshe Y. Vardi: Global Model-Checking of Infinite-State Systems. CAV 2004: 387-400
282EEGuoqiang Pan, Moshe Y. Vardi: Symbolic Decision Procedures for QBF. CP 2004: 453-467
281EEAlbert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi: Constraint Propagation as a Proof System. CP 2004: 77-91
280EEBenjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi: Projection Pushing Revisited. EDBT 2004: 441-458
279EEGuoqiang Pan, Moshe Y. Vardi: Search vs. Symbolic Techniques in Satisfiability Solving. SAT 2004
278EEGuoqiang Pan, Moshe Y. Vardi: Search vs. Symbolic Techniques in Satisfiability Solving. SAT (Selected Papers 2004: 235-250
277EEDoron Bustan, Orna Kupferman, Moshe Y. Vardi: A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. STACS 2004: 522-533
276EEOrna Kupferman, Moshe Y. Vardi: From Complementation to Certification. TACAS 2004: 591-606
275EEJoseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi: Complete Axiomatizations for Reasoning about Knowledge and Time. SIAM J. Comput. 33(3): 674-703 (2004)
2003
274 Moshe Y. Vardi, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings Springer 2003
273EEGuoqiang Pan, Moshe Y. Vardi: Optimizing a BDD-Based Modal Solver. CADE 2003: 75-89
272EERoy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi: Enhanced Vacuity Detection in Linear Temporal Logic. CAV 2003: 368-380
271EEHana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Formal Verification. CHARME 2003: 111-125
270EESankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi: On Complementing Nondeterministic Büchi Automata. CHARME 2003: 96-110
269EEMoshe Y. Vardi: Logic and Automata: A Match Made in Heaven. ICALP 2003: 64-65
268EEOrna Kupferman, Moshe Y. Vardi: Pi2 cap Sigma2 equiv AFMC. ICALP 2003: 697-713
267EEDiego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable Containment of Recursive Queries. ICDT 2003: 327-342
266 Moshe Y. Vardi: Automated Verification: Graphs, Logic, and Automata. IJCAI 2003: 1603-1606
265EEMarco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. LICS 2003: 234-243
264EETomás Feder, Moshe Y. Vardi: Homomorphism Closed vs. Existential Positive. LICS 2003: 311-320
263EENir Piterman, Moshe Y. Vardi: Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. LICS 2003: 381-
262 Serge Abiteboul, Gabriel M. Kuper, Alexander A. Shvartsman, Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis. PCK50 2003: 1-8
261 Moshe Y. Vardi: A Call to Regularity. PCK50 2003: 11
260EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-based query containment. PODS 2003: 56-67
259 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Query Containment Using Views. SEBD 2003: 467-474
258EEMarcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi: Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. TACAS 2003: 176-191
257EERoy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi: Resets vs. Aborts in Linear Temporal Logic. TACAS 2003: 65-80
256EEOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Fair Equivalence Relations. Verification: Theory and Practice 2003: 702-732
255EECristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi: Random 3-SAT: The Plot Thickens. Constraints 8(3): 243-261 (2003)
254EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Reasoning on regular path queries. SIGMOD Record 32(4): 83-92 (2003)
253EEOrna Kupferman, Moshe Y. Vardi: Vacuity detection in temporal model checking. STTT 4(2): 224-233 (2003)
252EENir Piterman, Moshe Y. Vardi: From bidirectionality to alternation. Theor. Comput. Sci. 295: 295-321 (2003)
2002
251 Doron Peled, Moshe Y. Vardi: Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings Springer 2002
250EEGuoqiang Pan, Ulrike Sattler, Moshe Y. Vardi: BDD-Based Decision Procedures for K. CADE 2002: 16-30
249EEOrna Kupferman, Ulrike Sattler, Moshe Y. Vardi: The Complexity of the Graded µ-Calculus. CADE 2002: 423-437
248EEOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Model Checking Linear Properties of Prefix-Recognizable Systems. CAV 2002: 371-385
247EEVíctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi: Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. CP 2002: 310-326
246EEMoshe Y. Vardi: Alternation. JELIA 2002: 565
245 Randy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi: Eliminating Incoherence from Subjective Estimates of Chance. KR 2002: 353-364
244 Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 593-602
243EEOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Pushdown Specifications. LPAR 2002: 262-277
242EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Lossless Regular Views. PODS 2002: 247-258
241EERoy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar: The ForSpec Temporal Logic: A New Temporal Property-Specification Language. TACAS 2002: 296-211
240EEJoseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi: Complete Axiomatizations for Reasoning About Knowledge and Time CoRR cs.LO/0208033: (2002)
239EEKen Kennedy, Moshe Y. Vardi: A Rice University perspective on software engineering licensing. Commun. ACM 45(11): 94-95 (2002)
238EEMoshe Y. Vardi: Model Checking: A Complexity-Theoretic Perspective (invited talk). Electr. Notes Theor. Comput. Sci. 68(4): (2002)
237 Kathi Fisler, Moshe Y. Vardi: Bisimulation Minimization and Symbolic Model Checking. Formal Methods in System Design 21(1): 39-78 (2002)
236EEDavid Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput. 173(2): 143-161 (2002)
235EEKousha Etessami, Moshe Y. Vardi, Thomas Wilke: First-Order Logic with Two Variables and Unary Temporal Logic. Inf. Comput. 179(2): 279-295 (2002)
234EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Expressions and Regular Path Queries. J. Comput. Syst. Sci. 64(3): 443-465 (2002)
233 Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. Journal of Automata, Languages and Combinatorics 7(2): 225-246 (2002)
2001
232EEFady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi: Benefits of Bounded Model Checking at an Industrial Setting. CAV 2001: 436-453
231EEHana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78
230EEOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Extended Temporal Logic Revisited. CONCUR 2001: 519-535
229EEAlfonso San Miguel Aguirre, Moshe Y. Vardi: Random 3-SAT and BDDs: The Plot Thickens Further. CP 2001: 121-136
228EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001: 40-61
227EEValerie King, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Parity Word Automata. FoSSaCS 2001: 276-286
226EEUlrike Sattler, Moshe Y. Vardi: The Hybrid µ-Calculus. IJCAR 2001: 76-91
225 Orna Kupferman, Moshe Y. Vardi: Synthesizing Distributed Systems. LICS 2001
224EEOrna Kupferman, Moshe Y. Vardi: On Bounded Specifications. LPAR 2001: 24-38
223EENir Piterman, Moshe Y. Vardi: From Bidirectionality to Alternation. MFCS 2001: 598-610
222EEMoshe Y. Vardi: Branching vs. Linear Time: Final Showdown. TACAS 2001: 1-22
221EEKathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang: Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001: 420-434
220EEHana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Temporal Logic Model Checking. TACAS 2001: 528-542
219EEOrna Kupferman, Moshe Y. Vardi: Weak alternating automata are not that weak. ACM Trans. Comput. Log. 2(3): 408-429 (2001)
218EEJoseph 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)
217EEEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi: Towards an Efficient Library for SAT: a Manifesto. Electronic Notes in Discrete Mathematics 9: 290-310 (2001)
216 R. H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi: A New Heuristic for Bad Cycle Detection Using BDDs. Formal Methods in System Design 18(2): 131-140 (2001)
215 Orna Kupferman, Moshe Y. Vardi: Model Checking of Safety Properties. Formal Methods in System Design 19(3): 291-314 (2001)
214 Orna Kupferman, Moshe Y. Vardi, Pierre Wolper: Module Checking. Inf. Comput. 164(2): 322-344 (2001)
213 Yonit Kesten, Amir Pnueli, Moshe Y. Vardi: Verification by Augmented Abstraction: The Automata-Theoretic View. J. Comput. Syst. Sci. 62(4): 668-690 (2001)
2000
212 Phokion G. Kolaitis, Moshe Y. Vardi: A Game-Theoretic Approach to Constraint Satisfaction. AAAI/IAAI 2000: 175-181
211 Orna Kupferman, Moshe Y. Vardi: An Automata-Theoretic Approach to Reasoning about Infinite-State Systems. CAV 2000: 36-52
210 Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix: Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV 2000: 389-402
209 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is Query Rewriting? CIA 2000: 51-59
208EEOrna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi: Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000: 92-107
207EECristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi: Random 3-SAT: The Plot Thickens. CP 2000: 143-159
206EEMoshe Y. Vardi: Automated Verification = Graphs, Automata, and Logic. CSL 2000: 139
205EEOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Fair Equivalence Relations. FSTTCS 2000: 151-163
204EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Answering Regular Path Queries Using Views. ICDE 2000: 389-398
203 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185
202EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is View-Based Query Rewriting? KRDB 2000: 17-27
201EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371
200EEOrna Kupferman, Moshe Y. Vardi: µ-Calculus Synthesis. MFCS 2000: 497-507
199EEPhokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. MFCS 2000: 84-98
198EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000: 58-66
197EEMoshe Y. Vardi: Constraint Satisfaction and Database Theory: a Tutorial. PODS 2000: 76-85
196EEOrna Kupferman, Moshe Y. Vardi: An automata-theortetic approach to modular model checking. ACM Trans. Program. Lang. Syst. 22(1): 87-128 (2000)
195EEOrna Kupferman, Moshe Y. Vardi, Pierre Wolper: An automata-theoretic approach to branching-time model checking. J. ACM 47(2): 312-360 (2000)
194 Phokion G. Kolaitis, Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. J. Comput. Syst. Sci. 61(2): 302-332 (2000)
1999
193EEMoshe Y. Vardi: Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. ARTS 1999: 265-276
192EEOrna Kupferman, Moshe Y. Vardi: Model Checking of Safety Properties. CAV 1999: 172-183
191EEMarco Daniele, Fausto Giunchiglia, Moshe Y. Vardi: Improved Automata Generation for Linear Temporal Logic. CAV 1999: 249-260
190EEKathi Fisler, Moshe Y. Vardi: Bisimulation and Model Checking. CHARME 1999: 338-341
189EEOrna Kupferman, Moshe Y. Vardi: Vacuity Detection in Temporal Model Checking. CHARME 1999: 82-96
188EEOrna Kupferman, Moshe Y. Vardi: Robust Satisfaction. CONCUR 1999: 383-398
187 Giuseppe De Giacomo, Moshe Y. Vardi: Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999: 226-238
186 Marco Daniele, Paolo Traverso, Moshe Y. Vardi: Strong Cyclic Planning Revisited. ECP 1999: 35-48
185 Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. FORTE 1999: 225-240
184EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Expressions and Regular Path Queries. PODS 1999: 194-204
183 Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Path Queries. SEBD 1999: 213-224
182EEOrna Kupferman, Moshe Y. Vardi: The Weakness of Self-Complementation. STACS 1999: 455-466
181EEDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Query Answering Using Views for Data Integration over the Web. WebDB (Informal Proceedings) 1999: 73-78
180 Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. Ann. Pure Appl. Logic 96(1-3): 89-105 (1999)
179EEOrna Kupferman, Moshe Y. Vardi: Church's problem revisited. Bulletin of Symbolic Logic 5(2): 245-263 (1999)
178EEJoan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan: The Complexity of Problems on Graphs Represented as OBDDs. Chicago J. Theor. Comput. Sci. 1999: (1999)
177EERanan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi: Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. Electr. Notes Theor. Comput. Sci. 23(2): (1999)
176EEKenneth A. Ross, Surajit Chaudhuri, Gösta Grahne, H. V. Jagadish, Jan Van den Bussche, Moshe Y. Vardi: Reminiscences on Influential Papers. SIGMOD Record 28(4): 39-41 (1999)
1998
175 Alan J. Hu, Moshe Y. Vardi: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings Springer 1998
174EEMoshe Y. Vardi: Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. CONCUR 1998: 1-17
173EERajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: Alternating Refinement Relations. CONCUR 1998: 163-178
172EERon van der Meyden, Moshe Y. Vardi: Synthesis from Knowledge-Based Specifications (Extended Abstract). CONCUR 1998: 34-49
171EEKathi Fisler, Moshe Y. Vardi: Bisimulation Minimization in an Automata-Theoretic Verification Framework. FMCAD 1998: 115-132
170EEMoshe Y. Vardi: Reasoning about The Past with Two-Way Automata. ICALP 1998: 628-641
169 Moshe Y. Vardi: Linear vs. Branching Time: A Complexity-Theoretic Perspective. LICS 1998: 394-405
168 Orna Kupferman, Moshe Y. Vardi: Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. LICS 1998: 81-92
167EEPhokion G. Kolaitis, Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. PODS 1998: 205-213
166 Orna Kupferman, Moshe Y. Vardi: Relating linear and branching model checking. PROCOMET 1998: 304-326
165EEKim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi: Panel: logic in the computer science curriculum. SIGCSE 1998: 376-377
164EEJoan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan: Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). STACS 1998: 216-226
163EEOrna Kupferman, Moshe Y. Vardi: Weak Alternating Automata and Tree Automata Emptiness. STOC 1998: 224-233
162EEOrna Kupferman, Moshe Y. Vardi: Verification of Fair Transition Systems. Chicago J. Theor. Comput. Sci. 1998: (1998)
161EERonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common knowledge revisited CoRR cs.LO/9809003: (1998)
160EEMoshe Y. Vardi: Computational Model Theory: An Overview. Logic Journal of the IGPL 6(4): 601-623 (1998)
159 Tomás Feder, Moshe Y. Vardi: The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory. SIAM J. Comput. 28(1): 57-104 (1998)
1997
158EEMoshe Y. Vardi: Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics. CADE 1997: 191-206
157EENeil Immerman, Moshe Y. Vardi: Model Checking and Transitive-Closure Logic. CAV 1997: 291-302
156EEOrna Kupferman, Moshe Y. Vardi: Model Checking Revisited. CAV 1997: 36-47
155EEOrna Kupferman, Moshe Y. Vardi: Modular Model Checking. COMPOS 1997: 381-401
154EEDavid Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. CONCUR 1997: 258-272
153EEMoshe Y. Vardi: Verification of Open Systems. FSTTCS 1997: 250-266
152EEOrna Kupferman, Moshe Y. Vardi: Weak Alternating Automata Are Not That Weak. ISTCS 1997: 147-158
151EEKousha Etessami, Moshe Y. Vardi, Thomas Wilke: First-Order Logic with Two Variables and Unary Temporal Logic. LICS 1997: 228-235
150EEErich 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)
149EERonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. Distributed Computing 10(4): 199-225 (1997)
148EESerge Abiteboul, Moshe Y. Vardi, Victor Vianu: Fixpoint logics, relational machines, and computational complexity. J. ACM 44(1): 30-56 (1997)
147 Surajit Chaudhuri, Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. J. Comput. Syst. Sci. 54(1): 61-78 (1997)
146 Moshe Y. Vardi: Special Selection in Logic in Computer Science. J. Symb. Log. 62(2): 608 (1997)
1996
145EEOrna Kupferman, Moshe Y. Vardi: Verification of Fair Transisiton Systems. CAV 1996: 372-382
144EEOrna Kupferman, Moshe Y. Vardi: Module Checking. CAV 1996: 75-86
143EEThomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. CONCUR 1996: 514-529
142 Moshe Y. Vardi: Why is Modal Logic So Robustly Decidable? Descriptive Complexity and Finite Models 1996: 149-184
141EESurajit 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 Abstract. ICDE 1996: 190
140 Orna Kupferman, Shmuel Safra, Moshe Y. Vardi: Relating Word and Tree Automata. LICS 1996: 322-332
139 Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Variable-Confined Logics. LICS 1996: 348-359
138EESerge Abiteboul, Gabriel M. Kuper, Christos H. Papadimitriou, Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis. PODS 1996: 79
137 Moshe Y. Vardi: Implementing Knowledge-Based Programs. TARK 1996: 15-30
136 Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. TARK 1996: 283-298
135EESerge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman, Moshe Y. Vardi: In Memoriam Paris C. Kanellakis. ACM Comput. Surv. 28(1): 3-15 (1996)
134EEMoshe Y. Vardi: Rank Predicates vs. Progress Measures in Concurrent-Program Verification. Chicago J. Theor. Comput. Sci. 1996: (1996)
133 Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis (1953-1995). Inf. Comput. 127(2): 65 (1996)
1995
132 Georg Gottlob, Moshe Y. Vardi: Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings Springer 1995
131 Moshe Y. Vardi: An Automata-Theoretic Approach to Linear Temporal Logic. Banff Higher Order Workshop 1995: 238-266
130EEMoshe Y. Vardi: An Automata-Theoretic Approach to Fair Realizability and Synthesis. CAV 1995: 267-278
129EEOrna Kupferman, Moshe Y. Vardi: On the Complexity of Branching Modular Model Checking (Extended Abstract). CONCUR 1995: 408-422
128 Moshe Y. Vardi: On the Complexity of Modular Model Checking LICS 1995: 101-111
127 Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. PODC 1995: 153-163
126EEMoshe Y. Vardi: On the Complexity of Bounded-Variable Queries. PODS 1995: 266-276
125 Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper: Simple on-the-fly automatic verification of linear temporal logic. PSTV 1995: 3-18
124EEMoshe Y. Vardi: Alternating Automata and Program Verification. Computer Science Today 1995: 471-485
123EERonald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. Artif. Intell. 79(2): 203-240 (1995)
122 Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi: On Monadic NP vs. Monadic co-NP Inf. Comput. 120(1): 78-92 (1995)
121 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)
120 Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi: Undecidable Boundedness Problems for Datalog Programs. J. Log. Program. 25(2): 163-190 (1995)
119EESerge Abiteboul, Moshe Y. Vardi, Victor Vianu: Computing with Infinitary Logic. Theor. Comput. Sci. 149(1): 101-128 (1995)
1994
118 Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: An Operational Semantics for Knowledge Bases. AAAI 1994: 1142-1147
117EEOrna Bernholtz, Moshe Y. Vardi, Pierre Wolper: An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). CAV 1994: 142-155
116EESurajit Chaudhuri, Moshe Y. Vardi: On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. PODS 1994: 107-116
115 Moshe Y. Vardi: Nontraditional Applications of Automata Theory. TACS 1994: 575-597
114 Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Algorithmic Knowledge. TARK 1994: 255-266
113 Moshe Y. Vardi, Pierre Wolper: Reasoning About Infinite Computations Inf. Comput. 115(1): 1-37 (1994)
1993
112EEAlexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers: The Complexity of Set Constraints. CSL 1993: 1-17
111EESurajit Chaudhuri, Moshe Y. Vardi: Optimization of Real Conjunctive Queries. PODS 1993: 59-70
110EERajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi: Parametric real-time reasoning. STOC 1993: 592-601
109EETomás Feder, Moshe Y. Vardi: Monotone monadic SNP and constraint satisfaction. STOC 1993: 612-622
108 Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi: On Monadic NP vs. Monadic co-NP (Extended Abstract). Structure in Complexity Theory Conference 1993: 19-30
107EEGabriel M. Kuper, Moshe Y. Vardi: The Logical Data Model. ACM Trans. Database Syst. 18(3): 379-413 (1993)
106EEHaim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs. J. ACM 40(3): 683-713 (1993)
105 Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi: Logical Query Optimization by Proff-Tree Transformation. J. Comput. Syst. Sci. 47(1): 222-248 (1993)
104 Gabriel M. Kuper, Moshe Y. Vardi: On the Complexity of Queries in the Logical Data Model. Theor. Comput. Sci. 116(1&2): 33-57 (1993)
1992
103EEPhokion G. Kolaitis, Moshe Y. Vardi: Infinitary Logic for Computer Science. ICALP 1992: 450-473
102EESerge Abiteboul, Moshe Y. Vardi, Victor Vianu: Computing with Infinitary Logic. ICDT 1992: 113-123
101 Phokion G. Kolaitis, Moshe Y. Vardi: Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory LICS 1992: 46-57
100EESurajit Chaudhuri, Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. PODS 1992: 55-66
99 Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Fixpoint Logics, Relational Machines, and Computational Complexity. Structure in Complexity Theory Conference 1992: 156-168
98 Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi: The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. TARK 1992: 229-244
97 Moshe Y. Vardi: Automata Theory for Database Theoreticans. Theoretical Studies in Computer Science 1992: 153-180
96 Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis: Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design 1(2/3): 275-288 (1992)
95 Phokion G. Kolaitis, Moshe Y. Vardi: Infinitary Logics and 0-1 Laws Inf. Comput. 98(2): 258-294 (1992)
94EERonald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: What Can Machines Know? On the Properties of Knowledge in Distributed Systems. J. ACM 39(2): 328-376 (1992)
93 Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: What Is an Inference Rule? J. Symb. Log. 57(3): 1018-1045 (1992)
1991
92 Joseph Y. Halpern, Moshe Y. Vardi: Model Checking vs. Theorem Proving: A Manifesto. KR 1991: 325-334
91 Thom W. Frühwirth, Ehud Y. Shapiro, Moshe Y. Vardi, Eyal Yardeni: Logic Programs as Types for Logic Programs LICS 1991: 300-309
90EEGerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi: Tools for Datalog Boundedness. PODS 1991: 1-12
89 Moshe Y. Vardi: Verification of Concurrent Programs: The Automata-Theoretic Framework. Ann. Pure Appl. Logic 51(1-2): 79-98 (1991)
88EERonald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge. J. ACM 38(2): 382-428 (1991)
87 Moshe Y. Vardi: Database Logic Programming. J. Log. Program. 10(1/2/3&4): 179-180 (1991)
1990
86EECostas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis: Memory Efficient Algorithms for the Verification of Temporal Properties. CAV 1990: 233-242
85 Moshe Y. Vardi: Global Optimization Problems for Database Logic Programs. ICLP 1990: 767-771
84 Phokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws for Infinitary Logics (Preliminary Report) LICS 1990: 156-167
83 David Harel, Roni Rosner, Moshe Y. Vardi: On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) LICS 1990: 478-488
82EEPhokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. PODS 1990: 61-71
81 Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. TARK 1990: 41-55
80 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)
79 Moshe Y. Vardi: Endmarkers can Make a Difference. Inf. Process. Lett. 35(3): 145-148 (1990)
78EEStavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi: Polynomial-Time Implication Problems for Unary Inclusion Dependencies J. ACM 37(1): 15-46 (1990)
1989
77 Moshe Y. Vardi: On the Complexity of Epistemic Reasoning LICS 1989: 243-252
76EEYehoshua Sagiv, Moshe Y. Vardi: Safety of Datalog Queries over Infinite Databases. PODS 1989: 160-171
75EERaghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi: Proof-Tree Transformation Theorems and Their Applications. PODS 1989: 172-181
74EEMoshe Y. Vardi: Automata Theory for Database Theoreticans. PODS 1989: 83-92
73 Shmuel Safra, Moshe Y. Vardi: On omega-Automata and Temporal Logic (Preliminary Report) STOC 1989: 127-137
72 Moshe Y. Vardi: A Note on the Reduction of Two-Way Automata to One-Way Automata. Inf. Process. Lett. 30(5): 261-264 (1989)
71 Joseph Y. Halpern, Moshe Y. Vardi: The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. J. Comput. Syst. Sci. 38(1): 195-237 (1989)
1988
70 Moshe Y. Vardi: Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988 Morgan Kaufmann 1988
69EEMoshe Y. Vardi: An Automata-Theoretic Approach to Protocol Verification (Abstract). Concurrency 1988: 73
68EEGabriel M. Kuper, Moshe Y. Vardi: On the Complexity of Queries in the Logical Data Model (Extended Abstract). ICDT 1988: 267-280
67 Phokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws and Decision Problems for Fragments of Second-Order Logic LICS 1988: 2-11
66EEMoshe Y. Vardi: Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. PODS 1988: 341-351
65EEJeffrey D. Ullman, Moshe Y. Vardi: The Complexity of Ordering Subgoals. PODS 1988: 74-81
64 Moshe Y. Vardi: A Temporal Fixpoint Calculus. POPL 1988: 250-259
63EEMoshe Y. Vardi: Database Logic Programming, Deductive Databases, and Expert Database Systems. SIGMOD Conference 1988: 7
62 Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi: Decidable Optimization Problems for Database Logic Programs (Preliminary Report) STOC 1988: 477-490
61 Joseph Y. Halpern, Moshe Y. Vardi: Reasoning about Knowledge and Time in Asynchronous Systems STOC 1988: 53-65
60 Moshe Y. Vardi: The Universal-Relation Data Model for Logic Independence. IEEE Software 5(2): 80-85 (1988)
59 Moshe Y. Vardi: Response to a Letter to the Editor. IEEE Software 5(4): 4-6 (1988)
1987
58 Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs LICS 1987: 106-115
57 Moshe Y. Vardi: Verification of Concurrent Programs: The Automata-Theoretic Framework LICS 1987: 167-176
56 Phokion G. Kolaitis, Moshe Y. Vardi: The Decision Problem for the Probabilities of Higher-Order Properties STOC 1987: 425-435
55 Moshe Y. Vardi: Unified Verification Theory. Temporal Logic in Specification 1987: 202-212
54 A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper: The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. Theor. Comput. Sci. 49: 217-237 (1987)
1986
53 Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: What Can Machines Know? On the Epistemic Properties of Machines. AAAI 1986: 428-435
52 Moshe Y. Vardi, Pierre Wolper: An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) LICS 1986: 332-344
51EEMoshe Y. Vardi: On the Integrity of Databases with Incomplete Information. PODS 1986: 252-266
50 Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper: Reasoning about Fair Concurrent Programs STOC 1986: 283-294
49 Joseph Y. Halpern, Moshe Y. Vardi: The Complexity of Reasoning about Knowledge and Time: Extended Abstract STOC 1986: 304-315
48 Ronald Fagin, Moshe Y. Vardi: Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report. TARK 1986: 187-206
47 Moshe Y. Vardi: On Epistemic Logic and Logical Omniscience. TARK 1986: 293-305
46 Johann A. Makowsky, Moshe Y. Vardi: On the Expressive Power of Data Dependencies. Acta Inf. 23(3): 231-244 (1986)
45 Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: Updating Logical Databases. Advances in Computing Research 3: 1-18 (1986)
44EEMarc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi: Notions of dependency satisfaction. J. ACM 33(1): 105-129 (1986)
43 Moshe Y. Vardi, Pierre Wolper: Automata-Theoretic Techniques for Modal Logics of Programs. J. Comput. Syst. Sci. 32(2): 183-221 (1986)
42 Moshe Y. Vardi: Querying Logical Databases. J. Comput. Syst. Sci. 33(2): 142-160 (1986)
1985
41 Moshe Y. Vardi: Automatic Verification of Probabilistic Concurrent Finite-State Programs FOCS 1985: 327-338
40EEA. 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
39 Moshe Y. Vardi: A Model-Theoretic Analysis of Monotonic Knowledge. IJCAI 1985: 509-512
38 Moshe Y. Vardi: The Taming of Converse: Reasoning about Two-way Computations. Logic of Programs 1985: 413-423
37EEMoshe Y. Vardi: Querying Logical Databases. PODS 1985: 57-65
36EEGabriel M. Kuper, Moshe Y. Vardi: On the Expressive Power of the Logical Data Model (Preliminary Report). SIGMOD Conference 1985: 180-187
35 Moshe Y. Vardi, Larry J. Stockmeyer: Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report STOC 1985: 240-251
34 Ronald Fagin, Moshe Y. Vardi: An Internal Semantics for Modal Logic: Preliminary Report STOC 1985: 305-315
33 Haim Gaifman, Moshe Y. Vardi: A simple proof that connectivity of finite graphs is not first-order definable. Bulletin of the EATCS 26: 43-44 (1985)
32 Moshe Y. Vardi: A responce to "A complete axiomatisation for full join dependencies in relations". Bulletin of the EATCS 26: 65-66 (1985)
31 Ashok K. Chandra, Moshe Y. Vardi: The Implication Problem for Functional and Inclusion Dependencies is Undecidable. SIAM J. Comput. 14(3): 671-677 (1985)
30 Catriel Beeri, Moshe Y. Vardi: Formal Systems for Join Dependencies. Theor. Comput. Sci. 38: 99-116 (1985)
1984
29 Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge: Preliminary Report FOCS 1984: 268-278
28EERonald Fagin, Moshe Y. Vardi: The Theory of Data Dependencies - An Overview. ICALP 1984: 1-22
27EEGabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: On the Equivalence of Logical Databases. PODS 1984: 221-228
26EEMarc H. Graham, Moshe Y. Vardi: On the Complexity and Axiomatizability of Consistent Database States. PODS 1984: 281-289
25EEGabriel M. Kuper, Moshe Y. Vardi: A New Approach to Database Logic. PODS 1984: 86-96
24 Moshe Y. Vardi, Pierre Wolper: Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract) STOC 1984: 446-456
23EEDavid Maier, Jeffrey D. Ullman, Moshe Y. Vardi: On the Foundations of the Universal Relation Model. ACM Trans. Database Syst. 9(2): 283-308 (1984)
22 Moshe Y. Vardi: A Note on Lossless Database Decompositions. Inf. Process. Lett. 18(5): 257-260 (1984)
21 Catriel Beeri, Moshe Y. Vardi: On Acyclic Database Decompositions Information and Control 61(2): 75-84 (1984)
20EECatriel Beeri, Moshe Y. Vardi: A Proof Procedure for Data Dependencies. J. ACM 31(4): 718-741 (1984)
19 Moshe Y. Vardi: The Implication and Finite Implication Problems for Typed Template Dependencies. J. Comput. Syst. Sci. 28(1): 3-28 (1984)
18 Catriel Beeri, Moshe Y. Vardi: Formal Systems for Tuple and Equality Generating Dependencies. SIAM J. Comput. 13(1): 76-98 (1984)
1983
17 Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla: Reasoning about Infinite Computation Paths (Extended Abstract) FOCS 1983: 185-194
16 Moshe Y. Vardi, Pierre Wolper: Yet Another Process Logic (Preliminary Version). Logic of Programs 1983: 501-512
15EEDavid Maier, Jeffrey D. Ullman, Moshe Y. Vardi: The Revenge of the JD. PODS 1983: 279-287
14EERonald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365
13 Paris C. Kanellakis, Stavros S. Cosmadakis, Moshe Y. Vardi: Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract) STOC 1983: 264-277
12EEMoshe Y. Vardi: Second-Order Dependency Theory. XP4.5 Workshop on Database Theory 1983
11 Moshe Y. Vardi: Inferring Multivalued Dependencies From Functional and Join Dependencies. Acta Inf. 19: 305-324 (1983)
10 Ronald Fagin, Moshe Y. Vardi: Armstrong Databases for Functional and Inclusion Dependencies. Inf. Process. Lett. 16(1): 13-19 (1983)
1982
9 Moshe Y. Vardi: On Decomposition of Relational Databases FOCS 1982: 176-185
8EEMoshe Y. Vardi: The Implication and Finite Implication Problems for Typed Template Dependencies. PODS 1982: 230-238
7 Moshe Y. Vardi: The Complexity of Relational Query Languages (Extended Abstract) STOC 1982: 137-146
1981
6 Moshe Y. Vardi: Global Decision Problems for Relational Databases FOCS 1981: 198-202
5EECatriel Beeri, Moshe Y. Vardi: The Implication Problem for Data Dependencies. ICALP 1981: 73-85
4 Moshe Y. Vardi: The Decision Problem for Database Dependencies. Inf. Process. Lett. 12(5): 251-254 (1981)
3EECatriel Beeri, Moshe Y. Vardi: A Note on Decompositions of Relational Databases. SIGMOD Record 12(1): 33-37 (1981)
1980
2EECatriel Beeri, Moshe Y. Vardi: Decision Problems for Data Dependencies. XP1 Workshop on Database Theory 1980
1979
1 Catriel Beeri, Moshe Y. Vardi: On the Properties of Join Dependencies. Advances in Data Base Theory 1979: 25-71

Coauthor Index

1Serge Abiteboul [99] [102] [119] [135] [138] [148] [262] [289]
2Alfonso San Miguel Aguirre [207] [229] [255]
3Alexander Aiken (Alex Aiken) [112]
4Rajeev Alur [110] [173]
5Benjamin Aminof [335]
6Michal Armoni [312]
7Roy Armoni [241] [257] [272] [291] [300] [317] [342]
8Tamarah Arons [304]
9William Aspray [311]
10Albert Atserias [281]
11Pietro Babighian [332]
12Randy Batsell [245]
13Catriel Beeri [1] [2] [3] [5] [18] [20] [21] [30]
14Orna Bernholtz [117]
15Roderick Bloem [354]
16Piero A. Bonatti [316] [344] [349]
17Lucas Bordeaux [334]
18Lyle Brenner [245]
19Kim B. Bruce [165]
20Jan Van den Bussche [176]
21Doron Bustan [257] [277] [285] [302]
22Diego Calvanese [181] [183] [184] [198] [201] [202] [203] [204] [209] [228] [234] [242] [244] [254] [259] [260] [267] [288] [298] [320] [375]
23Ashok K. Chandra [31] [141]
24Surajit Chaudhuri [100] [111] [116] [141] [147] [176]
25Hana Chockler [220] [231] [271] [306] [309]
26Cristian Coarfa [207] [255]
27Byron Cook [330]
28Fady Copty [232]
29Stavros S. Cosmadakis [13] [62] [78]
30Costas Courcoubetis [50] [86] [96]
31Víctor Dalmau [247]
32Marco Daniele [186] [191]
33Umeshwar Dayal [141]
34Demetrios D. Demopoulos [207] [255] [305] [321]
35Rodney G. Downey (Rod Downey) [339] [340] [360]
36Sergey Egorov [300]
37Elad Elster [304]
38Kousha Etessami [151] [235] [325] [343] [348]
39Ronald Fagin [10] [14] [28] [29] [34] [45] [48] [53] [81] [88] [93] [94] [98] [108] [118] [122] [123] [127] [136] [149] [161] [180]
40Tomás Feder [109] [159] [264]
41Joan Feigenbaum [164] [178]
42Andrea Ferrara [296]
43Kathi Fisler [171] [190] [221] [237]
44Dana Fisman [355]
45Limor Fix [177] [210] [232] [241] [272] [291] [304] [342]
46Alon Flaisher [241] [272] [302]
47Seth Fogarty [370]
48Ranan Fraer [177] [210] [221] [232] [258] [291] [300] [342]
49Ehud Friedgut [286] [308]
50Thom W. Frühwirth [91]
51Haim Gaifman [33] [58] [62] [106]
52John Geanakoplos [98]
53Rob Gerth [125] [241]
54Giuseppe De Giacomo [181] [183] [184] [187] [198] [201] [202] [203] [204] [209] [228] [234] [242] [244] [254] [259] [260] [267] [288] [298] [320] [375]
55Boris Ginsburg [241]
56Enrico Giunchiglia [217] [232]
57Fausto Giunchiglia [191]
58Marcelo Glusman [258]
59Alexey Gotsman [330]
60Georg Gottlob [132]
61Erich Grädel [150]
62Marc H. Graham [26] [44]
63Gösta Grahne [176]
64Jim Gray [141]
65Sheila A. Greibach [289]
66Karin Greimel [354]
67Orna Grumberg [272] [302]
68Sankar Gurumurthy [270]
69Joseph Y. Halpern [29] [49] [53] [61] [71] [81] [88] [92] [93] [94] [98] [114] [118] [123] [127] [136] [149] [161] [180] [218] [240] [275]
70Youssef Hamadi [334]
71R. H. Hardin [216]
72David Harel [83] [154] [236]
73Robert Harper [218]
74Michael A. Harrison [289]
75Thomas A. Henzinger [110] [143] [173]
76Tamir Heyman [342]
77Gerd G. Hillebrand [90] [120]
78Ellis Horowitz [289]
79Alan J. Hu [175]
80Scott Huddleston [291]
81Richard Hull [289]
82Neil Immerman [157] [218]
83Gabriel Istrate [305] [321]
84H. V. Jagadish [176]
85Barbara Jobstmann [354]
86Gila Kamhi [177] [210] [221] [232] [258] [332] [352] [357]
87Paris C. Kanellakis [13] [62] [78] [90] [120]
88Sampath Kannan [164] [178]
89Tomer Kanza [241]
90Henry A. Kautz [294] [295] [319]
91Lydia E. Kavraki [329] [331] [337] [353] [362] [369]
92Ken Kennedy [239]
93Yonit Kesten [213]
94Bakhadyr Khoussainov [339] [340] [360]
95Valerie King [227]
96Phokion G. Kolaitis [56] [67] [80] [82] [84] [95] [101] [103] [121] [139] [150] [165] [167] [194] [199] [212] [218] [247] [281] [358]
97Dmitry Korchemny [300] [317]
98Dexter Kozen [112]
99Gabriel M. Kuper [25] [27] [36] [45] [68] [104] [107] [135] [138] [262]
100Orna Kupferman [129] [140] [143] [144] [145] [152] [154] [155] [156] [162] [163] [166] [168] [173] [179] [182] [188] [189] [192] [195] [196] [200] [205] [208] [211] [214] [215] [219] [220] [224] [225] [227] [230] [231] [236] [243] [248] [249] [253] [256] [257] [268] [270] [271] [276] [277] [286] [287] [292] [293] [301] [302] [306] [308] [309] [310] [313] [315] [318] [338] [355] [361]
101Robert P. Kurshan [216] [231]
102Dietrich Kuske [339] [340] [360]
103Marta Z. Kwiatkowska [325] [343] [348]
104Avner Landver [241]
105Daniel Leivant [165]
106Maurizio Lenzerini [181] [183] [184] [198] [201] [202] [203] [204] [209] [228] [234] [242] [254] [259] [260] [298] [320] [375]
107Markus Lohrey [339] [340] [360]
108Yoad Lustig [313] [374]
109Carsten Lutz [316] [344] [349]
110P. Madhusudan (Parthasarathy Madhusudan) [208]
111Sela Mador-Haim [241] [258] [304]
112David Maier [15] [23]
113Harry G. Mairson [58] [90] [106] [120] [135]
114Johann A. Makowsky (Janos Makowsky) [46]
115A. Frank Mayadas [311]
116Benjamin J. McMahan [280]
117Alberto O. Mendelzon [44]
118Ron van der Meyden [172] [240] [275]
119Michael Mishaeli [304]
120Cristopher Moore [305] [321]
121Yoram Moses [114] [118] [127] [136] [149] [161] [180]
122Aniello Murano [316] [335] [344] [349]
123Sumit Nain [341]
124Massimo Narizzano [217]
125Daniel N. Osherson [245]
126Guoqiang Pan [250] [273] [278] [279] [280] [282] [290] [296] [307] [314]
127Christos H. Papadimitriou [138]
128Doron Peled [125] [185] [233] [251]
129Marco Pistore [265] [322]
130Nir Piterman [205] [223] [230] [243] [248] [252] [256] [263] [272] [283] [291] [318] [338] [361]
131Erion Plaku [329] [331] [337] [353] [362] [369]
132Amir Pnueli [213]
133Andreas Podelski [330]
134Patrick Porter [280]
135Raghu Ramakrishnan [75] [105]
136S. Rodger [312]
137Daniel J. Rosenkrantz [289]
138Roni Rosner [83]
139Kenneth A. Ross [176]
140Kristin Y. Rozier [328]
141Sasha Rubin [285]
142Andrey Rybalchenko [330]
143Shmuel Safra [73] [140] [310]
144Yehoshua Sagiv [58] [75] [76] [105] [106]
145Ulrike Sattler [226] [249] [250] [307]
146Roberto Sebastiani [284] [303] [323] [326]
147Jonathan Shalev [304]
148Ehud Y. Shapiro [91]
149Sarai Sheinvald-Faragy [355]
150Sandeep K. Shukla [216]
151Alexander A. Shvartsman [135] [262]
152Eli Singerman [241] [284] [304] [323] [357]
153A. Prasad Sistla [17] [40] [54]
154Fabio Somenzi [270]
155Larry J. Stockmeyer [35] [108] [122]
156Michael Stonebraker [141]
157Devika Subramanian [207] [255]
158Deian Tabakov [297] [357]
159Armando Tacchella [217] [232]
160P. S. Thiagarajan [208]
161Wolfgang Thomas [294] [295] [319]
162Andreas Tiemeyer [241] [272] [304] [317]
163Stefano Tonetta [284] [303] [323] [326]
164Paolo Traverso [186]
165Spyros Tsavachidis [245]
166Jeffrey D. Ullman [14] [15] [23] [27] [45] [65] [75] [105] [289]
167R. Verma [312]
168Victor Vianu [99] [102] [119] [148] [218] [289]
169Mahesh Viswanathan [164] [178]
170Yakir Vizel [342]
171Andrei Voronkov [274]
172Gio Wiederhold [141]
173Roni Wiener [352]
174Thomas Wilke [151] [235]
175Edward L. Wimmers [112]
176Pierre Wolper [16] [17] [24] [40] [43] [50] [52] [54] [86] [96] [113] [117] [125] [195] [214]
177Zijiang Yang [221]
178Mihalis Yannakakis [86] [96] [185] [233] [325] [343] [348]
179Eyal Yardeni [91]
180Yael Zbar [241] [317] [342]
181Barukh Ziv [210]
182Lenore D. Zuck [304]
183Stuart H. Zweben (Stu Zweben) [311]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)