Joint Declaration: The freedom of science is at the heart of liberal, democratic societies. Without this freedom, it is impossible for scientific efforts to be geared toward gaining knowledge and facts. It is therefore extremely worrying that the scientific freedom is coming under increasing pressure in various regions of the world. (read more)

We've just launched a new service: our brand new dblp SPARQL query service. Read more about it in our latest blog post or try out some of the SPARQL queries linked on the dblp web pages below.

default search action

combined dblp search
author search
venue search
publication search

ask others

Moshe Y. Vardi

> Home > Persons

Person information

affiliation: Rice University, Department of Computer Science
award (2017): ACM Presidential Award
award (2011): Harry H. Goode Memorial Award
award (2008): SIGMOD Edgar F. Codd Innovations Award
award (2005): Paris Kanellakis Award
award (2000): Gödel Prize

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j264]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi25
Moshe Y. Vardi:
I Was Wrong about the Ethics Crisis. Commun. ACM 68(1): 5 (2025)
[j263]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi25a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi25a
Moshe Y. Vardi:
Homo Ratiocinator (Reckoning Human). Commun. ACM 68(3): 5 (2025)
[c430]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/HagemeierGV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HagemeierGV25
Christian Hagemeier, Giuseppe De Giacomo, Moshe Y. Vardi:
LTLf Synthesis Under Unreliable Input. AAAI 2025: 14958-14966
[i86]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2503-14690
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2503-14690
Senthil Rajasekaran, Moshe Y. Vardi:
Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems. CoRR abs/2503.14690 (2025)
2024
[j262]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi24
Moshe Y. Vardi:
Computing, You Have Blood on Your Hands! Commun. ACM 67(1): 5 (2024)
[j261]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi24a
Moshe Y. Vardi:
What Do Computing and Economics Have to Say to Each Other? Commun. ACM 67(3): 5 (2024)
[j260]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi24b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi24b
Moshe Y. Vardi:
More Is Different, in Social Media Too. Commun. ACM 67(5): 5 (2024)
[j259]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/StrelzoffTCSGSKVBKL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/StrelzoffTCSGSKVBKL24
Andrew Strelzoff, Benjamin D. Trump, Christopher L. Cummings, Madison Smith, Stephanie Elisabeth Galaitsi, Kelsey Stoddard, Jeffrey M. Keisler, Moshe Y. Vardi, Nathaniel D. Bastian, Alexander Kott, Igor Linkov:
Human Intuition and Algorithmic Efficiency Must Be Balanced to Enhance Data Mesh Resilience. Commun. ACM 67(5): 48-51 (2024)
[j258]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi24c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi24c
Moshe Y. Vardi:
Is Computing a Discipline in Crisis? Commun. ACM 67(7): 5 (2024)
[j257]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi24d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi24d
Moshe Y. Vardi:
The Linear Fallacy. Commun. ACM 67(9): 5 (2024)
[j256]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi24e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi24e
Moshe Y. Vardi:
What Is Theoretical Computer Science? Commun. ACM 67(11): 5 (2024)
[j255]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/LiSV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LiSV24
Yong Li, Sven Schewe, Moshe Y. Vardi:
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. Theor. Comput. Sci. 1006: 114650 (2024)
[c429]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LinTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LinTV24
Yi Lin, Lucas Martinelli Tabajara, Moshe Y. Vardi:
Dynamic Programming for Symbolic Boolean Realizability and Synthesis. CAV (3) 2024: 112-134
[c428]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/JohannsenNDISTVR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JohannsenNDISTVR24
Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier:
The MoXI Model Exchange Tool Suite. CAV (1) 2024: 203-218
[c427]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/Vardi24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/Vardi24
Moshe Y. Vardi:
Logical Algorithmics: From Theory to Practice (Invited Talk). CSL 2024: 6:1-6:1
[c426]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/MuvvalaWLKV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/MuvvalaWLKV24
Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Stochastic Games for Interactive Manipulation Domains. ICRA 2024: 2513-2519
[c425]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/ElimelechKTVK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/ElimelechKTVK24
Khen Elimelech, Zachary K. Kingston, Wil Thomason, Moshe Y. Vardi, Lydia E. Kavraki:
Accelerating Long-Horizon Planning with Affordance-Directed Dynamic Grounding of Abstract Strategies. ICRA 2024: 12688-12695
[c424]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/Yu0GKV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Yu0GKV24
Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi:
The Trembling-Hand Problem for LTLf Planning. IJCAI 2024: 3631-3641
[c423]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/AminofCRVZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/AminofCRVZ24
Benjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Y. Vardi, Florian Zuleger:
Probabilistic Synthesis and Verification for LTL on Finite Traces. KR 2024
[c422]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/Vardi24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Vardi24
Moshe Y. Vardi:
Logical Algorithmics: From Relational Queries to Boolean Reasoning (Invited Talk). SAT 2024: 3:1-3:1
[c421]
- view
  authority control:
- export record
  dblp key:
  - conf/setss/Vardi24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/Vardi24
