Regular Strategies in Pushdown Reachability Games View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2014

AUTHORS

A. Carayol , M. Hague

ABSTRACT

We show that positional winning strategies in pushdown reachability games can be implemented by deterministic finite state automata of exponential size. Such automata read the stack and control state of a given pushdown configuration and output the set of winning moves playable from that position. This result can originally be attributed to Kupferman, Piterman and Vardi using an approach based on two-way tree automata. We present a more direct approach that builds upon the popular saturation technique. Saturation for analysing pushdown systems has been successfully implemented by Moped and WALi. Thus, our approach has the potential for practical applications to controller-synthesis problems. More... »

PAGES

58-71

References to SciGraph publications

  • 2010. An Automata-Theoretic Approach to Infinite-State Systems in TIME FOR VERIFICATION
  • 2000. Bebop: A Symbolic Model Checker for Boolean Programs in SPIN MODEL CHECKING AND SOFTWARE VERIFICATION
  • 2006. Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2007. jMoped: A Test Environment for Java Programs in COMPUTER AIDED VERIFICATION
  • 2001. A BDD-Based Model Checker for Recursive Programs in COMPUTER AIDED VERIFICATION
  • 2002. Symbolic Strategy Synthesis for Games on Pushdown Graphs in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2009. Winning Regions of Pushdown Parity Games: A Saturation Method in CONCUR 2009 - CONCURRENCY THEORY
  • 2004. Global Model-Checking of Infinite-State Systems in COMPUTER AIDED VERIFICATION
  • 2005. jMoped: A Java Bytecode Checker Based on Moped in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 1997. Reachability analysis of pushdown automata: Application to model-checking in CONCUR '97: CONCURRENCY THEORY
  • Book

    TITLE

    Reachability Problems

    ISBN

    978-3-319-11438-5
    978-3-319-11439-2

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-11439-2_5

    DOI

    http://dx.doi.org/10.1007/978-3-319-11439-2_5

    DIMENSIONS

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


    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/0102", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Applied Mathematics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Mathematical Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Laboratoire d'Informatique Gaspard-Monge", 
              "id": "https://www.grid.ac/institutes/grid.462940.d", 
              "name": [
                "LIGM, Universit\u00e9 Paris-Est & CNRS, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Carayol", 
            "givenName": "A.", 
            "id": "sg:person.013525060217.03", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013525060217.03"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Laboratoire d'Informatique Gaspard-Monge", 
              "id": "https://www.grid.ac/institutes/grid.462940.d", 
              "name": [
                "LIGM, Universit\u00e9 Paris-Est & CNRS, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Hague", 
            "givenName": "M.", 
            "id": "sg:person.016660553175.13", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016660553175.13"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-540-73368-3_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004333980", 
              "https://doi.org/10.1007/978-3-540-73368-3_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-73368-3_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004333980", 
              "https://doi.org/10.1007/978-3-540-73368-3_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0020-0190(02)00445-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006664702"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0020-0190(02)00445-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006664702"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-63141-0_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010116324", 
              "https://doi.org/10.1007/3-540-63141-0_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-31980-1_35", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010847598", 
              "https://doi.org/10.1007/978-3-540-31980-1_35"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-31980-1_35", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010847598", 
              "https://doi.org/10.1007/978-3-540-31980-1_35"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s1571-0661(05)80426-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013019919"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1965724.1965743", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013619846"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11901914_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020025047", 
              "https://doi.org/10.1007/11901914_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11901914_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020025047", 
              "https://doi.org/10.1007/11901914_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10722468_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022478436", 
              "https://doi.org/10.1007/10722468_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10722468_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022478436", 
              "https://doi.org/10.1007/10722468_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/322003.322016", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025248688"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-27813-9_30", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029403862", 
              "https://doi.org/10.1007/978-3-540-27813-9_30"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-27813-9_30", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029403862", 
              "https://doi.org/10.1007/978-3-540-27813-9_30"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-44585-4_30", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035132527", 
              "https://doi.org/10.1007/3-540-44585-4_30"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-04081-8_26", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036262322", 
              "https://doi.org/10.1007/978-3-642-04081-8_26"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45465-9_60", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044531535", 
              "https://doi.org/10.1007/3-540-45465-9_60"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.2000.2894", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046428528"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-13754-9_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047560029", 
              "https://doi.org/10.1007/978-3-642-13754-9_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-13754-9_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047560029", 
              "https://doi.org/10.1007/978-3-642-13754-9_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0304-3975(98)00009-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051504708"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2014", 
        "datePublishedReg": "2014-01-01", 
        "description": "We show that positional winning strategies in pushdown reachability games can be implemented by deterministic finite state automata of exponential size. Such automata read the stack and control state of a given pushdown configuration and output the set of winning moves playable from that position. This result can originally be attributed to Kupferman, Piterman and Vardi using an approach based on two-way tree automata. We present a more direct approach that builds upon the popular saturation technique. Saturation for analysing pushdown systems has been successfully implemented by Moped and WALi. Thus, our approach has the potential for practical applications to controller-synthesis problems.", 
        "editor": [
          {
            "familyName": "Ouaknine", 
            "givenName": "Jo\u00ebl", 
            "type": "Person"
          }, 
          {
            "familyName": "Potapov", 
            "givenName": "Igor", 
            "type": "Person"
          }, 
          {
            "familyName": "Worrell", 
            "givenName": "James", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-11439-2_5", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-319-11438-5", 
            "978-3-319-11439-2"
          ], 
          "name": "Reachability Problems", 
          "type": "Book"
        }, 
        "name": "Regular Strategies in Pushdown Reachability Games", 
        "pagination": "58-71", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-11439-2_5"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "c42bff1e9c71d84de5b51bd43fa37691f97c9322bf9ca1d42a7b1c01e23636bc"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1041180584"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-11439-2_5", 
          "https://app.dimensions.ai/details/publication/pub.1041180584"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T19:43", 
        "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/0000000001_0000000264/records_8684_00000561.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-319-11439-2_5"
      }
    ]
     

    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-11439-2_5'

    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-11439-2_5'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-11439-2_5'

    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-11439-2_5'


     

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

    140 TRIPLES      23 PREDICATES      43 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-11439-2_5 schema:about anzsrc-for:01
    2 anzsrc-for:0102
    3 schema:author Nf9da1d0aab9a46c8afe92fb2fb6658c9
    4 schema:citation sg:pub.10.1007/10722468_7
    5 sg:pub.10.1007/11901914_13
    6 sg:pub.10.1007/3-540-44585-4_30
    7 sg:pub.10.1007/3-540-45465-9_60
    8 sg:pub.10.1007/3-540-63141-0_10
    9 sg:pub.10.1007/978-3-540-27813-9_30
    10 sg:pub.10.1007/978-3-540-31980-1_35
    11 sg:pub.10.1007/978-3-540-73368-3_19
    12 sg:pub.10.1007/978-3-642-04081-8_26
    13 sg:pub.10.1007/978-3-642-13754-9_11
    14 https://doi.org/10.1006/inco.2000.2894
    15 https://doi.org/10.1016/s0020-0190(02)00445-3
    16 https://doi.org/10.1016/s0304-3975(98)00009-7
    17 https://doi.org/10.1016/s1571-0661(05)80426-8
    18 https://doi.org/10.1145/1965724.1965743
    19 https://doi.org/10.1145/322003.322016
    20 schema:datePublished 2014
    21 schema:datePublishedReg 2014-01-01
    22 schema:description We show that positional winning strategies in pushdown reachability games can be implemented by deterministic finite state automata of exponential size. Such automata read the stack and control state of a given pushdown configuration and output the set of winning moves playable from that position. This result can originally be attributed to Kupferman, Piterman and Vardi using an approach based on two-way tree automata. We present a more direct approach that builds upon the popular saturation technique. Saturation for analysing pushdown systems has been successfully implemented by Moped and WALi. Thus, our approach has the potential for practical applications to controller-synthesis problems.
    23 schema:editor Ned3c8ff13a56432da4f6a050ce095521
    24 schema:genre chapter
    25 schema:inLanguage en
    26 schema:isAccessibleForFree true
    27 schema:isPartOf N95739695482f4055954e98f6e7343ce4
    28 schema:name Regular Strategies in Pushdown Reachability Games
    29 schema:pagination 58-71
    30 schema:productId N34c6a6e898bb421492035198bba8270c
    31 N77285a7459214e23beda6301f6a8e476
    32 N9a645146df514e6c826406105be7bfdb
    33 schema:publisher Nf9314e32fe6c4d99a03a2174d80e5bf9
    34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041180584
    35 https://doi.org/10.1007/978-3-319-11439-2_5
    36 schema:sdDatePublished 2019-04-15T19:43
    37 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    38 schema:sdPublisher N2c9290f1a7ce4ea9926ae9defadec0f2
    39 schema:url http://link.springer.com/10.1007/978-3-319-11439-2_5
    40 sgo:license sg:explorer/license/
    41 sgo:sdDataset chapters
    42 rdf:type schema:Chapter
    43 N2c9290f1a7ce4ea9926ae9defadec0f2 schema:name Springer Nature - SN SciGraph project
    44 rdf:type schema:Organization
    45 N34c6a6e898bb421492035198bba8270c schema:name doi
    46 schema:value 10.1007/978-3-319-11439-2_5
    47 rdf:type schema:PropertyValue
    48 N56808940c2f74b03a4660840a58968e4 schema:familyName Worrell
    49 schema:givenName James
    50 rdf:type schema:Person
    51 N77285a7459214e23beda6301f6a8e476 schema:name readcube_id
    52 schema:value c42bff1e9c71d84de5b51bd43fa37691f97c9322bf9ca1d42a7b1c01e23636bc
    53 rdf:type schema:PropertyValue
    54 N7d156fb3470f4726987057c3fcf26c13 schema:familyName Potapov
    55 schema:givenName Igor
    56 rdf:type schema:Person
    57 N95739695482f4055954e98f6e7343ce4 schema:isbn 978-3-319-11438-5
    58 978-3-319-11439-2
    59 schema:name Reachability Problems
    60 rdf:type schema:Book
    61 N9a645146df514e6c826406105be7bfdb schema:name dimensions_id
    62 schema:value pub.1041180584
    63 rdf:type schema:PropertyValue
    64 Na0e4c22dd86a4fd0a3c71ad7f1a6d0cc rdf:first N7d156fb3470f4726987057c3fcf26c13
    65 rdf:rest Nb8e9e09340674b4abbaa906d66032ea3
    66 Nb8e9e09340674b4abbaa906d66032ea3 rdf:first N56808940c2f74b03a4660840a58968e4
    67 rdf:rest rdf:nil
    68 Ndc5ebf63b0a94c4ca14941625a9d8c9b rdf:first sg:person.016660553175.13
    69 rdf:rest rdf:nil
    70 Ned3c8ff13a56432da4f6a050ce095521 rdf:first Nfaf5752917c94549b96f40417bf25a12
    71 rdf:rest Na0e4c22dd86a4fd0a3c71ad7f1a6d0cc
    72 Nf9314e32fe6c4d99a03a2174d80e5bf9 schema:location Cham
    73 schema:name Springer International Publishing
    74 rdf:type schema:Organisation
    75 Nf9da1d0aab9a46c8afe92fb2fb6658c9 rdf:first sg:person.013525060217.03
    76 rdf:rest Ndc5ebf63b0a94c4ca14941625a9d8c9b
    77 Nfaf5752917c94549b96f40417bf25a12 schema:familyName Ouaknine
    78 schema:givenName Joël
    79 rdf:type schema:Person
    80 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
    81 schema:name Mathematical Sciences
    82 rdf:type schema:DefinedTerm
    83 anzsrc-for:0102 schema:inDefinedTermSet anzsrc-for:
    84 schema:name Applied Mathematics
    85 rdf:type schema:DefinedTerm
    86 sg:person.013525060217.03 schema:affiliation https://www.grid.ac/institutes/grid.462940.d
    87 schema:familyName Carayol
    88 schema:givenName A.
    89 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013525060217.03
    90 rdf:type schema:Person
    91 sg:person.016660553175.13 schema:affiliation https://www.grid.ac/institutes/grid.462940.d
    92 schema:familyName Hague
    93 schema:givenName M.
    94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016660553175.13
    95 rdf:type schema:Person
    96 sg:pub.10.1007/10722468_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022478436
    97 https://doi.org/10.1007/10722468_7
    98 rdf:type schema:CreativeWork
    99 sg:pub.10.1007/11901914_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020025047
    100 https://doi.org/10.1007/11901914_13
    101 rdf:type schema:CreativeWork
    102 sg:pub.10.1007/3-540-44585-4_30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035132527
    103 https://doi.org/10.1007/3-540-44585-4_30
    104 rdf:type schema:CreativeWork
    105 sg:pub.10.1007/3-540-45465-9_60 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044531535
    106 https://doi.org/10.1007/3-540-45465-9_60
    107 rdf:type schema:CreativeWork
    108 sg:pub.10.1007/3-540-63141-0_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010116324
    109 https://doi.org/10.1007/3-540-63141-0_10
    110 rdf:type schema:CreativeWork
    111 sg:pub.10.1007/978-3-540-27813-9_30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029403862
    112 https://doi.org/10.1007/978-3-540-27813-9_30
    113 rdf:type schema:CreativeWork
    114 sg:pub.10.1007/978-3-540-31980-1_35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010847598
    115 https://doi.org/10.1007/978-3-540-31980-1_35
    116 rdf:type schema:CreativeWork
    117 sg:pub.10.1007/978-3-540-73368-3_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004333980
    118 https://doi.org/10.1007/978-3-540-73368-3_19
    119 rdf:type schema:CreativeWork
    120 sg:pub.10.1007/978-3-642-04081-8_26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036262322
    121 https://doi.org/10.1007/978-3-642-04081-8_26
    122 rdf:type schema:CreativeWork
    123 sg:pub.10.1007/978-3-642-13754-9_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047560029
    124 https://doi.org/10.1007/978-3-642-13754-9_11
    125 rdf:type schema:CreativeWork
    126 https://doi.org/10.1006/inco.2000.2894 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046428528
    127 rdf:type schema:CreativeWork
    128 https://doi.org/10.1016/s0020-0190(02)00445-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006664702
    129 rdf:type schema:CreativeWork
    130 https://doi.org/10.1016/s0304-3975(98)00009-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051504708
    131 rdf:type schema:CreativeWork
    132 https://doi.org/10.1016/s1571-0661(05)80426-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013019919
    133 rdf:type schema:CreativeWork
    134 https://doi.org/10.1145/1965724.1965743 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013619846
    135 rdf:type schema:CreativeWork
    136 https://doi.org/10.1145/322003.322016 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025248688
    137 rdf:type schema:CreativeWork
    138 https://www.grid.ac/institutes/grid.462940.d schema:alternateName Laboratoire d'Informatique Gaspard-Monge
    139 schema:name LIGM, Université Paris-Est & CNRS, France
    140 rdf:type schema:Organization
     




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


    ...