Nested antichains for WS1S View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2019-04

AUTHORS

Tomáš Fiedor, Lukáš Holík, Ondřej Lengál, Tomáš Vojnar

ABSTRACT

We propose a novel approach for coping with alternating quantification as the main source of nonelementary complexity of deciding WS1S formulae. Our approach is applicable within the state-of-the-art automata-based WS1S decision procedure implemented e.g. in Mona. The way in which the standard decision procedure processes quantifiers involves determinization, with its worst case exponential complexity, for every quantifier alternation in the prefix of a formula. Our algorithm avoids building the deterministic automata—instead, it constructs only those of their states needed for (dis)proving validity of the formula. It uses a symbolic representation of the states, which have a deeply nested structure stemming from the repeated implicit subset construction, and prunes the search space by a nested subsumption relation, a generalization of the one used by the so-called antichain algorithms for handling nondeterministic automata. We have obtained encouraging experimental results, in some cases outperforming Mona, and some of the other recently proposed approaches, by several orders of magnitude. More... »

PAGES

205-228

References to SciGraph publications

  • 2000. Simulation Based Minimization in AUTOMATED DEDUCTION - CADE-17
  • 2008. Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata in IMPLEMENTATION AND APPLICATIONS OF AUTOMATA
  • 2006. jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str) in MODEL CHECKING SOFTWARE
  • 2011. An Efficient Decision Procedure for Imperative Tree Data Structures in AUTOMATED DEDUCTION – CADE-23
  • 1998. MONA 1.x: New techniques for WS1S and WS2S in COMPUTER AIDED VERIFICATION
  • 2010. New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures in COMPUTER SCIENCE LOGIC
  • 2012-08. Forest automata for verification of heap manipulation in FORMAL METHODS IN SYSTEM DESIGN
  • 2013. The Tree Width of Separation Logic with Recursive Definitions in AUTOMATED DEDUCTION – CADE-24
  • 2010. Antichain Algorithms for Finite Automata in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2011. Efficient Decision Procedures for Heaps Using STRAND in STATIC ANALYSIS
  • 2015. Nested Antichains for WS1S in PRINCIPLES OF SECURITY AND TRUST
  • 2012. VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2014-04. Array Theory of Bounded Elements and its Applications in JOURNAL OF AUTOMATED REASONING
  • 2006. Antichains: A New Algorithm for Checking Universality of Finite Automata in COMPUTER AIDED VERIFICATION
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s00236-018-0331-z

    DOI

    http://dx.doi.org/10.1007/s00236-018-0331-z

    DIMENSIONS

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


    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/1701", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Psychology", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/17", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Psychology and Cognitive Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Brno University of Technology", 
              "id": "https://www.grid.ac/institutes/grid.4994.0", 
              "name": [
                "FIT, IT4Innovations Centre of Excellence, Brno University of Technology, Bo\u017eet\u011bchova 2, 612 66, Brno, Czech Republic"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Fiedor", 
            "givenName": "Tom\u00e1\u0161", 
            "id": "sg:person.013326215637.80", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013326215637.80"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Brno University of Technology", 
              "id": "https://www.grid.ac/institutes/grid.4994.0", 
              "name": [
                "FIT, IT4Innovations Centre of Excellence, Brno University of Technology, Bo\u017eet\u011bchova 2, 612 66, Brno, Czech Republic"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Hol\u00edk", 
            "givenName": "Luk\u00e1\u0161", 
            "id": "sg:person.013127733303.01", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013127733303.01"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Brno University of Technology", 
              "id": "https://www.grid.ac/institutes/grid.4994.0", 
              "name": [
                "FIT, IT4Innovations Centre of Excellence, Brno University of Technology, Bo\u017eet\u011bchova 2, 612 66, Brno, Czech Republic"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Leng\u00e1l", 
            "givenName": "Ond\u0159ej", 
            "id": "sg:person.011416140723.27", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011416140723.27"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Brno University of Technology", 
              "id": "https://www.grid.ac/institutes/grid.4994.0", 
              "name": [
                "FIT, IT4Innovations Centre of Excellence, Brno University of Technology, Bo\u017eet\u011bchova 2, 612 66, Brno, Czech Republic"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Vojnar", 
            "givenName": "Tom\u00e1\u0161", 
            "id": "sg:person.016115635303.92", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016115635303.92"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/1926385.1926455", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006954201"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-28756-5_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007060141", 
              "https://doi.org/10.1007/978-3-642-28756-5_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10817-013-9293-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008522497", 
              "https://doi.org/10.1007/s10817-013-9293-6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10817-013-9293-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008522497", 
              "https://doi.org/10.1007/s10817-013-9293-6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11691617_18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025284919", 
              "https://doi.org/10.1007/11691617_18"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11691617_18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025284919", 
              "https://doi.org/10.1007/11691617_18"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-012-0150-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028061094", 
              "https://doi.org/10.1007/s10703-012-0150-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-012-0150-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028061094", 
              "https://doi.org/10.1007/s10703-012-0150-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11817963_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028708675", 
              "https://doi.org/10.1007/11817963_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11817963_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028708675", 
              "https://doi.org/10.1007/11817963_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-15205-4_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029506863", 
              "https://doi.org/10.1007/978-3-642-15205-4_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-15205-4_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029506863", 
              "https://doi.org/10.1007/978-3-642-15205-4_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-70844-5_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031143159", 
              "https://doi.org/10.1007/978-3-540-70844-5_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-12002-2_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031282682", 
              "https://doi.org/10.1007/978-3-642-12002-2_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-12002-2_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031282682", 
              "https://doi.org/10.1007/978-3-642-12002-2_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-46681-0_59", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036394419", 
              "https://doi.org/10.1007/978-3-662-46681-0_59"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-46681-0_59", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036394419", 
              "https://doi.org/10.1007/978-3-662-46681-0_59"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0028773", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037000305", 
              "https://doi.org/10.1007/bfb0028773"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-22438-6_36", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043039493", 
              "https://doi.org/10.1007/978-3-642-22438-6_36"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-22438-6_36", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043039493", 
              "https://doi.org/10.1007/978-3-642-22438-6_36"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-38574-2_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044572416", 
              "https://doi.org/10.1007/978-3-642-38574-2_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-23702-7_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046982643", 
              "https://doi.org/10.1007/978-3-642-23702-7_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-23702-7_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046982643", 
              "https://doi.org/10.1007/978-3-642-23702-7_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10721959_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051426952", 
              "https://doi.org/10.1007/10721959_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10721959_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051426952", 
              "https://doi.org/10.1007/10721959_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.scico.2010.07.004", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052372329"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1142/s012905410200128x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062896423"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1375581.1375624", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098984152"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2019-04", 
        "datePublishedReg": "2019-04-01", 
        "description": "We propose a novel approach for coping with alternating quantification as the main source of nonelementary complexity of deciding WS1S formulae. Our approach is applicable within the state-of-the-art automata-based WS1S decision procedure implemented e.g. in Mona. The way in which the standard decision procedure processes quantifiers involves determinization, with its worst case exponential complexity, for every quantifier alternation in the prefix of a formula. Our algorithm avoids building the deterministic automata\u2014instead, it constructs only those of their states needed for (dis)proving validity of the formula. It uses a symbolic representation of the states, which have a deeply nested structure stemming from the repeated implicit subset construction, and prunes the search space by a nested subsumption relation, a generalization of the one used by the so-called antichain algorithms for handling nondeterministic automata. We have obtained encouraging experimental results, in some cases outperforming Mona, and some of the other recently proposed approaches, by several orders of magnitude.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s00236-018-0331-z", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isFundedItemOf": [
          {
            "id": "sg:grant.6898971", 
            "type": "MonetaryGrant"
          }
        ], 
        "isPartOf": [
          {
            "id": "sg:journal.1133515", 
            "issn": [
              "0001-5903", 
              "1432-0525"
            ], 
            "name": "Acta Informatica", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "3", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "56"
          }
        ], 
        "name": "Nested antichains for WS1S", 
        "pagination": "205-228", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "268559ffcbf647613de91c1de8ed3ddfafb6a8be5f2083ef09c3c22b8727ba8f"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s00236-018-0331-z"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1111008241"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s00236-018-0331-z", 
          "https://app.dimensions.ai/details/publication/pub.1111008241"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-11T12:22", 
        "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/0000000362_0000000362/records_87082_00000001.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://link.springer.com/10.1007%2Fs00236-018-0331-z"
      }
    ]
     

    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/s00236-018-0331-z'

    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/s00236-018-0331-z'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s00236-018-0331-z'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s00236-018-0331-z'


     

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

    152 TRIPLES      21 PREDICATES      45 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s00236-018-0331-z schema:about anzsrc-for:17
    2 anzsrc-for:1701
    3 schema:author N882b47ef02094e63904ef394c5cc6262
    4 schema:citation sg:pub.10.1007/10721959_20
    5 sg:pub.10.1007/11691617_18
    6 sg:pub.10.1007/11817963_5
    7 sg:pub.10.1007/978-3-540-70844-5_7
    8 sg:pub.10.1007/978-3-642-12002-2_2
    9 sg:pub.10.1007/978-3-642-15205-4_29
    10 sg:pub.10.1007/978-3-642-22438-6_36
    11 sg:pub.10.1007/978-3-642-23702-7_8
    12 sg:pub.10.1007/978-3-642-28756-5_7
    13 sg:pub.10.1007/978-3-642-38574-2_2
    14 sg:pub.10.1007/978-3-662-46681-0_59
    15 sg:pub.10.1007/bfb0028773
    16 sg:pub.10.1007/s10703-012-0150-8
    17 sg:pub.10.1007/s10817-013-9293-6
    18 https://doi.org/10.1016/j.scico.2010.07.004
    19 https://doi.org/10.1142/s012905410200128x
    20 https://doi.org/10.1145/1375581.1375624
    21 https://doi.org/10.1145/1926385.1926455
    22 schema:datePublished 2019-04
    23 schema:datePublishedReg 2019-04-01
    24 schema:description We propose a novel approach for coping with alternating quantification as the main source of nonelementary complexity of deciding WS1S formulae. Our approach is applicable within the state-of-the-art automata-based WS1S decision procedure implemented e.g. in Mona. The way in which the standard decision procedure processes quantifiers involves determinization, with its worst case exponential complexity, for every quantifier alternation in the prefix of a formula. Our algorithm avoids building the deterministic automata—instead, it constructs only those of their states needed for (dis)proving validity of the formula. It uses a symbolic representation of the states, which have a deeply nested structure stemming from the repeated implicit subset construction, and prunes the search space by a nested subsumption relation, a generalization of the one used by the so-called antichain algorithms for handling nondeterministic automata. We have obtained encouraging experimental results, in some cases outperforming Mona, and some of the other recently proposed approaches, by several orders of magnitude.
    25 schema:genre research_article
    26 schema:inLanguage en
    27 schema:isAccessibleForFree false
    28 schema:isPartOf Nbb7867158ea840cc83d27800303b594e
    29 Neeceab6dd64d473eb30d547320949318
    30 sg:journal.1133515
    31 schema:name Nested antichains for WS1S
    32 schema:pagination 205-228
    33 schema:productId N09de890c482a4299b782b939b4e4895f
    34 N76defa739f164e8b84a540f8098b15e5
    35 N9050bb4d75e5429fbae54d6b3591dfbe
    36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1111008241
    37 https://doi.org/10.1007/s00236-018-0331-z
    38 schema:sdDatePublished 2019-04-11T12:22
    39 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    40 schema:sdPublisher N51d769826883479bb5916f18f07605d8
    41 schema:url https://link.springer.com/10.1007%2Fs00236-018-0331-z
    42 sgo:license sg:explorer/license/
    43 sgo:sdDataset articles
    44 rdf:type schema:ScholarlyArticle
    45 N09de890c482a4299b782b939b4e4895f schema:name doi
    46 schema:value 10.1007/s00236-018-0331-z
    47 rdf:type schema:PropertyValue
    48 N51d769826883479bb5916f18f07605d8 schema:name Springer Nature - SN SciGraph project
    49 rdf:type schema:Organization
    50 N76defa739f164e8b84a540f8098b15e5 schema:name dimensions_id
    51 schema:value pub.1111008241
    52 rdf:type schema:PropertyValue
    53 N882b47ef02094e63904ef394c5cc6262 rdf:first sg:person.013326215637.80
    54 rdf:rest Nccd9a100adbe42d690db12ac6022e949
    55 N883027cc80b24d2987c854326228dd4a rdf:first sg:person.016115635303.92
    56 rdf:rest rdf:nil
    57 N9050bb4d75e5429fbae54d6b3591dfbe schema:name readcube_id
    58 schema:value 268559ffcbf647613de91c1de8ed3ddfafb6a8be5f2083ef09c3c22b8727ba8f
    59 rdf:type schema:PropertyValue
    60 Nbb7867158ea840cc83d27800303b594e schema:issueNumber 3
    61 rdf:type schema:PublicationIssue
    62 Nccd9a100adbe42d690db12ac6022e949 rdf:first sg:person.013127733303.01
    63 rdf:rest Ne11742c0b5554828b57ea02c16792ab6
    64 Ne11742c0b5554828b57ea02c16792ab6 rdf:first sg:person.011416140723.27
    65 rdf:rest N883027cc80b24d2987c854326228dd4a
    66 Neeceab6dd64d473eb30d547320949318 schema:volumeNumber 56
    67 rdf:type schema:PublicationVolume
    68 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
    69 schema:name Psychology and Cognitive Sciences
    70 rdf:type schema:DefinedTerm
    71 anzsrc-for:1701 schema:inDefinedTermSet anzsrc-for:
    72 schema:name Psychology
    73 rdf:type schema:DefinedTerm
    74 sg:grant.6898971 http://pending.schema.org/fundedItem sg:pub.10.1007/s00236-018-0331-z
    75 rdf:type schema:MonetaryGrant
    76 sg:journal.1133515 schema:issn 0001-5903
    77 1432-0525
    78 schema:name Acta Informatica
    79 rdf:type schema:Periodical
    80 sg:person.011416140723.27 schema:affiliation https://www.grid.ac/institutes/grid.4994.0
    81 schema:familyName Lengál
    82 schema:givenName Ondřej
    83 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011416140723.27
    84 rdf:type schema:Person
    85 sg:person.013127733303.01 schema:affiliation https://www.grid.ac/institutes/grid.4994.0
    86 schema:familyName Holík
    87 schema:givenName Lukáš
    88 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013127733303.01
    89 rdf:type schema:Person
    90 sg:person.013326215637.80 schema:affiliation https://www.grid.ac/institutes/grid.4994.0
    91 schema:familyName Fiedor
    92 schema:givenName Tomáš
    93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013326215637.80
    94 rdf:type schema:Person
    95 sg:person.016115635303.92 schema:affiliation https://www.grid.ac/institutes/grid.4994.0
    96 schema:familyName Vojnar
    97 schema:givenName Tomáš
    98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016115635303.92
    99 rdf:type schema:Person
    100 sg:pub.10.1007/10721959_20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051426952
    101 https://doi.org/10.1007/10721959_20
    102 rdf:type schema:CreativeWork
    103 sg:pub.10.1007/11691617_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025284919
    104 https://doi.org/10.1007/11691617_18
    105 rdf:type schema:CreativeWork
    106 sg:pub.10.1007/11817963_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028708675
    107 https://doi.org/10.1007/11817963_5
    108 rdf:type schema:CreativeWork
    109 sg:pub.10.1007/978-3-540-70844-5_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031143159
    110 https://doi.org/10.1007/978-3-540-70844-5_7
    111 rdf:type schema:CreativeWork
    112 sg:pub.10.1007/978-3-642-12002-2_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031282682
    113 https://doi.org/10.1007/978-3-642-12002-2_2
    114 rdf:type schema:CreativeWork
    115 sg:pub.10.1007/978-3-642-15205-4_29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029506863
    116 https://doi.org/10.1007/978-3-642-15205-4_29
    117 rdf:type schema:CreativeWork
    118 sg:pub.10.1007/978-3-642-22438-6_36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043039493
    119 https://doi.org/10.1007/978-3-642-22438-6_36
    120 rdf:type schema:CreativeWork
    121 sg:pub.10.1007/978-3-642-23702-7_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046982643
    122 https://doi.org/10.1007/978-3-642-23702-7_8
    123 rdf:type schema:CreativeWork
    124 sg:pub.10.1007/978-3-642-28756-5_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007060141
    125 https://doi.org/10.1007/978-3-642-28756-5_7
    126 rdf:type schema:CreativeWork
    127 sg:pub.10.1007/978-3-642-38574-2_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044572416
    128 https://doi.org/10.1007/978-3-642-38574-2_2
    129 rdf:type schema:CreativeWork
    130 sg:pub.10.1007/978-3-662-46681-0_59 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036394419
    131 https://doi.org/10.1007/978-3-662-46681-0_59
    132 rdf:type schema:CreativeWork
    133 sg:pub.10.1007/bfb0028773 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037000305
    134 https://doi.org/10.1007/bfb0028773
    135 rdf:type schema:CreativeWork
    136 sg:pub.10.1007/s10703-012-0150-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028061094
    137 https://doi.org/10.1007/s10703-012-0150-8
    138 rdf:type schema:CreativeWork
    139 sg:pub.10.1007/s10817-013-9293-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008522497
    140 https://doi.org/10.1007/s10817-013-9293-6
    141 rdf:type schema:CreativeWork
    142 https://doi.org/10.1016/j.scico.2010.07.004 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052372329
    143 rdf:type schema:CreativeWork
    144 https://doi.org/10.1142/s012905410200128x schema:sameAs https://app.dimensions.ai/details/publication/pub.1062896423
    145 rdf:type schema:CreativeWork
    146 https://doi.org/10.1145/1375581.1375624 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098984152
    147 rdf:type schema:CreativeWork
    148 https://doi.org/10.1145/1926385.1926455 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006954201
    149 rdf:type schema:CreativeWork
    150 https://www.grid.ac/institutes/grid.4994.0 schema:alternateName Brno University of Technology
    151 schema:name FIT, IT4Innovations Centre of Excellence, Brno University of Technology, Božetěchova 2, 612 66, Brno, Czech Republic
    152 rdf:type schema:Organization
     




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


    ...