Moshe Y. Vardi:
What Came First, Mathematics or Computing? SETSS 2024: 3-6
[c420]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/RozierDIJNSTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/RozierDIJNSTV24
Kristin Yvonne Rozier, Rohit Dureja, Ahmed Irfan, Chris Johannsen, Karthik Nukala, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi:
MoXI: An Intermediate Language for Symbolic Model Checking. SPIN 2024: 26-46
[c419]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/XiaoLHXLPSV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/XiaoLHXLPSV24
Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi:
Model-Guided Synthesis for LTL over Finite Traces. VMCAI (1) 2024: 186-207
[i85]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-04910
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-04910
Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Stochastic Games for Interactive Manipulation Domains. CoRR abs/2403.04910 (2024)
[i84]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-16163
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-16163
Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi:
The Trembling-Hand Problem for LTLf Planning. CoRR abs/2404.16163 (2024)
[i83]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-07975
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-07975
Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi:
Dynamic Programming for Symbolic Boolean Realizability and Synthesis. CoRR abs/2405.07975 (2024)
[i82]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-07324
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-07324
Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts. CoRR abs/2408.07324 (2024)
[i81]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-10692
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-10692
Khen Elimelech, James Motes, Marco Morales, Nancy M. Amato, Moshe Y. Vardi, Lydia E. Kavraki:
Encoding Reusable Multi-Robot Planning Strategies as Abstract Hypergraphs. CoRR abs/2409.10692 (2024)
[i80]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-09366
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-09366
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi:
LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces. CoRR abs/2411.09366 (2024)
[i79]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-14728
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-14728
Christian Hagemeier, Giuseppe De Giacomo, Moshe Y. Vardi:
LTLf Synthesis Under Unreliable Input. CoRR abs/2412.14728 (2024)
[i78]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-17992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-17992
Khen Elimelech, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Falsification of Autonomous Systems in Rich Environments. CoRR abs/2412.17992 (2024)
2023
[j254]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi23
Moshe Y. Vardi:
How Not to Win a Tech War. Commun. ACM 66(1): 7 (2023)
[j253]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi23a
Moshe Y. Vardi:
Who Is Responsible Around Here? Commun. ACM 66(3): 5 (2023)
[j252]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi23b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi23b
Moshe Y. Vardi:
ACM for the Public Good. Commun. ACM 66(5): 5 (2023)
[j251]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi23d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi23d
Moshe Y. Vardi:
Revisiting ACM's Open-Conference Principle. Commun. ACM 66(7): 5 (2023)
[j250]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi23e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi23e
Moshe Y. Vardi:
To Regulate Tech, Nullify Click-Through Contracts. Commun. ACM 66(9): 5 (2023)
[j249]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi23f
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi23f
Moshe Y. Vardi:
What Came First, Math or Computing? Commun. ACM 66(11): 5 (2023)
[j248]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/FengLTVZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FengLTVZ23
Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
On the power of finite ambiguity in Büchi complementation. Inf. Comput. 292: 105032 (2023)
[c418]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BansalLTVW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BansalLTVW23
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells:
Model Checking Strategies from Synthesis over Finite Traces. ATVA (1) 2023: 227-247
[c417]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/0031SV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/0031SV23
Yong Li, Sven Schewe, Moshe Y. Vardi:
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CONCUR 2023: 37:1-37:17
[c416]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbseerc/Vardi23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbseerc/Vardi23
Moshe Y. Vardi:
How to Be An Ethical Technologist. ECBS 2023: 1-6
[c415]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/RozierSTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/RozierSTV23
Kristin Y. Rozier, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi:
Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community. FMCAD 2023: 1
[c414]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/ElimelechKV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/ElimelechKV23
Khen Elimelech, Lydia E. Kavraki, Moshe Y. Vardi:
Extracting generalizable skills from a single plan execution using abstraction-critical state detection. ICRA 2023: 5772-5778
[c413]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/RajasekaranBV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/RajasekaranBV23
Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi:
Multi-Agent Systems with Quantitative Satisficing Goals. IJCAI 2023: 280-288
[c412]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/VardiZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/VardiZ23
Moshe Y. Vardi, Zhiwei Zhang:
Solving Quantum-Inspired Perfect Matching Problems via Tutte-Theorem-Based Hybrid Boolean Constraints. IJCAI 2023: 2039-2048
[c411]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/Vardi23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/Vardi23
Moshe Y. Vardi:
Logical Algorithmics: From Theory to Practice (Invited Talk). STACS 2023: 3:1-3:1
[i77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-09833
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-09833
Moshe Y. Vardi, Zhiwei Zhang:
Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints. CoRR abs/2301.09833 (2023)
[i76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-00953
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-00953
Senthil Rajasekaran, Suguman Bansal, Moshe Y. Vardi:
Multi-Agent Systems with Quantitative Satisficing Goals. CoRR abs/2305.00953 (2023)
[i75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-08319
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-08319
Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew M. Wells:
On Strategies in Synthesis Over Finite Traces. CoRR abs/2305.08319 (2023)
[i74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-09966
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-09966
Yong Li, Sven Schewe, Moshe Y. Vardi:
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CoRR abs/2305.09966 (2023)
2022
[j247]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi22
Moshe Y. Vardi:
Will AI destroy education? Commun. ACM 65(1): 7 (2022)
[j246]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi22a
Moshe Y. Vardi:
ACM, ethics, and corporate behavior. Commun. ACM 65(3): 5 (2022)
[j245]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi22b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi22b
Moshe Y. Vardi:
War and tech (and ACM). Commun. ACM 65(5): 9 (2022)
[j244]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi22c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi22c
Moshe Y. Vardi:
An association of the members, by the members, for the members. Commun. ACM 65(7): 11 (2022)
[j243]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi22d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi22d
Moshe Y. Vardi:
Technology and democracy. Commun. ACM 65(9): 5 (2022)
[j242]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi22e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi22e
Moshe Y. Vardi:
Accountability and liability in computing. Commun. ACM 65(11): 5 (2022)
[j241]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChakrabortyFTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChakrabortyFTV22
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
Functional synthesis via input-output separation. Formal Methods Syst. Des. 60(2): 228-258 (2022)
[j240]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/GiacomoSTVZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GiacomoSTVZ22
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu:
Finite-trace and generalized-reactivity specifications in temporal synthesis. Formal Methods Syst. Des. 61(2): 139-163 (2022)
[j239]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/LiVR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LiVR22
Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier:
Satisfiability checking for Mission-time LTL (MLTL). Inf. Comput. 289(Part): 104923 (2022)
[j238]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/FriedLOV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/FriedLOV22
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. Log. Methods Comput. Sci. 18(1) (2022)
[j237]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BansalCV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BansalCV22
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Comparator automata in quantitative verification. Log. Methods Comput. Sci. 18(3) (2022)
[c410]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ShrotriNIM0V22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ShrotriNIM0V22
Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi:
Constraint-Driven Explanations for Black-Box ML Models. AAAI 2022: 8304-8314
[c409]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BansalKVW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BansalKVW22
Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells:
Synthesis from Satisficing and Temporal Goals. AAAI 2022: 9679-9686
[c408]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/VardiF0T22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/VardiF0T22
Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay:
Towards a Grand Unification of Büchi Complementation Constructions. Principles of Systems Design 2022: 185-207
[c407]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LiTFVZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LiTFVZ22
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition. CAV (2) 2022: 152-173
[c406]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icsoft/Vardi22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/Vardi22
Moshe Y. Vardi:
Program Verification: A 70+-Year History. ICSOFT 2022: 15
[c405]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/DudekSV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DudekSV22
Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi:
DPSampler: Exact Weighted Sampling Using Dynamic Programming. IJCAI 2022: 1795-1803
[c404]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/GiacomoFLVX022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoFLVX022
Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu:
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. IJCAI 2022: 2591-2598
[c403]
- view
  authority control:
- export record
  dblp key:
  - conf/isrr/ElimelechKV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isrr/ElimelechKV22
Khen Elimelech, Lydia E. Kavraki, Moshe Y. Vardi:
Efficient Task Planning Using Abstract Skills and Dynamic Road Map Matching. ISRR 2022: 487-503
[c402]
- view
  - electronic edition @ kr.org
  - details & citations
- export record
  dblp key:
  - conf/kr/FijalkowMMRV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/FijalkowMMRV22
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Public and Private Affairs in Strategic Reasoning. KR 2022
[c401]
- view
  - electronic edition @ kr.org
  - details & citations
- export record
  dblp key:
  - conf/kr/RajasekaranV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/RajasekaranV22
Senthil Rajasekaran, Moshe Y. Vardi:
Verification and Realizability in Finite-Horizon Multiagent Systems. KR 2022
[c400]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LinTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LinTV22
Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi:
ZDD Boolean Synthesis. TACAS (1) 2022: 64-83
[c399]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/time/Vardi22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Vardi22
Moshe Y. Vardi:
Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk). TIME 2022: 1:1-1:1
[c398]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BansalGSLVZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BansalGSLVZ22
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu:
Compositional Safety LTL Synthesis. VSTTE 2022: 1-19
[c397]
- view
  authority control:
- export record
  dblp key:
  - conf/wafr/ElimelechKV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wafr/ElimelechKV22
Khen Elimelech, Lydia E. Kavraki, Moshe Y. Vardi:
Automatic Cross-domain Task Plan Transfer by Caching Abstract Skills. WAFR 2022: 470-487
[p7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/22/Vardi22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/22/Vardi22
Moshe Y. Vardi:
Efficiency vs. Resilience: Lessons from COVID-19. Perspectives on Digital Humanism 2022: 285-289
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/LiTFVZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/LiTFVZ22
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition". Version 2. Zenodo, 2022 [all versions]
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/10/LiTFVZ22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/LiTFVZ22a
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition". Version 1. Zenodo, 2022 [all versions]
[i73]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-01029
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-01029
Senthil Rajasekaran, Moshe Y. Vardi:
Verification and Realizability in Finite-Horizon Multiagent Systems. CoRR abs/2205.01029 (2022)
[i72]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-03747
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-03747
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang:
DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving. CoRR abs/2205.03747 (2022)
[i71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-08632
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-08632
Vu H. N. Phan, Moshe Y. Vardi:
DPO: Dynamic-Programming Optimization on Hybrid Constraints. CoRR abs/2205.08632 (2022)
[i70]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-09826
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-09826
Vu H. N. Phan, Moshe Y. Vardi:
DPER: Dynamic Programming for Exist-Random Stochastic SAT. CoRR abs/2205.09826 (2022)
[i69]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-10464
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-10464
Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells:
Synthesis from Satisficing and Temporal Goals. CoRR abs/2205.10464 (2022)
[i68]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-13739
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-13739
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang:
Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition. CoRR abs/2206.13739 (2022)
[i67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-13063
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-13063
Moshe Y. Vardi, Zhiwei Zhang:
Quantum-Inspired Perfect Matching under Vertex-Color Constraints. CoRR abs/2209.13063 (2022)
2021
[j236]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/KyrillidisSVZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/KyrillidisSVZ21
Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang:
Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions. Artif. Intell. 299: 103559 (2021)
[j235]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi21
Moshe Y. Vardi:
Reboot the computing-research publication systems. Commun. ACM 64(1): 7 (2021)
[j234]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi21a
Moshe Y. Vardi:
The people vs. tech. Commun. ACM 64(3): 9 (2021)
[j233]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi21b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi21b
Moshe Y. Vardi:
The agency trilemma and ACM. Commun. ACM 64(5): 4 (2021)
[j232]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi21c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi21c
Moshe Y. Vardi:
Program verification: vision and reality. Commun. ACM 64(7): 5 (2021)
[j231]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi21d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi21d
Moshe Y. Vardi:
The sand-heap paradox of privacy and influence. Commun. ACM 64(9): 5 (2021)
[j230]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi21e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi21e
Moshe Y. Vardi:
The paradox of choice in computing-research conferences. Commun. ACM 64(11): 5 (2021)
[j229]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BerthonMMRV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BerthonMMRV21
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy Logic with Imperfect Information. ACM Trans. Comput. Log. 22(1): 5:1-5:51 (2021)
[c396]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/KyrillidisVZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KyrillidisVZ21
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang:
On Continuous Local BDD-Based Search for Hybrid SAT Solving. AAAI 2021: 3841-3850
[c395]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/XiaoL0SPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/XiaoL0SPV21
Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi:
On-the-fly Synthesis for LTL over Finite Traces. AAAI 2021: 6530-6537
[c394]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/RajasekaranV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/RajasekaranV21
Senthil Rajasekaran, Moshe Y. Vardi:
Nash Equilibria in Finite-Horizon Multiagent Concurrent Games. AAMAS 2021: 1046-1054
[c393]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/TabajaraV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/TabajaraV21
Lucas M. Tabajara, Moshe Y. Vardi:
Linear Temporal Logic - From Infinite to Finite Horizon. ATVA 2021: 3-12
[c392]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/TsayV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/TsayV21
Yih-Kuen Tsay, Moshe Y. Vardi:
From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle. Model Checking, Synthesis, and Learning 2021: 8-40
[c391]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AmramBFTVW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AmramBFTVW21
Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss:
Adapting Behaviors via Reactive Synthesis. CAV (1) 2021: 870-893
[c390]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LiTTVZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LiTTVZ21
Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
Congruence Relations for Büchi Automata. FM 2021: 465-482
[c389]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/WellsKLKV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/WellsKLKV21
Andrew M. Wells, Zachary K. Kingston, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Finite-Horizon Synthesis for Probabilistic Manipulation Domains. ICRA 2021: 6336-6342
[c388]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Giacomo0TV021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Giacomo0TV021
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu:
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. IJCAI 2021: 1852-1858
[c387]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/LiTVZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LiTVZ21
Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
Synthesizing Good-Enough Strategies for LTLf Specifications. IJCAI 2021: 4144-4151
[c386]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/DudekPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/DudekPV21
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi:
ProCount: Weighted Projected Model Counting with Graded Project-Join Trees. SAT 2021: 152-170
[c385]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/sebd/FaginGPVALSPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/FaginGPVALSPS21
Ronald Fagin, Georg Gottlob, Christos H. Papadimitriou, Moshe Y. Vardi, Giorgio Ausiello, Maurizio Lenzerini, Domenico Saccà, Luigi Palopoli, Francesco Scarcello:
Panel on "Past and Future of Computer Science Theory" (Discussion Paper). SEBD 2021: 531-542
[c384]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/FerreiraV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/FerreiraV21
Rodrigo Ferreira, Moshe Y. Vardi:
Deep Tech Ethics: An Approach to Teaching Social Justice in Computer Science. SIGCSE 2021: 1041-1047
[c383]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BansalCV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BansalCV21
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi:
On Satisficing in Quantitative Games. TACAS (1) 2021: 20-37
[c382]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/Vardi21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/Vardi21
Moshe Y. Vardi:
Program Verification: a 70+- Year History. TASE 2021: 1-2
[c381]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-06790
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-06790
Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi:
On the Power of Automata Minimization in Temporal Synthesis. GandALF 2021: 117-134
[p6]
- view
  authority control:
- export record
  dblp key:
  - books/ems/21/EsparzaKV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ems/21/EsparzaKV21
Javier Esparza, Orna Kupferman, Moshe Y. Vardi:
Verification. Handbook of Automata Theory (II.) 2021: 1415-1456
[p5]
- view
  authority control:
- export record
  dblp key:
  - series/faia/ChakrabortyMV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/ChakrabortyMV21
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Approximate Model Counting. Handbook of Satisfiability 2021: 1015-1045
[i66]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2101-00716
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-00716
Senthil Rajasekaran, Moshe Y. Vardi:
Nash Equilibria in Finite-Horizon Multiagent Concurrent Games. CoRR abs/2101.00716 (2021)
[i65]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2101-02594
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-02594
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi:
On Satisficing in Quantitative Games. CoRR abs/2101.02594 (2021)
[i64]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2104-03555
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-03555
Yong Li, Yih-Kuen Tsay, Moshe Y. Vardi:
Congruence Relations for Büchi Automata. CoRR abs/2104.03555 (2021)
[i63]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-13837
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-13837
Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss:
Adapting Behaviors via Reactive Synthesis. CoRR abs/2105.13837 (2021)
[i62]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-12003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-12003
Kevin W. Smith, Moshe Y. Vardi:
Automata Linear Dynamic Logic on Finite Traces. CoRR abs/2108.12003 (2021)
[i61]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-12828
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-12828
Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang:
On the Power of Finite Ambiguity in Büchi Complementation. CoRR abs/2109.12828 (2021)
2020
[j228]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/LiPZVR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/LiPZVR20
Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier:
SAT-based explicit LTLf satisfiability checking. Artif. Intell. 289: 103369 (2020)
[j227]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi20
Moshe Y. Vardi:
Publish and perish. Commun. ACM 63(1): 7 (2020)
[j226]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi20a
Moshe Y. Vardi:
Advancing computing as a science and profession: but to what end? Commun. ACM 63(3): 5 (2020)
[j225]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi20b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi20b
Moshe Y. Vardi:
Efficiency vs. resilience: what COVID-19 teaches computing. Commun. ACM 63(5): 9 (2020)
[j224]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi20c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi20c
Moshe Y. Vardi:
A computational lens on economics. Commun. ACM 63(7): 5 (2020)
[j223]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi20d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi20d
Moshe Y. Vardi:
Where have all the domestic graduate students gone? Commun. ACM 63(9): 5 (2020)
[j222]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi20e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi20e
Moshe Y. Vardi:
What should be done about social media? Commun. ACM 63(11): 5 (2020)
[c380]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/DudekPV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DudekPV20
Jeffrey M. Dudek, Vu Phan, Moshe Y. Vardi:
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams. AAAI 2020: 1468-1476
[c379]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/KyrillidisSVZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KyrillidisSVZ20
Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang:
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. AAAI 2020: 1552-1560
[c378]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ZhuGPV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ZhuGPV20
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi:
LTLƒ Synthesis with Fairness and Stability Assumptions. AAAI 2020: 3088-3095
[c377]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BansalLTV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BansalLTV20
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi:
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. AAAI 2020: 9766-9774
[c376]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/DudekPV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DudekPV20
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi:
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. CP 2020: 211-230
[c375]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/TracyTVS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/TracyTVS20
Tommy Tracy II, Lucas M. Tabajara, Moshe Y. Vardi, Kevin Skadron:
Runtime Verification on FPGAs with LTLf Specifications. FMCAD 2020: 36-46
[c374]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/ChakrabortySV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/ChakrabortySV20
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Uniformly Sampling Traces of a Transition System. ICCAD 2020: 108:1-108:9
[c373]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/FijalkowMMV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/FijalkowMMV20
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi:
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. IJCAI 2020: 117-123
[c372]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/LambGGPAV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LambGGPAV20
Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi:
Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. IJCAI 2020: 4877-4884
[c371]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/kr/GiacomoSVZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GiacomoSVZ20
Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu:
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. KR 2020: 304-314
[c370]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-10875
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10875
Lucas M. Tabajara, Moshe Y. Vardi:
LTLf Synthesis under Partial Observability: From Theory to Practice. GandALF 2020: 1-17
[c369]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-10883
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10883
Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
LTLf Synthesis on Probabilistic Systems. GandALF 2020: 166-181
[c368]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2005-09125
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-09125
Yong Li, Moshe Y. Vardi, Lijun Zhang:
On the Power of Unambiguity in Büchi Complementation. GandALF 2020: 182-198
[p4]
- view
  authority control:
- export record
  dblp key:
  - books/cu/20/GaneshV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/20/GaneshV20
Vijay Ganesh, Moshe Y. Vardi:
On the Unreasonable Effectiveness of SAT Solvers. Beyond the Worst-Case Analysis of Algorithms 2020: 547-566
[i60]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2003-00330
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-00330
Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi:
Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. CoRR abs/2003.00330 (2020)
[i59]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2003-04730
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-04730
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy Logic with Imperfect Information. CoRR abs/2003.04730 (2020)
[i58]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2006-15512
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-15512
Jeffrey M. Dudek, Moshe Y. Vardi:
Parallel Weighted Model Counting with Tensor Networks. CoRR abs/2006.15512 (2020)
[i57]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-03704
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-03704
Rajeev Alur, Richard G. Baraniuk, Rastislav Bodík, Ann W. Drobnis, Sumit Gulwani, Bjoern Hartmann, Yasmin B. Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra J. Richardson, Armando Solar-Lezama, Candace Thille, Moshe Y. Vardi:
Computer-Aided Personalized Education. CoRR abs/2007.03704 (2020)
[i56]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2008-05102
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-05102
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Uniformly Sampling Traces of a Transition System (Extended Version). CoRR abs/2008.05102 (2020)
[i55]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2008-08748
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-08748
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi:
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. CoRR abs/2008.08748 (2020)
[i54]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2009-05908
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-05908
Anderson R. Tavares, Pedro H. C. Avelar, João M. Flach, Márcio Nicolau, Luís C. Lamb, Moshe Y. Vardi:
Understanding Boolean Function Learnability on Deep Neural Networks. CoRR abs/2009.05908 (2020)
[i53]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-03367
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-03367
James E. Newman, Moshe Y. Vardi:
FPRAS Approximation of the Matrix Permanent in Practice. CoRR abs/2012.03367 (2020)
[i52]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-07983
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-07983
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang:
On Continuous Local BDD-Based Search for Hybrid SAT Solving. CoRR abs/2012.07983 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j221]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi19
Moshe Y. Vardi:
Are we having an ethical crisis in computing? Commun. ACM 62(1): 7 (2019)
[j220]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi19a
Moshe Y. Vardi:
Lost in math? Commun. ACM 62(3): 7 (2019)
[j219]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi19b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi19b
Moshe Y. Vardi:
Quantum hype and quantum skepticism. Commun. ACM 62(5): 7 (2019)
[j218]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi19c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi19c
Moshe Y. Vardi:
To serve humanity. Commun. ACM 62(7): 7 (2019)
[j217]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi19d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi19d
Moshe Y. Vardi:
The long game of research. Commun. ACM 62(9): 7 (2019)
[j216]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi19e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi19e
Moshe Y. Vardi:
The winner-takes-all tech corporation. Commun. ACM 62(11): 7 (2019)
[j215]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/MeelSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/MeelSV19
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Constraints An Int. J. 24(3-4): 211-233 (2019)
[j214]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/LiZPZV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LiZPZV19
Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi:
SAT-based explicit LTL reasoning and its application to satisfiability checking. Formal Methods Syst. Des. 54(2): 164-190 (2019)
[j213]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/HeLKV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/HeLKV19
Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis. IEEE Robotics Autom. Lett. 4(2): 285-292 (2019)
[j212]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/ParedesDMV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/ParedesDMV19
Roger Paredes, Leonardo Dueñas-Osorio, Kuldeep S. Meel, Moshe Y. Vardi:
Principled network reliability approximation: A counting-based approach. Reliab. Eng. Syst. Saf. 191 (2019)
[c367]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AlechinaBGFLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlechinaBGFLV19
Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi:
Unbounded Orchestrations of Transducers for Manufacturing. AAAI 2019: 2646-2653
[c366]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LiRPZV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LiRPZV19
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi:
SAT-Based Explicit LTLf Satisfiability Checking. AAAI 2019: 2946-2953
[c365]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/PratesALLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/PratesALLV19
Marcelo O. R. Prates, Pedro H. C. Avelar, Henrique Lemos, Luís C. Lamb, Moshe Y. Vardi:
Learning to Solve NP-Complete Problems: A Graph Neural Network for Decision TSP. AAAI 2019: 4731-4738
[c364]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ChakrabortyMV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChakrabortyMV19
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
On the Hardness of Probabilistic Inference Relaxations. AAAI 2019: 7785-7792
[c363]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/HarelMRVW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HarelMRVW19
David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Y. Vardi, Gera Weiss:
Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). AAAI 2019: 9770-9774
[c362]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LiVR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LiVR19
Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier:
Satisfiability Checking for Mission-Time LTL. CAV (2) 2019: 3-22
[c361]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BansalV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BansalV19
Suguman Bansal, Moshe Y. Vardi:
Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion. CAV (1) 2019: 60-78
[c360]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ChakrabortySV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ChakrabortySV19
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Symbolic Approaches for Computing the Matrix Permanent. CP 2019: 71-90
[c359]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/HeWKV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/HeWKV19
Keliang He, Andrew M. Wells, Lydia E. Kavraki, Moshe Y. Vardi:
Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks. ICRA 2019: 8993-8999
[c358]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/TabajaraV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/TabajaraV19
Lucas Martinelli Tabajara, Moshe Y. Vardi:
Partitioning Techniques in LTLf Synthesis. IJCAI 2019: 5599-5606
[c357]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/MeelSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/MeelSV19
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract). IJCAI 2019: 6211-6215
[c356]
- view
  authority control:
- export record
  dblp key:
  - conf/tamc/ZhuPV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tamc/ZhuPV19
Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation. TAMC 2019: 684-705
[c355]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/DurejaLPVR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/DurejaLPVR19
Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier:
Intersection and Rotation of Assumption Literals Boosts Bug-Finding. VSTTE 2019: 180-192
[i51]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1901-06108
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-06108
Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation. CoRR abs/1901.06108 (2019)
[i50]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1903-01368
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-01368
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. CoRR abs/1903.01368 (2019)
[i49]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1907-05000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-05000
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi:
ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams. CoRR abs/1907.05000 (2019)
[i48]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1908-03252
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-03252
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi:
On Symbolic Approaches for Computing the Matrix Permanent. CoRR abs/1908.03252 (2019)
[i47]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1908-04381
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-04381
Jeffrey M. Dudek, Leonardo Dueñas-Osorio, Moshe Y. Vardi:
Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions. CoRR abs/1908.04381 (2019)
[i46]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-13765
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-13765
Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Solving Parity Games Using An Automata-Based Algorithm. CoRR abs/1910.13765 (2019)
[i45]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-08145
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-08145
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi:
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. CoRR abs/1911.08145 (2019)
[i44]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1912-01032
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-01032
Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang:
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. CoRR abs/1912.01032 (2019)
[i43]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1912-07804
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-07804
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi:
LTLf Synthesis with Fairness and Stability Assumptions. CoRR abs/1912.07804 (2019)
2018
[j211]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi18
Moshe Y. Vardi:
Computer professionals for social responsibility. Commun. ACM 61(1): 9 (2018)
[j210]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi18a
Moshe Y. Vardi:
A declaration of the dependence of cyberspace. Commun. ACM 61(3): 9 (2018)
[j209]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi18b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi18b
Moshe Y. Vardi:
Open access and ACM. Commun. ACM 61(4): 7 (2018)
[j208]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi18c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi18c
Moshe Y. Vardi:
How we lost the women in computing. Commun. ACM 61(5): 9 (2018)
[j207]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi18d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi18d
Moshe Y. Vardi:
How the hippies destroyed the internet. Commun. ACM 61(7): 9 (2018)
[j206]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi18e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi18e
Moshe Y. Vardi:
Move fast and break things. Commun. ACM 61(9): 7 (2018)
[j205]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi18f
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi18f
Moshe Y. Vardi:
Self-reference and section 230. Commun. ACM 61(11): 7 (2018)
[j204]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/LiZZPVH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/LiZZPVH18
Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He:
An explicit transition system construction approach to LTL satisfiability checking. Formal Aspects Comput. 30(2): 193-217 (2018)
[j203]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/LomuscioV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LomuscioV18
Alessio R. Lomuscio, Moshe Y. Vardi:
4th International Workshop on Strategic Reasoning (SR 2016). Inf. Comput. 261: 615 (2018)
[j202]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/LiP0VH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/LiP0VH18
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He:
Accelerating LTL satisfiability checking by SAT solvers. J. Log. Comput. 28(6): 1011-1030 (2018)
[j201]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/BalkanVT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/BalkanVT18
Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Mode-Target Games: Reactive Synthesis for Control Applications. IEEE Trans. Autom. Control. 63(1): 196-202 (2018)
[c354]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GiacomoVFAL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoVFAL18
Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan:
Synthesis of Orchestrations of Transducers for Manufacturing. AAAI 2018: 6161-6168
[c353]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LiDPRV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LiDPRV18
Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi:
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. CAV (2) 2018: 37-44
[c352]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BansalCV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BansalCV18
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Automata vs Linear-Programming Discounted-Sum Inclusion. CAV (2) 2018: 99-116
[c351]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/Vardi18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Vardi18
Moshe Y. Vardi:
The Siren Song of Temporal Synthesis (Invited Talk). CONCUR 2018: 1:1-1:1
[c350]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/ChakrabortyFTV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ChakrabortyFTV18
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
Functional Synthesis via Input-Output Separation. FMCAD 2018: 1-9
[c349]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/BansalCV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BansalCV18
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Comparator Automata in Quantitative Verification. FoSSaCS 2018: 420-437
[c348]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/FriedLOV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/FriedLOV18
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. LICS 2018: 432-441
[c347]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/StasioMV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/StasioMV18
Antonio Di Stasio, Aniello Murano, Moshe Y. Vardi:
Solving Parity Games: Explicit vs Symbolic. CIAA 2018: 159-172
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1805-12592
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-12592
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy Logic with Imperfect Information. CoRR abs/1805.12592 (2018)
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1806-00917
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-00917
Roger Paredes, Leonardo Dueñas-Osorio, Kuldeep S. Meel, Moshe Y. Vardi:
Network Reliability Estimation in Theory and Practice. CoRR abs/1806.00917 (2018)
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1808-08190
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-08190
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
Functional Synthesis via Input-Output Separation. CoRR abs/1808.08190 (2018)
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1809-02721
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-02721
Marcelo O. R. Prates, Pedro H. C. Avelar, Henrique Lemos, Luís C. Lamb, Moshe Y. Vardi:
Learning to Solve NP-Complete Problems - A Graph Neural Network for the Decision TSP. CoRR abs/1809.02721 (2018)
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1811-03176
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-03176
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi:
SAT-based Explicit LTLf Satisfiability Checking. CoRR abs/1811.03176 (2018)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1812-06569
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-06569
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Comparator automata in quantitative verification. CoRR abs/1812.06569 (2018)
2017
[j200]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi17
Moshe Y. Vardi:
Technology for the most effective use of mankind. Commun. ACM 60(1): 5 (2017)
[j199]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi17a
Moshe Y. Vardi:
ACM's open-conference principle and political reality. Commun. ACM 60(3): 5 (2017)
[j198]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi17b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi17b
Moshe Y. Vardi:
Cyber insecurity and cyber libertarianism. Commun. ACM 60(5): 5 (2017)
[j197]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi17c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi17c
Moshe Y. Vardi:
Ten years at the helm of communications of the ACM. Commun. ACM 60(6): 5 (2017)
[j196]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi17d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi17d
Moshe Y. Vardi:
Divination by program committee. Commun. ACM 60(9): 7 (2017)
[j195]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi17e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi17e
Moshe Y. Vardi:
Would Turing have won the Turing award? Commun. ACM 60(11): 7 (2017)
[j194]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MogaveroMPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MogaveroMPV16
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning about Strategies: on the Satisfiability Problem. Log. Methods Comput. Sci. 13(1) (2017)
[j193]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/EhlersLTV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/EhlersLTV17
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Supervisory control and reactive synthesis: a comparative introduction. Discret. Event Dyn. Syst. 27(2): 209-260 (2017)
[j192]
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/ShankarPPV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/ShankarPPV17
Natarajan Shankar, Catuscia Palamidessi, Gordon D. Plotkin, Moshe Y. Vardi:
Alonzo Church Award 2017 - Call for Nominations. Bull. EATCS 121 (2017)
[j191]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/MogaveroMV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/MogaveroMV17
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Preface to the Special Issue on SR 2014. Inf. Comput. 254: 141-142 (2017)
[j190]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/ReutterRV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/ReutterRV17
Juan L. Reutter, Miguel Romero, Moshe Y. Vardi:
Regular Queries on Graph Databases. Theory Comput. Syst. 61(1): 31-83 (2017)
[c346]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Duenas-OsorioMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Duenas-OsorioMP17
Leonardo Dueñas-Osorio, Kuldeep S. Meel, Roger Paredes, Moshe Y. Vardi:
Counting-Based Reliability Estimation for Power-Transmission Grids. AAAI 2017: 4488-4494
[c345]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/TabajaraV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/TabajaraV17
Lucas M. Tabajara, Moshe Y. Vardi:
Factored boolean functional synthesis. FMCAD 2017: 124-131
[c344]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/KupfermanVV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/KupfermanVV17
Orna Kupferman, Gal Vardi, Moshe Y. Vardi:
Flow Games. FSTTCS 2017: 38:38-38:16
[c343]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/MeelSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/MeelSV17
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
On Hashing-Based Approaches to Approximate DNF-Counting. FSTTCS 2017: 41:1-41:14
[c342]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/ZhuTLPV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/ZhuTLPV17
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
A Symbolic Approach to Safety ltl Synthesis. Haifa Verification Conference 2017: 147-162
[c341]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/LiZZPV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/LiZZPV17
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi:
Safety model checking with complementary approximations. ICCAD 2017: 95-100
[c340]
- view
  authority control:
- export record
  dblp key:
  - conf/icla/FisherFV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/FisherFV17
Corey Fisher, Seth Fogarty, Moshe Y. Vardi:
Random Models for Evaluating Efficient Büchi Universality Checking. ICLA 2017: 91-105
[c339]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/DudekMV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DudekMV17
Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. IJCAI 2017: 600-606
[c338]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/ZhuTLPV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ZhuTLPV17
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
Symbolic LTLf Synthesis. IJCAI 2017: 1362-1369
[c337]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/HeLKV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/HeLKV17
Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Reactive synthesis for finite tasks under resource constraints. IROS 2017: 5326-5332
[c336]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/0001BV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/0001BV17
Miguel Romero, Pablo Barceló, Moshe Y. Vardi:
The homomorphism problem for regular graph patterns. LICS 2017: 1-12
[c335]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BerthonMMRV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BerthonMMRV17
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi:
Strategy logic with imperfect information. LICS 2017: 1-12
[c334]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/LibkinV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/LibkinV17
Leonid Libkin, Moshe Y. Vardi:
2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS 2017: 91
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DudekMV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DudekMV17
Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
Combining the k-CNF and XOR Phase-Transitions. CoRR abs/1702.08392 (2017)
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ZhuTLPV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZhuTLPV17
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
Symbolic LTLf Synthesis. CoRR abs/1705.08426 (2017)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1709-07495
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-07495
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
A Symbolic Approach to Safety LTL Synthesis. CoRR abs/1709.07495 (2017)
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-05247
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-05247
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
On Hashing-Based Approaches to Approximate DNF-Counting. CoRR abs/1710.05247 (2017)
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-06378
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-06378
Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. CoRR abs/1710.06378 (2017)
2016
[j189]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/amai/KupfermanPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/KupfermanPV16
Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi:
Synthesis with rational environments. Ann. Math. Artif. Intell. 78(1): 3-20 (2016)
[j188]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi16
Moshe Y. Vardi:
The moral hazard of complexity-theoretic assumptions. Commun. ACM 59(2): 5 (2016)
[j187]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi16a
Moshe Y. Vardi:
Are we headed toward another global tech bust? Commun. ACM 59(4): 5 (2016)
[j186]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi16b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi16b
Moshe Y. Vardi:
The moral imperative of artificial intelligence. Commun. ACM 59(5): 5 (2016)
[j185]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi16c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi16c
Moshe Y. Vardi:
The ritual of academic-unit review. Commun. ACM 59(7): 5 (2016)
[j184]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi16d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi16d
Moshe Y. Vardi:
Academic rankings considered harmful! Commun. ACM 59(9): 5 (2016)
[j183]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi16e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi16e
Moshe Y. Vardi:
Globalization, computing, and their political impact. Commun. ACM 59(11): 5 (2016)
[j182]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/IvriiMMV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/IvriiMMV16
Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Moshe Y. Vardi:
On computing minimal independent support and its applications to sampling and counting. Constraints An Int. J. 21(1): 41-58 (2016)
[j181]
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/AcetoHKTV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/AcetoHKTV16
Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi:
Viewpoints on "Logic activities in Europe", twenty years later. Bull. EATCS 118 (2016)
[j180]
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Vardi16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Vardi16
Moshe Y. Vardi:
Alonzo Church Award 2016 - Call for Nominations. Bull. EATCS 118 (2016)
[j179]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/KwiatkowskaVBB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KwiatkowskaVBB16
Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball:
2014 CAV award announcement. Formal Methods Syst. Des. 48(3): 149-151 (2016)
[j178]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/MogaveroMV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/MogaveroMV16
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Relentful strategic reasoning in alternating-time temporal logic. J. Log. Comput. 26(5): 1663-1695 (2016)
[j177]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/BarceloRV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/BarceloRV16
Pablo Barceló, Miguel Romero, Moshe Y. Vardi:
Semantic Acyclicity on Graph Databases. SIAM J. Comput. 45(4): 1339-1376 (2016)
[j176]
- view
  authority control:
- export record
  dblp key:
  - journals/trob/LahijanianMFKKV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/trob/LahijanianMFKKV16
Morteza Lahijanian, Matthew R. Maly, Dror Fried, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi:
Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees. IEEE Trans. Robotics 32(3): 583-599 (2016)
[c333]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ChakrabortyMMV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChakrabortyMMV16
Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi:
Approximate Probabilistic Inference via Word-Level Counting. AAAI 2016: 3218-3224
[c332]
- view
- export record
  dblp key:
  - conf/aaai/MeelVCFSFIM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/MeelVCFSFIM16
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik:
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. AAAI Workshop: Beyond NP 2016
[c331]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FriedTV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FriedTV16
Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
BDD-Based Boolean Functional Synthesis. CAV (2) 2016: 402-421
[c330]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/DudekMV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DudekMV16
Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
Combining the k-CNF and XOR Phase-Transitions. IJCAI 2016: 727-734
[c329]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/GiacomoV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoV16
Giuseppe De Giacomo, Moshe Y. Vardi:
LTL_f and LDL_f Synthesis under Partial Observability. IJCAI 2016: 1044-1050
[c328]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/ChakrabortyMV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ChakrabortyMV16
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. IJCAI 2016: 3569-3576
[c327]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/CalvaneseGLV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CalvaneseGLV16
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Regular Open APIs. KR 2016: 329-338
[c326]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/Vardi16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/Vardi16
Moshe Y. Vardi:
A Theory of Regular Queries. PODS 2016: 1-9
[c325]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/StasioMPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/StasioMPV16
Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Solving Parity Games Using an Automata-Based Algorithm. CIAA 2016: 64-76
[e13]
- view
- export record
  dblp key:
  - conf/aaai/2016ethics
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/2016ethics
Blai Bonet, Sven Koenig, Benjamin Kuipers, Illah R. Nourbakhsh, Stuart Russell, Moshe Y. Vardi, Toby Walsh:
AI, Ethics, and Society, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Technical Report WS-16-02, AAAI Press 2016 [contents]
[e12]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LomuscioV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LomuscioV16
Alessio Lomuscio, Moshe Y. Vardi:
Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016. EPTCS 218, 2016 [contents]
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/LiZZPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LiZZPV16
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi:
Approximate Reachability. CoRR abs/1611.04946 (2016)
2015
[j175]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi15
Moshe Y. Vardi:
The rise and fall of industrial research labs. Commun. ACM 58(1): 5 (2015)
[j174]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi15a
Moshe Y. Vardi:
Is information technology destroying the middle class? Commun. ACM 58(2): 5 (2015)
[j173]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi15b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi15b
Moshe Y. Vardi:
Incentivizing quality and impact in computing research. Commun. ACM 58(5): 5 (2015)
[j172]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi15c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi15c
Moshe Y. Vardi:
Why doesn't ACM have a SIG for theoretical computer science? Commun. ACM 58(8): 5 (2015)
[j171]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi15d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi15d
Moshe Y. Vardi:
What can be done about gender diversity in computing?: a lot! Commun. ACM 58(10): 5 (2015)
[j170]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi15e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi15e
Moshe Y. Vardi:
On lethal autonomous weapons. Commun. ACM 58(12): 5 (2015)
[j169]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/VardiG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/VardiG15
Moshe Y. Vardi, Mark Guzdial:
What do we do when the jobs are gone, and why we must embrace active learning. Commun. ACM 58(12): 10-11 (2015)
[j168]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/MogaveroMV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/MogaveroMV15
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Special issue on SR 2013. Inf. Comput. 242: 1 (2015)
[j167]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/FogartyKVW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FogartyKVW15
Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke:
Profile trees for Büchi word automata, with application to determinization. Inf. Comput. 245: 136-151 (2015)
[j166]
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/AlurHV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/AlurHV15
Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi:
Theory in practice for system design and verification. ACM SIGLOG News 2(1): 46-51 (2015)
[c324]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LahijanianAFKV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LahijanianAFKV15
Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi:
This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. AAAI 2015: 3664-3671
[c323]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/BalkanVT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/BalkanVT15
Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Controller Synthesis for Mode-Target Games. ADHS 2015: 343-350
[c322]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Vardi15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Vardi15
Moshe Y. Vardi:
Humans, machines, and the future of work. Ada Lovelace Symposium 2015: 2
[c321]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/LiZPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/LiZPV15
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
SAT-Based Explicit LTL Reasoning. Haifa Verification Conference 2015: 209-224
[c320]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Chatterjee0V15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Chatterjee0V15
Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi:
The Complexity of Synthesis from Probabilistic Components. ICALP (2) 2015: 108-120
[c319]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icdt/Reutter0V15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/Reutter0V15
Juan L. Reutter, Miguel Romero, Moshe Y. Vardi:
Regular Queries on Graph Databases. ICDT 2015: 177-194
[c318]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/HeLKV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/HeLKV15
Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Towards manipulation planning with temporal logic specifications. ICRA 2015: 346-352
[c317]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/ChakrabortyFMV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ChakrabortyFMV15
Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi:
From Weighted to Unweighted Model Counting. IJCAI 2015: 689-695
[c316]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/GiacomoV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoV15
Giuseppe De Giacomo, Moshe Y. Vardi:
Synthesis for LTL and LDL on Finite Traces. IJCAI 2015: 1558-1564
[c315]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChakrabortyFMSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChakrabortyFMSV15
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi:
On Parallel Scalable Uniform SAT Witness Generation. TACAS 2015: 304-319
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Chatterjee0V15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Chatterjee0V15
Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi:
The Complexity of Synthesis from Probabilistic Components. CoRR abs/1502.04844 (2015)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BalkanVT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BalkanVT15
Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Controller Synthesis for Mode-Target Games. CoRR abs/1504.07702 (2015)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/LiZPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LiZPV15
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
SAT-based Explicit LTL Reasoning. CoRR abs/1507.02519 (2015)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CalvaneseGLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CalvaneseGLV15
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. CoRR abs/1509.08979 (2015)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChakrabortyMMV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChakrabortyMMV15
Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi:
Approximate Probabilistic Inference via Word-Level Counting. CoRR abs/1511.07663 (2015)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/MeelVCFSFIM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MeelVCFSFIM15
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik:
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. CoRR abs/1512.06633 (2015)
2014
[j165]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi14
Moshe Y. Vardi:
Scalable conferences. Commun. ACM 57(1): 5 (2014)
[j164]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi14a
Moshe Y. Vardi:
Boolean satisfiability: theory and engineering. Commun. ACM 57(3): 5 (2014)
[j163]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi14b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi14b
Moshe Y. Vardi:
Moore's law and the sand-heap paradox. Commun. ACM 57(5): 5 (2014)
[j162]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi14c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi14c
Moshe Y. Vardi:
Openism, IPism, fundamentalism, and pragmatism. Commun. ACM 57(8): 5 (2014)
[j161]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi14d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi14d
Moshe Y. Vardi:
Would Turing have passed the Turing Test? Commun. ACM 57(9): 5 (2014)
[j160]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/NainLV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NainLV14
Sumit Nain, Yoad Lustig, Moshe Y. Vardi:
Synthesis from Probabilistic Components. Log. Methods Comput. Sci. 10(2) (2014)
[j159]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/TsaiFVT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TsaiFVT14
Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay:
State of Büchi Complementation. Log. Methods Comput. Sci. 10(4) (2014)
[j158]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/MogaveroMPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/MogaveroMPV14
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning About Strategies: On the Model-Checking Problem. ACM Trans. Comput. Log. 15(4): 34:1-34:47 (2014)
[c314]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ChakrabortyFMSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChakrabortyFMSV14
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi:
Distribution-Aware Sampling and Weighted Model Counting for SAT. AAAI 2014: 1722-1730
[c313]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Vardi14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Vardi14
Moshe Y. Vardi:
From Löwenheim to PSL and SVA. Language, Culture, Computation (1) 2014: 78-102
[c312]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/AbarbanelSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/AbarbanelSV14
Yael Abarbanel, Eli Singerman, Moshe Y. Vardi:
Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions. DAC 2014: 2:1-2:4
[c311]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/ChakrabortyMV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/ChakrabortyMV14
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Balancing Scalability and Uniformity in SAT Witness Generator. DAC 2014: 60:1-60:6
[c310]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/Li0PVH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/Li0PVH14
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTLf Satisfiability Checking. ECAI 2014: 513-518
[c309]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/KupfermanPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/KupfermanPV14
Orna Kupferman, Giuseppe Perelli, Moshe Y. Vardi:
Synthesis with Rational Environments. EUMAS 2014: 219-235
[c308]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/Chatterjee0NV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Chatterjee0NV14
Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi:
The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. FoSSaCS 2014: 242-257
[c307]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/LahijanianKV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/LahijanianKV14
Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
A sampling-based strategy planner for nondeterministic hybrid systems. ICRA 2014: 3005-3012
[c306]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/DuttaV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/DuttaV14
Sonali Dutta, Moshe Y. Vardi:
Assertion-based flow monitoring of SystemC models. MEMOCODE 2014: 145-154
[c305]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/FraerKKNPSTVY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/FraerKKNPSTVY14
Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang:
From visual to logical formalisms for SoC validation. MEMOCODE 2014: 165-174
[c304]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/Barcelo0V14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/Barcelo0V14
Pablo Barceló, Miguel Romero, Moshe Y. Vardi:
Does query evaluation tractability help query containment? PODS 2014: 188-199
[c303]
- view
  authority control:
- export record
  dblp key:
  - conf/wodes/EhlersLTV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/EhlersLTV14
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. WODES 2014: 222-227
[e11]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MogaveroMV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MogaveroMV14
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014. EPTCS 146, 2014 [contents]
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Chatterjee0NV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Chatterjee0NV14
Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi:
The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies. CoRR abs/1401.3289 (2014)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BordeauxKNV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BordeauxKNV14
Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi:
The Complexity of Integer Bound Propagation. CoRR abs/1401.3887 (2014)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/LiP0VH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LiP0VH14
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He:
Fast LTL Satisfiability Checking by SAT Solvers. CoRR abs/1401.5677 (2014)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Li0PVH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Li0PVH14
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTLf satisfiability checking. CoRR abs/1403.1666 (2014)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChakrabortyMV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChakrabortyMV14
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Balancing Scalability and Uniformity in SAT Witness Generator. CoRR abs/1403.6246 (2014)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChakrabortyFMSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChakrabortyFMSV14
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi:
Distribution-Aware Sampling and Weighted Model Counting for SAT. CoRR abs/1404.2984 (2014)
[i18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/RehofV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/RehofV14
Jakob Rehof, Moshe Y. Vardi:
Design and Synthesis from Components (Dagstuhl Seminar 14232). Dagstuhl Reports 4(6): 29-47 (2014)
2013
[j157]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi13
Moshe Y. Vardi:
Who begat computing? Commun. ACM 56(1): 5 (2013)
[j156]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi13a
Moshe Y. Vardi:
To boycott or not to boycott. Commun. ACM 56(3): 5 (2013)
[j155]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi13b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi13b
Moshe Y. Vardi:
Fricative computing. Commun. ACM 56(5): 5 (2013)
[j154]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi13c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi13c
Moshe Y. Vardi:
The great robotics debate. Commun. ACM 56(7): 5 (2013)
[j153]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/VardiV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/VardiV13
Moshe Y. Vardi, Victor Vianu:
What is a flagship publication? Commun. ACM 56(8): 5 (2013)
[j152]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi13d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi13d
Moshe Y. Vardi:
Has the innovation cup run dry? Commun. ACM 56(9): 5 (2013)
[j151]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi13e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi13e
Moshe Y. Vardi:
The end of the American network. Commun. ACM 56(11): 5 (2013)
[j150]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-2675
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-2675
Seth Fogarty, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi:
Unifying Büchi Complementation Constructions. Log. Methods Comput. Sci. 9(1) (2013)
[j149]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AminofLMSV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AminofLMSV13
Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi:
Pushdown module checking with imperfect information. Inf. Comput. 223: 1-17 (2013)
[j148]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/CalvaneseGLV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/CalvaneseGLV13
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
On simplification of schema mappings. J. Comput. Syst. Sci. 79(6): 816-834 (2013)
[j147]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/PlakuKV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/PlakuKV13
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Falsification of LTL safety properties in hybrid systems. Int. J. Softw. Tools Technol. Transf. 15(4): 305-320 (2013)
[j146]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/LustigV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/LustigV13
Yoad Lustig, Moshe Y. Vardi:
Synthesis from component libraries. Int. J. Softw. Tools Technol. Transf. 15(5-6): 603-618 (2013)
[c302]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChakrabortyMV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChakrabortyMV13
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
A Scalable and Nearly Uniform Generator of SAT Witnesses. CAV 2013: 608-623
[c301]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ChakrabortyMV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ChakrabortyMV13
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
A Scalable Approximate Model Counter. CP 2013: 200-216
[c300]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/fmcad/DuttaVT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/DuttaVT13
Sonali Dutta, Moshe Y. Vardi, Deian Tabakov:
CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models. DIFTS@FMCAD 2013
[c299]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/MalyLKKV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/MalyLKKV13
Matthew R. Maly, Morteza Lahijanian, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi:
Iterative temporal motion planning for hybrid systems in partially unknown environments. HSCC 2013: 353-362
[c298]
- view
- export record
  dblp key:
  - conf/ijcai/GiacomoV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoV13
Giuseppe De Giacomo, Moshe Y. Vardi:
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. IJCAI 2013: 854-860
[c297]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/NainV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/NainV13
Sumit Nain, Moshe Y. Vardi:
Solving Partial-Information Stochastic Parity Games. LICS 2013: 341-348
[c296]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ChaudhuriSV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ChaudhuriSV13
Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi:
Regular Real Analysis. LICS 2013: 509-518
[c295]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/BaezaRV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/BaezaRV13
Pablo Barceló Baeza, Miguel Romero, Moshe Y. Vardi:
Semantic acyclicity on graph databases. PODS 2013: 237-248
[c294]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Vardi13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Vardi13
Moshe Y. Vardi:
A logical revolution (keynote). ESEC/SIGSOFT FSE 2013: 1
[c293]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/FraserBCFGIV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/FraserBCFGIV13
Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi:
A publication culture in software engineering (panel). ESEC/SIGSOFT FSE 2013: 19-23
[c292]
- view
  authority control:
- export record
  dblp key:
  - conf/time/LiZPVH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/LiZPVH13
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTL Satisfiability Checking Revisited. TIME 2013: 91-98
[c291]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FogartyKVW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FogartyKVW13
Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke:
Profile Trees for Büchi Word Automata, with Application to Determinization. GandALF 2013: 107-121
[e10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-0071
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-0071
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013. EPTCS 112, 2013 [contents]
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1304-1584
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-1584
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
A Scalable and Nearly Uniform Generator of SAT Witnesses. CoRR abs/1304.1584 (2013)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ChakrabortyMV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChakrabortyMV13
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
A Scalable Approximate Model Counter. CoRR abs/1306.5726 (2013)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/MeydenV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MeydenV13
Ron van der Meyden, Moshe Y. Vardi:
Synthesis from Knowledge-Based Specifications. CoRR abs/1307.6333 (2013)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/LiP0YVH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LiP0YVH13
Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He:
Polsat: A Portfolio LTL Satisfiability Solver. CoRR abs/1311.1602 (2013)
2012
[j145]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi12
Moshe Y. Vardi:
Artificial intelligence: past and future. Commun. ACM 55(1): 5 (2012)
[j144]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi12a
Moshe Y. Vardi:
What is an algorithm? Commun. ACM 55(3): 5 (2012)
[j143]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi12b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi12b
Moshe Y. Vardi:
Fair access. Commun. ACM 55(5): 5 (2012)
[j142]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi12c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi12c
Moshe Y. Vardi:
Predatory scholarly publishing. Commun. ACM 55(7): 5 (2012)
[j141]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi12d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi12d
Moshe Y. Vardi:
Why ACM? Commun. ACM 55(9): 5 (2012)
[j140]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi12e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi12e
Moshe Y. Vardi:
Will MOOCs destroy academia? Commun. ACM 55(11): 5 (2012)
[j139]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-6183
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-6183
Seth Fogarty, Moshe Y. Vardi:
Büchi Complementation and Size-Change Termination. Log. Methods Comput. Sci. 8(1) (2012)
[j138]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GrumbergVSA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GrumbergVSA12
Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur:
2010 CAV award announcement. Formal Methods Syst. Des. 40(2): 117-120 (2012)
[j137]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/VardiHAK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/VardiHAK12
Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska:
2011 CAV award announcement. Formal Methods Syst. Des. 41(1): 1-2 (2012)
[j136]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CookKV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CookKV12
Byron Cook, Eric Koskinen, Moshe Y. Vardi:
Temporal property verification as a program analysis task - Extended Version. Formal Methods Syst. Des. 41(1): 66-82 (2012)
[j135]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/TabakovRV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/TabakovRV12
Deian Tabakov, Kristin Y. Rozier, Moshe Y. Vardi:
Optimized temporal monitors for SystemC. Formal Methods Syst. Des. 41(3): 236-268 (2012)
[j134]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/KupfermanPV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/KupfermanPV12
Orna Kupferman, Amir Pnueli, Moshe Y. Vardi:
Once and for all. J. Comput. Syst. Sci. 78(3): 981-996 (2012)
[j133]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/CalvaneseGLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/CalvaneseGLV12
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Processing under GLAV Mappings for Relational and Graph Databases. Proc. VLDB Endow. 6(2): 61-72 (2012)
[c290]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/TabakovV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/TabakovV12
Deian Tabakov, Moshe Y. Vardi:
Automatic aspectization of systemC. MISS@AOSD 2012: 9-14
[c289]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BenqueBCCFIPTV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BenqueBCCFIPTV12
David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi:
Bma: Visual Tool for Modeling and Analyzing Biological Networks. CAV 2012: 686-692
[c288]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/MogaveroMPV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/MogaveroMPV12
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. CONCUR 2012: 193-208
[c287]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/NainV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/NainV12
Sumit Nain, Moshe Y. Vardi:
Synthesizing Probabilistic Composers. FoSSaCS 2012: 421-436
[c286]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/RozierV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/RozierV12
Kristin Yvonne Rozier, Moshe Y. Vardi:
Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking. Haifa Verification Conference 2012: 243-259
[c285]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/Vardi12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/Vardi12
Moshe Y. Vardi:
Compositional Temporal Synthesis. QEST 2012: 1
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1202-1309
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-1309
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
A Decidable Fragment of Strategy Logic. CoRR abs/1202.1309 (2012)
[i12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/MehlhornVH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/MehlhornVH12
Kurt Mehlhorn, Moshe Y. Vardi, Marc Herbstritt:
Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452). Dagstuhl Reports 2(11): 20-44 (2012)
2011
[j132]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi11
Moshe Y. Vardi:
Where have all the workshops gone? Commun. ACM 54(1): 5 (2011)
[j131]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi11a
Moshe Y. Vardi:
Fumbling the future. Commun. ACM 54(3): 5 (2011)
[j130]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi11b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi11b
Moshe Y. Vardi:
Technology has social consequences. Commun. ACM 54(5): 5 (2011)
[j129]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi11c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi11c
Moshe Y. Vardi:
Solving the unsolvable. Commun. ACM 54(7): 5 (2011)
[j128]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi11d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi11d
Moshe Y. Vardi:
Are you talking to me? Commun. ACM 54(9): 5 (2011)
[j127]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi11e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi11e
Moshe Y. Vardi:
Is Moore's Party over? Commun. ACM 54(11): 5 (2011)
[j126]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi11f
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi11f
Moshe Y. Vardi:
Computing for humans. Commun. ACM 54(12): 5 (2011)
[j125]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-manifestos/KreikerTVW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-manifestos/KreikerTVW11
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 1(1): 21-40 (2011)
[j124]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/BordeauxKNV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/BordeauxKNV11
Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi:
The Complexity of Integer Bound Propagation. J. Artif. Intell. Res. 40: 657-676 (2011)
[j123]
- view
  authority control:
- export record
  dblp key:
  - journals/ram/BhatiaMKV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ram/BhatiaMKV11
Amit Bhatia, Matthew R. Maly, Lydia E. Kavraki, Moshe Y. Vardi:
Motion Planning with Complex Goals. IEEE Robotics Autom. Mag. 18(3): 55-64 (2011)
[j122]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/SebastianiTV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/SebastianiTV11
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi:
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking. Int. J. Softw. Tools Technol. Transf. 13(4): 319-335 (2011)
[c284]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CookKV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CookKV11
Byron Cook, Eric Koskinen, Moshe Y. Vardi:
Temporal Property Verification as a Program Analysis Task. CAV 2011: 333-348
[c283]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/FisherHNPSV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FisherHNPSV11
Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi:
Dynamic Reactive Modules. CONCUR 2011: 404-418
[c282]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/Vardi11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/Vardi11
Moshe Y. Vardi:
Branching vs. Linear Time: Semantical Perspective. CSL 2011: 3
[c281]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/FogartyKVW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/FogartyKVW11
Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke:
Unifying Büchi Complementation Constructions. CSL 2011: 248-263
[c280]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/LustigNV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/LustigNV11
Yoad Lustig, Sumit Nain, Moshe Y. Vardi:
Synthesis from Probabilistic Components. CSL 2011: 412-427
[c279]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FisherPV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FisherPV11
Jasmin Fisher, Nir Piterman, Moshe Y. Vardi:
The Only Way Is Up. FM 2011: 3-11
[c278]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/RozierV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/RozierV11
Kristin Y. Rozier, Moshe Y. Vardi:
A Multi-encoding Approach for LTL Symbolic Satisfiability Checking. FM 2011: 417-431
[c277]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Vardi11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Vardi11
Moshe Y. Vardi:
Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk). FSTTCS 2011: 3-3
[c276]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/CalvaneseGLV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/CalvaneseGLV11
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Simplifying schema mappings. ICDT 2011: 114-125
[c275]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/KupfermanLVY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/KupfermanLVY11
Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis:
Temporal Synthesis for Bounded Systems and Environments. STACS 2011: 615-626
[c274]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1228
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1228
Yoad Lustig, Moshe Y. Vardi:
Synthesis from Recursive-Components Libraries. GandALF 2011: 1-16
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1109-6346
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-6346
Marco Pistore, Moshe Y. Vardi:
The Planning Spectrum - One, Two, Three, Infinity. CoRR abs/1109.6346 (2011)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1112-6275
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1112-6275
Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning About Strategies: On the Model-Checking Problem. CoRR abs/1112.6275 (2011)
2010
[j121]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi10
Moshe Y. Vardi:
More debate, please! Commun. ACM 53(1): 5 (2010)
[j120]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi10a
Moshe Y. Vardi:
Revisiting the publication culture in computing research. Commun. ACM 53(3): 5 (2010)
[j119]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi10b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi10b
Moshe Y. Vardi:
Globalization and Offshoring of Software revisited. Commun. ACM 53(5): 5 (2010)
[j118]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi10c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi10c
Moshe Y. Vardi:
Hypercriticality. Commun. ACM 53(7): 5 (2010)
[j117]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi10d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi10d
Moshe Y. Vardi:
Science has only two legs. Commun. ACM 53(9): 5 (2010)
[j116]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi10e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi10e
Moshe Y. Vardi:
On P, NP, and computational complexity. Commun. ACM 53(11): 5 (2010)
[j115]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BryantGSV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BryantGSV10
Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi:
2009 CAV award announcement. Formal Methods Syst. Des. 36(3): 195-197 (2010)
[j114]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/RozierV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/RozierV10
Kristin Y. Rozier, Moshe Y. Vardi:
LTL satisfiability checking. Int. J. Softw. Tools Technol. Transf. 12(2): 123-137 (2010)
[j113]
- view
  authority control:
- export record
  dblp key:
  - journals/trob/PlakuKV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/trob/PlakuKV10
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Motion Planning With Dynamics by a Synergistic Combination of Layers of Planning. IEEE Trans. Robotics 26(3): 469-482 (2010)
[c273]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CalvaneseGLV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CalvaneseGLV10
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. AAAI 2010: 279-284
[c272]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aips/Vardi10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/Vardi10
Moshe Y. Vardi:
From Automated Verification to Automated Design. ICAPS 2010: 271
[c271]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KupfermanPV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KupfermanPV10
Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
An Automata-Theoretic Approach to Infinite-State Systems. Essays in Memory of Amir Pnueli 2010: 202-259
[c270]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/BhatiaKV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/BhatiaKV10
Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi:
Motion planning with hybrid dynamics and temporal goals. CDC 2010: 1108-1115
[c269]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Vardi10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Vardi10
Moshe Y. Vardi:
Constraints, Graphs, Algebra, Logic, and Complexity. CP 2010: 8
[c268]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/MogaveroMV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/MogaveroMV10
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Reasoning About Strategies. FSTTCS 2010: 133-144
[c267]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/BhatiaKV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/BhatiaKV10
Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi:
Sampling-based motion planning with temporal goals. ICRA 2010: 2689-2696
[c266]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/KupfermanV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/KupfermanV10
Orna Kupferman, Moshe Y. Vardi:
Synthesis of Trigger Properties. LPAR (Dakar) 2010: 312-331
[c265]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/MogaveroMV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/MogaveroMV10
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Relentful Strategic Reasoning in Alternating-Time Temporal Logic. LPAR (Dakar) 2010: 371-386
[c264]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/TabakovV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/TabakovV10
Deian Tabakov, Moshe Y. Vardi:
Monitoring temporal SystemC properties. MEMOCODE 2010: 123-132
[c263]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/TabakovV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/TabakovV10
Deian Tabakov, Moshe Y. Vardi:
Optimized temporal monitors for SystemC. RV 2010: 436-451
[c262]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/FogartyV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FogartyV10
Seth Fogarty, Moshe Y. Vardi:
Efficient Büchi Universality Checking. TACAS 2010: 205-220
[c261]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/TsaiFVT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/TsaiFVT10
Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay:
State of Büchi Complementation. CIAA 2010: 261-271
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1003-1179
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1003-1179
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View Synthesis from Schema Mappings. CoRR abs/1003.1179 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j112]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi09
Moshe Y. Vardi:
How are we doing? Commun. ACM 52(1): 5 (2009)
[j111]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi09a
Moshe Y. Vardi:
"Yes, it can be done". Commun. ACM 52(3): 5 (2009)
[j110]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi09b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi09b
Moshe Y. Vardi:
Conferences vs. journals in computing research. Commun. ACM 52(5): 5 (2009)
[j109]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi09c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi09c
Moshe Y. Vardi:
Open, closed, or clopen access? Commun. ACM 52(7): 5 (2009)
[j108]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi09d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi09d
Moshe Y. Vardi:
The financial meltdown and computing. Commun. ACM 52(9): 5 (2009)
[j107]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi09e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi09e
Moshe Y. Vardi:
Is the image crisis over? Commun. ACM 52(11): 5 (2009)
[j106]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KupfermanPV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KupfermanPV09
Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
From liveness to promptness. Formal Methods Syst. Des. 34(2): 83-103 (2009)
[j105]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/PlakuKV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/PlakuKV09
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Hybrid systems: from verification to falsification by combining motion planning and discrete search. Formal Methods Syst. Des. 34(2): 157-182 (2009)
[j104]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BryantGHV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BryantGHV09
Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi:
The 2008 CAV Award citation. Formal Methods Syst. Des. 35(1): 4-5 (2009)
[j103]
- view
  authority control:
- export record
  dblp key:
  - journals/jolpe/WienerKV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolpe/WienerKV09
Roni Wiener, Gila Kamhi, Moshe Y. Vardi:
Intelligate: An Algorithm for Learning Boolean Functions for Dynamic Power Reduction. J. Low Power Electron. 5(1): 106-112 (2009)
[c260]
- view
  authority control:
- export record
  dblp key:
  - conf/dbpl/CalvaneseGLV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/CalvaneseGLV09
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
An Automata-Theoretic Approach to Regular XPath. DBPL 2009: 18-35
[c259]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/LustigV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/LustigV09
Yoad Lustig, Moshe Y. Vardi:
Synthesis from Component Libraries. FoSSaCS 2009: 395-409
[c258]
- view
  authority control:
- export record
  dblp key:
  - conf/icla/Vardi09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/Vardi09
Moshe Y. Vardi:
From Philosophical to Industrial Logics. ICLA 2009: 89-115
[c257]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/NainV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/NainV09
Sumit Nain, Moshe Y. Vardi:
Trace Semantics is Fully Abstract. LICS 2009: 59-68
[c256]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rp/Vardi09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/Vardi09
Moshe Y. Vardi:
Model Checking as A Reachability Problem. RP 2009: 35
[c255]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Vardi09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Vardi09
Moshe Y. Vardi:
Symbolic Techniques in Propositional Satisfiability Solving. SAT 2009: 2-3
[c254]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/FogartyV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FogartyV09
Seth Fogarty, Moshe Y. Vardi:
Büchi Complementation and Size-Change Termination. TACAS 2009: 16-30
[c253]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/PlakuKV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/PlakuKV09
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Falsification of LTL Safety Properties in Hybrid Systems. TACAS 2009: 368-382
[c252]
- view
  authority control:
- export record
  dblp key:
  - conf/tamc/Vardi09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tamc/Vardi09
Moshe Y. Vardi:
Constraints, Graphs, Algebra, Logic, and Complexity. TAMC 2009: 3
2008
[j102]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi08
Moshe Y. Vardi:
CACM: past, present, and future. Commun. ACM 51(1): 44-48 (2008)
[j101]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi08a
Moshe Y. Vardi:
"Where do you come from? and where are you going?". Commun. ACM 51(7): 5 (2008)
[j100]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Vardi08b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Vardi08b
Moshe Y. Vardi:
Let us---together---make CACM exciting. Commun. ACM 51(10): 5 (2008)
[j99]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BonattiLMV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BonattiLMV08
Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi:
The Complexity of Enriched Mu-Calculi. Log. Methods Comput. Sci. 4(3) (2008)
[j98]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/EtessamiKVY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/EtessamiKVY08
Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis:
Multi-Objective Model Checking of Markov Decision Processes. Log. Methods Comput. Sci. 4(4) (2008)
[c251]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/VardiW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/VardiW08
Moshe Y. Vardi, Thomas Wilke:
Automata: from logics to algorithms. Logic and Automata 2008: 629-736
[c250]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Vardi08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Vardi08
Moshe Y. Vardi:
From Monadic Logic to PSL. Pillars of Computer Science 2008: 656-681
[c249]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/KolaitisV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/KolaitisV08
Phokion G. Kolaitis, Moshe Y. Vardi:
A Logical Approach to Constraint Satisfaction. Complexity of Constraints 2008: 125-155
[c248]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/TabakovKVS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/TabakovKVS08
Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman:
A Temporal Language for SystemC. FMCAD 2008: 1-9
[c247]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/hvc/Vardi08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/Vardi08
Moshe Y. Vardi:
Automata-Theoretic Model Checking Revisited. Haifa Verification Conference 2008: 2
[c246]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/FismanKSV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/FismanKSV08
Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi:
A Framework for Inherent Vacuity. Haifa Verification Conference 2008: 7-22
[c245]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/GreimelBJV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/GreimelBJV08
Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi:
Open Implication. ICALP (2) 2008: 361-372
[c244]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/PlakuKV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/PlakuKV08
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
[c243]
- view
  authority control:
- export record
  dblp key:
  - conf/patmos/WienerKV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/patmos/WienerKV08
Roni Wiener, Gila Kamhi, Moshe Y. Vardi:
Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. PATMOS 2008: 52-61
[c242]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Vardi08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Vardi08
Moshe Y. Vardi:
From Church and Prior to PSL. 25 Years of Model Checking 2008: 150-171
[c241]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Vardi08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Vardi08
Moshe Y. Vardi:
From Verification to Synthesis. VSTTE 2008: 2
[e9]
- view
- export record
  dblp key:
  - conf/dagstuhl/2007P7441
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2007P7441
Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi:
Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007. Dagstuhl Seminar Proceedings 07441, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents]
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0809-0360
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0809-0360
Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi:
The Complexity of Enriched Mu-Calculi. CoRR abs/0809.0360 (2008)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0810-5728
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0810-5728
Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis:
Multi-Objective Model Checking of Markov Decision Processes. CoRR abs/0810.5728 (2008)
2007
[b3]
- view
  authority control:
- export record
  dblp key:
  - series/txtcs/GradelKLMSVVW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/txtcs/GradelKLMSVVW07
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein:
Finite Model Theory and Its Applications. Texts in Theoretical Computer Science. An EATCS Series, Springer 2007, ISBN 978-3-540-00428-8, pp. 1-437
[j97]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SebastianiSTV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SebastianiSTV07
Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi:
GSTE is partitioned model checking. Formal Methods Syst. Des. 31(2): 177-196 (2007)
[j96]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/PistoreV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/PistoreV07
Marco Pistore, Moshe Y. Vardi:
The Planning Spectrum - One, Two, Three, Infinity. J. Artif. Intell. Res. 30: 101-132 (2007)
[j95]
- view
  authority control:
- export record
  dblp key:
  - journals/rsa/MooreIDV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rsa/MooreIDV07
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)
[j94]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CalvaneseGLV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CalvaneseGLV07
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)
[c240]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/ArmoniFFHVVZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/ArmoniFFHVVZ07
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
[c239]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/NainV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/NainV07
Sumit Nain, Moshe Y. Vardi:
Branching vs. Linear Time: Semantical Perspective. ATVA 2007: 19-34
[c238]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KupfermanPV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KupfermanPV07
Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
From Liveness to Promptness. CAV 2007: 406-419
[c237]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/PlakuKV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PlakuKV07
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Hybrid Systems: From Verification to Falsification. CAV 2007: 463-476
[c236]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AminofMV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AminofMV07
Benjamin Aminof, Aniello Murano, Moshe Y. Vardi:
Pushdown Module Checking with Imperfect Information. CONCUR 2007: 460-475
[c235]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BordeauxHV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BordeauxHV07
Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi:
An Analysis of Slow Convergence in Interval Propagation. CP 2007: 790-797
[c234]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/Vardi07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/Vardi07
Moshe Y. Vardi:
Formal Techniques for SystemC Verification; Position Paper. DAC 2007: 188-192
[c233]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/date/BabighianKV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BabighianKV07
Pietro Babighian, Gila Kamhi, Moshe Y. Vardi:
Interactive presentation: PowerQuest: trace driven data mining for power optimization. DATE 2007: 1078-1083
[c232]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/PlakuKV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/PlakuKV07
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints. ICRA 2007: 692-697
[c231]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/lata/TabakovV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/TabakovV07
Deian Tabakov, Moshe Y. Vardi:
Model Checking Buechi Specifications. LATA 2007: 565-576
[c230]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CookGPRV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CookGPRV07
Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi:
Proving that programs eventually do something good. POPL 2007: 265-276
[c229]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/PlakuKV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/PlakuKV07
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi:
Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning. Robotics: Science and Systems 2007
[c228]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/RozierV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/RozierV07
Kristin Y. Rozier, Moshe Y. Vardi:
LTL Satisfiability Checking. SPIN 2007: 149-167
[c227]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/Vardi07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/Vardi07
Moshe Y. Vardi:
The Büchi Complementation Saga. STACS 2007: 12-22
[c226]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/EtessamiKVY07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/EtessamiKVY07
Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis:
Multi-objective Model Checking of Markov Decision Processes. TACAS 2007: 50-65
[c225]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/SebastianiTV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SebastianiTV07
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi:
Property-Driven Partitioning for Abstraction Refinement. TACAS 2007: 389-404
[c224]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Vardi07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Vardi07
Moshe Y. Vardi:
Automata-Theoretic Model Checking Revisited. VMCAI 2007: 137-150
[c223]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/Vardi07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/Vardi07
Moshe Y. Vardi:
Linear-Time Model Checking: Automata Theory in Practice. CIAA 2007: 5-10
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/el/07/Vardi07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/07/Vardi07
Moshe Y. Vardi:
Automata-theoretic techniques for temporal reasoning. Handbook of Modal Logic 2007: 971-989
[i6]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/DowneyKKLV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/DowneyKKLV07
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
[i5]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/DowneyKKLV07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/DowneyKKLV07a
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
2006
[j93]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/KupfermanSV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/KupfermanSV06
Orna Kupferman, Shmuel Safra, Moshe Y. Vardi:
Relating word and tree automata. Ann. Pure Appl. Log. 138(1-3): 126-146 (2006)
[j92]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChocklerKV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChocklerKV06
Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage metrics for temporal logic model checking^*. Formal Methods Syst. Des. 28(3): 189-212 (2006)
[j91]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/OshersonV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/OshersonV06
Daniel N. Osherson, Moshe Y. Vardi:
Aggregating disparate estimates of chance. Games Econ. Behav. 56(1): 148-173 (2006)
[j90]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/FriedgutKV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/FriedgutKV06
Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi:
Büchi Complementation Made Tighter. Int. J. Found. Comput. Sci. 17(4): 851-868 (2006)
[j89]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/PanSV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/PanSV06
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi:
BDD-based decision procedures for the modal logic K. J. Appl. Non Class. Logics 16(1-2): 169-208 (2006)
[j88]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ChocklerKV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ChocklerKV06
Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage metrics for formal verification. Int. J. Softw. Tools Technol. Transf. 8(4-5): 373-386 (2006)
[c222]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KupfermanPV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KupfermanPV06
Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Safraless Compositional Synthesis. CAV 2006: 31-44
[c221]
- view
  authority control:
