Laboratory Preuves, Programmes et Systèmes View Homepage


Ontology type: grid:Facility  | foaf:Organization     


Organization Info

NAME

Laboratory Preuves, Programmes et Systèmes

HOMEPAGE

http://www.pps.univ-paris-diderot.fr/en/

ADDRESS

http://www.grid.ac/institutes/grid.464059.a/address-0

Publications in SciGraph latest 20 shown

  • 2015-12 Iterated Chromatic Subdivisions are Collapsible in APPLIED CATEGORICAL STRUCTURES
  • 2013 Semantic Subtyping for Objects and Classes in FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS
  • 2013 Deadlock Analysis of Concurrent Objects: Theory and Practice in INTEGRATED FORMAL METHODS
  • 2012 The Permutative λ-Calculus in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING
  • 2012 Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus in THEORY OF SECURITY AND APPLICATIONS
  • 2010 Feature Diagrams as Package Dependencies in SOFTWARE PRODUCT LINES: GOING BEYOND
  • 2010 A Model Driven Approach to Upgrade Package-Based Software Systems in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING
  • 2010 Fair Adversaries and Randomization in Two-Player Games in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2009 An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form in TYPED LAMBDA CALCULI AND APPLICATIONS
  • 2009 A Process-Model for Linear Programs in TYPES FOR PROOFS AND PROGRAMS
  • 2009 Algebraic Totality, towards Completeness in TYPED LAMBDA CALCULI AND APPLICATIONS
  • 2009 Partial Orders, Event Structures and Linear Strategies in TYPED LAMBDA CALCULI AND APPLICATIONS
  • 2009 Graph States and the Necessity of Euler Decomposition in MATHEMATICAL THEORY AND COMPUTATIONAL PRACTICE
  • 2009 Least and Greatest Fixpoints in Game Semantics in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2008-12 A type safe state abstraction for coordination in Java-like languages in ACTA INFORMATICA
  • 2008-12 On countable completions of quotient ordered semigroups in SEMIGROUP FORUM
  • 2008 On Isomorphisms of Intersection Types in COMPUTER SCIENCE LOGIC
  • 2008 Differential Linear Logic and Processes in FIFTH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE – TCS 2008
  • 2008 On Affine Usages in Signal-Based Communication in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2007 The Theory of Calculi with Explicit Substitutions Revisited in COMPUTER SCIENCE LOGIC
  • JSON-LD is the canonical representation for SciGraph data.

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "foaf:homepage": [
          {
            "id": "http://www.pps.univ-paris-diderot.fr/en/"
          }
        ], 
        "grid:establishedYear": [
          {
            "@value": "1999-01-01", 
            "type": "http://www.w3.org/2001/XMLSchema#gYear"
          }
        ], 
        "grid:hasAddress": [
          {
            "id": "http://www.grid.ac/institutes/grid.464059.a/address-0"
          }
        ], 
        "grid:hasParent": [
          {
            "id": "http://www.grid.ac/institutes/grid.457015.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5328.c"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7452.4"
          }
        ], 
        "grid:id": [
          {
            "@value": "grid.464059.a"
          }
        ], 
        "grid:isni": [
          {
            "@value": "0000 0004 0367 0472"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.464059.a", 
        "rdfs:label": "Laboratory Preuves, Programmes et Syst\u00e8mes", 
        "sdDataset": "grid", 
        "skos:prefLabel": [
          {
            "@value": "Laboratory Preuves, Programmes et Syst\u00e8mes"
          }
        ], 
        "type": [
          "http://xmlns.com/foaf/0.1/Organization", 
          "http://www.grid.ac/ontology/Facility"
        ], 
        "vivo:abbreviation": [
          {
            "@value": "PPS"
          }
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "foaf:homepage": [
          {
            "id": "http://www.cnrs.fr/ins2i/"
          }
        ], 
        "grid:hasAddress": [
          {
            "id": "http://www.grid.ac/institutes/grid.457015.2/address-0"
          }
        ], 
        "grid:hasChild": [
          {
            "id": "http://www.grid.ac/institutes/grid.462937.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464035.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462787.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462015.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463844.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462751.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462938.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462764.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462859.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462842.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462970.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464638.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462430.7"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462931.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464180.f"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462261.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463716.1"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462707.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.473800.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.420043.1"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463910.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464059.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463779.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464170.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462940.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464092.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462878.7"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463766.6"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462848.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.420225.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464001.7"
          }
        ], 
        "grid:hasParent": [
          {
            "id": "http://www.grid.ac/institutes/grid.4444.0"
          }
        ], 
        "grid:id": [
          {
            "@value": "grid.457015.2"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.457015.2", 
        "rdfs:label": "Institut des sciences de l'information et de leurs interactions", 
        "sdDataset": "grid", 
        "skos:prefLabel": [
          {
            "@value": "Institut des sciences de l'information et de leurs interactions"
          }
        ], 
        "type": [
          "http://www.grid.ac/ontology/Government", 
          "http://xmlns.com/foaf/0.1/Organization"
        ], 
        "vivo:abbreviation": [
          {
            "@value": "INS2I"
          }
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "foaf:homepage": [
          {
            "id": "http://www.inria.fr/en/"
          }
        ], 
        "grid:establishedYear": [
          {
            "@value": "1967-01-01", 
            "type": "http://www.w3.org/2001/XMLSchema#gYear"
          }
        ], 
        "grid:hasAddress": [
          {
            "id": "http://www.grid.ac/institutes/grid.5328.c/address-0"
          }
        ], 
        "grid:hasChild": [
          {
            "id": "http://www.grid.ac/institutes/grid.457355.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462496.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462854.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462063.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463766.6"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464035.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462938.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464003.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.484414.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464112.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464638.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462764.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464004.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.457354.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462265.1"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.457351.1"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.457353.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462707.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.457350.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463900.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.482735.f"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462931.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464059.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.457352.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464181.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464072.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.420225.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.457356.6"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.482754.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464180.f"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463907.f"
          }
        ], 
        "grid:hasWikidataId": [
          {
            "id": "http://www.wikidata.org/entity/Q1146208"
          }
        ], 
        "grid:id": [
          {
            "@value": "grid.5328.c"
          }
        ], 
        "grid:isni": [
          {
            "@value": "0000 0001 2186 3954"
          }
        ], 
        "grid:wikipediaPage": [
          {
            "id": "http://en.wikipedia.org/wiki/French_Institute_for_Research_in_Computer_Science_and_Automation"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.5328.c", 
        "rdfs:label": "French Institute for Research in Computer Science and Automation", 
        "sdDataset": "grid", 
        "skos:altLabel": [
          {
            "@value": "Institut de recherche en informatique et en automatique"
          }
        ], 
        "skos:prefLabel": [
          {
            "@value": "French Institute for Research in Computer Science and Automation"
          }
        ], 
        "type": [
          "http://www.grid.ac/ontology/Government", 
          "http://xmlns.com/foaf/0.1/Organization"
        ], 
        "vivo:abbreviation": [
          {
            "@value": "INRIA"
          }
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "foaf:homepage": [
          {
            "id": "http://www.univ-paris-diderot.fr/sc/site.php?bc=accueil&np=accueil"
          }
        ], 
        "grid:crossrefFunderId": [
          {
            "@value": "501100005736"
          }
        ], 
        "grid:establishedYear": [
          {
            "@value": "1970-01-01", 
            "type": "http://www.w3.org/2001/XMLSchema#gYear"
          }
        ], 
        "grid:hasAddress": [
          {
            "id": "http://www.grid.ac/institutes/grid.7452.4/address-0"
          }
        ], 
        "grid:hasChild": [
          {
            "id": "http://www.grid.ac/institutes/grid.450332.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463951.c"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.473740.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.468120.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462374.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463957.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.472498.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462840.c"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.482824.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463972.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464131.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.488846.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462350.6"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464155.7"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463895.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463720.4"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.461913.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463711.6"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462967.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463875.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462500.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464187.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464159.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462324.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462830.b"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462432.5"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462420.6"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462017.6"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464059.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464041.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463865.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464158.a"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463868.7"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463773.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463933.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463889.8"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462842.e"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463714.3"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464004.2"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.464053.0"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.482755.9"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.462841.d"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463722.6"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.463935.e"
          }
        ], 
        "grid:hasRelated": [
          {
            "id": "http://www.grid.ac/institutes/grid.9489.c"
          }
        ], 
        "grid:hasWikidataId": [
          {
            "id": "http://www.wikidata.org/entity/Q1235608"
          }
        ], 
        "grid:id": [
          {
            "@value": "grid.7452.4"
          }
        ], 
        "grid:isni": [
          {
            "@value": "0000 0001 2217 0017"
          }
        ], 
        "grid:wikipediaPage": [
          {
            "id": "http://en.wikipedia.org/wiki/Paris_Diderot_University"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.7452.4", 
        "rdfs:label": "Paris Diderot University", 
        "sdDataset": "grid", 
        "skos:altLabel": [
          {
            "@value": "Universit\u00e9 Paris Diderot - Paris 7"
          }
        ], 
        "skos:prefLabel": [
          {
            "@value": "Paris Diderot University"
          }
        ], 
        "type": [
          "http://xmlns.com/foaf/0.1/Organization", 
          "http://www.grid.ac/ontology/Education"
        ]
      }, 
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "geo-pos:lat": [
          {
            "@value": "48.829905", 
            "type": "http://www.w3.org/2001/XMLSchema#float"
          }
        ], 
        "geo-pos:long": [
          {
            "@value": "2.381463", 
            "type": "http://www.w3.org/2001/XMLSchema#float"
          }
        ], 
        "grid:cityName": [
          {
            "@value": "Paris"
          }
        ], 
        "grid:countryCode": [
          {
            "@value": "FR"
          }
        ], 
        "grid:countryName": [
          {
            "@value": "France"
          }
        ], 
        "grid:hasGeonamesCity": [
          {
            "id": "http://sws.geonames.org/2988507/"
          }
        ], 
        "id": "http://www.grid.ac/institutes/grid.464059.a/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.464059.a'

    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.464059.a'

    Turtle is a human-readable linked data format.

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

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

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


     

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

    167 TRIPLES      11 PREDICATES      14 URIs      6 LITERALS

    Subject Predicate Object
    1 grid-institutes:grid.464059.a sgo:sdDataset grid
    2 vivo:abbreviation PPS
    3 grid:establishedYear 1999-01-01
    4 grid:hasAddress grid-institutes:grid.464059.a/address-0
    5 grid:hasParent grid-institutes:grid.457015.2
    6 grid-institutes:grid.5328.c
    7 grid-institutes:grid.7452.4
    8 grid:id grid.464059.a
    9 grid:isni 0000 0004 0367 0472
    10 rdf:type grid:Facility
    11 foaf:Organization
    12 rdfs:label Laboratory Preuves, Programmes et Systèmes
    13 skos:prefLabel Laboratory Preuves, Programmes et Systèmes
    14 foaf:homepage http://www.pps.univ-paris-diderot.fr/en/
    15 grid-institutes:grid.457015.2 sgo:sdDataset grid
    16 vivo:abbreviation INS2I
    17 grid:hasAddress grid-institutes:grid.457015.2/address-0
    18 grid:hasChild grid-institutes:grid.420043.1
    19 grid-institutes:grid.420225.3
    20 grid-institutes:grid.462015.4
    21 grid-institutes:grid.462261.5
    22 grid-institutes:grid.462430.7
    23 grid-institutes:grid.462707.0
    24 grid-institutes:grid.462751.3
    25 grid-institutes:grid.462764.5
    26 grid-institutes:grid.462787.8
    27 grid-institutes:grid.462842.e
    28 grid-institutes:grid.462848.4
    29 grid-institutes:grid.462859.4
    30 grid-institutes:grid.462878.7
    31 grid-institutes:grid.462931.b
    32 grid-institutes:grid.462937.d
    33 grid-institutes:grid.462938.2
    34 grid-institutes:grid.462940.d
    35 grid-institutes:grid.462970.e
    36 grid-institutes:grid.463716.1
    37 grid-institutes:grid.463766.6
    38 grid-institutes:grid.463779.8
    39 grid-institutes:grid.463844.9
    40 grid-institutes:grid.463910.9
    41 grid-institutes:grid.464001.7
    42 grid-institutes:grid.464035.0
    43 grid-institutes:grid.464059.a
    44 grid-institutes:grid.464092.d
    45 grid-institutes:grid.464170.0
    46 grid-institutes:grid.464180.f
    47 grid-institutes:grid.464638.b
    48 grid-institutes:grid.473800.8
    49 grid:hasParent grid-institutes:grid.4444.0
    50 grid:id grid.457015.2
    51 rdf:type grid:Government
    52 foaf:Organization
    53 rdfs:label Institut des sciences de l'information et de leurs interactions
    54 skos:prefLabel Institut des sciences de l'information et de leurs interactions
    55 foaf:homepage http://www.cnrs.fr/ins2i/
    56 grid-institutes:grid.464059.a/address-0 sgo:sdDataset grid
    57 grid:cityName Paris
    58 grid:countryCode FR
    59 grid:countryName France
    60 grid:hasGeonamesCity http://sws.geonames.org/2988507/
    61 rdf:type grid:Address
    62 geo-pos:lat 48.829905
    63 geo-pos:long 2.381463
    64 grid-institutes:grid.5328.c sgo:sdDataset grid
    65 vivo:abbreviation INRIA
    66 grid:establishedYear 1967-01-01
    67 grid:hasAddress grid-institutes:grid.5328.c/address-0
    68 grid:hasChild grid-institutes:grid.420225.3
    69 grid-institutes:grid.457350.0
    70 grid-institutes:grid.457351.1
    71 grid-institutes:grid.457352.2
    72 grid-institutes:grid.457353.3
    73 grid-institutes:grid.457354.4
    74 grid-institutes:grid.457355.5
    75 grid-institutes:grid.457356.6
    76 grid-institutes:grid.462063.5
    77 grid-institutes:grid.462265.1
    78 grid-institutes:grid.462496.b
    79 grid-institutes:grid.462707.0
    80 grid-institutes:grid.462764.5
    81 grid-institutes:grid.462854.9
    82 grid-institutes:grid.462931.b
    83 grid-institutes:grid.462938.2
    84 grid-institutes:grid.463766.6
    85 grid-institutes:grid.463900.8
    86 grid-institutes:grid.463907.f
    87 grid-institutes:grid.464003.5
    88 grid-institutes:grid.464004.2
    89 grid-institutes:grid.464035.0
    90 grid-institutes:grid.464059.a
    91 grid-institutes:grid.464072.3
    92 grid-institutes:grid.464112.4
    93 grid-institutes:grid.464180.f
    94 grid-institutes:grid.464181.e
    95 grid-institutes:grid.464638.b
    96 grid-institutes:grid.482735.f
    97 grid-institutes:grid.482754.8
    98 grid-institutes:grid.484414.9
    99 grid:hasWikidataId wd:Q1146208
    100 grid:id grid.5328.c
    101 grid:isni 0000 0001 2186 3954
    102 grid:wikipediaPage http://en.wikipedia.org/wiki/French_Institute_for_Research_in_Computer_Science_and_Automation
    103 rdf:type grid:Government
    104 foaf:Organization
    105 rdfs:label French Institute for Research in Computer Science and Automation
    106 skos:altLabel Institut de recherche en informatique et en automatique
    107 skos:prefLabel French Institute for Research in Computer Science and Automation
    108 foaf:homepage http://www.inria.fr/en/
    109 grid-institutes:grid.7452.4 sgo:sdDataset grid
    110 grid:crossrefFunderId 501100005736
    111 grid:establishedYear 1970-01-01
    112 grid:hasAddress grid-institutes:grid.7452.4/address-0
    113 grid:hasChild grid-institutes:grid.450332.3
    114 grid-institutes:grid.461913.8
    115 grid-institutes:grid.462017.6
    116 grid-institutes:grid.462324.5
    117 grid-institutes:grid.462350.6
    118 grid-institutes:grid.462374.0
    119 grid-institutes:grid.462420.6
    120 grid-institutes:grid.462432.5
    121 grid-institutes:grid.462500.5
    122 grid-institutes:grid.462830.b
    123 grid-institutes:grid.462840.c
    124 grid-institutes:grid.462841.d
    125 grid-institutes:grid.462842.e
    126 grid-institutes:grid.462967.8
    127 grid-institutes:grid.463711.6
    128 grid-institutes:grid.463714.3
    129 grid-institutes:grid.463720.4
    130 grid-institutes:grid.463722.6
    131 grid-institutes:grid.463773.2
    132 grid-institutes:grid.463865.a
    133 grid-institutes:grid.463868.7
    134 grid-institutes:grid.463875.b
    135 grid-institutes:grid.463889.8
    136 grid-institutes:grid.463895.5
    137 grid-institutes:grid.463933.8
    138 grid-institutes:grid.463935.e
    139 grid-institutes:grid.463951.c
    140 grid-institutes:grid.463957.a
    141 grid-institutes:grid.463972.d
    142 grid-institutes:grid.464004.2
    143 grid-institutes:grid.464041.3
    144 grid-institutes:grid.464053.0
    145 grid-institutes:grid.464059.a
    146 grid-institutes:grid.464131.5
    147 grid-institutes:grid.464155.7
    148 grid-institutes:grid.464158.a
    149 grid-institutes:grid.464159.b
    150 grid-institutes:grid.464187.8
    151 grid-institutes:grid.468120.9
    152 grid-institutes:grid.472498.4
    153 grid-institutes:grid.473740.3
    154 grid-institutes:grid.482755.9
    155 grid-institutes:grid.482824.0
    156 grid-institutes:grid.488846.e
    157 grid:hasRelated grid-institutes:grid.9489.c
    158 grid:hasWikidataId wd:Q1235608
    159 grid:id grid.7452.4
    160 grid:isni 0000 0001 2217 0017
    161 grid:wikipediaPage http://en.wikipedia.org/wiki/Paris_Diderot_University
    162 rdf:type grid:Education
    163 foaf:Organization
    164 rdfs:label Paris Diderot University
    165 skos:altLabel Université Paris Diderot - Paris 7
    166 skos:prefLabel Paris Diderot University
    167 foaf:homepage http://www.univ-paris-diderot.fr/sc/site.php?bc=accueil&np=accueil
     




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


    ...