Max Planck Institute for Software Systems View Homepage


Ontology type: grid:Facility  | foaf:Organization     


Organization Info

NAME

Max Planck Institute for Software Systems

HOMEPAGE

https://www.mpi-sws.org/index.php

ADDRESS

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

Publications in SciGraph latest 20 shown

  • 2019-04 Search bias quantification: investigating political bias in social media and web search in INFORMATION RETRIEVAL JOURNAL
  • 2019-03-11 Stateless model checking of the Linux kernel’s read–copy update (RCU) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2019-03 Correction to: Sequent Systems for Negative Modalities in LOGICA UNIVERSALIS
  • 2019-02-27 Optimizing the recency-relevance-diversity trade-offs in non-personalized news recommendations in INFORMATION RETRIEVAL JOURNAL
  • 2019-02-26 Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem in THEORY OF COMPUTING SYSTEMS
  • 2019-01 Many suspensions, many problems: a review of self-suspending tasks in real-time systems in REAL-TIME SYSTEMS
  • 2019-01 Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling in REAL-TIME SYSTEMS
  • 2018-12 GPS+: Reasoning About Fences and Relaxed Atomics in INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING
  • 2018-12 Estimating spatiotemporally varying malaria reproduction numbers in a near elimination setting in NATURE COMMUNICATIONS
  • 2018-11 Design and implementation of an attestation protocol for measured dynamic behavior in THE JOURNAL OF SUPERCOMPUTING
  • 2018-10 Optimal harmonic period assignment: complexity results and approximation algorithms in REAL-TIME SYSTEMS
  • 2018-09-30 Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2018-08-15 Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2018-03 Reachability analysis of reversal-bounded automata on series–parallel graphs in ACTA INFORMATICA
  • 2018 Model Checking Real-Time Systems in HANDBOOK OF MODEL CHECKING
  • 2018 Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives in COMPUTER AIDED VERIFICATION
  • 2018 Symbolic Model Checking in Non-Boolean Domains in HANDBOOK OF MODEL CHECKING
  • 2018 Invariant Synthesis for Incomplete Verification Engines in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2017-12 Managing longitudinal exposure of socially shared data on the Twitter social media in INTERNATIONAL JOURNAL OF ADVANCES IN ENGINEERING SCIENCES AND APPLIED MATHEMATICS
  • 2017-12 Approximate counting in SMT and value estimation for probabilistic programs in ACTA INFORMATICA
  • JSON-LD is the canonical representation for SciGraph data.

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "foaf:homepage": [
          {
            "id": "https://www.mpi-sws.org/index.php"
          }
        ], 
        "grid:establishedYear": [
          {
            "@value": "2000-01-01", 
            "type": "http://www.w3.org/2001/XMLSchema#gYear"
          }
        ], 
        "grid:hasAddress": [
          {
            "id": "http://www.grid.ac/institutes/grid.469860.5/address-0"
          }
        ], 
        "grid:hasParent": [
          {
            "id": "http://www.grid.ac/institutes/grid.4372.2"
          }
        ], 
        "grid:id": [
          {
            "@value": "grid.469860.5"
          }
        ], 
        "grid:wikipediaPage": [
          {
            "id": "https://en.wikipedia.org/wiki/Max_Planck_Institute_for_Software_Systems"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.469860.5", 
        "rdfs:label": "Max Planck Institute for Software Systems", 
        "sdDataset": "grid", 
        "skos:prefLabel": [
          {
            "@value": "Max Planck Institute for Software Systems"
          }
        ], 
        "type": [
          "http://xmlns.com/foaf/0.1/Organization", 
          "http://www.grid.ac/ontology/Facility"
        ], 
        "vivo:abbreviation": [
          {
            "@value": "MPI-SWS"
          }
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "foaf:homepage": [
          {
            "id": "http://www.mpg.de/en"
          }
        ], 
        "grid:crossrefFunderId": [
          {
            "@value": "501100004189"
          }
        ], 
        "grid:establishedYear": [
          {
            "@value": "1948-01-01", 
            "type": "http://www.w3.org/2001/XMLSchema#gYear"
          }
        ], 
        "grid:hasAddress": [
          {
            "id": "http://www.grid.ac/institutes/grid.4372.2/address-0"
          }
        ], 
        "grid:hasChild": [
          {
            "id": "http://www.grid.ac/institutes/grid.418028.7"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419556.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.435824.c"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419517.f"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461798.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419580.1"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461804.f"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419554.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.434972.f"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419564.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419548.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419494.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461961.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.418441.c"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419562.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419532.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.431460.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.438114.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.466493.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461782.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.469346.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.13829.31"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.418032.c"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.418026.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.469852.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.469479.1"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.435826.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419511.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.469476.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461813.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419498.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.454072.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461785.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464656.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419518.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.484444.c"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.450265.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.429508.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419550.c"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419526.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.450272.6"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462523.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.470196.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419538.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.450270.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419604.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.469873.7"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.457402.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419524.f"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419576.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419507.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.418390.7"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.414703.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.450243.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.450323.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419560.f"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461715.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419495.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.484448.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.421185.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.418160.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.475228.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.469860.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419547.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.418159.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.470201.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462530.6"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419537.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.474028.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.450268.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419089.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419514.c"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419552.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419542.f"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419505.c"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.429510.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461808.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419520.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.418140.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461787.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.452596.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.429509.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462507.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419501.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461774.7"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419528.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419522.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461770.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.424215.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419534.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419500.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.450267.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419502.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461801.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419607.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.418034.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461768.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.494632.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461792.f"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.418615.f"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.470209.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419509.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419529.2"
          }
        ], 
        "grid:hasWikidataId": [
          {
            "id": "http://www.wikidata.org/entity/Q158085"
          }
        ], 
        "grid:id": [
          {
            "@value": "grid.4372.2"
          }
        ], 
        "grid:isni": [
          {
            "@value": "0000 0001 2105 1091"
          }
        ], 
        "grid:wikipediaPage": [
          {
            "id": "http://en.wikipedia.org/wiki/Max_Planck_Society"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.4372.2", 
        "rdfs:label": "Max Planck Society", 
        "sdDataset": "grid", 
        "skos:prefLabel": [
          {
            "@value": "Max Planck Society"
          }
        ], 
        "type": [
          "http://www.grid.ac/ontology/Nonprofit", 
          "http://xmlns.com/foaf/0.1/Organization"
        ], 
        "vivo:abbreviation": [
          {
            "@value": "MPG"
          }
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "geo-pos:lat": [
          {
            "@value": "49.257518", 
            "type": "http://www.w3.org/2001/XMLSchema#float"
          }
        ], 
        "geo-pos:long": [
          {
            "@value": "7.04641", 
            "type": "http://www.w3.org/2001/XMLSchema#float"
          }
        ], 
        "grid:cityName": [
          {
            "@value": "Saarbr\u00fccken"
          }
        ], 
        "grid:countryCode": [
          {
            "@value": "DE"
          }
        ], 
        "grid:countryName": [
          {
            "@value": "Germany"
          }
        ], 
        "grid:hasGeonamesCity": [
          {
            "id": "http://sws.geonames.org/2842647/"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.469860.5/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.469860.5'

    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.469860.5'

    Turtle is a human-readable linked data format.

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

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

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


     

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

    137 TRIPLES      11 PREDICATES      12 URIs      5 LITERALS

    Subject Predicate Object
    1 grid-institutes:grid.469860.5 sgo:sdDataset grid
    2 vivo:abbreviation MPI-SWS
    3 grid:establishedYear 2000-01-01
    4 grid:hasAddress grid-institutes:grid.469860.5/address-0
    5 grid:hasParent grid-institutes:grid.4372.2
    6 grid:id grid.469860.5
    7 grid:wikipediaPage https://en.wikipedia.org/wiki/Max_Planck_Institute_for_Software_Systems
    8 rdf:type grid:Facility
    9 foaf:Organization
    10 rdfs:label Max Planck Institute for Software Systems
    11 skos:prefLabel Max Planck Institute for Software Systems
    12 foaf:homepage https://www.mpi-sws.org/index.php
    13 grid-institutes:grid.4372.2 sgo:sdDataset grid
    14 vivo:abbreviation MPG
    15 grid:crossrefFunderId 501100004189
    16 grid:establishedYear 1948-01-01
    17 grid:hasAddress grid-institutes:grid.4372.2/address-0
    18 grid:hasChild grid-institutes:grid.13829.31
    19 grid-institutes:grid.414703.5
    20 grid-institutes:grid.418026.9
    21 grid-institutes:grid.418028.7
    22 grid-institutes:grid.418032.c
    23 grid-institutes:grid.418034.a
    24 grid-institutes:grid.418140.8
    25 grid-institutes:grid.418159.0
    26 grid-institutes:grid.418160.a
    27 grid-institutes:grid.418390.7
    28 grid-institutes:grid.418441.c
    29 grid-institutes:grid.418615.f
    30 grid-institutes:grid.419089.d
    31 grid-institutes:grid.419494.5
    32 grid-institutes:grid.419495.4
    33 grid-institutes:grid.419498.9
    34 grid-institutes:grid.419500.9
    35 grid-institutes:grid.419501.8
    36 grid-institutes:grid.419502.b
    37 grid-institutes:grid.419505.c
    38 grid-institutes:grid.419507.e
    39 grid-institutes:grid.419509.0
    40 grid-institutes:grid.419511.9
    41 grid-institutes:grid.419514.c
    42 grid-institutes:grid.419517.f
    43 grid-institutes:grid.419518.0
    44 grid-institutes:grid.419520.b
    45 grid-institutes:grid.419522.9
    46 grid-institutes:grid.419524.f
    47 grid-institutes:grid.419526.d
    48 grid-institutes:grid.419528.3
    49 grid-institutes:grid.419529.2
    50 grid-institutes:grid.419532.8
    51 grid-institutes:grid.419534.e
    52 grid-institutes:grid.419537.d
    53 grid-institutes:grid.419538.2
    54 grid-institutes:grid.419542.f
    55 grid-institutes:grid.419547.a
    56 grid-institutes:grid.419548.5
    57 grid-institutes:grid.419550.c
    58 grid-institutes:grid.419552.e
    59 grid-institutes:grid.419554.8
    60 grid-institutes:grid.419556.a
    61 grid-institutes:grid.419560.f
    62 grid-institutes:grid.419562.d
    63 grid-institutes:grid.419564.b
    64 grid-institutes:grid.419576.8
    65 grid-institutes:grid.419580.1
    66 grid-institutes:grid.419604.e
    67 grid-institutes:grid.419607.d
    68 grid-institutes:grid.421185.b
    69 grid-institutes:grid.424215.4
    70 grid-institutes:grid.429508.2
    71 grid-institutes:grid.429509.3
    72 grid-institutes:grid.429510.b
    73 grid-institutes:grid.431460.4
    74 grid-institutes:grid.434972.f
    75 grid-institutes:grid.435824.c
    76 grid-institutes:grid.435826.e
    77 grid-institutes:grid.438114.b
    78 grid-institutes:grid.450243.4
    79 grid-institutes:grid.450265.0
    80 grid-institutes:grid.450267.2
    81 grid-institutes:grid.450268.d
    82 grid-institutes:grid.450270.4
    83 grid-institutes:grid.450272.6
    84 grid-institutes:grid.450323.3
    85 grid-institutes:grid.452596.9
    86 grid-institutes:grid.454072.0
    87 grid-institutes:grid.457402.0
    88 grid-institutes:grid.461715.0
    89 grid-institutes:grid.461768.a
    90 grid-institutes:grid.461770.3
    91 grid-institutes:grid.461774.7
    92 grid-institutes:grid.461782.e
    93 grid-institutes:grid.461785.9
    94 grid-institutes:grid.461787.b
    95 grid-institutes:grid.461792.f
    96 grid-institutes:grid.461798.5
    97 grid-institutes:grid.461801.a
    98 grid-institutes:grid.461804.f
    99 grid-institutes:grid.461808.3
    100 grid-institutes:grid.461813.9
    101 grid-institutes:grid.461961.d
    102 grid-institutes:grid.462507.2
    103 grid-institutes:grid.462523.4
    104 grid-institutes:grid.462530.6
    105 grid-institutes:grid.464656.3
    106 grid-institutes:grid.466493.a
    107 grid-institutes:grid.469346.a
    108 grid-institutes:grid.469476.e
    109 grid-institutes:grid.469479.1
    110 grid-institutes:grid.469852.4
    111 grid-institutes:grid.469860.5
    112 grid-institutes:grid.469873.7
    113 grid-institutes:grid.470196.d
    114 grid-institutes:grid.470201.0
    115 grid-institutes:grid.470209.8
    116 grid-institutes:grid.474028.d
    117 grid-institutes:grid.475228.e
    118 grid-institutes:grid.484444.c
    119 grid-institutes:grid.484448.0
    120 grid-institutes:grid.494632.e
    121 grid:hasWikidataId wd:Q158085
    122 grid:id grid.4372.2
    123 grid:isni 0000 0001 2105 1091
    124 grid:wikipediaPage http://en.wikipedia.org/wiki/Max_Planck_Society
    125 rdf:type grid:Nonprofit
    126 foaf:Organization
    127 rdfs:label Max Planck Society
    128 skos:prefLabel Max Planck Society
    129 foaf:homepage http://www.mpg.de/en
    130 grid-institutes:grid.469860.5/address-0 sgo:sdDataset grid
    131 grid:cityName Saarbrücken
    132 grid:countryCode DE
    133 grid:countryName Germany
    134 grid:hasGeonamesCity http://sws.geonames.org/2842647/
    135 rdf:type grid:Address
    136 geo-pos:lat 49.257518
    137 geo-pos:long 7.04641
     




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


    ...