- export record
  dblp key:
  - conf/fates/ArmoniKTVZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/ArmoniKTVZ06
Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar:
Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV 2006: 163-177
[c220]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/BonattiLMV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BonattiLMV06
Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi:
The Complexity of Enriched µ-Calculi. ICALP (2) 2006: 540-551
[c219]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/PanV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/PanV06
Guoqiang Pan, Moshe Y. Vardi:
Fixed-Parameter Hierarchies inside PSPACE. LICS 2006: 27-36
[c218]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/KupfermanV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/KupfermanV06
Orna Kupferman, Moshe Y. Vardi:
Memoryful Branching-Time Logic. LICS 2006: 265-274
[c217]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/KupfermanLV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/KupfermanLV06
Orna Kupferman, Yoad Lustig, Moshe Y. Vardi:
On Locally Checkable Properties. LPAR 2006: 302-316
[c216]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/ArmoniRVV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/ArmoniRVV06
Michal Armoni, Susan H. Rodger, Moshe Y. Vardi, Rakesh M. Verma:
Automata theory: its relevance to computer science students and course contents. SIGCSE 2006: 197-198
[c215]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/AsprayMVZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/AsprayMVZ06
William Aspray, A. Frank Mayadas, Moshe Y. Vardi, Stuart H. Zweben:
educational response to offshore outsourcing. SIGCSE 2006: 330-331
[p2]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/ox/06/DemopoulosV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ox/06/DemopoulosV06
Demetrios D. Demopoulos, Moshe Y. Vardi:
The Phase Transition in the Random HornSAT Problem. Computational Complexity and Statistical Physics 2006: 195-222
[e8]
- view
- export record
  dblp key:
  - conf/dagstuhl/2005P5241
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2005P5241
Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
Synthesis and Planning, 12.-17. June 2005. Dagstuhl Seminar Proceedings 05241, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents]
2005
[j87]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/PanV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/PanV05
Guoqiang Pan, Moshe Y. Vardi:
Symbolic Techniques in Satisfiability Solving. J. Autom. Reason. 35(1-3): 25-50 (2005)
[j86]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmod/AbiteboulHVGHHRUVH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmod/AbiteboulHVGHHRUVH05
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 Rec. 34(1): 5-12 (2005)
[j85]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CalvaneseGV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CalvaneseGV05
Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Decidable containment of recursive queries. Theor. Comput. Sci. 336(1): 33-56 (2005)
[j84]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KupfermanV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KupfermanV05
Orna Kupferman, Moshe Y. Vardi:
From complementation to certification. Theor. Comput. Sci. 345(1): 83-100 (2005)
[j83]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/KupfermanV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/KupfermanV05
Orna Kupferman, Moshe Y. Vardi:
From linear time to branching time. ACM Trans. Comput. Log. 6(2): 273-294 (2005)
[c214]
- view
  authority control:
