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