| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Moshe Y. Vardi |
Artificial intelligence: past and future.  |
Commun. ACM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Fair access. |
Commun. ACM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
What is an algorithm? |
Commun. ACM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi |
A Decidable Fragment of Strategy Logic |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Seth Fogarty, Moshe Y. Vardi |
Büchi Complementation and Size-Change Termination |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Amir Pnueli, Moshe Y. Vardi |
Once and for all. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur |
2010 CAV award announcement. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Nain, Moshe Y. Vardi |
Synthesizing Probabilistic Composers. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Is Moore's Party over? |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Computing for humans. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Where have all the workshops gone? |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Technology has social consequences. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Fumbling the future. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Solving the unsolvable. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Are you talking to me? |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi |
Reasoning About Strategies: On the Model-Checking Problem |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marco Pistore, Moshe Y. Vardi |
The Planning Spectrum - One, Two, Three, Infinity |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yoad Lustig, Moshe Y. Vardi |
Synthesis from Recursive-Components Libraries |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, Reinhard Wilhelm |
Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). |
Dagstuhl Manifestos |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi |
The Complexity of Integer Bound Propagation. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi |
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi |
Dynamic Reactive Modules. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis |
Temporal Synthesis for Bounded Systems and Environments. |
STACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Fisher, Nir Piterman, Moshe Y. Vardi |
The Only Way Is Up. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristin Y. Rozier, Moshe Y. Vardi |
A Multi-encoding Approach for LTL Symbolic Satisfiability Checking. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
Simplifying schema mappings. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Eric Koskinen, Moshe Y. Vardi |
Temporal Property Verification as a Program Analysis Task. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke |
Unifying Büchi Complementation Constructions. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoad Lustig, Sumit Nain, Moshe Y. Vardi |
Synthesis from Probabilistic Components. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Branching vs. Linear Time: Semantical Perspective. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk). |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi |
Motion Planning With Dynamics by a Synergistic Combination of Layers of Planning. |
IEEE Transactions on Robotics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
On P, NP, and computational complexity. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Hypercriticality. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Science has only two legs. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
More debate, please! |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Revisiting the publication culture in computing research. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Globalization and Offshoring of Software revisited. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
View Synthesis from Schema Mappings |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kristin Y. Rozier, Moshe Y. Vardi |
LTL satisfiability checking. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi |
2009 CAV award announcement. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Deian Tabakov, Moshe Y. Vardi |
Optimized temporal monitors for SystemC. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Deian Tabakov, Moshe Y. Vardi |
Monitoring temporal SystemC properties. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Seth Fogarty, Moshe Y. Vardi |
Efficient Büchi Universality Checking. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi |
Relentful Strategic Reasoning in Alternating-Time Temporal Logic. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Moshe Y. Vardi |
Synthesis of Trigger Properties. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
From Automated Verification to Automated Design. |
ICAPS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi |
Motion planning with hybrid dynamics and temporal goals. |
CDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi |
Sampling-based motion planning with temporal goals. |
ICRA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
An Automata-Theoretic Approach to Infinite-State Systems. |
Essays in Memory of Amir Pnueli |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay |
State of Büchi Complementation. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi |
Reasoning About Strategies. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
Node Selection Query Languages for Trees. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Constraints, Graphs, Algebra, Logic, and Complexity. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roni Wiener, Gila Kamhi, Moshe Y. Vardi |
Intelligate: An Algorithm for Learning Boolean Functions for Dynamic Power Reduction. |
J. Low Power Electronics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Is the image crisis over? |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
How are we doing? |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
"Yes, it can be done". |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Conferences vs. journals in computing research. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Open, closed, or clopen access? |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
The financial meltdown and computing. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
Discrete search, Sampling-based planning, Hybrid system, Decomposition, Safety properties, Nonlinear dynamics, Robot motion planning |
| 1 | Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi |
The 2008 CAV Award citation. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
From liveness to promptness. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
Verification, Temporal logic, Liveness |
| 1 | Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi |
Falsification of LTL Safety Properties in Hybrid Systems. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Seth Fogarty, Moshe Y. Vardi |
Büchi Complementation and Size-Change Termination. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Constraints, Graphs, Algebra, Logic, and Complexity. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Symbolic Techniques in Propositional Satisfiability Solving. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Model Checking as A Reachability Problem. |
RP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
An Automata-Theoretic Approach to Regular XPath. |
DBPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Nain, Moshe Y. Vardi |
Trace Semantics is Fully Abstract. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoad Lustig, Moshe Y. Vardi |
Synthesis from Component Libraries. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
From Philosophical to Industrial Logics. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis |
Multi-Objective Model Checking of Markov Decision Processes. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
The Complexity of Enriched Mu-Calculi. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
"Where do you come from? and where are you going?". |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
CACM: past, present, and future. |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Let us---together---make CACM exciting. |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis |
Multi-Objective Model Checking of Markov Decision Processes |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
The Complexity of Enriched Mu-Calculi |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Roni Wiener, Gila Kamhi, Moshe Y. Vardi |
Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. |
PATMOS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman |
A Temporal Language for SystemC. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi |
Open Implication. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Moshe Y. Vardi |
A Logical Approach to Constraint Satisfaction. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi (eds.) |
Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007 |
Algorithmic-Logical Theory of Infinite Structures |
2008 |
DBLP BibTeX RDF |
|
| 1 | Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi |
Impact of workspace decompositions on discrete search leading continuous exploration (DSLX) motion planning. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
From Church and Prior to PSL. |
25 Years of Model Checking |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
From Verification to Synthesis. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi, Thomas Wilke |
Automata: from logics to algorithms. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
From Monadic Logic to PSL. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Automata-Theoretic Model Checking Revisited. |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi |
A Framework for Inherent Vacuity. |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistore, Moshe Y. Vardi |
The Planning Spectrum - One, Two, Three, Infinity. |
J. Artif. Intell. Res. (JAIR) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi |
GSTE is partitioned model checking. |
Formal Methods in System Design |
2007 |
DBLP DOI BibTeX RDF |
GSTE, Property-driven partitioning, Symbolic model checking |
| 1 | Benjamin Aminof, Aniello Murano, Moshe Y. Vardi |
Pushdown Module Checking with Imperfect Information. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Deian Tabakov, Moshe Y. Vardi |
Model Checking Buechi Specifications. |
LATA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis |
Multi-objective Model Checking of Markov Decision Processes. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi |
Property-Driven Partitioning for Abstraction Refinement. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")