Institute for System Programming View Homepage


Ontology type: grid:Facility  | foaf:Organization     


Organization Info

NAME

Institute for System Programming

HOMEPAGE

http://www.ispras.ru/en/

ADDRESS

http://www.grid.ac/institutes/grid.454315.2/address-0

Publications in SciGraph latest 20 shown

  • 2019-01-07 Performance evaluation of secret sharing schemes with data recovery in secured and reliable heterogeneous multi-cloud storage in CLUSTER COMPUTING
  • 2018-11 Erratum to: Methods of Spatial Indexing of Dynamic Scenes Based on Regular Octrees in PROGRAMMING AND COMPUTER SOFTWARE
  • 2018-10-30 Verification of Operating System Monolithic Kernels Without Extensions in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. INDUSTRIAL PRACTICE
  • 2018-09 ATR4S: toolkit with state-of-the-art automatic terms recognition methods in Scala in LANGUAGE RESOURCES AND EVALUATION
  • 2018-03 Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation in FORMAL ASPECTS OF COMPUTING
  • 2017-01 On the deductive security of queries to confidential databases in cloud computing systems in MOSCOW UNIVERSITY COMPUTATIONAL MATHEMATICS AND CYBERNETICS
  • 2017 CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2016-11 Methods of spatial indexing of dynamic scenes based on regular octrees in PROGRAMMING AND COMPUTER SOFTWARE
  • 2015-07 High-level memory model with low-level pointer cast support for Jessie intermediate language in PROGRAMMING AND COMPUTER SOFTWARE
  • 2015-05 Pattern-based environment modeling for static verification of Linux kernel modules in PROGRAMMING AND COMPUTER SOFTWARE
  • 2015 Modeling Environment for Static Verification of Linux Kernel Modules in PERSPECTIVES OF SYSTEM INFORMATICS
  • 2014-06 A conformance test suite for TTCN-3 tools in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2014 CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2014 Formal Verification of OS Security Model with Alloy and Event-B in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z
  • 2014 Distributed Generation of Billion-node Social Graphs with Overlapping Community Structure in COMPLEX NETWORKS V
  • 2013-07 An approach to implementation of aspect-oriented programming for C in PROGRAMMING AND COMPUTER SOFTWARE
  • 2013-05 Automation of data normalization for implementing master data management systems in PROGRAMMING AND COMPUTER SOFTWARE
  • 2013-01 Automatic construction and enrichment of informal ontologies: A survey in PROGRAMMING AND COMPUTER SOFTWARE
  • 2012-06 Experience of improving the blast static verification tool in PROGRAMMING AND COMPUTER SOFTWARE
  • 2012-01 Using virtualization to protect application address space inside untrusted environment in PROGRAMMING AND COMPUTER SOFTWARE
  • JSON-LD is the canonical representation for SciGraph data.

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "foaf:homepage": [
          {
            "id": "http://www.ispras.ru/en/"
          }
        ], 
        "grid:establishedYear": [
          {
            "@value": "1994-01-01", 
            "type": "http://www.w3.org/2001/XMLSchema#gYear"
          }
        ], 
        "grid:hasAddress": [
          {
            "id": "http://www.grid.ac/institutes/grid.454315.2/address-0"
          }
        ], 
        "grid:hasParent": [
          {
            "id": "http://www.grid.ac/institutes/grid.466112.6"
          }
        ], 
        "grid:hasWikidataId": [
          {
            "id": "http://www.wikidata.org/entity/Q4201729"
          }
        ], 
        "grid:id": [
          {
            "@value": "grid.454315.2"
          }
        ], 
        "grid:isni": [
          {
            "@value": "0000 0004 0619 3712"
          }
        ], 
        "grid:wikipediaPage": [
          {
            "id": "https://en.wikipedia.org/wiki/Institute_for_System_Programming"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.454315.2", 
        "rdfs:label": "Institute for System Programming", 
        "sdDataset": "grid", 
        "skos:altLabel": [
          {
            "@value": "Federal State Institution of Science Institute of the Russian Academy of Sciences system programming"
          }
        ], 
        "skos:prefLabel": [
          {
            "@value": "Institute for System Programming"
          }
        ], 
        "type": [
          "http://www.grid.ac/ontology/Facility", 
          "http://xmlns.com/foaf/0.1/Organization"
        ], 
        "vivo:abbreviation": [
          {
            "@value": "ISP"
          }
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "foaf:homepage": [
          {
            "id": "http://www.ras.ru/win/db/show_org.asp?P=.oi-51.ln-ru"
          }
        ], 
        "grid:establishedYear": [
          {
            "@value": "1724-01-01", 
            "type": "http://www.w3.org/2001/XMLSchema#gYear"
          }
        ], 
        "grid:hasAddress": [
          {
            "id": "http://www.grid.ac/institutes/grid.466112.6/address-0"
          }
        ], 
        "grid:hasChild": [
          {
            "id": "http://www.grid.ac/institutes/grid.435288.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.474629.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.435669.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.465323.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.465375.6"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.454315.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.465361.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.465287.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.426295.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.465353.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.474642.7"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.426543.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.465296.a"
          }
        ], 
        "grid:hasParent": [
          {
            "id": "http://www.grid.ac/institutes/grid.4886.2"
          }
        ], 
        "grid:id": [
          {
            "@value": "grid.466112.6"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.466112.6", 
        "rdfs:label": "Department of Mathematical Sciences", 
        "sdDataset": "grid", 
        "skos:prefLabel": [
          {
            "@value": "Department of Mathematical Sciences"
          }
        ], 
        "type": [
          "http://xmlns.com/foaf/0.1/Organization", 
          "http://www.grid.ac/ontology/Government"
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "geo-pos:lat": [
          {
            "@value": "55.74455", 
            "type": "http://www.w3.org/2001/XMLSchema#float"
          }
        ], 
        "geo-pos:long": [
          {
            "@value": "37.660419", 
            "type": "http://www.w3.org/2001/XMLSchema#float"
          }
        ], 
        "grid:cityName": [
          {
            "@value": "Moscow"
          }
        ], 
        "grid:countryCode": [
          {
            "@value": "RU"
          }
        ], 
        "grid:countryName": [
          {
            "@value": "Russia"
          }
        ], 
        "grid:hasGeonamesCity": [
          {
            "id": "http://sws.geonames.org/524901/"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.454315.2/address-0", 
        "sdDataset": "grid", 
        "type": [
          "http://www.grid.ac/ontology/Address"
        ]
      }
    ]
     

    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://www.grid.ac/institutes/grid.454315.2'

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

    curl -H 'Accept: application/n-triples' 'https://www.grid.ac/institutes/grid.454315.2'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://www.grid.ac/institutes/grid.454315.2'

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

    curl -H 'Accept: application/rdf+xml' 'https://www.grid.ac/institutes/grid.454315.2'


     

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

    46 TRIPLES      14 PREDICATES      15 URIs      7 LITERALS

    Subject Predicate Object
    1 grid-institutes:grid.454315.2 sgo:sdDataset grid
    2 vivo:abbreviation ISP
    3 grid:establishedYear 1994-01-01
    4 grid:hasAddress grid-institutes:grid.454315.2/address-0
    5 grid:hasParent grid-institutes:grid.466112.6
    6 grid:hasWikidataId wd:Q4201729
    7 grid:id grid.454315.2
    8 grid:isni 0000 0004 0619 3712
    9 grid:wikipediaPage https://en.wikipedia.org/wiki/Institute_for_System_Programming
    10 rdf:type grid:Facility
    11 foaf:Organization
    12 rdfs:label Institute for System Programming
    13 skos:altLabel Federal State Institution of Science Institute of the Russian Academy of Sciences system programming
    14 skos:prefLabel Institute for System Programming
    15 foaf:homepage http://www.ispras.ru/en/
    16 grid-institutes:grid.454315.2/address-0 sgo:sdDataset grid
    17 grid:cityName Moscow
    18 grid:countryCode RU
    19 grid:countryName Russia
    20 grid:hasGeonamesCity http://sws.geonames.org/524901/
    21 rdf:type grid:Address
    22 geo-pos:lat 55.74455
    23 geo-pos:long 37.660419
    24 grid-institutes:grid.466112.6 sgo:sdDataset grid
    25 grid:establishedYear 1724-01-01
    26 grid:hasAddress grid-institutes:grid.466112.6/address-0
    27 grid:hasChild grid-institutes:grid.426295.e
    28 grid-institutes:grid.426543.2
    29 grid-institutes:grid.435288.0
    30 grid-institutes:grid.435669.b
    31 grid-institutes:grid.454315.2
    32 grid-institutes:grid.465287.a
    33 grid-institutes:grid.465296.a
    34 grid-institutes:grid.465323.5
    35 grid-institutes:grid.465353.2
    36 grid-institutes:grid.465361.3
    37 grid-institutes:grid.465375.6
    38 grid-institutes:grid.474629.a
    39 grid-institutes:grid.474642.7
    40 grid:hasParent grid-institutes:grid.4886.2
    41 grid:id grid.466112.6
    42 rdf:type grid:Government
    43 foaf:Organization
    44 rdfs:label Department of Mathematical Sciences
    45 skos:prefLabel Department of Mathematical Sciences
    46 foaf:homepage http://www.ras.ru/win/db/show_org.asp?P=.oi-51.ln-ru
     




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


    ...