- export record
  dblp key:
  - conf/approx/MooreIDV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/approx/MooreIDV05
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
[c213]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AronsEFMMSSTVZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AronsEFMMSSTVZ05
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
[c212]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/SebastianiTV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SebastianiTV05
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi:
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. CAV 2005: 350-363
[c211]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/charme/BustanFGKV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/BustanFGKV05
Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi:
Regular Vacuity. CHARME 2005: 191-206
[c210]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/KupfermanV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/KupfermanV05
Orna Kupferman, Moshe Y. Vardi:
Safraless Decision Procedures. FOCS 2005: 531-542
[c209]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/ArmoniEFKV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/ArmoniEFKV05
Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi:
Efficient LTL compilation for SAT-based model checking. ICCAD 2005: 877-884
[c208]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/Vardi05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/Vardi05
Moshe Y. Vardi:
Model Checking for Database Theoreticians. ICDT 2005: 1-16
[c207]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/CalvaneseGLV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/CalvaneseGLV05
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
[c206]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/TabakovV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/TabakovV05
Deian Tabakov, Moshe Y. Vardi:
Experimental Evaluation of Classical Automata Constructions. LPAR 2005: 396-411
[c205]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/FerraraPV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/FerraraPV05
Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi:
Treewidth in Verification: Local vs. Global. LPAR 2005: 489-503
[c204]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KupfermanV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KupfermanV05
Orna Kupferman, Moshe Y. Vardi:
Complementation Constructions for Nondeterministic Automata on Infinite Words. TACAS 2005: 206-221
[i4]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/KautzTV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/KautzTV05
Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005
[i3]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/KautzTV05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/KautzTV05a
Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005
2004
[j82]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/HalpernMV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/HalpernMV04
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)
[c203]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FriedgutKV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FriedgutKV04
Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi:
Büchi Complementation Made Tighter. ATVA 2004: 64-78
[c202]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BustanRV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BustanRV04
Doron Bustan, Sasha Rubin, Moshe Y. Vardi:
Verifying omega-Regular Properties of Markov Chains. CAV 2004: 189-201
[c201]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/SebastianiSTV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SebastianiSTV04
Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi:
GSTE Is Partitioned Model Checking. CAV 2004: 229-241
[c200]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/PitermanV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PitermanV04
Nir Piterman, Moshe Y. Vardi:
Global Model-Checking of Infinite-State Systems. CAV 2004: 387-400
[c199]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/AtseriasKV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AtseriasKV04
Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi:
Constraint Propagation as a Proof System. CP 2004: 77-91
[c198]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/PanV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/PanV04
Guoqiang Pan, Moshe Y. Vardi:
Symbolic Decision Procedures for QBF. CP 2004: 453-467
[c197]
- view
  authority control:
