Timed Temporal Logics View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2017-07-25

AUTHORS

Patricia Bouyer , François Laroussinie , Nicolas Markey , Joël Ouaknine , James Worrell

ABSTRACT

Since the early 1990’s, classical temporal logics have been extended with timing constraints. While temporal logics only express contraints on the order of events, their timed extensions can add quantitative constraints on delays between those events. We survey expressiveness and algorithmic results on those logics, and discuss semantic choices that may look unimportant but do have an impact on the questions we consider. More... »

PAGES

211-230

References to SciGraph publications

  • 2005. On the Expressiveness of TPTL and MTL in FSTTCS 2005: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
  • 1993. Timed modal specification — Theory and tools in COMPUTER AIDED VERIFICATION
  • 2007-02. On the expressiveness of MTL in the pointwise and continuous semantics in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2004. Monitoring Temporal Properties of Continuous Signals in FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS
  • 1996. The tool Kronos in HYBRID SYSTEMS III
  • 1995. From timed automata to logic — and back in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1995
  • 1991. CCS + time = an interleaving model for real time systems in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1997-12. HYTECH: a model checker for hybrid systems in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2016. Metric Temporal Logic with Counting in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2007. On the Expressiveness of MTL Variants over Dense Time in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2006. On Metric Temporal Logic and Faulty Turing Machines in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 1998. CMC: A Tool for Compositional Model-Checking of Real-Time Systems in FORMAL DESCRIPTION TECHNIQUES AND PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
  • 1982. Design and synthesis of synchronization skeletons using branching time temporal logic in LOGICS OF PROGRAMS
  • 1997-12. Uppaal in a nutshell in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2009. Time-Bounded Verification in CONCUR 2009 - CONCURRENCY THEORY
  • 2016. Real-Time Synthesis is Hard! in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2006. Safety Metric Temporal Logic Is Fully Decidable in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2016. Some Thoughts on Runtime Verification in RUNTIME VERIFICATION
  • 1982. Specification and verification of concurrent systems in CESAR in INTERNATIONAL SYMPOSIUM ON PROGRAMMING
  • 1990-11. Specifying real-time properties with metric temporal logic in REAL-TIME SYSTEMS
  • 2007. Timed Concurrent Game Structures in CONCUR 2007 – CONCURRENCY THEORY
  • 1981. Expressive Functional Completeness in Tense Logic (Preliminary report) in ASPECTS OF PHILOSOPHICAL LOGIC
  • 2000. A Decidable Dense Branching-Time Temporal Logic in FST TCS 2000: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
  • 2011. On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing in CONCUR 2011 – CONCURRENCY THEORY
  • 1990. Modal specifications in AUTOMATIC VERIFICATION METHODS FOR FINITE STATE SYSTEMS
  • 2005-06-26. Logics and models of real time: A survey in REAL-TIME: THEORY IN PRACTICE
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-63121-9_11

    DOI

    http://dx.doi.org/10.1007/978-3-319-63121-9_11

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1090880537


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    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", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1117", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Public Health and Health Services", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/11", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Medical and Health Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Laboratoire Sp\u00e9cification et V\u00e9rification", 
              "id": "https://www.grid.ac/institutes/grid.464035.0", 
              "name": [
                "LSV, CNRS & ENS Paris-Saclay, Cachan, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Bouyer", 
            "givenName": "Patricia", 
            "id": "sg:person.014467443251.73", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014467443251.73"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Paris Diderot University", 
              "id": "https://www.grid.ac/institutes/grid.7452.4", 
              "name": [
                "IRIF, CNRS & Universit\u00e9 Paris Diderot, Paris, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Laroussinie", 
            "givenName": "Fran\u00e7ois", 
            "id": "sg:person.013052027213.09", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013052027213.09"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires", 
              "id": "https://www.grid.ac/institutes/grid.420225.3", 
              "name": [
                "IRISA, CNRS & INRIA & Universit\u00e9 Rennes 1, Rennes, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Markey", 
            "givenName": "Nicolas", 
            "id": "sg:person.07601744130.31", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07601744130.31"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Oxford", 
              "id": "https://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "Max Planck Institute for Software Systems, Saarbr\u00fccken, Germany", 
                "Department of Computer Science, Oxford University, Oxford, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Ouaknine", 
            "givenName": "Jo\u00ebl", 
            "id": "sg:person.016176550125.50", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016176550125.50"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Oxford", 
              "id": "https://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "Department of Computer Science, Oxford University, Oxford, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Worrell", 
            "givenName": "James", 
            "id": "sg:person.016564107512.13", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016564107512.13"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/3-540-11494-7_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002397064", 
              "https://doi.org/10.1007/3-540-11494-7_22"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s100090050010", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004370190", 
              "https://doi.org/10.1007/s100090050010"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-46982-9_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005363356", 
              "https://doi.org/10.1007/978-3-319-46982-9_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-54233-7_136", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006379138", 
              "https://doi.org/10.1007/3-540-54233-7_136"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.1993.1024", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008470395"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10009-005-0214-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009221384", 
              "https://doi.org/10.1007/s10009-005-0214-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10009-005-0214-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009221384", 
              "https://doi.org/10.1007/s10009-005-0214-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11590156_35", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010801024", 
              "https://doi.org/10.1007/11590156_35"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11590156_35", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010801024", 
              "https://doi.org/10.1007/11590156_35"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-0-387-35394-4_27", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010999431", 
              "https://doi.org/10.1007/978-0-387-35394-4_27"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-44450-5_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013011723", 
              "https://doi.org/10.1007/3-540-44450-5_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-60246-1_158", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013639641", 
              "https://doi.org/10.1007/3-540-60246-1_158"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11691372_27", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014947872", 
              "https://doi.org/10.1007/11691372_27"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11691372_27", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014947872", 
              "https://doi.org/10.1007/11691372_27"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11690634_15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018699167", 
              "https://doi.org/10.1007/11690634_15"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11690634_15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018699167", 
              "https://doi.org/10.1007/11690634_15"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-49630-5_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021135554", 
              "https://doi.org/10.1007/978-3-662-49630-5_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-44878-7_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028755420", 
              "https://doi.org/10.1007/978-3-319-44878-7_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(94)90010-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029576598"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s100090050008", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029610925", 
              "https://doi.org/10.1007/s100090050008"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-74407-8_30", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030252737", 
              "https://doi.org/10.1007/978-3-540-74407-8_30"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-74407-8_30", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030252737", 
              "https://doi.org/10.1007/978-3-540-74407-8_30"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-56922-7_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031896033", 
              "https://doi.org/10.1007/3-540-56922-7_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0025774", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037700041", 
              "https://doi.org/10.1007/bfb0025774"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/227595.227602", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040243842"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.entcs.2014.10.011", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040854589"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01995674", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042144736", 
              "https://doi.org/10.1007/bf01995674"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01995674", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042144736", 
              "https://doi.org/10.1007/bf01995674"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-94-009-8384-7_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042173996", 
              "https://doi.org/10.1007/978-94-009-8384-7_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-30206-3_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042177048", 
              "https://doi.org/10.1007/978-3-540-30206-3_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-30206-3_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042177048", 
              "https://doi.org/10.1007/978-3-540-30206-3_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.1993.1025", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044801400"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-23217-6_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045786691", 
              "https://doi.org/10.1007/978-3-642-23217-6_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-23217-6_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045786691", 
              "https://doi.org/10.1007/978-3-642-23217-6_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0304-3975(02)00334-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047182058"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0304-3975(02)00334-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047182058"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0020947", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047263334", 
              "https://doi.org/10.1007/bfb0020947"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0890-5401(03)00163-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048281620"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0890-5401(03)00163-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048281620"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-52148-8_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048774892", 
              "https://doi.org/10.1007/3-540-52148-8_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/567446.567462", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049385134"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-04081-8_33", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049903776", 
              "https://doi.org/10.1007/978-3-642-04081-8_33"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0031988", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052957864", 
              "https://doi.org/10.1007/bfb0031988"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0031988", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052957864", 
              "https://doi.org/10.1007/bfb0031988"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/5397.5399", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053218197"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-75454-1_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053425743", 
              "https://doi.org/10.1007/978-3-540-75454-1_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-75454-1_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053425743", 
              "https://doi.org/10.1007/978-3-540-75454-1_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1051/ita:2000131", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1056972091"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2168/lmcs-3(1:3)2007", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1069150891"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.4204/eptcs.119.8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1072354664"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/sfcs.1989.63473", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086170738"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/sfcs.1977.32", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086187044"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/sfcs.1983.51", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086221132"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/lics.1995.523274", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093398805"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/lics.2013.41", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093643855"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/real.1997.641264", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094789024"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/lics.2007.49", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094835725"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/qest.2006.59", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095178067"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/lics.2005.33", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095226557"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2017-07-25", 
        "datePublishedReg": "2017-07-25", 
        "description": "Since the early 1990\u2019s, classical temporal logics have been extended with timing constraints. While temporal logics only express contraints on the order of events, their timed extensions can add quantitative constraints on delays between those events. We survey expressiveness and algorithmic results on those logics, and discuss semantic choices that may look unimportant but do have an impact on the questions we consider.", 
        "editor": [
          {
            "familyName": "Aceto", 
            "givenName": "Luca", 
            "type": "Person"
          }, 
          {
            "familyName": "Bacci", 
            "givenName": "Giorgio", 
            "type": "Person"
          }, 
          {
            "familyName": "Bacci", 
            "givenName": "Giovanni", 
            "type": "Person"
          }, 
          {
            "familyName": "Ing\u00f3lfsd\u00f3ttir", 
            "givenName": "Anna", 
            "type": "Person"
          }, 
          {
            "familyName": "Legay", 
            "givenName": "Axel", 
            "type": "Person"
          }, 
          {
            "familyName": "Mardare", 
            "givenName": "Radu", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-63121-9_11", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-319-63120-2", 
            "978-3-319-63121-9"
          ], 
          "name": "Models, Algorithms, Logics and Tools", 
          "type": "Book"
        }, 
        "name": "Timed Temporal Logics", 
        "pagination": "211-230", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-63121-9_11"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "9f5ef80f2413dbf3e663b1fccf89957fee1d0eab5fae6134a0294046682611e9"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1090880537"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-63121-9_11", 
          "https://app.dimensions.ai/details/publication/pub.1090880537"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T04:59", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000325_0000000325/records_100783_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-319-63121-9_11"
      }
    ]
     

    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/pub.10.1007/978-3-319-63121-9_11'

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

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-63121-9_11'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-63121-9_11'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-63121-9_11'


     

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

    295 TRIPLES      23 PREDICATES      73 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-63121-9_11 schema:about anzsrc-for:11
    2 anzsrc-for:1117
    3 schema:author N60866d7b3d0e41af8de5421eecf41a8c
    4 schema:citation sg:pub.10.1007/11590156_35
    5 sg:pub.10.1007/11690634_15
    6 sg:pub.10.1007/11691372_27
    7 sg:pub.10.1007/3-540-11494-7_22
    8 sg:pub.10.1007/3-540-44450-5_11
    9 sg:pub.10.1007/3-540-52148-8_19
    10 sg:pub.10.1007/3-540-54233-7_136
    11 sg:pub.10.1007/3-540-56922-7_21
    12 sg:pub.10.1007/3-540-60246-1_158
    13 sg:pub.10.1007/978-0-387-35394-4_27
    14 sg:pub.10.1007/978-3-319-44878-7_7
    15 sg:pub.10.1007/978-3-319-46982-9_1
    16 sg:pub.10.1007/978-3-540-30206-3_12
    17 sg:pub.10.1007/978-3-540-74407-8_30
    18 sg:pub.10.1007/978-3-540-75454-1_13
    19 sg:pub.10.1007/978-3-642-04081-8_33
    20 sg:pub.10.1007/978-3-642-23217-6_5
    21 sg:pub.10.1007/978-3-662-49630-5_20
    22 sg:pub.10.1007/978-94-009-8384-7_4
    23 sg:pub.10.1007/bf01995674
    24 sg:pub.10.1007/bfb0020947
    25 sg:pub.10.1007/bfb0025774
    26 sg:pub.10.1007/bfb0031988
    27 sg:pub.10.1007/s10009-005-0214-9
    28 sg:pub.10.1007/s100090050008
    29 sg:pub.10.1007/s100090050010
    30 https://doi.org/10.1006/inco.1993.1024
    31 https://doi.org/10.1006/inco.1993.1025
    32 https://doi.org/10.1016/0304-3975(94)90010-8
    33 https://doi.org/10.1016/j.entcs.2014.10.011
    34 https://doi.org/10.1016/s0304-3975(02)00334-1
    35 https://doi.org/10.1016/s0890-5401(03)00163-9
    36 https://doi.org/10.1051/ita:2000131
    37 https://doi.org/10.1109/lics.1995.523274
    38 https://doi.org/10.1109/lics.2005.33
    39 https://doi.org/10.1109/lics.2007.49
    40 https://doi.org/10.1109/lics.2013.41
    41 https://doi.org/10.1109/qest.2006.59
    42 https://doi.org/10.1109/real.1997.641264
    43 https://doi.org/10.1109/sfcs.1977.32
    44 https://doi.org/10.1109/sfcs.1983.51
    45 https://doi.org/10.1109/sfcs.1989.63473
    46 https://doi.org/10.1145/227595.227602
    47 https://doi.org/10.1145/5397.5399
    48 https://doi.org/10.1145/567446.567462
    49 https://doi.org/10.2168/lmcs-3(1:3)2007
    50 https://doi.org/10.4204/eptcs.119.8
    51 schema:datePublished 2017-07-25
    52 schema:datePublishedReg 2017-07-25
    53 schema:description Since the early 1990’s, classical temporal logics have been extended with timing constraints. While temporal logics only express contraints on the order of events, their timed extensions can add quantitative constraints on delays between those events. We survey expressiveness and algorithmic results on those logics, and discuss semantic choices that may look unimportant but do have an impact on the questions we consider.
    54 schema:editor N119656b0acbe4a708d427f974740f68d
    55 schema:genre chapter
    56 schema:inLanguage en
    57 schema:isAccessibleForFree false
    58 schema:isPartOf Nc3e00e4f6b014aa28ee5e8edf6afe1a1
    59 schema:name Timed Temporal Logics
    60 schema:pagination 211-230
    61 schema:productId N3990907313f64cdab821247aa97c753c
    62 N8d73f5f8c4764d6d8764b4b2b6da0556
    63 Nef2754e3d7cb443ca15114c5ec13a62e
    64 schema:publisher N05cb9fdd73404d51941d9ee31d04ad09
    65 schema:sameAs https://app.dimensions.ai/details/publication/pub.1090880537
    66 https://doi.org/10.1007/978-3-319-63121-9_11
    67 schema:sdDatePublished 2019-04-16T04:59
    68 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    69 schema:sdPublisher N49853dc491d947af890540f05d407786
    70 schema:url https://link.springer.com/10.1007%2F978-3-319-63121-9_11
    71 sgo:license sg:explorer/license/
    72 sgo:sdDataset chapters
    73 rdf:type schema:Chapter
    74 N05cb9fdd73404d51941d9ee31d04ad09 schema:location Cham
    75 schema:name Springer International Publishing
    76 rdf:type schema:Organisation
    77 N111baad359844c999205f7c98f7acb67 rdf:first N35ac767812064f9e9f3d4f1b396da502
    78 rdf:rest N80d2d0814e8c4287a273a9cdfc80a0c2
    79 N119656b0acbe4a708d427f974740f68d rdf:first N9ce704a1eede44f498cffbd5d02a2d1c
    80 rdf:rest N5d70709cb5e2438ba16fe0692a1110f5
    81 N11c4b3a5f41f45d6b0063bf92bd4a26e schema:familyName Bacci
    82 schema:givenName Giovanni
    83 rdf:type schema:Person
    84 N2696af73596e4dfbb15184c0986f4c61 rdf:first sg:person.016176550125.50
    85 rdf:rest Nb41173f2cb184230ae4d7c551f9b31c1
    86 N35ac767812064f9e9f3d4f1b396da502 schema:familyName Legay
    87 schema:givenName Axel
    88 rdf:type schema:Person
    89 N3990907313f64cdab821247aa97c753c schema:name doi
    90 schema:value 10.1007/978-3-319-63121-9_11
    91 rdf:type schema:PropertyValue
    92 N41ce56c6234d415494f30d3df0397b6f rdf:first sg:person.07601744130.31
    93 rdf:rest N2696af73596e4dfbb15184c0986f4c61
    94 N49853dc491d947af890540f05d407786 schema:name Springer Nature - SN SciGraph project
    95 rdf:type schema:Organization
    96 N4df7f0a00f4a47d395ba9546f98a7bee schema:familyName Bacci
    97 schema:givenName Giorgio
    98 rdf:type schema:Person
    99 N5d70709cb5e2438ba16fe0692a1110f5 rdf:first N4df7f0a00f4a47d395ba9546f98a7bee
    100 rdf:rest N63d14b6f385d405f82ad0b30f0b4da78
    101 N60866d7b3d0e41af8de5421eecf41a8c rdf:first sg:person.014467443251.73
    102 rdf:rest Ndf918abf57974c4baba24227771a4b58
    103 N63d14b6f385d405f82ad0b30f0b4da78 rdf:first N11c4b3a5f41f45d6b0063bf92bd4a26e
    104 rdf:rest Nd8840a98b8724d79958eab2fb199f107
    105 N80d2d0814e8c4287a273a9cdfc80a0c2 rdf:first Nae5a3a9cc5894d6895e071135a2a51fd
    106 rdf:rest rdf:nil
    107 N8d73f5f8c4764d6d8764b4b2b6da0556 schema:name readcube_id
    108 schema:value 9f5ef80f2413dbf3e663b1fccf89957fee1d0eab5fae6134a0294046682611e9
    109 rdf:type schema:PropertyValue
    110 N9ce704a1eede44f498cffbd5d02a2d1c schema:familyName Aceto
    111 schema:givenName Luca
    112 rdf:type schema:Person
    113 Nae5a3a9cc5894d6895e071135a2a51fd schema:familyName Mardare
    114 schema:givenName Radu
    115 rdf:type schema:Person
    116 Nb41173f2cb184230ae4d7c551f9b31c1 rdf:first sg:person.016564107512.13
    117 rdf:rest rdf:nil
    118 Nc3e00e4f6b014aa28ee5e8edf6afe1a1 schema:isbn 978-3-319-63120-2
    119 978-3-319-63121-9
    120 schema:name Models, Algorithms, Logics and Tools
    121 rdf:type schema:Book
    122 Nd8840a98b8724d79958eab2fb199f107 rdf:first Ne95b213e285242aeb956d7812f2e9a8f
    123 rdf:rest N111baad359844c999205f7c98f7acb67
    124 Ndf918abf57974c4baba24227771a4b58 rdf:first sg:person.013052027213.09
    125 rdf:rest N41ce56c6234d415494f30d3df0397b6f
    126 Ne95b213e285242aeb956d7812f2e9a8f schema:familyName Ingólfsdóttir
    127 schema:givenName Anna
    128 rdf:type schema:Person
    129 Nef2754e3d7cb443ca15114c5ec13a62e schema:name dimensions_id
    130 schema:value pub.1090880537
    131 rdf:type schema:PropertyValue
    132 anzsrc-for:11 schema:inDefinedTermSet anzsrc-for:
    133 schema:name Medical and Health Sciences
    134 rdf:type schema:DefinedTerm
    135 anzsrc-for:1117 schema:inDefinedTermSet anzsrc-for:
    136 schema:name Public Health and Health Services
    137 rdf:type schema:DefinedTerm
    138 sg:person.013052027213.09 schema:affiliation https://www.grid.ac/institutes/grid.7452.4
    139 schema:familyName Laroussinie
    140 schema:givenName François
    141 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013052027213.09
    142 rdf:type schema:Person
    143 sg:person.014467443251.73 schema:affiliation https://www.grid.ac/institutes/grid.464035.0
    144 schema:familyName Bouyer
    145 schema:givenName Patricia
    146 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014467443251.73
    147 rdf:type schema:Person
    148 sg:person.016176550125.50 schema:affiliation https://www.grid.ac/institutes/grid.4991.5
    149 schema:familyName Ouaknine
    150 schema:givenName Joël
    151 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016176550125.50
    152 rdf:type schema:Person
    153 sg:person.016564107512.13 schema:affiliation https://www.grid.ac/institutes/grid.4991.5
    154 schema:familyName Worrell
    155 schema:givenName James
    156 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016564107512.13
    157 rdf:type schema:Person
    158 sg:person.07601744130.31 schema:affiliation https://www.grid.ac/institutes/grid.420225.3
    159 schema:familyName Markey
    160 schema:givenName Nicolas
    161 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07601744130.31
    162 rdf:type schema:Person
    163 sg:pub.10.1007/11590156_35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010801024
    164 https://doi.org/10.1007/11590156_35
    165 rdf:type schema:CreativeWork
    166 sg:pub.10.1007/11690634_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018699167
    167 https://doi.org/10.1007/11690634_15
    168 rdf:type schema:CreativeWork
    169 sg:pub.10.1007/11691372_27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014947872
    170 https://doi.org/10.1007/11691372_27
    171 rdf:type schema:CreativeWork
    172 sg:pub.10.1007/3-540-11494-7_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002397064
    173 https://doi.org/10.1007/3-540-11494-7_22
    174 rdf:type schema:CreativeWork
    175 sg:pub.10.1007/3-540-44450-5_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013011723
    176 https://doi.org/10.1007/3-540-44450-5_11
    177 rdf:type schema:CreativeWork
    178 sg:pub.10.1007/3-540-52148-8_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048774892
    179 https://doi.org/10.1007/3-540-52148-8_19
    180 rdf:type schema:CreativeWork
    181 sg:pub.10.1007/3-540-54233-7_136 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006379138
    182 https://doi.org/10.1007/3-540-54233-7_136
    183 rdf:type schema:CreativeWork
    184 sg:pub.10.1007/3-540-56922-7_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031896033
    185 https://doi.org/10.1007/3-540-56922-7_21
    186 rdf:type schema:CreativeWork
    187 sg:pub.10.1007/3-540-60246-1_158 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013639641
    188 https://doi.org/10.1007/3-540-60246-1_158
    189 rdf:type schema:CreativeWork
    190 sg:pub.10.1007/978-0-387-35394-4_27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010999431
    191 https://doi.org/10.1007/978-0-387-35394-4_27
    192 rdf:type schema:CreativeWork
    193 sg:pub.10.1007/978-3-319-44878-7_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028755420
    194 https://doi.org/10.1007/978-3-319-44878-7_7
    195 rdf:type schema:CreativeWork
    196 sg:pub.10.1007/978-3-319-46982-9_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005363356
    197 https://doi.org/10.1007/978-3-319-46982-9_1
    198 rdf:type schema:CreativeWork
    199 sg:pub.10.1007/978-3-540-30206-3_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042177048
    200 https://doi.org/10.1007/978-3-540-30206-3_12
    201 rdf:type schema:CreativeWork
    202 sg:pub.10.1007/978-3-540-74407-8_30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030252737
    203 https://doi.org/10.1007/978-3-540-74407-8_30
    204 rdf:type schema:CreativeWork
    205 sg:pub.10.1007/978-3-540-75454-1_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053425743
    206 https://doi.org/10.1007/978-3-540-75454-1_13
    207 rdf:type schema:CreativeWork
    208 sg:pub.10.1007/978-3-642-04081-8_33 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049903776
    209 https://doi.org/10.1007/978-3-642-04081-8_33
    210 rdf:type schema:CreativeWork
    211 sg:pub.10.1007/978-3-642-23217-6_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045786691
    212 https://doi.org/10.1007/978-3-642-23217-6_5
    213 rdf:type schema:CreativeWork
    214 sg:pub.10.1007/978-3-662-49630-5_20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021135554
    215 https://doi.org/10.1007/978-3-662-49630-5_20
    216 rdf:type schema:CreativeWork
    217 sg:pub.10.1007/978-94-009-8384-7_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042173996
    218 https://doi.org/10.1007/978-94-009-8384-7_4
    219 rdf:type schema:CreativeWork
    220 sg:pub.10.1007/bf01995674 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042144736
    221 https://doi.org/10.1007/bf01995674
    222 rdf:type schema:CreativeWork
    223 sg:pub.10.1007/bfb0020947 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047263334
    224 https://doi.org/10.1007/bfb0020947
    225 rdf:type schema:CreativeWork
    226 sg:pub.10.1007/bfb0025774 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037700041
    227 https://doi.org/10.1007/bfb0025774
    228 rdf:type schema:CreativeWork
    229 sg:pub.10.1007/bfb0031988 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052957864
    230 https://doi.org/10.1007/bfb0031988
    231 rdf:type schema:CreativeWork
    232 sg:pub.10.1007/s10009-005-0214-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009221384
    233 https://doi.org/10.1007/s10009-005-0214-9
    234 rdf:type schema:CreativeWork
    235 sg:pub.10.1007/s100090050008 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029610925
    236 https://doi.org/10.1007/s100090050008
    237 rdf:type schema:CreativeWork
    238 sg:pub.10.1007/s100090050010 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004370190
    239 https://doi.org/10.1007/s100090050010
    240 rdf:type schema:CreativeWork
    241 https://doi.org/10.1006/inco.1993.1024 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008470395
    242 rdf:type schema:CreativeWork
    243 https://doi.org/10.1006/inco.1993.1025 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044801400
    244 rdf:type schema:CreativeWork
    245 https://doi.org/10.1016/0304-3975(94)90010-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029576598
    246 rdf:type schema:CreativeWork
    247 https://doi.org/10.1016/j.entcs.2014.10.011 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040854589
    248 rdf:type schema:CreativeWork
    249 https://doi.org/10.1016/s0304-3975(02)00334-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047182058
    250 rdf:type schema:CreativeWork
    251 https://doi.org/10.1016/s0890-5401(03)00163-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048281620
    252 rdf:type schema:CreativeWork
    253 https://doi.org/10.1051/ita:2000131 schema:sameAs https://app.dimensions.ai/details/publication/pub.1056972091
    254 rdf:type schema:CreativeWork
    255 https://doi.org/10.1109/lics.1995.523274 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093398805
    256 rdf:type schema:CreativeWork
    257 https://doi.org/10.1109/lics.2005.33 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095226557
    258 rdf:type schema:CreativeWork
    259 https://doi.org/10.1109/lics.2007.49 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094835725
    260 rdf:type schema:CreativeWork
    261 https://doi.org/10.1109/lics.2013.41 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093643855
    262 rdf:type schema:CreativeWork
    263 https://doi.org/10.1109/qest.2006.59 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095178067
    264 rdf:type schema:CreativeWork
    265 https://doi.org/10.1109/real.1997.641264 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094789024
    266 rdf:type schema:CreativeWork
    267 https://doi.org/10.1109/sfcs.1977.32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086187044
    268 rdf:type schema:CreativeWork
    269 https://doi.org/10.1109/sfcs.1983.51 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086221132
    270 rdf:type schema:CreativeWork
    271 https://doi.org/10.1109/sfcs.1989.63473 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086170738
    272 rdf:type schema:CreativeWork
    273 https://doi.org/10.1145/227595.227602 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040243842
    274 rdf:type schema:CreativeWork
    275 https://doi.org/10.1145/5397.5399 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053218197
    276 rdf:type schema:CreativeWork
    277 https://doi.org/10.1145/567446.567462 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049385134
    278 rdf:type schema:CreativeWork
    279 https://doi.org/10.2168/lmcs-3(1:3)2007 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069150891
    280 rdf:type schema:CreativeWork
    281 https://doi.org/10.4204/eptcs.119.8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1072354664
    282 rdf:type schema:CreativeWork
    283 https://www.grid.ac/institutes/grid.420225.3 schema:alternateName Institut de Recherche en Informatique et Systèmes Aléatoires
    284 schema:name IRISA, CNRS & INRIA & Université Rennes 1, Rennes, France
    285 rdf:type schema:Organization
    286 https://www.grid.ac/institutes/grid.464035.0 schema:alternateName Laboratoire Spécification et Vérification
    287 schema:name LSV, CNRS & ENS Paris-Saclay, Cachan, France
    288 rdf:type schema:Organization
    289 https://www.grid.ac/institutes/grid.4991.5 schema:alternateName University of Oxford
    290 schema:name Department of Computer Science, Oxford University, Oxford, UK
    291 Max Planck Institute for Software Systems, Saarbrücken, Germany
    292 rdf:type schema:Organization
    293 https://www.grid.ac/institutes/grid.7452.4 schema:alternateName Paris Diderot University
    294 schema:name IRIF, CNRS & Université Paris Diderot, Paris, France
    295 rdf:type schema:Organization
     




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


    ...