Moshe Y. Vardi Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2010
380Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: More debate, please! Commun. CACM 53(1): 5 (2010)
379Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Revisiting the publication culture in computing research. Commun. CACM 53(3): 5 (2010)
2009
378Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: An Automata-Theoretic Approach to Regular XPath. DBPL 2009: 18-35
377Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoad Lustig, Moshe Y. Vardi: Synthesis from Component Libraries. FOSSACS 2009: 395-409
376Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: From Philosophical to Industrial Logics. ICLA 2009: 89-115
375Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSumit Nain, Moshe Y. Vardi: Trace Semantics is Fully Abstract. LICS 2009: 59-68
374Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Model Checking as A Reachability Problem. RP 2009: 35
373Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Symbolic Techniques in Propositional Satisfiability Solving. SAT 2009: 2-3
372Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeth Fogarty, Moshe Y. Vardi: Büchi Complementation and Size-Change Termination. TACAS 2009: 16-30
371Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Falsification of LTL Safety Properties in Hybrid Systems. TACAS 2009: 368-382
370Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Constraints, Graphs, Algebra, Logic, and Complexity. TAMC 2009: 3
369Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: How are we doing? Commun. ACM 52(1): 5 (2009)
368Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Is the image crisis over? Commun. ACM 52(11): 5 (2009)
367Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: "Yes, it can be done". Commun. ACM 52(3): 5 (2009)
366Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Conferences vs. journals in computing research. Commun. ACM 52(5): 5 (2009)
365Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Open, closed, or clopen access? Commun. ACM 52(7): 5 (2009)
364Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: The financial meltdown and computing. Commun. ACM 52(9): 5 (2009)
363Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErion 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)
362Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: From liveness to promptness. Formal Methods in System Design 34(2): 83-103 (2009)
361Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRandal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi: The 2008 CAV Award citation. Formal Methods in System Design 35(1): 4-5 (2009)
2008
360no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRod 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
359Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: From Church and Prior to PSL. 25 Years of Model Checking 2008: 150-171
358Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhokion G. Kolaitis, Moshe Y. Vardi: A Logical Approach to Constraint Satisfaction. Complexity of Constraints 2008: 125-155
357Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman: A Temporal Language for SystemC. FMCAD 2008: 1-9
356Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Automata-Theoretic Model Checking Revisited. Haifa Verification Conference 2008: 2
355Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi: A Framework for Inherent Vacuity. Haifa Verification Conference 2008: 7-22
354Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi: Open Implication. ICALP (2) 2008: 361-372
353Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Impact of workspace decompositions on discrete search leading continuous exploration (DSLX) motion planning. ICRA 2008: 3751-3756
352Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoni Wiener, Gila Kamhi, Moshe Y. Vardi: Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. PATMOS 2008: 52-61
351Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: From Monadic Logic to PSL. Pillars of Computer Science 2008: 656-681
350Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: From Verification to Synthesis. VSTTE 2008: 2
349Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi CoRR abs/0809.0360: (2008)
348Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-Objective Model Checking of Markov Decision Processes CoRR abs/0810.5728: (2008)
347Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: CACM: past, present, and future. Commun. ACM 51(1): 44-48 (2008)
346Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Let us---together---make CACM exciting. Commun. ACM 51(10): 5 (2008)
345Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: "Where do you come from? and where are you going?". Commun. ACM 51(7): 5 (2008)
344Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi. Logical Methods in Computer Science 4(3): (2008)
343Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha 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
342Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoy 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
341Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSumit Nain, Moshe Y. Vardi: Branching vs. Linear Time: Semantical Perspective. ATVA 2007: 19-34
340Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRod 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
339Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRod 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
338Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: From Liveness to Promptness. CAV 2007: 406-419
337Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Hybrid Systems: From Verification to Falsification. CAV 2007: 463-476
336Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Linear-Time Model Checking: Automata Theory in Practice. CIAA 2007: 5-10
335Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Aminof, Aniello Murano, Moshe Y. Vardi: Pushdown Module Checking with Imperfect Information. CONCUR 2007: 460-475
334Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi: An Analysis of Slow Convergence in Interval Propagation. CP 2007: 790-797
333Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Formal Techniques for SystemC Verification; Position Paper. DAC 2007: 188-192
332Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPietro Babighian, Gila Kamhi, Moshe Y. Vardi: Interactive presentation: PowerQuest: trace driven data mining for power optimization. DATE 2007: 1078-1083
331Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints. ICRA 2007: 692-697
330Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi: Proving that programs eventually do something good. POPL 2007: 265-276
329Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning. Robotics: Science and Systems 2007
328Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKristin Y. Rozier, Moshe Y. Vardi: LTL Satisfiability Checking. SPIN 2007: 149-167
327Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: The Büchi Complementation Saga. STACS 2007: 12-22
326Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi: Property-Driven Partitioning for Abstraction Refinement. TACAS 2007: 389-404
325Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis: Multi-objective Model Checking of Markov Decision Processes. TACAS 2007: 50-65
324Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Automata-Theoretic Model Checking Revisited. VMCAI 2007: 137-150
323Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE is partitioned model checking. Formal Methods in System Design 31(2): 177-196 (2007)
322Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. J. Artif. Intell. Res. (JAIR) 30: 101-132 (2007)
321Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristopher 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)
320Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego 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
319no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry 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
318Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Safraless Compositional Synthesis. CAV 2006: 31-44
317Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar: Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV 2006: 163-177
316Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched µ-Calculi. ICALP (2) 2006: 540-551
315Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Memoryful Branching-Time Logic. LICS 2006: 265-274
314Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoqiang Pan, Moshe Y. Vardi: Fixed-Parameter Hierarchies inside PSPACE. LICS 2006: 27-36
313Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Yoad Lustig, Moshe Y. Vardi: On Locally Checkable Properties. LPAR 2006: 302-316
312Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichal Armoni, S. Rodger, Moshe Y. Vardi, R. Verma: Automata theory: its relevance to computer science students and course contents. SIGCSE 2006: 197-198
311Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Aspray, A. Frank Mayadas, Moshe Y. Vardi, Stuart H. Zweben: educational response to offshore outsourcing. SIGCSE 2006: 330-331
310Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Shmuel Safra, Moshe Y. Vardi: Relating word and tree automata. Ann. Pure Appl. Logic 138(1-3): 126-146 (2006)
309Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for temporal logic model checking*. Formal Methods in System Design 28(3): 189-212 (2006)
308Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEhud Friedgut, Orna Kupferman, Moshe Y. Vardi: Büchi Complementation Made Tighter. Int. J. Found. Comput. Sci. 17(4): 851-868 (2006)
307no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoqiang 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)
306Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for formal verification. STTT 8(4-5): 373-386 (2006)
2005
305Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristopher 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
304Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTamarah 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
303Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi: Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. CAV 2005: 350-363
302Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi: Regular Vacuity. CHARME 2005: 191-206
301Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Safraless Decision Procedures. FOCS 2005: 531-542
300no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi: Efficient LTL compilation for SAT-based model checking. ICCAD 2005: 877-884
299Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Model Checking for Database Theoreticians. ICDT 2005: 1-16
298Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego 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
297Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeian Tabakov, Moshe Y. Vardi: Experimental Evaluation of Classical Automata Constructions. LPAR 2005: 396-411
296Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Ferrara, Guoqiang Pan, Moshe Y. Vardi: Treewidth in Verification: Local vs. Global. LPAR 2005: 489-503
295Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005
294Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005
293Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Complementation Constructions for Nondeterministic Automata on Infinite Words. TACAS 2005: 206-221
292Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: From linear time to branching time. ACM Trans. Comput. Log. 6(2): 273-294 (2005)
291Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoy 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)
290Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoqiang Pan, Moshe Y. Vardi: Symbolic Techniques in Satisfiability Solving. J. Autom. Reasoning 35(1-3): 25-50 (2005)
289Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge 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)
288Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable containment of recursive queries. Theor. Comput. Sci. 336(1): 33-56 (2005)
287Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: From complementation to certification. Theor. Comput. Sci. 345(1): 83-100 (2005)
2004
286Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEhud Friedgut, Orna Kupferman, Moshe Y. Vardi: Büchi Complementation Made Tighter. ATVA 2004: 64-78
285Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Bustan, Sasha Rubin, Moshe Y. Vardi: Verifying omega-Regular Properties of Markov Chains. CAV 2004: 189-201
284Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE Is Partitioned Model Checking. CAV 2004: 229-241
283Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNir Piterman, Moshe Y. Vardi: Global Model-Checking of Infinite-State Systems. CAV 2004: 387-400
282Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoqiang Pan, Moshe Y. Vardi: Symbolic Decision Procedures for QBF. CP 2004: 453-467
281Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi: Constraint Propagation as a Proof System. CP 2004: 77-91
280Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi: Projection Pushing Revisited. EDBT 2004: 441-458
279Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoqiang Pan, Moshe Y. Vardi: Search vs. Symbolic Techniques in Satisfiability Solving. SAT 2004
278Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoqiang Pan, Moshe Y. Vardi: Search vs. Symbolic Techniques in Satisfiability Solving. SAT (Selected Papers 2004: 235-250
277Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Bustan, Orna Kupferman, Moshe Y. Vardi: A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. STACS 2004: 522-533
276Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: From Complementation to Certification. TACAS 2004: 591-606
275Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph 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
274no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe 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
273Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoqiang Pan, Moshe Y. Vardi: Optimizing a BDD-Based Modal Solver. CADE 2003: 75-89
272Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoy 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
271Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Formal Verification. CHARME 2003: 111-125
270Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi: On Complementing Nondeterministic Büchi Automata. CHARME 2003: 96-110
269Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Logic and Automata: A Match Made in Heaven. ICALP 2003: 64-65
268Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Pi2 cap Sigma2 equiv AFMC. ICALP 2003: 697-713
267Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable Containment of Recursive Queries. ICDT 2003: 327-342
266no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Automated Verification: Graphs, Logic, and Automata. IJCAI 2003: 1603-1606
265Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. LICS 2003: 234-243
264Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Feder, Moshe Y. Vardi: Homomorphism Closed vs. Existential Positive. LICS 2003: 311-320
263Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNir Piterman, Moshe Y. Vardi: Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. LICS 2003: 381-
262no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Abiteboul, Gabriel M. Kuper, Alexander A. Shvartsman, Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis. PCK50 2003: 1-8
261no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: A Call to Regularity. PCK50 2003: 11
260Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-based query containment. PODS 2003: 56-67
259no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Query Containment Using Views. SEBD 2003: 467-474
258Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi: Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. TACAS 2003: 176-191
257Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi: Resets vs. Aborts in Linear Temporal Logic. TACAS 2003: 65-80
256Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Fair Equivalence Relations. Verification: Theory and Practice 2003: 702-732
255Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian 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)
254Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Reasoning on regular path queries. SIGMOD Record 32(4): 83-92 (2003)
253Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Vacuity detection in temporal model checking. STTT 4(2): 224-233 (2003)
252Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNir Piterman, Moshe Y. Vardi: From bidirectionality to alternation. Theor. Comput. Sci. 295: 295-321 (2003)
2002
251no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron 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
250Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoqiang Pan, Ulrike Sattler, Moshe Y. Vardi: BDD-Based Decision Procedures for K. CADE 2002: 16-30
249Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Ulrike Sattler, Moshe Y. Vardi: The Complexity of the Graded µ-Calculus. CADE 2002: 423-437
248Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Model Checking Linear Properties of Prefix-Recognizable Systems. CAV 2002: 371-385
247Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVíctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi: Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. CP 2002: 310-326
246Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Alternation. JELIA 2002: 565
245no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRandy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi: Eliminating Incoherence from Subjective Estimates of Chance. KR 2002: 353-364
244no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 593-602
243Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Pushdown Specifications. LPAR 2002: 262-277
242Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Lossless Regular Views. PODS 2002: 247-258
241Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoy 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
240Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi: Complete Axiomatizations for Reasoning About Knowledge and Time CoRR cs.LO/0208033: (2002)
239Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKen Kennedy, Moshe Y. Vardi: A Rice University perspective on software engineering licensing. Commun. ACM 45(11): 94-95 (2002)
238Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Model Checking: A Complexity-Theoretic Perspective (invited talk). Electr. Notes Theor. Comput. Sci. 68(4): (2002)
237no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathi Fisler, Moshe Y. Vardi: Bisimulation Minimization and Symbolic Model Checking. Formal Methods in System Design 21(1): 39-78 (2002)
236Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput. 173(2): 143-161 (2002)
235Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha Etessami, Moshe Y. Vardi, Thomas Wilke: First-Order Logic with Two Variables and Unary Temporal Logic. Inf. Comput. 179(2): 279-295 (2002)
234Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego 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)
233no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. Journal of Automata, Languages and Combinatorics 7(2): 225-246 (2002)
2001
232Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFady 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
231Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78
230Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Extended Temporal Logic Revisited. CONCUR 2001: 519-535
229Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfonso San Miguel Aguirre, Moshe Y. Vardi: Random 3-SAT and BDDs: The Plot Thickens Further. CP 2001: 121-136
228Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001: 40-61
227Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValerie King, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Parity Word Automata. FoSSaCS 2001: 276-286
226Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Sattler, Moshe Y. Vardi: The Hybrid µ-Calculus. IJCAR 2001: 76-91
225no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Synthesizing Distributed Systems. LICS 2001
224Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: On Bounded Specifications. LPAR 2001: 24-38
223Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNir Piterman, Moshe Y. Vardi: From Bidirectionality to Alternation. MFCS 2001: 598-610
222Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Branching vs. Linear Time: Final Showdown. TACAS 2001: 1-22
221Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang: Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001: 420-434
220Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Temporal Logic Model Checking. TACAS 2001: 528-542
219Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Weak alternating automata are not that weak. ACM Trans. Comput. Log. 2(3): 408-429 (2001)
218Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph 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)
217Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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)
216no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. 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)
215no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Model Checking of Safety Properties. Formal Methods in System Design 19(3): 291-314 (2001)
214no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi, Pierre Wolper: Module Checking. Inf. Comput. 164(2): 322-344 (2001)
213no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYonit Kesten, Amir Pnueli, Moshe Y. Vardi: Verification by Augmented Abstraction: The Automata-Theoretic View. J. Comput. Syst. Sci. 62(4): 668-690 (2001)
2000
212no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhokion G. Kolaitis, Moshe Y. Vardi: A Game-Theoretic Approach to Constraint Satisfaction. AAAI/IAAI 2000: 175-181
211no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: An Automata-Theoretic Approach to Reasoning about Infinite-State Systems. CAV 2000: 36-52
210no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix: Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV 2000: 389-402
209no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is Query Rewriting? CIA 2000: 51-59
208Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi: Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000: 92-107
207Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi: Random 3-SAT: The Plot Thickens. CP 2000: 143-159
206Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Automated Verification = Graphs, Automata, and Logic. CSL 2000: 139
205Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Nir Piterman, Moshe Y. Vardi: Fair Equivalence Relations. FSTTCS 2000: 151-163
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Answering Regular Path Queries Using Views. ICDE 2000: 389-398
203no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185
202Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is View-Based Query Rewriting? KRDB 2000: 17-27
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371
200Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: µ-Calculus Synthesis. MFCS 2000: 497-507
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. MFCS 2000: 84-98
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000: 58-66
197Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Constraint Satisfaction and Database Theory: a Tutorial. PODS 2000: 76-85
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: An automata-theortetic approach to modular model checking. ACM Trans. Program. Lang. Syst. 22(1): 87-128 (2000)
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi, Pierre Wolper: An automata-theoretic approach to branching-time model checking. J. ACM 47(2): 312-360 (2000)
194no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhokion G. Kolaitis, Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. J. Comput. Syst. Sci. 61(2): 302-332 (2000)
1999
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. ARTS 1999: 265-276
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Model Checking of Safety Properties. CAV 1999: 172-183
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Daniele, Fausto Giunchiglia, Moshe Y. Vardi: Improved Automata Generation for Linear Temporal Logic. CAV 1999: 249-260
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathi Fisler, Moshe Y. Vardi: Bisimulation and Model Checking. CHARME 1999: 338-341
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Vacuity Detection in Temporal Model Checking. CHARME 1999: 82-96
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Robust Satisfaction. CONCUR 1999: 383-398
187no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe De Giacomo, Moshe Y. Vardi: Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999: 226-238
186no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Daniele, Paolo Traverso, Moshe Y. Vardi: Strong Cyclic Planning Revisited. ECP 1999: 35-48
185no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. FORTE 1999: 225-240
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Expressions and Regular Path Queries. PODS 1999: 194-204
183no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: Rewriting of Regular Path Queries. SEBD 1999: 213-224
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: The Weakness of Self-Complementation. STACS 1999: 455-466
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego 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
180no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. Ann. Pure Appl. Logic 96(1-3): 89-105 (1999)
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Church's problem revisited. Bulletin of Symbolic Logic 5(2): 245-263 (1999)
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan: The Complexity of Problems on Graphs Represented as OBDDs. Chicago J. Theor. Comput. Sci. 1999: (1999)
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRanan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi: Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. Electr. Notes Theor. Comput. Sci. 23(2): (1999)
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth 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
175no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan J. Hu, Moshe Y. Vardi: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings Springer 1998
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. CONCUR 1998: 1-17
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: Alternating Refinement Relations. CONCUR 1998: 163-178
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRon van der Meyden, Moshe Y. Vardi: Synthesis from Knowledge-Based Specifications (Extended Abstract). CONCUR 1998: 34-49
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathi Fisler, Moshe Y. Vardi: Bisimulation Minimization in an Automata-Theoretic Verification Framework. FMCAD 1998: 115-132
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Reasoning about The Past with Two-Way Automata. ICALP 1998: 628-641
169no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Linear vs. Branching Time: A Complexity-Theoretic Perspective. LICS 1998: 394-405
168no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. LICS 1998: 81-92
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhokion G. Kolaitis, Moshe Y. Vardi: Conjunctive-Query Containment and Constraint Satisfaction. PODS 1998: 205-213
166no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Relating linear and branching model checking. PROCOMET 1998: 304-326
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi: Panel: logic in the computer science curriculum. SIGCSE 1998: 376-377
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan: Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). STACS 1998: 216-226
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Weak Alternating Automata and Tree Automata Emptiness. STOC 1998: 224-233
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Verification of Fair Transition Systems. Chicago J. Theor. Comput. Sci. 1998: (1998)
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common knowledge revisited CoRR cs.LO/9809003: (1998)
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Computational Model Theory: An Overview. Logic Journal of the IGPL 6(4): 601-623 (1998)
159no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomá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
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics. CADE 1997: 191-206
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Immerman, Moshe Y. Vardi: Model Checking and Transitive-Closure Logic. CAV 1997: 291-302
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Model Checking Revisited. CAV 1997: 36-47
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Modular Model Checking. COMPOS 1997: 381-401
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. CONCUR 1997: 258-272
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Verification of Open Systems. FSTTCS 1997: 250-266
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Weak Alternating Automata Are Not That Weak. ISTCS 1997: 147-158
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha Etessami, Moshe Y. Vardi, Thomas Wilke: First-Order Logic with Two Variables and Unary Temporal Logic. LICS 1997: 228-235
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErich 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)
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. Distributed Computing 10(4): 199-225 (1997)
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Abiteboul, Moshe Y. Vardi, Victor Vianu: Fixpoint logics, relational machines, and computational complexity. J. ACM 44(1): 30-56 (1997)
147no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSurajit Chaudhuri, Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. J. Comput. Syst. Sci. 54(1): 61-78 (1997)
146no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Special Selection in Logic in Computer Science. J. Symb. Log. 62(2): 608 (1997)
1996
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Verification of Fair Transisiton Systems. CAV 1996: 372-382
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: Module Checking. CAV 1996: 75-86
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. CONCUR 1996: 514-529
142no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Why is Modal Logic So Robustly Decidable? Descriptive Complexity and Finite Models 1996: 149-184
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSurajit 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
140no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Shmuel Safra, Moshe Y. Vardi: Relating Word and Tree Automata. LICS 1996: 322-332
139no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Variable-Confined Logics. LICS 1996: 348-359
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Abiteboul, Gabriel M. Kuper, Christos H. Papadimitriou, Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis. PODS 1996: 79
137no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Implementing Knowledge-Based Programs. TARK 1996: 15-30
136no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. TARK 1996: 283-298
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge 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)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Rank Predicates vs. Progress Measures in Concurrent-Program Verification. Chicago J. Theor. Comput. Sci. 1996: (1996)
133no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: In Memoriam: Paris C. Kanellakis (1953-1995). Inf. Comput. 127(2): 65 (1996)
1995
132no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Gottlob, Moshe Y. Vardi: Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings Springer 1995
131no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: An Automata-Theoretic Approach to Linear Temporal Logic. Banff Higher Order Workshop 1995: 238-266
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: An Automata-Theoretic Approach to Fair Realizability and Synthesis. CAV 1995: 267-278
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Moshe Y. Vardi: On the Complexity of Branching Modular Model Checking (Extended Abstract). CONCUR 1995: 408-422
128no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: On the Complexity of Modular Model Checking LICS 1995: 101-111
127no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. PODC 1995: 153-163
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: On the Complexity of Bounded-Variable Queries. PODS 1995: 266-276
125no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper: Simple on-the-fly automatic verification of linear temporal logic. PSTV 1995: 3-18
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Alternating Automata and Program Verification. Computer Science Today 1995: 471-485
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. Artif. Intell. 79(2): 203-240 (1995)
122no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi: On Monadic NP vs. Monadic co-NP Inf. Comput. 120(1): 78-92 (1995)
121no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhokion 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)
120no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd 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)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Abiteboul, Moshe Y. Vardi, Victor Vianu: Computing with Infinitary Logic. Theor. Comput. Sci. 149(1): 101-128 (1995)
1994
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: An Operational Semantics for Knowledge Bases. AAAI 1994: 1142-1147
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Bernholtz, Moshe Y. Vardi, Pierre Wolper: An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). CAV 1994: 142-155
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSurajit Chaudhuri, Moshe Y. Vardi: On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. PODS 1994: 107-116
115no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Nontraditional Applications of Automata Theory. TACS 1994: 575-597
114no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Algorithmic Knowledge. TARK 1994: 255-266
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi, Pierre Wolper: Reasoning About Infinite Computations Inf. Comput. 115(1): 1-37 (1994)
1993
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers: The Complexity of Set Constraints. CSL 1993: 1-17
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSurajit Chaudhuri, Moshe Y. Vardi: Optimization of Real Conjunctive Queries. PODS 1993: 59-70
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi: Parametric real-time reasoning. STOC 1993: 592-601
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomás Feder, Moshe Y. Vardi: Monotone monadic SNP and constraint satisfaction. STOC 1993: 612-622
108no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi: On Monadic NP vs. Monadic co-NP (Extended Abstract). Structure in Complexity Theory Conference 1993: 19-30
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel M. Kuper, Moshe Y. Vardi: The Logical Data Model. ACM Trans. Database Syst. 18(3): 379-413 (1993)
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs. J. ACM 40(3): 683-713 (1993)
105no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghu 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)
104no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel 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
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhokion G. Kolaitis, Moshe Y. Vardi: Infinitary Logic for Computer Science. ICALP 1992: 450-473
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Abiteboul, Moshe Y. Vardi, Victor Vianu: Computing with Infinitary Logic. ICDT 1992: 113-123
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhokion G. Kolaitis, Moshe Y. Vardi: Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory LICS 1992: 46-57
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSurajit Chaudhuri, Moshe Y. Vardi: On the Equivalence of Recursive and Nonrecursive Datalog Programs. PODS 1992: 55-66
99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Abiteboul, Moshe Y. Vardi, Victor Vianu: Fixpoint Logics, Relational Machines, and Computational Complexity. Structure in Complexity Theory Conference 1992: 156-168
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald 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
97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Automata Theory for Database Theoreticans. Theoretical Studies in Computer Science 1992: 153-180
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas 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)
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhokion G. Kolaitis, Moshe Y. Vardi: Infinitary Logics and 0-1 Laws Inf. Comput. 98(2): 258-294 (1992)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald 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)
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: What Is an Inference Rule? J. Symb. Log. 57(3): 1018-1045 (1992)
1991
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Y. Halpern, Moshe Y. Vardi: Model Checking vs. Theorem Proving: A Manifesto. KR 1991: 325-334
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Ehud Y. Shapiro, Moshe Y. Vardi, Eyal Yardeni: Logic Programs as Types for Logic Programs LICS 1991: 300-309
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi: Tools for Datalog Boundedness. PODS 1991: 1-12
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Verification of Concurrent Programs: The Automata-Theoretic Framework. Ann. Pure Appl. Logic 51(1-2): 79-98 (1991)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge. J. ACM 38(2): 382-428 (1991)
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Database Logic Programming. J. Log. Program. 10(1/2/3&4): 179-180 (1991)
1990
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCostas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis: Memory Efficient Algorithms for the Verification of Temporal Properties. CAV 1990: 233-242
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoshe Y. Vardi: Global Optimization Problems for Database Logic Programs. ICLP 1990: 767-771
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhokion G. Kolaitis, Moshe Y. Vardi: 0-1 Laws for Infinitary Logics (Preliminary Report) LICS 1990: 156-167
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Roni Rosner, Moshe Y. Vardi: On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) LICS 1990: 478-488
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. PODS 1990: 61-71
81no EE pubzone.org CiteSeerX Google scholar