Scalable shared memory LTL model checking View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2010-02-03

AUTHORS

J. Barnat, L. Brim, P. Ročkai

ABSTRACT

Recent development in computer hardware has brought more widespread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various tasks—model checking and reachability analysis among others. In this paper, we present a design for a parallel shared memory LTL model checker that is based on a distributed memory algorithm. To improve the scalability of our tool, we have devised a number of implementation techniques which we present in this paper. We also report on a number of experiments we conducted to analyse the behaviour of our tool under different conditions using various models. We demonstrate that our tool exhibits significant speedup in comparison with sequential tools, which improves the workflow of verification in general. More... »

PAGES

139-153

References to SciGraph publications

  • 2003-04-15. Distributed Explicit Fair Cycle Detection (Set Based Approach) in MODEL CHECKING SOFTWARE
  • 2001-03-23. Parallel Model Checking for the Alternation Free μ-Calculus in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2001-07-04. Distributed Symbolic Model Checking for μ-Calculus in COMPUTER AIDED VERIFICATION
  • 2006. DiVinE – A Tool for Distributed Verification in COMPUTER AIDED VERIFICATION
  • 2001-11-26. Distributed LTL Model Checking Based on Negative Cycle Detection in FST TCS 2001: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
  • 2006-07-11. CTL* model checking on a shared-memory architecture in FORMAL METHODS IN SYSTEM DESIGN
  • 2005-01-25. A distributed algorithm for strong bisimulation reduction of state spaces in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2005. A Note on On-the-Fly Verification Algorithms in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2005. Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation in CORRECT HARDWARE DESIGN AND VERIFICATION METHODS
  • 2006. Cluster-Based LTL Model Checking of Large Systems in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • 2004-04-06. Sequential and distributed model checking of Petri nets in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2001-03-23. Is There a Best Symbolic Cycle-Detection Algorithm? in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2007-01-01. BEEM: Benchmarks for Explicit Model Checkers in MODEL CHECKING SOFTWARE
  • 1995. Parallel state space exploration for GSPN models in APPLICATION AND THEORY OF PETRI NETS 1995
  • 2007-01-01. Scalable Multi-core LTL Model-Checking in MODEL CHECKING SOFTWARE
  • 1992-10. Memory-efficient algorithms for the verification of temporal properties in FORMAL METHODS IN SYSTEM DESIGN
  • 2004. Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking in FORMAL METHODS IN COMPUTER-AIDED DESIGN
  • 2001-05-02. Parallel state space construction for model-checking in MODEL CHECKING SOFTWARE
  • 2001-05-02. Distributed LTL model-checking in SPIN in MODEL CHECKING SOFTWARE
  • 2008. DiVinE Multi-Core – A Parallel LTL Model-Checker in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2007-01-01. Automata-Theoretic Model Checking Revisited in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2000. Distributing Timed Model Checking — How the Search Order Matters in COMPUTER AIDED VERIFICATION
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10009-010-0136-z

    DOI

    http://dx.doi.org/10.1007/s10009-010-0136-z

    DIMENSIONS

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


    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/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Artificial Intelligence and Image Processing", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
              "id": "http://www.grid.ac/institutes/grid.10267.32", 
              "name": [
                "Faculty of Informatics, Masaryk University, Brno, Czech Republic"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Barnat", 
            "givenName": "J.", 
            "id": "sg:person.011367557177.46", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011367557177.46"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
              "id": "http://www.grid.ac/institutes/grid.10267.32", 
              "name": [
                "Faculty of Informatics, Masaryk University, Brno, Czech Republic"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Brim", 
            "givenName": "L.", 
            "id": "sg:person.0645117057.83", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
              "id": "http://www.grid.ac/institutes/grid.10267.32", 
              "name": [
                "Faculty of Informatics, Masaryk University, Brno, Czech Republic"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Ro\u010dkai", 
            "givenName": "P.", 
            "id": "sg:person.07377571657.86", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07377571657.86"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/10722167_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009249763", 
              "https://doi.org/10.1007/10722167_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45294-x_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012003768", 
              "https://doi.org/10.1007/3-540-45294-x_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45319-9_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007959034", 
              "https://doi.org/10.1007/3-540-45319-9_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45139-0_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026265425", 
              "https://doi.org/10.1007/3-540-45139-0_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45139-0_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024798383", 
              "https://doi.org/10.1007/3-540-45139-0_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-30494-4_25", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034078638", 
              "https://doi.org/10.1007/978-3-540-30494-4_25"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11817963_26", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032919459", 
              "https://doi.org/10.1007/11817963_26"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-73370-6_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020358888", 
              "https://doi.org/10.1007/978-3-540-73370-6_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00121128", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017183522", 
              "https://doi.org/10.1007/bf00121128"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-31980-1_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050210627", 
              "https://doi.org/10.1007/978-3-540-31980-1_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10009-003-0129-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000360168", 
              "https://doi.org/10.1007/s10009-003-0129-2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11804192_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026730916", 
              "https://doi.org/10.1007/11804192_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10009-004-0159-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031088090", 
              "https://doi.org/10.1007/s10009-004-0159-4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-44829-2_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030278825", 
              "https://doi.org/10.1007/3-540-44829-2_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-44585-4_32", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024361338", 
              "https://doi.org/10.1007/3-540-44585-4_32"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-006-0008-z", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033073224", 
              "https://doi.org/10.1007/s10703-006-0008-z"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45319-9_37", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029394493", 
              "https://doi.org/10.1007/3-540-45319-9_37"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-88387-6_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028071874", 
              "https://doi.org/10.1007/978-3-540-88387-6_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-73370-6_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028539011", 
              "https://doi.org/10.1007/978-3-540-73370-6_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11560548_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035834889", 
              "https://doi.org/10.1007/11560548_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-69738-1_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021934512", 
              "https://doi.org/10.1007/978-3-540-69738-1_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-60029-9_40", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017109609", 
              "https://doi.org/10.1007/3-540-60029-9_40"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2010-02-03", 
        "datePublishedReg": "2010-02-03", 
        "description": "Recent development in computer hardware has brought more widespread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various tasks\u2014model checking and reachability analysis among others. In this paper, we present a design for a parallel shared memory LTL model checker that is based on a distributed memory algorithm. To improve the scalability of our tool, we have devised a number of implementation techniques which we present in this paper. We also report on a number of experiments we conducted to analyse the behaviour of our tool under different conditions using various models. We demonstrate that our tool exhibits significant speedup in comparison with sequential tools, which improves the workflow of verification in general.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s10009-010-0136-z", 
        "inLanguage": "en", 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1052641", 
            "issn": [
              "1433-2779", 
              "1433-2787"
            ], 
            "name": "International Journal on Software Tools for Technology Transfer", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "2", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "12"
          }
        ], 
        "keywords": [
          "LTL model checker", 
          "multi-core systems", 
          "model checker", 
          "computer hardware", 
          "memory algorithm", 
          "significant speedup", 
          "LTL model", 
          "implementation techniques", 
          "sequential tools", 
          "reachability analysis", 
          "number of experiments", 
          "tool", 
          "scalability", 
          "Scalable", 
          "checker", 
          "speedup", 
          "hardware", 
          "checking", 
          "architecture", 
          "workflow", 
          "algorithm", 
          "verification", 
          "model", 
          "recent developments", 
          "memory", 
          "system", 
          "design", 
          "technique", 
          "number", 
          "experiments", 
          "opportunities", 
          "different conditions", 
          "widespread emergence", 
          "development", 
          "emergence", 
          "behavior", 
          "comparison", 
          "analysis", 
          "conditions", 
          "paper"
        ], 
        "name": "Scalable shared memory LTL model checking", 
        "pagination": "139-153", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1004479089"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10009-010-0136-z"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10009-010-0136-z", 
          "https://app.dimensions.ai/details/publication/pub.1004479089"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2022-05-10T09:59", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/article/article_526.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s10009-010-0136-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/s10009-010-0136-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/s10009-010-0136-z'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10009-010-0136-z'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10009-010-0136-z'


     

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

    204 TRIPLES      22 PREDICATES      88 URIs      57 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10009-010-0136-z schema:about anzsrc-for:08
    2 anzsrc-for:0801
    3 anzsrc-for:0803
    4 schema:author N998ce1564bb64a1c8aed7e61b7768d81
    5 schema:citation sg:pub.10.1007/10722167_19
    6 sg:pub.10.1007/11560548_12
    7 sg:pub.10.1007/11804192_13
    8 sg:pub.10.1007/11817963_26
    9 sg:pub.10.1007/3-540-44585-4_32
    10 sg:pub.10.1007/3-540-44829-2_4
    11 sg:pub.10.1007/3-540-45139-0_13
    12 sg:pub.10.1007/3-540-45139-0_14
    13 sg:pub.10.1007/3-540-45294-x_9
    14 sg:pub.10.1007/3-540-45319-9_29
    15 sg:pub.10.1007/3-540-45319-9_37
    16 sg:pub.10.1007/3-540-60029-9_40
    17 sg:pub.10.1007/978-3-540-30494-4_25
    18 sg:pub.10.1007/978-3-540-31980-1_12
    19 sg:pub.10.1007/978-3-540-69738-1_10
    20 sg:pub.10.1007/978-3-540-73370-6_13
    21 sg:pub.10.1007/978-3-540-73370-6_17
    22 sg:pub.10.1007/978-3-540-88387-6_20
    23 sg:pub.10.1007/bf00121128
    24 sg:pub.10.1007/s10009-003-0129-2
    25 sg:pub.10.1007/s10009-004-0159-4
    26 sg:pub.10.1007/s10703-006-0008-z
    27 schema:datePublished 2010-02-03
    28 schema:datePublishedReg 2010-02-03
    29 schema:description Recent development in computer hardware has brought more widespread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various tasks—model checking and reachability analysis among others. In this paper, we present a design for a parallel shared memory LTL model checker that is based on a distributed memory algorithm. To improve the scalability of our tool, we have devised a number of implementation techniques which we present in this paper. We also report on a number of experiments we conducted to analyse the behaviour of our tool under different conditions using various models. We demonstrate that our tool exhibits significant speedup in comparison with sequential tools, which improves the workflow of verification in general.
    30 schema:genre article
    31 schema:inLanguage en
    32 schema:isAccessibleForFree false
    33 schema:isPartOf N41550d3316484ac88a6cbf626f034cfc
    34 N5bf593898d484bd5beeb6ac0c9c08cb0
    35 sg:journal.1052641
    36 schema:keywords LTL model
    37 LTL model checker
    38 Scalable
    39 algorithm
    40 analysis
    41 architecture
    42 behavior
    43 checker
    44 checking
    45 comparison
    46 computer hardware
    47 conditions
    48 design
    49 development
    50 different conditions
    51 emergence
    52 experiments
    53 hardware
    54 implementation techniques
    55 memory
    56 memory algorithm
    57 model
    58 model checker
    59 multi-core systems
    60 number
    61 number of experiments
    62 opportunities
    63 paper
    64 reachability analysis
    65 recent developments
    66 scalability
    67 sequential tools
    68 significant speedup
    69 speedup
    70 system
    71 technique
    72 tool
    73 verification
    74 widespread emergence
    75 workflow
    76 schema:name Scalable shared memory LTL model checking
    77 schema:pagination 139-153
    78 schema:productId N190418d896a1475c9b9e8eaae0f5bf42
    79 Nf6437163ae7f4a7eb27098a2fec460ef
    80 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004479089
    81 https://doi.org/10.1007/s10009-010-0136-z
    82 schema:sdDatePublished 2022-05-10T09:59
    83 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    84 schema:sdPublisher N503e6ebee80546cfb68186ce887dd42a
    85 schema:url https://doi.org/10.1007/s10009-010-0136-z
    86 sgo:license sg:explorer/license/
    87 sgo:sdDataset articles
    88 rdf:type schema:ScholarlyArticle
    89 N190418d896a1475c9b9e8eaae0f5bf42 schema:name dimensions_id
    90 schema:value pub.1004479089
    91 rdf:type schema:PropertyValue
    92 N41550d3316484ac88a6cbf626f034cfc schema:issueNumber 2
    93 rdf:type schema:PublicationIssue
    94 N4fc5a6f214b34101b1768d0792e3e397 rdf:first sg:person.0645117057.83
    95 rdf:rest N7183c54a530d4c8cbfb47f7cd7c55154
    96 N503e6ebee80546cfb68186ce887dd42a schema:name Springer Nature - SN SciGraph project
    97 rdf:type schema:Organization
    98 N5bf593898d484bd5beeb6ac0c9c08cb0 schema:volumeNumber 12
    99 rdf:type schema:PublicationVolume
    100 N7183c54a530d4c8cbfb47f7cd7c55154 rdf:first sg:person.07377571657.86
    101 rdf:rest rdf:nil
    102 N998ce1564bb64a1c8aed7e61b7768d81 rdf:first sg:person.011367557177.46
    103 rdf:rest N4fc5a6f214b34101b1768d0792e3e397
    104 Nf6437163ae7f4a7eb27098a2fec460ef schema:name doi
    105 schema:value 10.1007/s10009-010-0136-z
    106 rdf:type schema:PropertyValue
    107 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    108 schema:name Information and Computing Sciences
    109 rdf:type schema:DefinedTerm
    110 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
    111 schema:name Artificial Intelligence and Image Processing
    112 rdf:type schema:DefinedTerm
    113 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    114 schema:name Computer Software
    115 rdf:type schema:DefinedTerm
    116 sg:journal.1052641 schema:issn 1433-2779
    117 1433-2787
    118 schema:name International Journal on Software Tools for Technology Transfer
    119 schema:publisher Springer Nature
    120 rdf:type schema:Periodical
    121 sg:person.011367557177.46 schema:affiliation grid-institutes:grid.10267.32
    122 schema:familyName Barnat
    123 schema:givenName J.
    124 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011367557177.46
    125 rdf:type schema:Person
    126 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
    127 schema:familyName Brim
    128 schema:givenName L.
    129 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
    130 rdf:type schema:Person
    131 sg:person.07377571657.86 schema:affiliation grid-institutes:grid.10267.32
    132 schema:familyName Ročkai
    133 schema:givenName P.
    134 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07377571657.86
    135 rdf:type schema:Person
    136 sg:pub.10.1007/10722167_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009249763
    137 https://doi.org/10.1007/10722167_19
    138 rdf:type schema:CreativeWork
    139 sg:pub.10.1007/11560548_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035834889
    140 https://doi.org/10.1007/11560548_12
    141 rdf:type schema:CreativeWork
    142 sg:pub.10.1007/11804192_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026730916
    143 https://doi.org/10.1007/11804192_13
    144 rdf:type schema:CreativeWork
    145 sg:pub.10.1007/11817963_26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032919459
    146 https://doi.org/10.1007/11817963_26
    147 rdf:type schema:CreativeWork
    148 sg:pub.10.1007/3-540-44585-4_32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024361338
    149 https://doi.org/10.1007/3-540-44585-4_32
    150 rdf:type schema:CreativeWork
    151 sg:pub.10.1007/3-540-44829-2_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030278825
    152 https://doi.org/10.1007/3-540-44829-2_4
    153 rdf:type schema:CreativeWork
    154 sg:pub.10.1007/3-540-45139-0_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026265425
    155 https://doi.org/10.1007/3-540-45139-0_13
    156 rdf:type schema:CreativeWork
    157 sg:pub.10.1007/3-540-45139-0_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024798383
    158 https://doi.org/10.1007/3-540-45139-0_14
    159 rdf:type schema:CreativeWork
    160 sg:pub.10.1007/3-540-45294-x_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012003768
    161 https://doi.org/10.1007/3-540-45294-x_9
    162 rdf:type schema:CreativeWork
    163 sg:pub.10.1007/3-540-45319-9_29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007959034
    164 https://doi.org/10.1007/3-540-45319-9_29
    165 rdf:type schema:CreativeWork
    166 sg:pub.10.1007/3-540-45319-9_37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029394493
    167 https://doi.org/10.1007/3-540-45319-9_37
    168 rdf:type schema:CreativeWork
    169 sg:pub.10.1007/3-540-60029-9_40 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017109609
    170 https://doi.org/10.1007/3-540-60029-9_40
    171 rdf:type schema:CreativeWork
    172 sg:pub.10.1007/978-3-540-30494-4_25 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034078638
    173 https://doi.org/10.1007/978-3-540-30494-4_25
    174 rdf:type schema:CreativeWork
    175 sg:pub.10.1007/978-3-540-31980-1_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050210627
    176 https://doi.org/10.1007/978-3-540-31980-1_12
    177 rdf:type schema:CreativeWork
    178 sg:pub.10.1007/978-3-540-69738-1_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021934512
    179 https://doi.org/10.1007/978-3-540-69738-1_10
    180 rdf:type schema:CreativeWork
    181 sg:pub.10.1007/978-3-540-73370-6_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020358888
    182 https://doi.org/10.1007/978-3-540-73370-6_13
    183 rdf:type schema:CreativeWork
    184 sg:pub.10.1007/978-3-540-73370-6_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028539011
    185 https://doi.org/10.1007/978-3-540-73370-6_17
    186 rdf:type schema:CreativeWork
    187 sg:pub.10.1007/978-3-540-88387-6_20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028071874
    188 https://doi.org/10.1007/978-3-540-88387-6_20
    189 rdf:type schema:CreativeWork
    190 sg:pub.10.1007/bf00121128 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017183522
    191 https://doi.org/10.1007/bf00121128
    192 rdf:type schema:CreativeWork
    193 sg:pub.10.1007/s10009-003-0129-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000360168
    194 https://doi.org/10.1007/s10009-003-0129-2
    195 rdf:type schema:CreativeWork
    196 sg:pub.10.1007/s10009-004-0159-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031088090
    197 https://doi.org/10.1007/s10009-004-0159-4
    198 rdf:type schema:CreativeWork
    199 sg:pub.10.1007/s10703-006-0008-z schema:sameAs https://app.dimensions.ai/details/publication/pub.1033073224
    200 https://doi.org/10.1007/s10703-006-0008-z
    201 rdf:type schema:CreativeWork
    202 grid-institutes:grid.10267.32 schema:alternateName Faculty of Informatics, Masaryk University, Brno, Czech Republic
    203 schema:name Faculty of Informatics, Masaryk University, Brno, Czech Republic
    204 rdf:type schema:Organization
     




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


    ...