- export record
  dblp key:
  - conf/edbt/McMahanPPV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edbt/McMahanPPV04
Benjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi:
Projection Pushing Revisited. EDBT 2004: 441-458
[c196]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/TeremKVI04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/TeremKVI04
Zvi Terem, Gila Kamhi, Moshe Y. Vardi, Amitai Irron:
Pattern search in hierarchical high-level designs. ICECS 2004: 519-522
[c195]
- view
  - electronic edition @ satisfiability.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/sat/PanV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PanV04
Guoqiang Pan, Moshe Y. Vardi:
Search vs. Symbolic Techniques in Satisfiability Solving. SAT 2004
[c194]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PanV04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PanV04a
Guoqiang Pan, Moshe Y. Vardi:
Search vs. Symbolic Techniques in Satisfiability Solving. SAT (Selected Papers 2004: 235-250
[c193]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/BustanKV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/BustanKV04
Doron Bustan, Orna Kupferman, Moshe Y. Vardi:
A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. STACS 2004: 522-533
[c192]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/KupfermanV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KupfermanV04
Orna Kupferman, Moshe Y. Vardi:
From Complementation to Certification. TACAS 2004: 591-606
[c191]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ArmoniFFHPV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ArmoniFFHPV05
Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi:
SAT-based Induction for Temporal Safety Properties. BMC@CAV 2004: 3-16
2003
[j81]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/CoarfaDASV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/CoarfaDASV03
Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi:
Random 3-SAT: The Plot Thickens. Constraints An Int. J. 8(3): 243-261 (2003)
[j80]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmod/CalvaneseGLV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmod/CalvaneseGLV03
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Reasoning on regular path queries. SIGMOD Rec. 32(4): 83-92 (2003)
[j79]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KupfermanV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KupfermanV03
Orna Kupferman, Moshe Y. Vardi:
Vacuity detection in temporal model checking. Int. J. Softw. Tools Technol. Transf. 4(2): 224-233 (2003)
[j78]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/PitermanV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PitermanV03
Nir Piterman, Moshe Y. Vardi:
From bidirectionality to alternation. Theor. Comput. Sci. 295: 295-321 (2003)
[c190]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AbiteboulKSV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AbiteboulKSV03
Serge Abiteboul, Gabriel M. Kuper, Alexander A. Shvartsman, Moshe Y. Vardi:
In Memoriam: Paris C. Kanellakis. PCK50 2003: 1-8
[c189]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Vardi03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Vardi03
Moshe Y. Vardi:
A Call to Regularity. PCK50 2003: 11
[c188]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KupfermanPV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KupfermanPV03
Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Fair Equivalence Relations. Verification: Theory and Practice 2003: 702-732
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/PanV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/PanV03
Guoqiang Pan, Moshe Y. Vardi:
Optimizing a BDD-Based Modal Solver. CADE 2003: 75-89
[c186]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ArmoniFFGPTV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ArmoniFFGPTV03
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
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/GurumurthyKSV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/GurumurthyKSV03
Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi:
On Complementing Nondeterministic Büchi Automata. CHARME 2003: 96-110
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/ChocklerKV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/ChocklerKV03
Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage Metrics for Formal Verification. CHARME 2003: 111-125
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Vardi03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Vardi03
Moshe Y. Vardi:
Logic and Automata: A Match Made in Heaven. ICALP 2003: 64-65
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/KupfermanV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/KupfermanV03
Orna Kupferman, Moshe Y. Vardi:
Π₂ ∩ Σ₂ ≡ AFMC. ICALP 2003: 697-713
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/CalvaneseGV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/CalvaneseGV03
Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Decidable Containment of Recursive Queries. ICDT 2003: 327-342
[c180]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/Vardi03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Vardi03
Moshe Y. Vardi:
Automated Verification: Graphs, Logic, and Automata. IJCAI 2003: 1603-1606
[c179]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/PistoreV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/PistoreV03
Marco Pistore, Moshe Y. Vardi:
The Planning Spectrum - One, Two, Three, Infinity. LICS 2003: 234-243
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/FederV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/FederV03
Tomás Feder, Moshe Y. Vardi:
Homomorphism Closed vs. Existential Positive. LICS 2003: 311-320
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/PitermanV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/PitermanV03
Nir Piterman, Moshe Y. Vardi:
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. LICS 2003: 381-
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CalvaneseGLV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CalvaneseGLV03
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-based query containment. PODS 2003: 56-67
[c175]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sebd/CalvaneseGLV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/CalvaneseGLV03
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Containment Using Views. SEBD 2003: 467-474
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ArmoniBKV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ArmoniBKV03
Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi:
Resets vs. Aborts in Linear Temporal Logic. TACAS 2003: 65-80
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/GlusmanKMFV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/GlusmanKMFV03
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
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/2003
Moshe Y. Vardi, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings. Lecture Notes in Computer Science 2850, Springer 2003, ISBN 3-540-20101-7 [contents]
2002
[j77]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/KennedyV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/KennedyV02
Ken Kennedy, Moshe Y. Vardi:
A Rice University perspective on software engineering licensing. Commun. ACM 45(11): 94-95 (2002)
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FislerV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FislerV02
Kathi Fisler, Moshe Y. Vardi:
Bisimulation Minimization and Symbolic Model Checking. Formal Methods Syst. Des. 21(1): 39-78 (2002)
[j75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HarelKV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HarelKV02
David Harel, Orna Kupferman, Moshe Y. Vardi:
On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput. 173(2): 143-161 (2002)
[j74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/EtessamiVW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/EtessamiVW02
Kousha Etessami, Moshe Y. Vardi, Thomas Wilke:
First-Order Logic with Two Variables and Unary Temporal Logic. Inf. Comput. 179(2): 279-295 (2002)
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/jalc/PeledVY02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jalc/PeledVY02
Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis:
Black Box Checking. J. Autom. Lang. Comb. 7(2): 225-246 (2002)
[j72]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/CalvaneseGLV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/CalvaneseGLV02
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)
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/PanSV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/PanSV02
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi:
BDD-Based Decision Procedures for K. CADE 2002: 16-30
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/KupfermanSV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/KupfermanSV02
Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi:
The Complexity of the Graded µ-Calculus. CADE 2002: 423-437
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/KupfermanPV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KupfermanPV02
Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Model Checking Linear Properties of Prefix-Recognizable Systems. CAV 2002: 371-385
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/DalmauKV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DalmauKV02
Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi:
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. CP 2002: 310-326
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/Vardi02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/Vardi02
Moshe Y. Vardi:
Alternation. JELIA 2002: 565
[c167]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/kr/BatsellBOTV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BatsellBOTV02
Randy Batsell, Lyle Brenner, Daniel N. Osherson, Spyros Tsavachidis, Moshe Y. Vardi:
Eliminating Incoherence from Subjective Estimates of Chance. KR 2002: 353-364
[c166]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/kr/CalvaneseGV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CalvaneseGV02
Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 593-602
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/KupfermanPV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/KupfermanPV02
Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Pushdown Specifications. LPAR 2002: 262-277
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CalvaneseGLV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CalvaneseGLV02
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Lossless Regular Views. PODS 2002: 247-258
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ArmoniFFGGKLMSTVZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ArmoniFFGGKLMSTVZ02
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
[c162]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Vardi02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Vardi02
Moshe Y. Vardi:
Model Checking: A Complexity-Theoretic Perspective (invited talk). PDMC@CONCUR 2002: 484
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/2002
Doron A. 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. Lecture Notes in Computer Science 2529, Springer 2002, ISBN 3-540-00141-7 [contents]
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0208033
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0208033
Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi:
Complete Axiomatizations for Reasoning About Knowledge and Time. CoRR cs.LO/0208033 (2002)
2001
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/HalpernHIKVV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/HalpernHIKVV01
Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu:
On the unusual effectiveness of logic in computer science. Bull. Symb. Log. 7(2): 213-236 (2001)
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/endm/GiunchigliaNTV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/endm/GiunchigliaNTV01
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi:
Towards an Efficient Library for SAT: a Manifesto. Electron. Notes Discret. Math. 9: 290-310 (2001)
[j69]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HardinKSV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HardinKSV01
Ronald H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi:
A New Heuristic for Bad Cycle Detection Using BDDs. Formal Methods Syst. Des. 18(2): 131-140 (2001)
[j68]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KupfermanV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KupfermanV01
Orna Kupferman, Moshe Y. Vardi:
Model Checking of Safety Properties. Formal Methods Syst. Des. 19(3): 291-314 (2001)
[j67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KupfermanVW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KupfermanVW01
Orna Kupferman, Moshe Y. Vardi, Pierre Wolper:
Module Checking. Inf. Comput. 164(2): 322-344 (2001)
[j66]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/KestenPV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/KestenPV01
Yonit Kesten, Amir Pnueli, Moshe Y. Vardi:
Verification by Augmented Abstraction: The Automata-Theoretic View. J. Comput. Syst. Sci. 62(4): 668-690 (2001)
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/KupfermanV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/KupfermanV01
Orna Kupferman, Moshe Y. Vardi:
Weak alternating automata are not that weak. ACM Trans. Comput. Log. 2(3): 408-429 (2001)
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/SattlerV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/SattlerV01
Ulrike Sattler, Moshe Y. Vardi:
The Hybrid µ-Calculus. IJCAR 2001: 76-91
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ChocklerKKV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChocklerKKV01
Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi:
A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CoptyFFGKTV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CoptyFFGKTV01
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
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/KupfermanPV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KupfermanPV01
Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Extended Temporal Logic Revisited. CONCUR 2001: 519-535
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/AguirreV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AguirreV01
Alfonso San Miguel Aguirre, Moshe Y. Vardi:
Random 3-SAT and BDDs: The Plot Thickens Further. CP 2001: 121-136
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/dbpl/CalvaneseGLV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/CalvaneseGLV01
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001: 40-61
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/KingKV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/KingKV01
Valerie King, Orna Kupferman, Moshe Y. Vardi:
On the Complexity of Parity Word Automata. FoSSaCS 2001: 276-286
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/KupfermanV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/KupfermanV01
Orna Kupferman, Moshe Y. Vardi:
Synthesizing Distributed Systems. LICS 2001: 389-398
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/KupfermanV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/KupfermanV01
Orna Kupferman, Moshe Y. Vardi:
On Bounded Specifications. LPAR 2001: 24-38
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/PitermanV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/PitermanV01
Nir Piterman, Moshe Y. Vardi:
From Bidirectionality to Alternation. MFCS 2001: 598-610
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Vardi01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Vardi01
Moshe Y. Vardi:
Branching vs. Linear Time: Final Showdown. TACAS 2001: 1-22
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/FislerFVY01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FislerFVY01
Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang:
Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001: 420-434
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChocklerKV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChocklerKV01
Hana Chockler, Orna Kupferman, Moshe Y. Vardi:
Coverage Metrics for Temporal Logic Model Checking. TACAS 2001: 528-542
2000
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/KupfermanVW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/KupfermanVW00
Orna Kupferman, Moshe Y. Vardi, Pierre Wolper:
An automata-theoretic approach to branching-time model checking. J. ACM 47(2): 312-360 (2000)
[j63]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/KolaitisV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/KolaitisV00
Phokion G. Kolaitis, Moshe Y. Vardi:
Conjunctive-Query Containment and Constraint Satisfaction. J. Comput. Syst. Sci. 61(2): 302-332 (2000)
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/KupfermanV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/KupfermanV00
Orna Kupferman, Moshe Y. Vardi:
An automata-theortetic approach to modular model checking. ACM Trans. Program. Lang. Syst. 22(1): 87-128 (2000)
[c148]
- view
- export record
  dblp key:
  - conf/aaai/KolaitisV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KolaitisV00
Phokion G. Kolaitis, Moshe Y. Vardi:
A Game-Theoretic Approach to Constraint Satisfaction. AAAI/IAAI 2000: 175-181
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/KupfermanV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KupfermanV00
Orna Kupferman, Moshe Y. Vardi:
An Automata-Theoretic Approach to Reasoning about Infinite-State Systems. CAV 2000: 36-52
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FraerKZVF00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FraerKZVF00
Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix:
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV 2000: 389-402
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/cia/CalvaneseGLV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cia/CalvaneseGLV00
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
What is Query Rewriting? CIA 2000: 51-59
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/KupfermanMTV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KupfermanMTV00
Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi:
Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000: 92-107
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/CoarfaDASV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CoarfaDASV00
Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi:
Random 3-SAT: The Plot Thickens. CP 2000: 143-159
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/Vardi00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/Vardi00
Moshe Y. Vardi:
Automated Verification = Graphs, Automata, and Logic. CSL 2000: 139
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/KupfermanPV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/KupfermanPV00
Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Fair Equivalence Relations. FSTTCS 2000: 151-163
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/icde/CalvaneseGLV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icde/CalvaneseGLV00
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Answering Regular Path Queries Using Views. ICDE 2000: 389-398
[c139]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/kr/CalvaneseGLV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CalvaneseGLV00
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185
[c138]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/krdb/CalvaneseGLV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/krdb/CalvaneseGLV00
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
What is View-Based Query Rewriting? KRDB 2000: 17-27
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CalvaneseGLV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CalvaneseGLV00
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/KolaitisV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/KolaitisV00
Phokion G. Kolaitis, Moshe Y. Vardi:
0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. MFCS 2000: 84-98
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/KupfermanV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/KupfermanV00
Orna Kupferman, Moshe Y. Vardi:
µ-Calculus Synthesis. MFCS 2000: 497-507
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CalvaneseGLV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CalvaneseGLV00
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000: 58-66
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/Vardi00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/Vardi00
Moshe Y. Vardi:
Constraint Satisfaction and Database Theory: a Tutorial. PODS 2000: 76-85

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/FaginHMV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/FaginHMV99
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common Knowledge Revisited. Ann. Pure Appl. Log. 96(1-3): 89-105 (1999)
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/KupfermanV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/KupfermanV99
Orna Kupferman, Moshe Y. Vardi:
Church's problem revisited. Bull. Symb. Log. 5(2): 245-263 (1999)
[j59]
- view
  - electronic edition @ uchicago.edu (open access)
  - details & citations
- export record
  dblp key:
  - journals/cjtcs/FeigenbaumKVV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cjtcs/FeigenbaumKVV99
Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan:
The Complexity of Problems on Graphs Represented as OBDDs. Chic. J. Theor. Comput. Sci. 1999 (1999)
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/ijgt/FaginGHV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijgt/FaginGHV99
Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi:
The hierarchical approach to modeling knowledge and common knowledge. Int. J. Game Theory 28(3): 331-365 (1999)
[j57]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - journals/sigmod/RossCGJBV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmod/RossCGJBV99
Kenneth A. Ross, Surajit Chaudhuri, Gösta Grahne, H. V. Jagadish, Jan Van den Bussche, Moshe Y. Vardi:
Reminiscences on Influential Papers. SIGMOD Rec. 28(4): 39-41 (1999)
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/arts/Vardi99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arts/Vardi99
Moshe Y. Vardi:
Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach. ARTS 1999: 265-276
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/KupfermanV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KupfermanV99
Orna Kupferman, Moshe Y. Vardi:
Model Checking of Safety Properties. CAV 1999: 172-183
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/DanieleGV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DanieleGV99
Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi:
Improved Automata Generation for Linear Temporal Logic. CAV 1999: 249-260
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/KupfermanV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/KupfermanV99
Orna Kupferman, Moshe Y. Vardi:
Vacuity Detection in Temporal Model Checking. CHARME 1999: 82-96
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/FislerV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/FislerV99
Kathi Fisler, Moshe Y. Vardi:
Bisimulation and Model Checking. CHARME 1999: 338-341
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/KupfermanV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KupfermanV99
Orna Kupferman, Moshe Y. Vardi:
Robust Satisfaction. CONCUR 1999: 383-398
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/ecp/DanieleTV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecp/DanieleTV99
Marco Daniele, Paolo Traverso, Moshe Y. Vardi:
Strong Cyclic Planning Revisited. ECP 1999: 35-48
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/ecp/GiacomoV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecp/GiacomoV99
Giuseppe De Giacomo, Moshe Y. Vardi:
Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999: 226-238
[c124]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/PeledVY99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/PeledVY99
Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis:
Black Box Checking. FORTE 1999: 225-240
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CalvaneseGLV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CalvaneseGLV99
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Expressions and Regular Path Queries. PODS 1999: 194-204
[c122]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sebd/CalvaneseGLV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/CalvaneseGLV99
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Path Queries. SEBD 1999: 213-224
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/KupfermanV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/KupfermanV99
Orna Kupferman, Moshe Y. Vardi:
The Weakness of Self-Complementation. STACS 1999: 455-466
[c120]
- view
  - electronic edition @ inria.fr
  - details & citations
- export record
  dblp key:
  - conf/webdb/CalvaneseGLV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webdb/CalvaneseGLV99
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
[c119]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FraerKFV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FraerKFV99
Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi:
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. SMC@FLoC 1999: 11-22
1998
[j56]
- view
  - electronic edition @ uchicago.edu (open access)
  - details & citations
- export record
  dblp key:
  - journals/cjtcs/KupfermanV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cjtcs/KupfermanV98
Orna Kupferman, Moshe Y. Vardi:
Verification of Fair Transition Systems. Chic. J. Theor. Comput. Sci. 1998 (1998)
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Vardi98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Vardi98
Moshe Y. Vardi:
Computational Model Theory: An Overview. Log. J. IGPL 6(4): 601-623 (1998)
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/FederV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/FederV98
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)
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Vardi98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Vardi98
Moshe Y. Vardi:
Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. CONCUR 1998: 1-17
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/MeydenV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/MeydenV98
Ron van der Meyden, Moshe Y. Vardi:
Synthesis from Knowledge-Based Specifications (Extended Abstract). CONCUR 1998: 34-49
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlurHKV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlurHKV98
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi:
Alternating Refinement Relations. CONCUR 1998: 163-178
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/FislerV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/FislerV98
Kathi Fisler, Moshe Y. Vardi:
Bisimulation Minimization in an Automata-Theoretic Verification Framework. FMCAD 1998: 115-132
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Vardi98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Vardi98
Moshe Y. Vardi:
Reasoning about The Past with Two-Way Automata. ICALP 1998: 628-641
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/KupfermanV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/KupfermanV98
Orna Kupferman, Moshe Y. Vardi:
Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. LICS 1998: 81-92
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Vardi98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Vardi98
Moshe Y. Vardi:
Linear vs. Branching Time: A Complexity-Theoretic Perspective. LICS 1998: 394-405
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/KolaitisV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/KolaitisV98
Phokion G. Kolaitis, Moshe Y. Vardi:
Conjunctive-Query Containment and Constraint Satisfaction. PODS 1998: 205-213
[c110]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/procomet/KuphermannV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/procomet/KuphermannV98
Orna Kupferman, Moshe Y. Vardi:
Relating linear and branching model checking. PROCOMET 1998: 304-326
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/BruceKLV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/BruceKLV98
Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi:
Panel: logic in the computer science curriculum. SIGCSE 1998: 376-377
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/FeigenbaumKVV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/FeigenbaumKVV98
Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan:
Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). STACS 1998: 216-226
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/KupfermanV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/KupfermanV98
Orna Kupferman, Moshe Y. Vardi:
Weak Alternating Automata and Tree Automata Emptiness. STOC 1998: 224-233
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/1998
Alan J. Hu, Moshe Y. Vardi:
Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Lecture Notes in Computer Science 1427, Springer 1998, ISBN 3-540-64608-6 [contents]
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-LO-9809003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-9809003
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common knowledge revisited. CoRR cs.LO/9809003 (1998)
1997
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/GradelKV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/GradelKV97
Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi:
On the decision problem for two-variable first-order logic. Bull. Symb. Log. 3(1): 53-69 (1997)
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/FaginHMV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/FaginHMV97
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Knowledge-Based Programs. Distributed Comput. 10(4): 199-225 (1997)
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/AbiteboulVV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/AbiteboulVV97
Serge Abiteboul, Moshe Y. Vardi, Victor Vianu:
Fixpoint logics, relational machines, and computational complexity. J. ACM 44(1): 30-56 (1997)
[j50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/ChaudhuriV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/ChaudhuriV97
Surajit Chaudhuri, Moshe Y. Vardi:
On the Equivalence of Recursive and Nonrecursive Datalog Programs. J. Comput. Syst. Sci. 54(1): 61-78 (1997)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Vardi97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Vardi97
Moshe Y. Vardi:
Special Selection in Logic in Computer Science. J. Symb. Log. 62(2): 608 (1997)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/mima/FaginHMV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mima/FaginHMV97
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Reasoning about Knowledge: A Response by the Authors. Minds Mach. 7(1): 113 (1997)
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Vardi97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Vardi97
Moshe Y. Vardi:
Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics. CADE 1997: 191-206
[c105]
- view
  authority control:
  - <