Moshe Y Vardi


Ontology type: schema:Person     


Person Info

NAME

Moshe Y

SURNAME

Vardi

Publications in SciGraph latest 50 shown

  • 2021-10-12 Linear Temporal Logic – From Infinite to Finite Horizon in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2021-07-15 Adapting Behaviors via Reactive Synthesis in COMPUTER AIDED VERIFICATION
  • 2021-07-02 ProCount: Weighted Projected Model Counting with Graded Project-Join Trees in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING – SAT 2021
  • 2021-03-20 On Satisficing in Quantitative Games in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2021-01-16 The Challenges of Regulating Technology and the Role of Think Tanks in Informing Sound Tech Policy in THE FUTURE OF THINK TANKS AND POLICY ADVICE IN THE UNITED STATES
  • 2020-09-02 DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2020-03-14 Intersection and Rotation of Assumption Literals Boosts Bug-Finding in VERIFIED SOFTWARE. THEORIES, TOOLS, AND EXPERIMENTS
  • 2019-09-23 On Symbolic Approaches for Computing the Matrix Permanent in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2019-07-12 Satisfiability Checking for Mission-Time LTL in COMPUTER AIDED VERIFICATION
  • 2019-07-12 Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion in COMPUTER AIDED VERIFICATION
  • 2019-03-06 First-Order vs. Second-Order Encodings for -to-Automata Translation in THEORY AND APPLICATIONS OF MODELS OF COMPUTATION
  • 2019-01-02 SAT-based explicit LTL reasoning and its application to satisfiability checking in FORMAL METHODS IN SYSTEM DESIGN
  • 2018-12-26 Not all FPRASs are equal: demystifying FPRASs for DNF-counting in CONSTRAINTS
  • 2018-07-18 SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability in COMPUTER AIDED VERIFICATION
  • 2018-07-18 Automata vs Linear-Programming Discounted-Sum Inclusion in COMPUTER AIDED VERIFICATION
  • 2018-06-29 Solving Parity Games: Explicit vs Symbolic in IMPLEMENTATION AND APPLICATION OF AUTOMATA
  • 2018-04-14 Comparator Automata in Quantitative Verification in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2017-11-12 A Symbolic Approach to Safety ltl Synthesis in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2017-11-09 An explicit transition system construction approach to LTL satisfiability checking in FORMAL ASPECTS OF COMPUTING
  • 2016-12-03 Random Models for Evaluating Efficient Büchi Universality Checking in LOGIC AND ITS APPLICATIONS
  • 2016-10-13 Hemoglobin levels and blood transfusion in patients with sepsis in Internal Medicine Departments in BMC INFECTIOUS DISEASES
  • 2016-07-13 BDD-Based Boolean Functional Synthesis in COMPUTER AIDED VERIFICATION
  • 2016-07-06 Solving Parity Games Using an Automata-Based Algorithm in IMPLEMENTATION AND APPLICATION OF AUTOMATA
  • 2016-06-21 Synthesis with rational environments in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
  • 2016-04-16 Regular Queries on Graph Databases in THEORY OF COMPUTING SYSTEMS
  • 2016-04-06 2014 CAV award announcement in FORMAL METHODS IN SYSTEM DESIGN
  • 2016-03-15 Supervisory control and reactive synthesis: a comparative introduction in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2015-11-28 SAT-Based Explicit LTL Reasoning in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2015-08-15 On computing minimal independent support and its applications to sampling and counting in CONSTRAINTS
  • 2015-06-20 The Complexity of Synthesis from Probabilistic Components in AUTOMATA, LANGUAGES, AND PROGRAMMING
  • 2015-04-16 Synthesis with Rational Environments in MULTI-AGENT SYSTEMS
  • 2015-02-03 Drug Target Optimization in Chronic Myeloid Leukemia Using Innovative Computational Platform in SCIENTIFIC REPORTS
  • 2015 On Parallel Scalable Uniform SAT Witness Generation in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2014 From Löwenheim to PSL and SVA in LANGUAGE, CULTURE, COMPUTATION. COMPUTING - THEORY AND TECHNOLOGY
  • 2014 The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2013 A Scalable and Nearly Uniform Generator of SAT Witnesses in COMPUTER AIDED VERIFICATION
  • 2013 A Scalable Approximate Model Counter in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2013 Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2012-06-08 Synthesis from component libraries in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2012-05-23 Falsification of LTL safety properties in hybrid systems in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2012-04-27 Temporal property verification as a program analysis task in FORMAL METHODS IN SYSTEM DESIGN
  • 2012-04-20 Benefits versus risks of pharmacological prophylaxis to prevent symptomatic venous thromboembolism in unselected medical patients revisited. Meta-analysis of the medical literature in JOURNAL OF THROMBOSIS AND THROMBOLYSIS
  • 2012-04-04 2011 CAV award announcement in FORMAL METHODS IN SYSTEM DESIGN
  • 2012-03-18 Is It Time to Screen for the Haptoglobin Genotype to Assess the Cardiovascular Risk Profile and Vitamin E Therapy Responsiveness in Patients with Diabetes? in CURRENT DIABETES REPORTS
  • 2012-01-19 Optimized temporal monitors for SystemC in FORMAL METHODS IN SYSTEM DESIGN
  • 2012 Synthesizing Probabilistic Composers in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2012 Bma: Visual Tool for Modeling and Analyzing Biological Networks in COMPUTER AIDED VERIFICATION
  • 2012 What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic in CONCUR 2012 – CONCURRENCY THEORY
  • 2011-07-12 2010 CAV award announcement in FORMAL METHODS IN SYSTEM DESIGN
  • 2011-04-21 Immunological arousal during acute Q fever infection in EUROPEAN JOURNAL OF CLINICAL MICROBIOLOGY & INFECTIOUS DISEASES
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.21940.3e", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7177.6", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4861.b", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.278125.b", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.413469.d", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.481551.c", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.32224.35", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.239395.7", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.168010.e", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.13992.30", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.488688.2", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.12136.37", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.10025.36", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.492850.2", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4691.a", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.9619.7", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4991.5", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.416027.6", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.189504.1", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.6451.6", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.205975.c", 
            "type": "Organization"
          }
        ], 
        "familyName": "Vardi", 
        "givenName": "Moshe Y", 
        "id": "sg:person.011743631465.56", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011743631465.56"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2021-11-01T19:34", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/person/person_97.jsonl", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.011743631465.56'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.011743631465.56'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.011743631465.56'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.011743631465.56'


     

    This table displays all metadata directly associated to this object as RDF triples.

    56 TRIPLES      10 PREDICATES      31 URIs      7 LITERALS      2 BLANK NODES

    Subject Predicate Object
    1 sg:person.011743631465.56 schema:affiliation N79ff716e03f94e39a8cef598701e24f4
    2 grid-institutes:grid.10025.36
    3 grid-institutes:grid.12136.37
    4 grid-institutes:grid.13992.30
    5 grid-institutes:grid.168010.e
    6 grid-institutes:grid.189504.1
    7 grid-institutes:grid.205975.c
    8 grid-institutes:grid.239395.7
    9 grid-institutes:grid.278125.b
    10 grid-institutes:grid.32224.35
    11 grid-institutes:grid.413469.d
    12 grid-institutes:grid.416027.6
    13 grid-institutes:grid.4691.a
    14 grid-institutes:grid.481551.c
    15 grid-institutes:grid.4861.b
    16 grid-institutes:grid.488688.2
    17 grid-institutes:grid.492850.2
    18 grid-institutes:grid.4991.5
    19 grid-institutes:grid.6451.6
    20 grid-institutes:grid.7177.6
    21 grid-institutes:grid.9619.7
    22 schema:familyName Vardi
    23 schema:givenName Moshe Y
    24 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011743631465.56
    25 schema:sdDatePublished 2021-11-01T19:34
    26 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    27 schema:sdPublisher N7488707a0ea44315ae839f18ef00c1e8
    28 sgo:license sg:explorer/license/
    29 sgo:sdDataset persons
    30 rdf:type schema:Person
    31 N7488707a0ea44315ae839f18ef00c1e8 schema:name Springer Nature - SN SciGraph project
    32 rdf:type schema:Organization
    33 N79ff716e03f94e39a8cef598701e24f4 schema:affiliation grid-institutes:grid.21940.3e
    34 sgo:isCurrent true
    35 rdf:type schema:OrganizationRole
    36 grid-institutes:grid.10025.36 schema:Organization
    37 grid-institutes:grid.12136.37 schema:Organization
    38 grid-institutes:grid.13992.30 schema:Organization
    39 grid-institutes:grid.168010.e schema:Organization
    40 grid-institutes:grid.189504.1 schema:Organization
    41 grid-institutes:grid.205975.c schema:Organization
    42 grid-institutes:grid.21940.3e schema:Organization
    43 grid-institutes:grid.239395.7 schema:Organization
    44 grid-institutes:grid.278125.b schema:Organization
    45 grid-institutes:grid.32224.35 schema:Organization
    46 grid-institutes:grid.413469.d schema:Organization
    47 grid-institutes:grid.416027.6 schema:Organization
    48 grid-institutes:grid.4691.a schema:Organization
    49 grid-institutes:grid.481551.c schema:Organization
    50 grid-institutes:grid.4861.b schema:Organization
    51 grid-institutes:grid.488688.2 schema:Organization
    52 grid-institutes:grid.492850.2 schema:Organization
    53 grid-institutes:grid.4991.5 schema:Organization
    54 grid-institutes:grid.6451.6 schema:Organization
    55 grid-institutes:grid.7177.6 schema:Organization
    56 grid-institutes:grid.9619.7 schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...