| 2013 |
|---|
| 443 | To boycott or not to boycott. Moshe Y. Vardi. Commun. ACM (56): 5 (2013). Web SearchBibTeXDownload |
| 442 | Who begat computing?. Moshe Y. Vardi. Commun. ACM (56): 5 (2013). Web SearchBibTeXDownload |
| 441 | Unifying Büchi Complementation Constructions. Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke. CoRR (abs/1302.2675) (2013). Web SearchBibTeXDownload |
| 440 | Proceedings 1st International Workshop on Strategic Reasoning. Fabio Mogavero, Aniello Murano, Moshe Y. Vardi. CoRR (abs/1303.0071) (2013). Web SearchBibTeXDownload |
| 439 | Pushdown module checking with imperfect information. Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi. Inf. Comput. (223): 1-17 (2013). Web SearchBibTeXDownload |
| 2012 |
|---|
| 438 | Bma: Visual Tool for Modeling and Analyzing Biological Networks. David Benque, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex Taylor, Moshe Y. Vardi. CAV 2012, 686-692. Web SearchBibTeXDownload |
| 437 | Predatory scholarly publishing. Moshe Y. Vardi. Commun. ACM (55): 5 (2012). Web SearchBibTeXDownload |
| 436 | What is an algorithm?. Moshe Y. Vardi. Commun. ACM (55): 5 (2012). Web SearchBibTeXDownload |
| 435 | Will MOOCs destroy academia?. Moshe Y. Vardi. Commun. ACM (55): 5 (2012). Web SearchBibTeXDownload |
| 434 | Fair access. Moshe Y. Vardi. Commun. ACM (55): 5 (2012). Web SearchBibTeXDownload |
| 433 | Why ACM?. Moshe Y. Vardi. Commun. ACM (55): 5 (2012). Web SearchBibTeXDownload |
| 432 | Artificial intelligence: past and future. Moshe Y. Vardi. Commun. ACM (55): 5 (2012). Web SearchBibTeXDownload |
| 431 | What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi. CONCUR 2012, 193-208. Web SearchBibTeXDownload |
| 430 | A Decidable Fragment of Strategy Logic. Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi. CoRR (abs/1202.1309) (2012). Web SearchBibTeXDownload |
| 429 | Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452). Kurt Mehlhorn, Moshe Y. Vardi, Marc Herbstritt. Dagstuhl Reports (2): 20-44 (2012). Web SearchBibTeXDownload |
| 428 | 2010 CAV award announcement. Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur. Formal Methods in System Design (40): 117-120 (2012). Web SearchBibTeXDownload |
| 427 | Optimized temporal monitors for SystemC. Deian Tabakov, Moshe Y. Vardi, Moshe Y. Vardi. Formal Methods in System Design (41): 236-268 (2012). Web SearchBibTeXDownload |
| 426 | Temporal property verification as a program analysis task - Extended Version. Byron Cook, Eric Koskinen, Moshe Y. Vardi. Formal Methods in System Design (41): 66-82 (2012). Web SearchBibTeXDownload |
| 425 | 2011 CAV award announcement. Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska. Formal Methods in System Design (41): 1-2 (2012). Web SearchBibTeXDownload |
| 424 | Synthesizing Probabilistic Composers. Sumit Nain, Moshe Y. Vardi. FoSSaCS 2012, 421-436. Web SearchBibTeXDownload |
| 423 | Once and for all. Orna Kupferman, Amir Pnueli, Moshe Y. Vardi. J. Comput. Syst. Sci. (78): 981-996 (2012). Web SearchBibTeXDownload |
| 422 | Büchi Complementation and Size-Change Termination. Seth Fogarty, Moshe Y. Vardi. Logical Methods in Computer Science (8) (2012). Web SearchBibTeXDownload |
| 421 | Compositional Temporal Synthesis. Moshe Y. Vardi. QEST 2012, 1. Web SearchBibTeXDownload |
| 2011 |
|---|
| 420 | Temporal Property Verification as a Program Analysis Task. Byron Cook, Eric Koskinen, Moshe Y. Vardi. CAV 2011, 333-348. Web SearchBibTeXDownload |
| 419 | Is Moore's Party over?. Moshe Y. Vardi. Commun. ACM (54): 5 (2011). Web SearchBibTeXDownload |
| 418 | Are you talking to me?. Moshe Y. Vardi. Commun. ACM (54): 5 (2011). Web SearchBibTeXDownload |
| 417 | Solving the unsolvable. Moshe Y. Vardi. Commun. ACM (54): 5 (2011). Web SearchBibTeXDownload |
| 416 | Where have all the workshops gone?. Moshe Y. Vardi. Commun. ACM (54): 5 (2011). Web SearchBibTeXDownload |
| 415 | Computing for humans. Moshe Y. Vardi. Commun. ACM (54): 5 (2011). Web SearchBibTeXDownload |
| 414 | Technology has social consequences. Moshe Y. Vardi. Commun. ACM (54): 5 (2011). Web SearchBibTeXDownload |
| 413 | Fumbling the future. Moshe Y. Vardi. Commun. ACM (54): 5 (2011). Web SearchBibTeXDownload |
| 412 | Dynamic Reactive Modules. Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi. CONCUR 2011, 404-418. Web SearchBibTeXDownload |
| 411 | The Planning Spectrum - One, Two, Three, Infinity. Marco Pistore, Moshe Y. Vardi. CoRR (abs/1109.6346) (2011). Cited by 10Web SearchBibTeXDownload |
| 410 | Büchi Complementation and Size-Change Termination. Seth Fogarty, Moshe Y. Vardi. CoRR (abs/1110.6183) (2011). Web SearchBibTeXDownload |
| 409 | Reasoning About Strategies: On the Model-Checking Problem. Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi. CoRR (abs/1112.6275) (2011). Web SearchBibTeXDownload |
| 408 | Branching vs. Linear Time: Semantical Perspective. Moshe Y. Vardi, Moshe Y. Vardi. CSL 2011, 3. Cited by 10Web SearchBibTeXDownload |
| 407 | Unifying Büchi Complementation Constructions. Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke. CSL 2011, 248-263. Web SearchBibTeXDownload |
| 406 | Synthesis from Probabilistic Components. Yoad Lustig, Sumit Nain, Moshe Y. Vardi. CSL 2011, 412-427. Web SearchBibTeXDownload |
| 405 | Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, Reinhard Wilhelm. Dagstuhl Manifestos (1): 21-40 (2011). Web SearchBibTeXDownload |
| 404 | A Multi-encoding Approach for LTL Symbolic Satisfiability Checking. Kristin Y. Rozier, Moshe Y. Vardi. FM 2011, 417-431. Web SearchBibTeXDownload |
| 403 | The Only Way Is Up. Jasmin Fisher, Nir Piterman, Moshe Y. Vardi. FM 2011, 3-11. Web SearchBibTeXDownload |
| 402 | Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk). Moshe Y. Vardi. FSTTCS 2011, 3-3. Web SearchBibTeXDownload |
| 401 | Synthesis from Recursive-Components Libraries. Yoad Lustig, Moshe Y. Vardi. GandALF 2011, 1-16. Web SearchBibTeXDownload |
| 400 | Simplifying schema mappings. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. ICDT 2011, 114-125. Web SearchBibTeXDownload |
| 399 | The Complexity of Integer Bound Propagation. Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi. J. Artif. Intell. Res. (JAIR) (40): 657-676 (2011). Web SearchBibTeXDownload |
| 398 | Temporal Synthesis for Bounded Systems and Environments. Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis. STACS 2011, 615-626. Web SearchBibTeXDownload |
| 397 | Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking. Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi. STTT (13): 319-335 (2011). Web SearchBibTeXDownload |
| 2010 |
|---|
| 396 | Node Selection Query Languages for Trees. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. AAAI 2010. Web SearchBibTeXDownload |
| 395 | Motion planning with hybrid dynamics and temporal goals. Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi. CDC 2010, 1108-1115. Web SearchBibTeXDownload |
| 394 | State of Büchi Complementation. Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay. CIAA 2010, 261-271. Web SearchBibTeXDownload |
| 393 | More debate, please!. Moshe Y. Vardi. Commun. ACM (53): 5 (2010). Web SearchBibTeXDownload |
| 392 | On P, NP, and computational complexity. Moshe Y. Vardi. Commun. ACM (53): 5 (2010). Web SearchBibTeXDownload |
| 391 | Revisiting the publication culture in computing research. Moshe Y. Vardi. Commun. ACM (53): 5 (2010). Web SearchBibTeXDownload |
| 390 | Globalization and Offshoring of Software revisited. Moshe Y. Vardi. Commun. ACM (53): 5 (2010). Web SearchBibTeXDownload |
| 389 | Science has only two legs. Moshe Y. Vardi. Commun. ACM (53): 5 (2010). Web SearchBibTeXDownload |
| 388 | View Synthesis from Schema Mappings. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. CoRR (abs/1003.1179) (2010). Web SearchBibTeXDownload |
| 387 | Constraints, Graphs, Algebra, Logic, and Complexity. Moshe Y. Vardi. CP 2010, 8. Web SearchBibTeXDownload |
| 386 | An Automata-Theoretic Approach to Infinite-State Systems. Orna Kupferman, Nir Piterman, Moshe Y. Vardi. Essays in Memory of Amir Pnueli 2010, 202-259. Web SearchBibTeXDownload |
| 385 | 2009 CAV award announcement. Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi. Formal Methods in System Design (36): 195-197 (2010). Web SearchBibTeXDownload |
| 384 | Reasoning About Strategies. Fabio Mogavero, Aniello Murano, Moshe Y. Vardi. FSTTCS 2010, 133-144. Web SearchBibTeXDownload |
| 383 | From Automated Verification to Automated Design. Moshe Y. Vardi. ICAPS 2010, 271. Web SearchBibTeXDownload |
| 382 | Sampling-based motion planning with temporal goals. Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi. ICRA 2010, 2689-2696. Web SearchBibTeXDownload |
| 381 | Motion Planning With Dynamics by a Synergistic Combination of Layers of Planning. Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. IEEE Transactions on Robotics (26): 469-482 (2010). Web SearchBibTeXDownload |
| 380 | Relentful Strategic Reasoning in Alternating-Time Temporal Logic. Fabio Mogavero, Aniello Murano, Moshe Y. Vardi. LPAR (Dakar) 2010, 371-386. Web SearchBibTeXDownload |
| 379 | Synthesis of Trigger Properties. Orna Kupferman, Moshe Y. Vardi. LPAR (Dakar) 2010, 312-331. Web SearchBibTeXDownload |
| 378 | Monitoring temporal SystemC properties. Deian Tabakov, Moshe Y. Vardi. MEMOCODE 2010, 123-132. Web SearchBibTeXDownload |
| 377 | Optimized temporal monitors for SystemC. Deian Tabakov, Moshe Y. Vardi, Moshe Y. Vardi. RV 2010, 436-451. Web SearchBibTeXDownload |
| 376 | LTL satisfiability checking. Kristin Y. Rozier, Moshe Y. Vardi. STTT (12): 123-137 (2010). Web SearchBibTeXDownload |
| 375 | Efficient Büchi Universality Checking. Seth Fogarty, Moshe Y. Vardi. TACAS 2010, 205-220. Web SearchBibTeXDownload |
| 2009 |
|---|
| 374 | Conferences vs. journals in computing research. Moshe Y. Vardi. Commun. ACM (52): 5 (2009). Cited by 4Web SearchBibTeXDownload |
| 373 | How are we doing?. Moshe Y. Vardi. Commun. ACM (52): 5 (2009). Web SearchBibTeXDownload |
| 372 | The financial meltdown and computing. Moshe Y. Vardi. Commun. ACM (52): 5 (2009). Web SearchBibTeXDownload |
| 371 | "Yes, it can be done". Moshe Y. Vardi. Commun. ACM (52): 5 (2009). Web SearchBibTeXDownload |
| 370 | Open, closed, or clopen access?. Moshe Y. Vardi. Commun. ACM (52): 5 (2009). Web SearchBibTeXDownload |
| 369 | Is the image crisis over?. Moshe Y. Vardi. Commun. ACM (52): 5 (2009). Web SearchBibTeXDownload |
| 368 | An Automata-Theoretic Approach to Regular XPath. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. DBPL 2009, 18-35. Cited by 2Web SearchBibTeXDownload |
| 367 | From liveness to promptness. Orna Kupferman, Nir Piterman, Moshe Y. Vardi. Formal Methods in System Design (34): 83-103 (2009). Cited by 8Web SearchBibTeXDownload |
| 366 | The 2008 CAV Award citation. Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi. Formal Methods in System Design (35): 4-5 (2009). Web SearchBibTeXDownload |
| 365 | Hybrid systems: from verification to falsification by combining motion planning and discrete search. Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. Formal Methods in System Design (34): 157-182 (2009). Cited by 3Web SearchBibTeXDownload |
| 364 | Synthesis from Component Libraries. Yoad Lustig, Moshe Y. Vardi. FOSSACS 2009, 395-409. Web SearchBibTeXDownload |
| 363 | From Philosophical to Industrial Logics. Moshe Y. Vardi. ICLA 2009, 89-115. Cited by 1Web SearchBibTeXDownload |
| 362 | Intelligate: An Algorithm for Learning Boolean Functions for Dynamic Power Reduction. Roni Wiener, Gila Kamhi, Moshe Y. Vardi. J. Low Power Electronics (5): 106-112 (2009). Web SearchBibTeXDownload |
| 361 | Trace Semantics is Fully Abstract. Sumit Nain, Moshe Y. Vardi. LICS 2009, 59-68. Web SearchBibTeXDownload |
| 360 | Model Checking as A Reachability Problem. Moshe Y. Vardi. RP 2009, 35. Web SearchBibTeXDownload |
| 359 | Symbolic Techniques in Propositional Satisfiability Solving. Moshe Y. Vardi. SAT 2009, 2-3. Web SearchBibTeXDownload |
| 358 | Büchi Complementation and Size-Change Termination. Seth Fogarty, Moshe Y. Vardi. TACAS 2009, 16-30. Web SearchBibTeXDownload |
| 357 | Falsification of LTL Safety Properties in Hybrid Systems. Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. TACAS 2009, 368-382. Web SearchBibTeXDownload |
| 356 | Constraints, Graphs, Algebra, Logic, and Complexity. Moshe Y. Vardi. TAMC 2009, 3. Web SearchBibTeXDownload |
| 2008 |
|---|
| 355 | From Church and Prior to PSL. Moshe Y. Vardi. 25 Years of Model Checking 2008, 150-171. Cited by 3Web SearchBibTeXDownload |
| 354 | Let us---together---make CACM exciting. Moshe Y. Vardi. Commun. ACM (51): 5 (2008). Web SearchBibTeXDownload |
| 353 | CACM: past, present, and future. Moshe Y. Vardi. Commun. ACM (51): 44-48 (2008). Web SearchBibTeXDownload |
| 352 | "Where do you come from? and where are you going?". Moshe Y. Vardi. Commun. ACM (51): 5 (2008). Web SearchBibTeXDownload |
| 351 | A Logical Approach to Constraint Satisfaction. Phokion G. Kolaitis, Moshe Y. Vardi. Complexity of Constraints 2008, 125-155. Cited by 9Web SearchBibTeXDownload |
| 350 | A Temporal Language for SystemC. Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman. FMCAD 2008, 1-9. Cited by 3Web SearchBibTeXDownload |
| 349 | Automata-Theoretic Model Checking Revisited. Moshe Y. Vardi. Haifa Verification Conference 2008, 2. Cited by 24Web SearchBibTeXDownload |
| 348 | A Framework for Inherent Vacuity. Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi. Haifa Verification Conference 2008, 7-22. Cited by 2Web SearchBibTeXDownload |
| 347 | Open Implication. Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi. ICALP (2) 2008, 361-372. Cited by 2Web SearchBibTeXDownload |
| 346 | Impact of workspace decompositions on discrete search leading continuous exploration (DSLX) motion planning. Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. ICRA 2008, 3751-3756. Web SearchBibTeXDownload |
| 345 | Multi-Objective Model Checking of Markov Decision Processes. Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis. Logical Methods in Computer Science (4) (2008). Web SearchBibTeXDownload |
| 344 | The Complexity of Enriched Mu-Calculi. Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi. Logical Methods in Computer Science (4) (2008). Cited by 21Web SearchBibTeXDownload |
| 343 | Automata: from logics to algorithms. Moshe Y. Vardi, Thomas Wilke. Logic and Automata 2008, 629-736. Web SearchBibTeX |
| 342 | Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. Roni Wiener, Gila Kamhi, Moshe Y. Vardi. PATMOS 2008, 52-61. Cited by 1Web SearchBibTeXDownload |
| 341 | From Monadic Logic to PSL. Moshe Y. Vardi. Pillars of Computer Science 2008, 656-681. Cited by 2Web SearchBibTeXDownload |
| 340 | From Verification to Synthesis. Moshe Y. Vardi. VSTTE 2008, 2. Cited by 2Web SearchBibTeXDownload |
| 2007 |
|---|
| 339 | 07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures. Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi. Algorithmic-Logical Theory of Infinite Structures 2007. Web SearchBibTeXDownload |
| 338 | 07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi. Algorithmic-Logical Theory of Infinite Structures 2007. Web SearchBibTeXDownload |
| 337 | Deeper Bound in BMC by Combining Constant Propagation and Abstraction. Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar. ASP-DAC 2007, 304-309. Cited by 1Web SearchBibTeXDownload |
| 336 | Branching vs. Linear Time: Semantical Perspective. Moshe Y. Vardi, Moshe Y. Vardi. ATVA 2007, 19-34. Cited by 10Web SearchBibTeXDownload |
| 335 | Hybrid Systems: From Verification to Falsification. Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. CAV 2007, 463-476. Cited by 14Web SearchBibTeXDownload |
| 334 | From Liveness to Promptness. Orna Kupferman, Nir Piterman, Moshe Y. Vardi. CAV 2007, 406-419. Web SearchBibTeXDownload |
| 333 | Linear-Time Model Checking: Automata Theory in Practice. Moshe Y. Vardi. CIAA 2007, 5-10. Web SearchBibTeXDownload |
| 332 | Pushdown Module Checking with Imperfect Information. Benjamin Aminof, Aniello Murano, Moshe Y. Vardi. CONCUR 2007, 460-475. Cited by 4Web SearchBibTeXDownload |
| 331 | An Analysis of Slow Convergence in Interval Propagation. Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi. CP 2007, 790-797. Cited by 3Web SearchBibTeXDownload |
| 330 | Formal Techniques for SystemC Verification; Position Paper. Moshe Y. Vardi. DAC 2007, 188-192. Cited by 8Web SearchBibTeXDownload |
| 329 | Interactive presentation: PowerQuest: trace driven data mining for power optimization. Pietro Babighian, Gila Kamhi, Moshe Y. Vardi. DATE 2007, 1078-1083. Cited by 2Web SearchBibTeXDownload |
| 328 | GSTE is partitioned model checking. Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi. Formal Methods in System Design (31): 177-196 (2007). Cited by 16Web SearchBibTeXDownload |
| 327 | A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints. Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. ICRA 2007, 692-697. Cited by 4Web SearchBibTeXDownload |
| 326 | The Planning Spectrum - One, Two, Three, Infinity. Marco Pistore, Moshe Y. Vardi. J. Artif. Intell. Res. (JAIR) (30): 101-132 (2007). Cited by 10Web SearchBibTeXDownload |
| 325 | Model Checking Buechi Specifications. Deian Tabakov, Moshe Y. Vardi. LATA 2007, 565-576. Web SearchBibTeX |
| 324 | Proving that programs eventually do something good. Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi. POPL 2007, 265-276. Cited by 24Web SearchBibTeXDownload |
| 323 | A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas. Cristopher Moore, Gabriel Istrate, Demetrios D. Demopoulos, Moshe Y. Vardi. Random Struct. Algorithms (31): 173-185 (2007). Cited by 2Web SearchBibTeXDownload |
| 322 | Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning. Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. Robotics: Science and Systems 2007. Cited by 23Web SearchBibTeXDownload |
| 321 | LTL Satisfiability Checking. Kristin Y. Rozier, Moshe Y. Vardi. SPIN 2007, 149-167. Cited by 16Web SearchBibTeXDownload |
| 320 | The Büchi Complementation Saga. Moshe Y. Vardi. STACS 2007, 12-22. Cited by 17Web SearchBibTeXDownload |
| 319 | Multi-objective Model Checking of Markov Decision Processes. Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis. TACAS 2007, 50-65. Cited by 11Web SearchBibTeXDownload |
| 318 | Property-Driven Partitioning for Abstraction Refinement. Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi. TACAS 2007, 389-404. Cited by 2Web SearchBibTeXDownload |
| 317 | View-based query processing: On the relationship between rewriting, answering and losslessness. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. Theor. Comput. Sci. (371): 169-182 (2007). Cited by 29Web SearchBibTeXDownload |
| 316 | Automata-Theoretic Model Checking Revisited. Moshe Y. Vardi. VMCAI 2007, 137-150. Cited by 24Web SearchBibTeXDownload |
| 2006 |
|---|
| 315 | Relating word and tree automata. Orna Kupferman, Shmuel Safra, Moshe Y. Vardi. Ann. Pure Appl. Logic (138): 126-146 (2006). Cited by 17Web SearchBibTeXDownload |
| 314 | Safraless Compositional Synthesis. Orna Kupferman, Nir Piterman, Moshe Y. Vardi. CAV 2006, 31-44. Cited by 23Web SearchBibTeXDownload |
| 313 | Deterministic Dynamic Monitors for Linear-Time Assertions. Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar. FATES/RV 2006, 163-177. Cited by 12Web SearchBibTeXDownload |
| 312 | Coverage metrics for temporal logic model checking*. Hana Chockler, Orna Kupferman, Moshe Y. Vardi. Formal Methods in System Design (28): 189-212 (2006). Cited by 53Web SearchBibTeXDownload |
| 311 | Aggregating disparate estimates of chance. Daniel N. Osherson, Moshe Y. Vardi. Games and Economic Behavior (56): 148-173 (2006). Web SearchBibTeXDownload |
| 310 | The Complexity of Enriched µ-Calculi. Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi. ICALP (2) 2006, 540-551. Web SearchBibTeXDownload |
| 309 | Büchi Complementation Made Tighter. Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi. Int. J. Found. Comput. Sci. (17): 851-868 (2006). Cited by 25Web SearchBibTeXDownload |
| 308 | BDD-based decision procedures for the modal logic K. Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi. Journal of Applied Non-Classical Logics (16): 169-208 (2006). Cited by 24Web SearchBibTeXDownload |
| 307 | Fixed-Parameter Hierarchies inside PSPACE. Guoqiang Pan, Moshe Y. Vardi. LICS 2006, 27-36. Cited by 9Web SearchBibTeXDownload |
| 306 | Memoryful Branching-Time Logic. Orna Kupferman, Moshe Y. Vardi. LICS 2006, 265-274. Cited by 18Web SearchBibTeXDownload |
| 305 | On Locally Checkable Properties. Orna Kupferman, Yoad Lustig, Moshe Y. Vardi. LPAR 2006, 302-316. Cited by 5Web SearchBibTeXDownload |
| 304 | educational response to offshore outsourcing. William Aspray, A. Frank Mayadas, Moshe Y. Vardi, Stuart H. Zweben. SIGCSE 2006, 330-331. Cited by 5Web SearchBibTeXDownload |
| 303 | Automata theory: its relevance to computer science students and course contents. Michal Armoni, S. Rodger, Moshe Y. Vardi, R. Verma. SIGCSE 2006, 197-198. Web SearchBibTeXDownload |
| 302 | Coverage metrics for formal verification. Hana Chockler, Orna Kupferman, Moshe Y. Vardi. STTT (8): 373-386 (2006). Cited by 40Web SearchBibTeXDownload |
| 2005 |
|---|
| 301 | From linear time to branching time. Orna Kupferman, Moshe Y. Vardi. ACM Trans. Comput. Log. (6): 273-294 (2005). Cited by 13Web SearchBibTeXDownload |
| 300 | A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas. Cristopher Moore, Gabriel Istrate, Demetrios D. Demopoulos, Moshe Y. Vardi. APPROX-RANDOM 2005, 414-425. Web SearchBibTeXDownload |
| 299 | Formal Verification of Backward Compatibility of Microcode. Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck. CAV 2005, 185-198. Cited by 11Web SearchBibTeXDownload |
| 298 | Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi. CAV 2005, 350-363. Cited by 17Web SearchBibTeXDownload |
| 297 | Regular Vacuity. Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi. CHARME 2005, 191-206. Cited by 31Web SearchBibTeXDownload |
| 296 | SAT-based Induction for Temporal Safety Properties. Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi. Electr. Notes Theor. Comput. Sci. (119): 3-16 (2005). Cited by 16Web SearchBibTeXDownload |
| 295 | Safraless Decision Procedures. Orna Kupferman, Moshe Y. Vardi. FOCS 2005, 531-542. Cited by 49Web SearchBibTeXDownload |
| 294 | Efficient LTL compilation for SAT-based model checking. Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi. ICCAD 2005, 877-884. Cited by 6Web SearchBibTeX |
| 293 | Model Checking for Database Theoreticians. Moshe Y. Vardi. ICDT 2005, 1-16. Cited by 5Web SearchBibTeXDownload |
| 292 | View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. ICDT 2005, 321-336. Web SearchBibTeXDownload |
| 291 | Symbolic Techniques in Satisfiability Solving. Guoqiang Pan, Moshe Y. Vardi. J. Autom. Reasoning (35): 25-50 (2005). Cited by 3Web SearchBibTeXDownload |
| 290 | Treewidth in Verification: Local vs. Global. Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi. LPAR 2005, 489-503. Cited by 5Web SearchBibTeXDownload |
| 289 | Experimental Evaluation of Classical Automata Constructions. Deian Tabakov, Moshe Y. Vardi. LPAR 2005, 396-411. Cited by 18Web SearchBibTeXDownload |
| 288 | In memory of Seymour Ginsburg 1928 - 2004. Serge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi. SIGMOD Record (34): 5-12 (2005). Web SearchBibTeXDownload |
| 287 | 05241 Executive Summary - Synthesis and Planning. Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi. Synthesis and Planning 2005. Web SearchBibTeXDownload |
| 286 | 05241 Abstracts Collection - Synthesis and Planning. Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi. Synthesis and Planning 2005. Web SearchBibTeXDownload |
| 285 | Complementation Constructions for Nondeterministic Automata on Infinite Words. Orna Kupferman, Moshe Y. Vardi. TACAS 2005, 206-221. Cited by 13Web SearchBibTeXDownload |
| 284 | From complementation to certification. Orna Kupferman, Moshe Y. Vardi. Theor. Comput. Sci. (345): 83-100 (2005). Cited by 21Web SearchBibTeXDownload |
| 283 | Decidable containment of recursive queries. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi. Theor. Comput. Sci. (336): 33-56 (2005). Cited by 28Web SearchBibTeXDownload |
| 2004 |
|---|
| 282 | Büchi Complementation Made Tighter. Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi. ATVA 2004, 64-78. Cited by 25Web SearchBibTeXDownload |
| 281 | Verifying omega-Regular Properties of Markov Chains. Doron Bustan, Sasha Rubin, Moshe Y. Vardi. CAV 2004, 189-201. Cited by 10Web SearchBibTeXDownload |
| 280 | GSTE Is Partitioned Model Checking. Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi. CAV 2004, 229-241. Web SearchBibTeXDownload |
| 279 | Global Model-Checking of Infinite-State Systems. Nir Piterman, Moshe Y. Vardi. CAV 2004, 387-400. Cited by 8Web SearchBibTeXDownload |
| 278 | Symbolic Decision Procedures for QBF. Guoqiang Pan, Moshe Y. Vardi. CP 2004, 453-467. Cited by 41Web SearchBibTeXDownload |
| 277 | Constraint Propagation as a Proof System. Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi. CP 2004, 77-91. Cited by 22Web SearchBibTeXDownload |
| 276 | Projection Pushing Revisited. Benjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi. EDBT 2004, 441-458. Cited by 10Web SearchBibTeXDownload |
| 275 | Search vs. Symbolic Techniques in Satisfiability Solving. Guoqiang Pan, Moshe Y. Vardi. SAT 2004. Cited by 24Web SearchBibTeXDownload |
| 274 | Complete Axiomatizations for Reasoning about Knowledge and Time. Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi. SIAM J. Comput. (33): 674-703 (2004). Cited by 99Web SearchBibTeXDownload |
| 273 | A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. Doron Bustan, Orna Kupferman, Moshe Y. Vardi. STACS 2004, 522-533. Cited by 4Web SearchBibTeXDownload |
| 272 | From Complementation to Certification. Orna Kupferman, Moshe Y. Vardi. TACAS 2004, 591-606. Web SearchBibTeXDownload |
| 2003 |
|---|
| 271 | Optimizing a BDD-Based Modal Solver. Guoqiang Pan, Moshe Y. Vardi. CADE 2003, 75-89. Cited by 36Web SearchBibTeXDownload |
| 270 | Enhanced Vacuity Detection in Linear Temporal Logic. Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi. CAV 2003, 368-380. Cited by 48Web SearchBibTeXDownload |
| 269 | On Complementing Nondeterministic Büchi Automata. Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi. CHARME 2003, 96-110. Cited by 32Web SearchBibTeXDownload |
| 268 | Coverage Metrics for Formal Verification. Hana Chockler, Orna Kupferman, Moshe Y. Vardi. CHARME 2003, 111-125. Web SearchBibTeXDownload |
| 267 | Random 3-SAT: The Plot Thickens. Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi. Constraints (8): 243-261 (2003). Cited by 49Web SearchBibTeXDownload |
| 266 | Pi2 cap Sigma2 equiv AFMC. Orna Kupferman, Moshe Y. Vardi. ICALP 2003, 697-713. Web SearchBibTeXDownload |
| 265 | Logic and Automata: A Match Made in Heaven. Moshe Y. Vardi. ICALP 2003, 64-65. Cited by 1Web SearchBibTeXDownload |
| 264 | Decidable Containment of Recursive Queries. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi. ICDT 2003, 327-342. Web SearchBibTeXDownload |
| 263 | Automated Verification: Graphs, Logic, and Automata. Moshe Y. Vardi. IJCAI 2003, 1603-1606. Cited by 4Web SearchBibTeX |
| 262 | The Planning Spectrum - One, Two, Three, Infinity. Marco Pistore, Moshe Y. Vardi. LICS 2003, 234-243. Cited by 10Web SearchBibTeXDownload |
| 261 | Homomorphism Closed vs. Existential Positive. Tomás Feder, Moshe Y. Vardi. LICS 2003, 311-320. Cited by 17Web SearchBibTeXDownload |
| 260 | Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. Nir Piterman, Moshe Y. Vardi. LICS 2003, 381. Web SearchBibTeXDownload |
| 259 | In Memoriam: Paris C. Kanellakis. Pascal Van Hentenryck, Gabriel M. Kuper, Christos H. Papadimitriou, Moshe Y. Vardi. PCK50 2003, 1-8. Cited by 2Web SearchBibTeX |
| 258 | A Call to Regularity. Moshe Y. Vardi. PCK50 2003, 11. Cited by 6Web SearchBibTeX |
| 257 | View-based query containment. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. PODS 2003, 56-67. Cited by 18Web SearchBibTeXDownload |
| 256 | Query Containment Using Views. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. SEBD 2003, 467-474. Web SearchBibTeX |
| 255 | Reasoning on regular path queries. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. SIGMOD Record (32): 83-92 (2003). Cited by 14Web SearchBibTeXDownload |
| 254 | Vacuity detection in temporal model checking. Orna Kupferman, Moshe Y. Vardi. STTT (4): 224-233 (2003). Cited by 90Web SearchBibTeXDownload |
| 253 | Resets vs. Aborts in Linear Temporal Logic. Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi. TACAS 2003, 65-80. Cited by 21Web SearchBibTeXDownload |
| 252 | Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi. TACAS 2003, 176-191. Cited by 36Web SearchBibTeXDownload |
| 251 | From bidirectionality to alternation. Nir Piterman, Moshe Y. Vardi. Theor. Comput. Sci. (295): 295-321 (2003). Cited by 7Web SearchBibTeXDownload |
| 250 | Fair Equivalence Relations. Orna Kupferman, Nir Piterman, Moshe Y. Vardi. Verification: Theory and Practice 2003, 702-732. Cited by 1Web SearchBibTeXDownload |
| 2002 |
|---|
| 249 | BDD-Based Decision Procedures for K. Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi. CADE 2002, 16-30. Cited by 47Web SearchBibTeXDownload |
| 248 | The Complexity of the Graded µ-Calculus. Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi. CADE 2002, 423-437. Cited by 31Web SearchBibTeXDownload |
| 247 | Model Checking Linear Properties of Prefix-Recognizable Systems. Orna Kupferman, Nir Piterman, Moshe Y. Vardi. CAV 2002, 371-385. Cited by 23Web SearchBibTeXDownload |
| 246 | A Rice University perspective on software engineering licensing. Ken Kennedy, Moshe Y. Vardi. Commun. ACM (45): 94-95 (2002). Web SearchBibTeXDownload |
| 245 | Complete Axiomatizations for Reasoning About Knowledge and Time. Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi. CoRR (cs.LO/0208033) (2002). Web SearchBibTeXDownload |
| 244 | Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi. CP 2002, 310-326. Cited by 72Web SearchBibTeXDownload |
| 243 | Model Checking: A Complexity-Theoretic Perspective (invited talk). Moshe Y. Vardi. Electr. Notes Theor. Comput. Sci. (68): 484 (2002). Cited by 1Web SearchBibTeXDownload |
| 242 | Bisimulation Minimization and Symbolic Model Checking. Kathi Fisler, Moshe Y. Vardi. Formal Methods in System Design (21): 39-78 (2002). Cited by 12Web SearchBibTeXDownload |
| 241 | First-Order Logic with Two Variables and Unary Temporal Logic. Kousha Etessami, Moshe Y. Vardi, Thomas Wilke. Inf. Comput. (179): 279-295 (2002). Cited by 108Web SearchBibTeXDownload |
| 240 | On the Complexity of Verifying Concurrent Transition Systems. David Harel, Orna Kupferman, Moshe Y. Vardi. Inf. Comput. (173): 143-161 (2002). Cited by 55Web SearchBibTeXDownload |
| 239 | Rewriting of Regular Expressions and Regular Path Queries. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. J. Comput. Syst. Sci. (64): 443-465 (2002). Cited by 108Web SearchBibTeXDownload |
| 238 | Black Box Checking. Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis. Journal of Automata, Languages and Combinatorics (7): 225-246 (2002). Cited by 95Web SearchBibTeX |
| 237 | Reasoning about Actions and Planning in LTL Action Theories. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi. KR 2002, 593-602. Web SearchBibTeX |
| 236 | Eliminating Incoherence from Subjective Estimates of Chance. Randy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi. KR 2002, 353-364. Cited by 10Web SearchBibTeX |
| 235 | Pushdown Specifications. Orna Kupferman, Nir Piterman, Moshe Y. Vardi. LPAR 2002, 262-277. Cited by 28Web SearchBibTeXDownload |
| 234 | Lossless Regular Views. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. PODS 2002, 247-258. Cited by 21Web SearchBibTeXDownload |
| 233 | The ForSpec Temporal Logic: A New Temporal Property-Specification Language. Roy 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. TACAS 2002, 296-211. Cited by 128Web SearchBibTeXDownload |
| 2001 |
|---|
| 232 | Weak alternating automata are not that weak. Orna Kupferman, Moshe Y. Vardi. ACM Trans. Comput. Log. (2): 408-429 (2001). Cited by 156Web SearchBibTeXDownload |
| 231 | On the unusual effectiveness of logic in computer science. Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu. Bulletin of Symbolic Logic (7): 213-236 (2001). Cited by 68Web SearchBibTeXDownload |
| 230 | A Practical Approach to Coverage in Model Checking. Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi. CAV 2001, 66-78. Cited by 62Web SearchBibTeXDownload |
| 229 | Benefits of Bounded Model Checking at an Industrial Setting. Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi. CAV 2001, 436-453. Cited by 181Web SearchBibTeXDownload |
| 228 | Extended Temporal Logic Revisited. Orna Kupferman, Nir Piterman, Moshe Y. Vardi. CONCUR 2001, 519-535. Cited by 27Web SearchBibTeXDownload |
| 227 | Random 3-SAT and BDDs: The Plot Thickens Further. Alfonso San Miguel Aguirre, Moshe Y. Vardi. CP 2001, 121-136. Cited by 29Web SearchBibTeXDownload |
| 226 | View-Based Query Answering and Query Containment over Semistructured Data. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. DBPL 2001, 40-61. Cited by 38Web SearchBibTeXDownload |
| 225 | Towards an Efficient Library for SAT: a Manifesto. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi. Electronic Notes in Discrete Mathematics (9): 290-310 (2001). Cited by 11Web SearchBibTeXDownload |
| 224 | Model Checking of Safety Properties. Orna Kupferman, Moshe Y. Vardi. Formal Methods in System Design (19): 291-314 (2001). Cited by 150Web SearchBibTeXDownload |
| 223 | A New Heuristic for Bad Cycle Detection Using BDDs. R. H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi. Formal Methods in System Design (18): 131-140 (2001). Cited by 35Web SearchBibTeXDownload |
| 222 | On the Complexity of Parity Word Automata. Valerie King, Orna Kupferman, Moshe Y. Vardi. FoSSaCS 2001, 276-286. Cited by 14Web SearchBibTeXDownload |
| 221 | The Hybrid µ-Calculus. Ulrike Sattler, Moshe Y. Vardi. IJCAR 2001, 76-91. Cited by 46Web SearchBibTeXDownload |
| 220 | Module Checking. Orna Kupferman, Moshe Y. Vardi, Pierre Wolper. Inf. Comput. (164): 322-344 (2001). Cited by 153Web SearchBibTeXDownload |
| 219 | Verification by Augmented Abstraction: The Automata-Theoretic View. Yonit Kesten, Amir Pnueli, Moshe Y. Vardi. J. Comput. Syst. Sci. (62): 668-690 (2001). Cited by 22Web SearchBibTeXDownload |
| 218 | Synthesizing Distributed Systems. Orna Kupferman, Moshe Y. Vardi. LICS 2001, 389-398. Cited by 84Web SearchBibTeXDownload |
| 217 | On Bounded Specifications. Orna Kupferman, Moshe Y. Vardi. LPAR 2001, 24-38. Cited by 14Web SearchBibTeXDownload |
| 216 | From Bidirectionality to Alternation. Nir Piterman, Moshe Y. Vardi. MFCS 2001, 598-610. Web SearchBibTeXDownload |
| 215 | Is There a Best Symbolic Cycle-Detection Algorithm?. Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang. TACAS 2001, 420-434. Cited by 55Web SearchBibTeXDownload |
| 214 | Branching vs. Linear Time: Final Showdown. Moshe Y. Vardi. TACAS 2001, 1-22. Cited by 172Web SearchBibTeXDownload |
| 213 | Coverage Metrics for Temporal Logic Model Checking. Hana Chockler, Orna Kupferman, Moshe Y. Vardi. TACAS 2001, 528-542. Web SearchBibTeXDownload |
| 2000 |
|---|
| 212 | A Game-Theoretic Approach to Constraint Satisfaction. Phokion G. Kolaitis, Moshe Y. Vardi. AAAI/IAAI 2000, 175-181. Cited by 46Web SearchBibTeXDownload |
| 211 | An automata-theortetic approach to modular model checking. Orna Kupferman, Moshe Y. Vardi. ACM Trans. Program. Lang. Syst. (22): 87-128 (2000). Cited by 99Web SearchBibTeXDownload |
| 210 | An Automata-Theoretic Approach to Reasoning about Infinite-State Systems. Orna Kupferman, Moshe Y. Vardi. CAV 2000, 36-52. Cited by 67Web SearchBibTeXDownload |
| 209 | Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix. CAV 2000, 389-402. Cited by 27Web SearchBibTeXDownload |
| 208 | What is Query Rewriting?. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. CIA 2000, 51-59. Cited by 13Web SearchBibTeXDownload |
| 207 | Open Systems in Reactive Environments: Control and Synthesis. Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi. CONCUR 2000, 92-107. Cited by 53Web SearchBibTeXDownload |
| 206 | Random 3-SAT: The Plot Thickens. Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi. CP 2000, 143-159. Cited by 49Web SearchBibTeXDownload |
| 205 | Automated Verification = Graphs, Automata, and Logic. Moshe Y. Vardi. CSL 2000, 139. Cited by 1Web SearchBibTeXDownload |
| 204 | Fair Equivalence Relations. Orna Kupferman, Nir Piterman, Moshe Y. Vardi. FSTTCS 2000, 151-163. Cited by 1Web SearchBibTeXDownload |
| 203 | Answering Regular Path Queries Using Views. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. ICDE 2000, 389-398. Cited by 98Web SearchBibTeXDownload |
| 202 | An automata-theoretic approach to branching-time model checking. Orna Kupferman, Moshe Y. Vardi, Pierre Wolper. J. ACM (47): 312-360 (2000). Cited by 286Web SearchBibTeXDownload |
| 201 | Conjunctive-Query Containment and Constraint Satisfaction. Phokion G. Kolaitis, Moshe Y. Vardi. J. Comput. Syst. Sci. (61): 302-332 (2000). Cited by 225Web SearchBibTeXDownload |
| 200 | Containment of Conjunctive Regular Path Queries with Inverse. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. KR 2000, 176-185. Cited by 38Web SearchBibTeX |
| 199 | What is View-Based Query Rewriting?. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. KRDB 2000, 17-27. Cited by 9Web SearchBibTeXDownload |
| 198 | View-Based Query Processing and Constraint Satisfaction. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. LICS 2000, 361-371. Cited by 54Web SearchBibTeXDownload |
| 197 | 0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. Phokion G. Kolaitis, Moshe Y. Vardi. MFCS 2000, 84-98. Cited by 13Web SearchBibTeXDownload |
| 196 | µ-Calculus Synthesis. Orna Kupferman, Moshe Y. Vardi. MFCS 2000, 497-507. Cited by 33Web SearchBibTeXDownload |
| 195 | Constraint Satisfaction and Database Theory: a Tutorial. Moshe Y. Vardi. PODS 2000, 76-85. Cited by 35Web SearchBibTeXDownload |
| 194 | View-Based Query Processing for Regular Path Queries with Inverse. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. PODS 2000, 58-66. Cited by 40Web SearchBibTeXDownload |
| 1999 |
|---|
| 193 | Common Knowledge Revisited. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi. Ann. Pure Appl. Logic (96): 89-105 (1999). Cited by 19Web SearchBibTeXDownload |
| 192 | Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. Moshe Y. Vardi. ARTS 1999, 265-276. Cited by 31Web SearchBibTeXDownload |
| 191 | Church's problem revisited. Orna Kupferman, Moshe Y. Vardi. Bulletin of Symbolic Logic (5): 245-263 (1999). Cited by 36Web SearchBibTeXDownload |
| 190 | Model Checking of Safety Properties. Orna Kupferman, Moshe Y. Vardi. CAV 1999, 172-183. Cited by 150Web SearchBibTeXDownload |
| 189 | Improved Automata Generation for Linear Temporal Logic. Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi. CAV 1999, 249-260. Cited by 125Web SearchBibTeXDownload |
| 188 | Bisimulation and Model Checking. Kathi Fisler, Moshe Y. Vardi. CHARME 1999, 338-341. Cited by 41Web SearchBibTeXDownload |
| 187 | Vacuity Detection in Temporal Model Checking. Orna Kupferman, Moshe Y. Vardi. CHARME 1999, 82-96. Web SearchBibTeXDownload |
| 186 | The Complexity of Problems on Graphs Represented as OBDDs. Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan. Chicago J. Theor. Comput. Sci. (1999) (1999). Web SearchBibTeXDownload |
| 185 | Robust Satisfaction. Orna Kupferman, Moshe Y. Vardi. CONCUR 1999, 383-398. Cited by 14Web SearchBibTeXDownload |
| 184 | Automata-Theoretic Approach to Planning for Temporally Extended Goals. Giuseppe De Giacomo, Moshe Y. Vardi. ECP 1999, 226-238. Cited by 63Web SearchBibTeXDownload |
| 183 | Strong Cyclic Planning Revisited. Marco Daniele, Paolo Traverso, Moshe Y. Vardi. ECP 1999, 35-48. Cited by 53Web SearchBibTeXDownload |
| 182 | Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi. Electr. Notes Theor. Comput. Sci. (23): 11-22 (1999). Cited by 4Web SearchBibTeXDownload |
| 181 | Black Box Checking. Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis. FORTE 1999, 225-240. Cited by 95Web SearchBibTeX |
| 180 | The hierarchical approach to modeling knowledge and common knowledge. Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi. Int. J. Game Theory (28): 331-365 (1999). Web SearchBibTeXDownload |
| 179 | Rewriting of Regular Expressions and Regular Path Queries. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. PODS 1999, 194-204. Cited by 108Web SearchBibTeXDownload |
| 178 | Rewriting of Regular Path Queries. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. SEBD 1999, 213-224. Web SearchBibTeX |
| 177 | Reminiscences on Influential Papers. Kenneth A. Ross, Amr El Abbadi, Sophie Cluet, Kaladhar Voruganti, Guy M. Lohman, Moshe Y. Vardi, Gultekin Özsoyoglu, Gerhard Weikum, Philip S. Yu, Timos K. Sellis, Patrick Valduriez. SIGMOD Record (28): 110-114 (1999). Web SearchBibTeX |
| 176 | The Weakness of Self-Complementation. Orna Kupferman, Moshe Y. Vardi. STACS 1999, 455-466. Cited by 11Web SearchBibTeXDownload |
| 175 | Query Answering Using Views for Data Integration over the Web. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. WebDB (Informal Proceedings) 1999, 73-78. Cited by 8Web SearchBibTeXDownload |
| 1998 |
|---|
| 174 | Verification of Fair Transition Systems. Orna Kupferman, Moshe Y. Vardi. Chicago J. Theor. Comput. Sci. (1998) (1998). Cited by 40Web SearchBibTeXDownload |
| 173 | Alternating Refinement Relations. Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi. CONCUR 1998, 163-178. Cited by 142Web SearchBibTeXDownload |
| 172 | Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. Moshe Y. Vardi. CONCUR 1998, 1-17. Cited by 16Web SearchBibTeXDownload |
| 171 | Synthesis from Knowledge-Based Specifications (Extended Abstract). Ron van der Meyden, Moshe Y. Vardi. CONCUR 1998, 34-49. Cited by 14Web SearchBibTeXDownload |
| 170 | Common knowledge revisited. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi. CoRR (cs.LO/9809003) (1998). Web SearchBibTeXDownload |
| 169 | Bisimulation Minimization in an Automata-Theoretic Verification Framework. Kathi Fisler, Moshe Y. Vardi. FMCAD 1998, 115-132. Cited by 19Web SearchBibTeXDownload |
| 168 | Reasoning about The Past with Two-Way Automata. Moshe Y. Vardi. ICALP 1998, 628-641. Cited by 193Web SearchBibTeXDownload |
| 167 | Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. Orna Kupferman, Moshe Y. Vardi. LICS 1998, 81-92. Cited by 69Web SearchBibTeXDownload |
| 166 | Linear vs. Branching Time: A Complexity-Theoretic Perspective. Moshe Y. Vardi. LICS 1998, 394-405. Cited by 31Web SearchBibTeXDownload |
| 165 | Computational Model Theory: An Overview. Moshe Y. Vardi. Logic Journal of the IGPL (6): 601-623 (1998). Cited by 3Web SearchBibTeXDownload |
| 164 | Conjunctive-Query Containment and Constraint Satisfaction. Phokion G. Kolaitis, Moshe Y. Vardi. PODS 1998, 205-213. Cited by 225Web SearchBibTeXDownload |
| 163 | Relating linear and branching model checking. Orna Kupferman, Moshe Y. Vardi. PROCOMET 1998, 304-326. Cited by 30Web SearchBibTeX |
| 162 | The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory. Tomás Feder, Moshe Y. Vardi. SIAM J. Comput. (28): 57-104 (1998). Web SearchBibTeXDownload |
| 161 | Panel: logic in the computer science curriculum. Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi. SIGCSE 1998, 376-377. Cited by 3Web SearchBibTeXDownload |
| 160 | Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan. STACS 1998, 216-226. Cited by 32Web SearchBibTeXDownload |
| 159 | Weak Alternating Automata and Tree Automata Emptiness. Orna Kupferman, Moshe Y. Vardi. STOC 1998, 224-233. Cited by 58Web SearchBibTeXDownload |
| 1997 |
|---|
| 158 | On the decision problem for two-variable first-order logic. Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi. Bulletin of Symbolic Logic (3): 53-69 (1997). Cited by 136Web SearchBibTeXDownload |
| 157 | Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics. Moshe Y. Vardi. CADE 1997, 191-206. Cited by 26Web SearchBibTeXDownload |
| 156 | Model Checking Revisited. Orna Kupferman, Moshe Y. Vardi. CAV 1997, 36-47. Web SearchBibTeXDownload |
| 155 | Model Checking and Transitive-Closure Logic. Neil Immerman, Moshe Y. Vardi. CAV 1997, 291-302. Cited by 32Web SearchBibTeXDownload |
| 154 | Module Checking Revisited. Orna Kupferman, Moshe Y. Vardi. CAV 1997, 36-47. Web SearchBibTeXDownload |
| 153 | Modular Model Checking. Orna Kupferman, Moshe Y. Vardi. COMPOS 1997, 381-401. Web SearchBibTeXDownload |
| 152 | On the Complexity of Verifying Concurrent Transition Systems. David Harel, Orna Kupferman, Moshe Y. Vardi. CONCUR 1997, 258-272. Cited by 55Web SearchBibTeXDownload |
| 151 | Knowledge-Based Programs. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi. Distributed Computing (10): 199-225 (1997). Cited by 72Web SearchBibTeXDownload |
| 150 | Verification of Open Systems. Moshe Y. Vardi. FSTTCS 1997, 250-266. Cited by 11Web SearchBibTeXDownload |
| 149 | Weak Alternating Automata Are Not That Weak. Orna Kupferman, Moshe Y. Vardi. ISTCS 1997, 147-158. Web SearchBibTeXDownload |
| 148 | Fixpoint logics, relational machines, and computational complexity. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. J. ACM (44): 30-56 (1997). Cited by 93Web SearchBibTeXDownload |
| 147 | On the Equivalence of Recursive and Nonrecursive Datalog Programs. Surajit Chaudhuri, Moshe Y. Vardi. J. Comput. Syst. Sci. (54): 61-78 (1997). Cited by 92Web SearchBibTeXDownload |
| 146 | Special Selection in Logic in Computer Science. Moshe Y. Vardi. J. Symb. Log. (62): 608 (1997). Web SearchBibTeXDownload |
| 145 | First-Order Logic with Two Variables and Unary Temporal Logic. Kousha Etessami, Moshe Y. Vardi, Thomas Wilke. LICS 1997, 228-235. Cited by 108Web SearchBibTeXDownload |
| 1996 |
|---|
| 144 | In Memoriam Paris C. Kanellakis. Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman, Moshe Y. Vardi. ACM Comput. Surv. (28): 3-15 (1996). Cited by 2Web SearchBibTeXDownload |
| 143 | Module Checking. Orna Kupferman, Moshe Y. Vardi, Pierre Wolper. CAV 1996, 75-86. Cited by 153Web SearchBibTeXDownload |
| 142 | Verification of Fair Transisiton Systems. Orna Kupferman, Moshe Y. Vardi. CAV 1996, 372-382. Web SearchBibTeXDownload |
| 141 | Rank Predicates vs. Progress Measures in Concurrent-Program Verification. Moshe Y. Vardi. Chicago J. Theor. Comput. Sci. (1996) (1996). Cited by 2Web SearchBibTeXDownload |
| 140 | A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi. CONCUR 1996, 514-529. Cited by 38Web SearchBibTeXDownload |
| 139 | Why is Modal Logic So Robustly Decidable?. Moshe Y. Vardi. Descriptive Complexity and Finite Models 1996, 149-184. Cited by 192Web SearchBibTeX |
| 138 | Database Research: Lead, Follow, or Get Out of the Way? - Panel Abstract. Surajit Chaudhuri, Ashok K. Chandra, Umeshwar Dayal, Jim Gray, Michael Stonebraker, Gio Wiederhold, Moshe Y. Vardi. ICDE 1996, 190. Cited by 1Web SearchBibTeX |
| 137 | In Memoriam: Paris C. Kanellakis (1953-1995). Alexander A. Shvartsman. Inf. Comput. (127): 65 (1996). Web SearchBibTeX |
| 136 | Relating Word and Tree Automata. Orna Kupferman, Shmuel Safra, Moshe Y. Vardi. LICS 1996, 322-332. Web SearchBibTeXDownload |
| 135 | On the Expressive Power of Variable-Confined Logics. Phokion G. Kolaitis, Moshe Y. Vardi. LICS 1996, 348-359. Cited by 17Web SearchBibTeXDownload |
| 134 | In Memoriam: Paris C. Kanellakis. Pascal Van Hentenryck, Gabriel M. Kuper, Christos H. Papadimitriou, Moshe Y. Vardi. PODS 1996, 79. Cited by 2Web SearchBibTeXDownload |
| 133 | Common Knowledge Revisited. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi. TARK 1996, 283-298. Cited by 19Web SearchBibTeX |
| 132 | Implementing Knowledge-Based Programs. Moshe Y. Vardi. TARK 1996, 15-30. Cited by 16Web SearchBibTeX |
| 1995 |
|---|
| 131 | A Nonstandard Approach to the Logical Omniscience Problem. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi. Artif. Intell. (79): 203-240 (1995). Cited by 86Web SearchBibTeXDownload |
| 130 | An Automata-Theoretic Approach to Linear Temporal Logic. Moshe Y. Vardi. Banff Higher Order Workshop 1995, 238-266. Cited by 346Web SearchBibTeXDownload |
| 129 | An Automata-Theoretic Approach to Fair Realizability and Synthesis. Moshe Y. Vardi. CAV 1995, 267-278. Cited by 57Web SearchBibTeXDownload |
| 128 | Alternating Automata and Program Verification. Moshe Y. Vardi. Computer Science Today 1995, 471-485. Cited by 68Web SearchBibTeXDownload |
| 127 | On the Complexity of Branching Modular Model Checking (Extended Abstract). Orna Kupferman, Moshe Y. Vardi. CONCUR 1995, 408-422. Cited by 37Web SearchBibTeXDownload |
| 126 | On Monadic NP vs. Monadic co-NP. Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi. Inf. Comput. (120): 78-92 (1995). Cited by 152Web SearchBibTeXDownload |
| 125 | On the Expressive Power of Datalog: Tools and a Case Study. Phokion G. Kolaitis, Moshe Y. Vardi. J. Comput. Syst. Sci. (51): 110-134 (1995). Cited by 121Web SearchBibTeXDownload |
| 124 | Undecidable Boundedness Problems for Datalog Programs. Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi. J. Log. Program. (25): 163-190 (1995). Cited by 32Web SearchBibTeXDownload |
| 123 | On the Complexity of Modular Model Checking. Moshe Y. Vardi. LICS 1995, 101-111. Cited by 36Web SearchBibTeXDownload |
| 122 | Knowledge-Based Programs. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi. PODC 1995, 153-163. Cited by 72Web SearchBibTeXDownload |
| 121 | On the Complexity of Bounded-Variable Queries. Moshe Y. Vardi. PODS 1995, 266-276. Cited by 115Web SearchBibTeXDownload |
| 120 | Simple on-the-fly automatic verification of linear temporal logic. Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper. PSTV 1995, 3-18. Cited by 575Web SearchBibTeX |
| 119 | Computing with Infinitary Logic. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. Theor. Comput. Sci. (149): 101-128 (1995). Cited by 27Web SearchBibTeXDownload |
| 1994 |
|---|
| 118 | An Operational Semantics for Knowledge Bases. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi. AAAI 1994, 1142-1147. Cited by 2Web SearchBibTeXDownload |
| 117 | An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper. CAV 1994, 142-155. Web SearchBibTeXDownload |
| 116 | Reasoning About Infinite Computations. Moshe Y. Vardi, Pierre Wolper. Inf. Comput. (115): 1-37 (1994). Cited by 541Web SearchBibTeXDownload |
| 115 | On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. Surajit Chaudhuri, Moshe Y. Vardi. PODS 1994, 107-116. Cited by 12Web SearchBibTeXDownload |
| 114 | Nontraditional Applications of Automata Theory. Moshe Y. Vardi. TACS 1994, 575-597. Cited by 48Web SearchBibTeXDownload |
| 113 | Algorithmic Knowledge. Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi. TARK 1994, 255-266. Cited by 39Web SearchBibTeX |
| 1993 |
|---|
| 112 | The Logical Data Model. Gabriel M. Kuper, Moshe Y. Vardi. ACM Trans. Database Syst. (18): 379-413 (1993). Cited by 59Web SearchBibTeXDownload |
| 111 | The Complexity of Set Constraints. Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers. CSL 1993, 1-17. Cited by 120Web SearchBibTeXDownload |
| 110 | Undecidable Optimization Problems for Database Logic Programs. Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi. J. ACM (40): 683-713 (1993). Cited by 116Web SearchBibTeXDownload |
| 109 | Logical Query Optimization by Proff-Tree Transformation. Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi. J. Comput. Syst. Sci. (47): 222-248 (1993). Web SearchBibTeXDownload |
| 108 | Optimization of Real Conjunctive Queries. Surajit Chaudhuri, Moshe Y. Vardi. PODS 1993, 59-70. Cited by 104Web SearchBibTeXDownload |
| 107 | Monotone monadic SNP and constraint satisfaction. Tomás Feder, Moshe Y. Vardi. STOC 1993, 612-622. Cited by 79Web SearchBibTeXDownload |
| 106 | Parametric real-time reasoning. Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi. STOC 1993, 592-601. Cited by 181Web SearchBibTeXDownload |
| 105 | On Monadic NP vs. Monadic co-NP (Extended Abstract). Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi. Structure in Complexity Theory Conference 1993, 19-30. Web SearchBibTeXDownload |
| 104 | On the Complexity of Queries in the Logical Data Model. Gabriel M. Kuper, Moshe Y. Vardi. Theor. Comput. Sci. (116): 33-57 (1993). Web SearchBibTeXDownload |
| 1992 |
|---|
| 103 | Memory-Efficient Algorithms for the Verification of Temporal Properties. Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis. Formal Methods in System Design (1): 275-288 (1992). Cited by 461Web SearchBibTeXDownload |
| 102 | Infinitary Logic for Computer Science. Phokion G. Kolaitis, Moshe Y. Vardi. ICALP 1992, 450-473. Cited by 5Web SearchBibTeXDownload |
| 101 | Computing with Infinitary Logic. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. ICDT 1992, 113-123. Cited by 27Web SearchBibTeXDownload |
| 100 | Infinitary Logics and 0-1 Laws. Phokion G. Kolaitis, Moshe Y. Vardi. Inf. Comput. (98): 258-294 (1992). Cited by 41Web SearchBibTeXDownload |
| 99 | What Can Machines Know? On the Properties of Knowledge in Distributed Systems. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi. J. ACM (39): 328-376 (1992). Cited by 71Web SearchBibTeXDownload |
| 98 | What Is an Inference Rule?. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi. J. Symb. Log. (57): 1018-1045 (1992). Cited by 27Web SearchBibTeXDownload |
| 97 | Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory. Phokion G. Kolaitis, Moshe Y. Vardi. LICS 1992, 46-57. Cited by 73Web SearchBibTeXDownload |
| 96 | On the Equivalence of Recursive and Nonrecursive Datalog Programs. Surajit Chaudhuri, Moshe Y. Vardi. PODS 1992, 55-66. Cited by 92Web SearchBibTeXDownload |
| 95 | Fixpoint Logics, Relational Machines, and Computational Complexity. Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. Structure in Complexity Theory Conference 1992, 156-168. Web SearchBibTeXDownload |
| 94 | The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi. TARK 1992, 229-244. Cited by 13Web SearchBibTeX |
| 93 | Automata Theory for Database Theoreticans. Moshe Y. Vardi. Theoretical Studies in Computer Science 1992, 153-180. Web SearchBibTeX |
| 1991 |
|---|
| 92 | Verification of Concurrent Programs: The Automata-Theoretic Framework. Moshe Y. Vardi. Ann. Pure Appl. Logic (51): 79-98 (1991). Cited by 109Web SearchBibTeXDownload |
| 91 | A Model-Theoretic Analysis of Knowledge. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi. J. ACM (38): 382-428 (1991). Cited by 157Web SearchBibTeXDownload |
| 90 | Database Logic Programming. Moshe Y. Vardi. J. Log. Program. (10): 179-180 (1991). Web SearchBibTeXDownload |
| 89 | Model Checking vs. Theorem Proving: A Manifesto. Joseph Y. Halpern, Moshe Y. Vardi. KR 1991, 325-334. Cited by 186Web SearchBibTeX |
| 88 | Logic Programs as Types for Logic Programs. Thom W. Frühwirth, Ehud Y. Shapiro, Moshe Y. Vardi, Eyal Yardeni. LICS 1991, 300-309. Cited by 167Web SearchBibTeXDownload |
| 87 | Tools for Datalog Boundedness. Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi. PODS 1991, 1-12. Cited by 22Web SearchBibTeXDownload |
| 1990 |
|---|
| 86 | Memory Efficient Algorithms for the Verification of Temporal Properties. Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis. CAV 1990, 233-242. Web SearchBibTeXDownload |
| 85 | Global Optimization Problems for Database Logic Programs. Moshe Y. Vardi. ICLP 1990, 767-771. Web SearchBibTeX |
| 84 | 0-1 Laws and Decision Problems for Fragments of Second-Order Logic. Phokion G. Kolaitis, Moshe Y. Vardi. Inf. Comput. (87): 301-337 (1990). Cited by 88Web SearchBibTeXDownload |
| 83 | Endmarkers can Make a Difference. Moshe Y. Vardi. Inf. Process. Lett. (35): 145-148 (1990). Cited by 1Web SearchBibTeXDownload |
| 82 | Polynomial-Time Implication Problems for Unary Inclusion Dependencies. Stavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi. J. ACM (37): 15-46 (1990). Cited by 56Web SearchBibTeXDownload |
| 81 | 0-1 Laws for Infinitary Logics (Preliminary Report). Phokion G. Kolaitis, Moshe Y. Vardi. LICS 1990, 156-167. Web SearchBibTeXDownload |
| 80 | On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report). David Harel, Roni Rosner, Moshe Y. Vardi. LICS 1990, 478-488. Cited by 12Web SearchBibTeXDownload |
| 79 | On the Expressive Power of Datalog: Tools and a Case Study. Phokion G. Kolaitis, Moshe Y. Vardi. PODS 1990, 61-71. Cited by 121Web SearchBibTeXDownload |
| 78 | A Nonstandard Approach to the Logical Omniscience Problem. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi. TARK 1990, 41-55. Cited by 86Web SearchBibTeX |
| 1989 |
|---|
| 77 | A Note on the Reduction of Two-Way Automata to One-Way Automata. Moshe Y. Vardi. Inf. Process. Lett. (30): 261-264 (1989). Cited by 24Web SearchBibTeXDownload |
| 76 | The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. Joseph Y. Halpern, Moshe Y. Vardi. J. Comput. Syst. Sci. (38): 195-237 (1989). Cited by 214Web SearchBibTeXDownload |
| 75 | On the Complexity of Epistemic Reasoning. Moshe Y. Vardi. LICS 1989, 243-252. Cited by 40Web SearchBibTeXDownload |
| 74 | Automata Theory for Database Theoreticans. Moshe Y. Vardi. PODS 1989, 83-92. Web SearchBibTeXDownload |
| 73 | Safety of Datalog Queries over Infinite Databases. Yehoshua Sagiv, Moshe Y. Vardi. PODS 1989, 160-171. Cited by 34Web SearchBibTeXDownload |
| 72 | Proof-Tree Transformation Theorems and Their Applications. Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi. PODS 1989, 172-181. Cited by 61Web SearchBibTeXDownload |
| 71 | On omega-Automata and Temporal Logic (Preliminary Report). Shmuel Safra, Moshe Y. Vardi. STOC 1989, 127-137. Cited by 22Web SearchBibTeXDownload |
| 1988 |
|---|
| 70 | An Automata-Theoretic Approach to Protocol Verification (Abstract). Moshe Y. Vardi. Concurrency 1988, 73. Cited by 1Web SearchBibTeXDownload |
| 69 | On the Complexity of Queries in the Logical Data Model (Extended Abstract). Gabriel M. Kuper, Moshe Y. Vardi. ICDT 1988, 267-280. Web SearchBibTeXDownload |
| 68 | Response to a Letter to the Editor. Moshe Y. Vardi. IEEE Software (5): 4-6 (1988). Web SearchBibTeXDownload |
| 67 | The Universal-Relation Data Model for Logical Independence. Moshe Y. Vardi. IEEE Software (5): 80-85 (1988). Web SearchBibTeXDownload |
| 66 | The Universal-Relation Data Model for Logic Independence. Moshe Y. Vardi. IEEE Software (5): 80-85 (1988). Cited by 27Web SearchBibTeX |
| 65 | 0-1 Laws and Decision Problems for Fragments of Second-Order Logic. Phokion G. Kolaitis, Moshe Y. Vardi. LICS 1988, 2-11. Cited by 88Web SearchBibTeXDownload |
| 64 | The Complexity of Ordering Subgoals. Jeffrey D. Ullman, Moshe Y. Vardi. PODS 1988, 74-81. Cited by 23Web SearchBibTeXDownload |
| 63 | Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. Moshe Y. Vardi. PODS 1988, 341-351. Cited by 62Web SearchBibTeXDownload |
| 62 | A Temporal Fixpoint Calculus. Moshe Y. Vardi. POPL 1988, 250-259. Cited by 167Web SearchBibTeXDownload |
| 61 | Database Logic Programming, Deductive Databases, and Expert Database Systems. Moshe Y. Vardi. SIGMOD Conference 1988, 7. Web SearchBibTeX |
| 60 | Decidable Optimization Problems for Database Logic Programs (Preliminary Report). Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi. STOC 1988, 477-490. Cited by 88Web SearchBibTeXDownload |
| 59 | Reasoning about Knowledge and Time in Asynchronous Systems. Joseph Y. Halpern, Moshe Y. Vardi. STOC 1988, 53-65. Web SearchBibTeXDownload |
| 1987 |
|---|
| 58 | Verification of Concurrent Programs: The Automata-Theoretic Framework. Moshe Y. Vardi. LICS 1987, 167-176. Cited by 109Web SearchBibTeX |
| 57 | Undecidable Optimization Problems for Database Logic Programs. Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi. LICS 1987, 106-115. Cited by 116Web SearchBibTeX |
| 56 | The Decision Problem for the Probabilities of Higher-Order Properties. Phokion G. Kolaitis, Moshe Y. Vardi. STOC 1987, 425-435. Cited by 87Web SearchBibTeXDownload |
| 55 | Unified Verification Theory. Moshe Y. Vardi. Temporal Logic in Specification 1987, 202-212. Cited by 9Web SearchBibTeX |
| 54 | The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper. Theor. Comput. Sci. (49): 217-237 (1987). Web SearchBibTeXDownload |
| 1986 |
|---|
| 53 | What Can Machines Know? On the Epistemic Properties of Machines. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi. AAAI 1986, 428-435. Cited by 25Web SearchBibTeXDownload |
| 52 | On the Expressive Power of Data Dependencies. Johann A. Makowsky, Moshe Y. Vardi. Acta Inf. (23): 231-244 (1986). Cited by 6Web SearchBibTeXDownload |
| 51 | Updating Logical Databases. Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi. Advances in Computing Research (3): 1-18 (1986). Cited by 140Web SearchBibTeX |
| 50 | Notions of dependency satisfaction. Marc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi. J. ACM (33): 105-129 (1986). Cited by 39Web SearchBibTeXDownload |
| 49 | Automata-Theoretic Techniques for Modal Logics of Programs. Moshe Y. Vardi, Pierre Wolper. J. Comput. Syst. Sci. (32): 183-221 (1986). Web SearchBibTeXDownload |
| 48 | Querying Logical Databases. Moshe Y. Vardi. J. Comput. Syst. Sci. (33): 142-160 (1986). Cited by 82Web SearchBibTeXDownload |
| 47 | An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report). Moshe Y. Vardi, Pierre Wolper. LICS 1986, 332-344. Cited by 1177Web SearchBibTeX |
| 46 | On the Integrity of Databases with Incomplete Information. Moshe Y. Vardi. PODS 1986, 252-266. Cited by 24Web SearchBibTeXDownload |
| 45 | Reasoning about Fair Concurrent Programs. Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper. STOC 1986, 283-294. Cited by 21Web SearchBibTeXDownload |
| 44 | The Complexity of Reasoning about Knowledge and Time: Extended Abstract. Joseph Y. Halpern, Moshe Y. Vardi. STOC 1986, 304-315. Web SearchBibTeXDownload |
| 43 | On Epistemic Logic and Logical Omniscience. Moshe Y. Vardi. TARK 1986, 293-305. Cited by 88Web SearchBibTeX |
| 42 | Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report. Ronald Fagin, Moshe Y. Vardi. TARK 1986, 187-206. Cited by 36Web SearchBibTeX |
| 1985 |
|---|
| 41 | A responce to "A complete axiomatisation for full join dependencies in relations". Moshe Y. Vardi. Bulletin of the EATCS (26): 65-66 (1985). Web SearchBibTeX |
| 40 | A simple proof that connectivity of finite graphs is not first-order definable. Haim Gaifman, Moshe Y. Vardi. Bulletin of the EATCS (26): 43-44 (1985). Web SearchBibTeX |
| 39 | Automatic Verification of Probabilistic Concurrent Finite-State Programs. Moshe Y. Vardi. FOCS 1985, 327-338. Cited by 360Web SearchBibTeXDownload |
| 38 | The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper. ICALP 1985, 465-474. Web SearchBibTeXDownload |
| 37 | A Model-Theoretic Analysis of Monotonic Knowledge. Moshe Y. Vardi. IJCAI 1985, 509-512. Cited by 21Web SearchBibTeX |
| 36 | The Taming of Converse: Reasoning about Two-way Computations. Moshe Y. Vardi. Logic of Programs 1985, 413-423. Cited by 39Web SearchBibTeXDownload |
| 35 | Querying Logical Databases. Moshe Y. Vardi. PODS 1985, 57-65. Cited by 82Web SearchBibTeXDownload |
| 34 | The Implication Problem for Functional and Inclusion Dependencies is Undecidable. Ashok K. Chandra, Moshe Y. Vardi. SIAM J. Comput. (14): 671-677 (1985). Cited by 88Web SearchBibTeXDownload |
| 33 | On the Expressive Power of the Logical Data Model (Preliminary Report). Gabriel M. Kuper, Moshe Y. Vardi. SIGMOD Conference 1985, 180-187. Cited by 25Web SearchBibTeXDownload |
| 32 | Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report. Moshe Y. Vardi, Larry J. Stockmeyer. STOC 1985, 240-251. Cited by 101Web SearchBibTeXDownload |
| 31 | An Internal Semantics for Modal Logic: Preliminary Report. Ronald Fagin, Moshe Y. Vardi. STOC 1985, 305-315. Cited by 36Web SearchBibTeXDownload |
| 30 | Formal Systems for Join Dependencies. Catriel Beeri, Moshe Y. Vardi. Theor. Comput. Sci. (38): 99-116 (1985). Cited by 9Web SearchBibTeXDownload |
| 1984 |
|---|
| 29 | On the Foundations of the Universal Relation Model. David Maier, Jeffrey D. Ullman, Moshe Y. Vardi. ACM Trans. Database Syst. (9): 283-308 (1984). Cited by 215Web SearchBibTeXDownload |
| 28 | A Model-Theoretic Analysis of Knowledge: Preliminary Report. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi. FOCS 1984, 268-278. Web SearchBibTeXDownload |
| 27 | The Theory of Data Dependencies - An Overview. Ronald Fagin, Moshe Y. Vardi. ICALP 1984, 1-22. Cited by 27Web SearchBibTeXDownload |
| 26 | On Acyclic Database Decompositions. Catriel Beeri, Moshe Y. Vardi. Information and Control (61): 75-84 (1984). Cited by 6Web SearchBibTeXDownload |
| 25 | A Note on Lossless Database Decompositions. Moshe Y. Vardi. Inf. Process. Lett. (18): 257-260 (1984). Cited by 4Web SearchBibTeXDownload |
| 24 | A Proof Procedure for Data Dependencies. Catriel Beeri, Moshe Y. Vardi. J. ACM (31): 718-741 (1984). Cited by 164Web SearchBibTeXDownload |
| 23 | The Implication and Finite Implication Problems for Typed Template Dependencies. Moshe Y. Vardi. J. Comput. Syst. Sci. (28): 3-28 (1984). Cited by 34Web SearchBibTeXDownload |
| 22 | On the Equivalence of Logical Databases. Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi. PODS 1984, 221-228. Cited by 12Web SearchBibTeXDownload |
| 21 | On the Complexity and Axiomatizability of Consistent Database States. Marc H. Graham, Moshe Y. Vardi. PODS 1984, 281-289. Cited by 13Web SearchBibTeXDownload |
| 20 | A New Approach to Database Logic. Gabriel M. Kuper, Moshe Y. Vardi. PODS 1984, 86-96. Cited by 151Web SearchBibTeXDownload |
| 19 | Formal Systems for Tuple and Equality Generating Dependencies. Catriel Beeri, Moshe Y. Vardi. SIAM J. Comput. (13): 76-98 (1984). Cited by 73Web SearchBibTeXDownload |
| 18 | Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract). Moshe Y. Vardi, Pierre Wolper. STOC 1984, 446-456. Cited by 391Web SearchBibTeXDownload |
| 1983 |
|---|
| 17 | Inferring Multivalued Dependencies From Functional and Join Dependencies. Moshe Y. Vardi. Acta Inf. (19): 305-324 (1983). Cited by 22Web SearchBibTeXDownload |
| 16 | Reasoning about Infinite Computation Paths (Extended Abstract). Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla. FOCS 1983, 185-194. Cited by 232Web SearchBibTeXDownload |
| 15 | Armstrong Databases for Functional and Inclusion Dependencies. Ronald Fagin, Moshe Y. Vardi. Inf. Process. Lett. (16): 13-19 (1983). Cited by 26Web SearchBibTeXDownload |
| 14 | Yet Another Process Logic (Preliminary Version). Moshe Y. Vardi, Pierre Wolper. Logic of Programs 1983, 501-512. Cited by 7Web SearchBibTeXDownload |
| 13 | The Revenge of the JD. David Maier, Jeffrey D. Ullman, Moshe Y. Vardi. PODS 1983, 279-287. Cited by 9Web SearchBibTeXDownload |
| 12 | On the Semantics of Updates in Databases. Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi. PODS 1983, 352-365. Cited by 348Web SearchBibTeXDownload |
| 11 | Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract). Paris C. Kanellakis, Stavros S. Cosmadakis, Moshe Y. Vardi. STOC 1983, 264-277. Cited by 38Web SearchBibTeXDownload |
| 10 | Second-Order Dependency Theory. Moshe Y. Vardi. XP4.5 Workshop on Database Theory 1983. Web SearchBibTeX |
| 1982 |
|---|
| 9 | On Decomposition of Relational Databases. Moshe Y. Vardi. FOCS 1982, 176-185. Cited by 21Web SearchBibTeXDownload |
| 8 | The Implication and Finite Implication Problems for Typed Template Dependencies. Moshe Y. Vardi. PODS 1982, 230-238. Cited by 34Web SearchBibTeXDownload |
| 7 | The Complexity of Relational Query Languages (Extended Abstract). Moshe Y. Vardi. STOC 1982, 137-146. Cited by 1009Web SearchBibTeXDownload |
| 1981 |
|---|
| 6 | Global Decision Problems for Relational Databases. Moshe Y. Vardi. FOCS 1981, 198-202. Cited by 4Web SearchBibTeXDownload |
| 5 | The Implication Problem for Data Dependencies. Catriel Beeri, Moshe Y. Vardi. ICALP 1981, 73-85. Cited by 53Web SearchBibTeXDownload |
| 4 | The Decision Problem for Database Dependencies. Moshe Y. Vardi. Inf. Process. Lett. (12): 251-254 (1981). Cited by 33Web SearchBibTeXDownload |
| 3 | A Note on Decompositions of Relational Databases. Catriel Beeri, Moshe Y. Vardi. SIGMOD Record (12): 33-37 (1981). Cited by 2Web SearchBibTeXDownload |
| 1980 |
|---|
| 2 | Decision Problems for Data Dependencies. Catriel Beeri, Moshe Y. Vardi. XP1 Workshop on Database Theory 1980. Web SearchBibTeX |
| 1979 |
|---|
| 1 | On the Properties of Join Dependencies. Catriel Beeri, Moshe Y. Vardi. Advances in Data Base Theory 1979, 25-71. Web SearchBibTeX |
