Mandayam K Srivas

Ontology type: schema:Person     

Person Info


Mandayam K



Publications in SciGraph latest 50 shown

  • 2019-12-02 A formal methods approach to predicting new features of the eukaryotic vesicle traffic system in ACTA INFORMATICA
  • 2018-04-14 2LS: Memory Safety and Non-termination in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2017-09-27 Concurrent Program Verification with Invariant-Guided Underapproximation in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2017-09-27 Compositional Safety Refutation Techniques in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • Affiliations

    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": "", 
        "affiliation": [
            "affiliation": {
              "id": "", 
              "type": "Organization"
            "isCurrent": true, 
            "type": "OrganizationRole"
        "familyName": "Srivas", 
        "givenName": "Mandayam K", 
        "id": "sg:person.013706311601.68", 
        "sameAs": [
        "sdDataset": "persons", 
        "sdDatePublished": "2021-11-01T19:21", 
        "sdLicense": "", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/person/person_2567.jsonl", 
        "type": "Person"

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


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

    curl -H 'Accept: application/ld+json' ''

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

    curl -H 'Accept: application/n-triples' ''

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' ''

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

    curl -H 'Accept: application/rdf+xml' ''


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