Techniques for modelling and verifying railway interlockings View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2014-03-15

AUTHORS

Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, Helen Treharne

ABSTRACT

We describe a novel framework for modelling railway interlockings which has been developed in conjunction with railway engineers. The modelling language used is CSP||\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$||$$\end{document}B. Beyond the modelling we present a variety of abstraction techniques which make the analysis of medium- to large-scale networks feasible. The paper notably introduces a covering technique that allows railway scheme plans to be decomposed into a set of smaller scheme plans. The finitisation and topological abstraction techniques are extended from previous work and are given formal foundations. All three techniques are applicable to other modelling frameworks besides CSP||\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$||$$\end{document}B. Being able to apply abstractions and simplifications on the domain model before performing model checking is the key strength of our approach. We demonstrate the use of the framework on a real-life, medium-size scheme plan. More... »

PAGES

685-711

References to SciGraph publications

  • 2011-01-14. Automated property verification for large scale B models with ProB in FORMAL ASPECTS OF COMPUTING
  • 2011. On the Adoption of Model Checking in Safety-Related Software Industry in COMPUTER SAFETY, RELIABILITY, AND SECURITY
  • 2005-11-15. CSP theorems for communicating B machines in FORMAL ASPECTS OF COMPUTING
  • 1990. Of wp and CSP in BEAUTY IS OUR BUSINESS
  • 2011-01-31. Model Checking Interlocking Control Tables in FORMS/FORMAT 2010
  • 2012. Safety and Line Capacity in Railways – An Approach in Timed CSP in INTEGRATED FORMAL METHODS
  • 2012. Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project in ABSTRACT STATE MACHINES, ALLOY, B, VDM, AND Z
  • 2012. Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System in COMPUTER AIDED VERIFICATION
  • 1994. Safety in railway signalling data: A behavioural analysis in HIGHER ORDER LOGIC THEOREM PROVING AND ITS APPLICATIONS
  • 2013. OnTrack: An Open Tooling Environment for Railway Verification in NASA FORMAL METHODS
  • 2013. Using Domain Specific Languages to Support Verification in the Railway Domain in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2008-01-08. ProB: an automated analysis toolset for the B method in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2012. Automated Generation of Safety Requirements from Railway Interlocking Tables in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. APPLICATIONS AND CASE STUDIES
  • 2013. Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10009-014-0304-7

    DOI

    http://dx.doi.org/10.1007/s10009-014-0304-7

    DIMENSIONS

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


    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/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Swansea University, Wales, UK", 
              "id": "http://www.grid.ac/institutes/grid.4827.9", 
              "name": [
                "Swansea University, Wales, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "James", 
            "givenName": "Phillip", 
            "id": "sg:person.012345226005.23", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012345226005.23"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Swansea University, Wales, UK", 
              "id": "http://www.grid.ac/institutes/grid.4827.9", 
              "name": [
                "Swansea University, Wales, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Moller", 
            "givenName": "Faron", 
            "id": "sg:person.010425236217.29", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Swansea University, Wales, UK", 
              "id": "http://www.grid.ac/institutes/grid.4827.9", 
              "name": [
                "Swansea University, Wales, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Nguyen", 
            "givenName": "Hoang Nga", 
            "id": "sg:person.014355405221.01", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014355405221.01"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Swansea University, Wales, UK", 
              "id": "http://www.grid.ac/institutes/grid.4827.9", 
              "name": [
                "Swansea University, Wales, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Roggenbach", 
            "givenName": "Markus", 
            "id": "sg:person.014634147051.77", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014634147051.77"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Surrey, Surrey, UK", 
              "id": "http://www.grid.ac/institutes/grid.5475.3", 
              "name": [
                "University of Surrey, Surrey, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Schneider", 
            "givenName": "Steve", 
            "id": "sg:person.011014111222.37", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011014111222.37"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Surrey, Surrey, UK", 
              "id": "http://www.grid.ac/institutes/grid.5475.3", 
              "name": [
                "University of Surrey, Surrey, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Treharne", 
            "givenName": "Helen", 
            "id": "sg:person.012731025010.44", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012731025010.44"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-39611-3_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021640272", 
              "https://doi.org/10.1007/978-3-642-39611-3_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-14261-1_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038767557", 
              "https://doi.org/10.1007/978-3-642-14261-1_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-39611-3_26", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002554552", 
              "https://doi.org/10.1007/978-3-642-39611-3_26"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-38088-4_30", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039330561", 
              "https://doi.org/10.1007/978-3-642-38088-4_30"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-31424-7_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038200194", 
              "https://doi.org/10.1007/978-3-642-31424-7_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4612-4476-9_37", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029277203", 
              "https://doi.org/10.1007/978-1-4612-4476-9_37"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-30885-7_34", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019651114", 
              "https://doi.org/10.1007/978-3-642-30885-7_34"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s00165-010-0172-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002481276", 
              "https://doi.org/10.1007/s00165-010-0172-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-30729-4_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045014423", 
              "https://doi.org/10.1007/978-3-642-30729-4_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-24270-0_28", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027103183", 
              "https://doi.org/10.1007/978-3-642-24270-0_28"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10009-007-0063-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013658399", 
              "https://doi.org/10.1007/s10009-007-0063-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-57826-9_156", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051592831", 
              "https://doi.org/10.1007/3-540-57826-9_156"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s00165-005-0076-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025647858", 
              "https://doi.org/10.1007/s00165-005-0076-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-34032-1_25", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053566250", 
              "https://doi.org/10.1007/978-3-642-34032-1_25"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2014-03-15", 
        "datePublishedReg": "2014-03-15", 
        "description": "We describe a novel framework for modelling railway interlockings which has been developed in conjunction with railway engineers. The modelling language used is CSP||\\documentclass[12pt]{minimal}\n\t\t\t\t\\usepackage{amsmath}\n\t\t\t\t\\usepackage{wasysym}\n\t\t\t\t\\usepackage{amsfonts}\n\t\t\t\t\\usepackage{amssymb}\n\t\t\t\t\\usepackage{amsbsy}\n\t\t\t\t\\usepackage{mathrsfs}\n\t\t\t\t\\usepackage{upgreek}\n\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\n\t\t\t\t\\begin{document}$$||$$\\end{document}B. Beyond the modelling we present a variety of abstraction techniques which make the analysis of medium- to large-scale networks feasible. The paper notably introduces a covering technique that allows railway scheme plans to be decomposed into a set of smaller scheme plans. The finitisation and topological abstraction techniques are extended from previous work and are given formal foundations. All three techniques are applicable to other modelling frameworks besides CSP||\\documentclass[12pt]{minimal}\n\t\t\t\t\\usepackage{amsmath}\n\t\t\t\t\\usepackage{wasysym}\n\t\t\t\t\\usepackage{amsfonts}\n\t\t\t\t\\usepackage{amssymb}\n\t\t\t\t\\usepackage{amsbsy}\n\t\t\t\t\\usepackage{mathrsfs}\n\t\t\t\t\\usepackage{upgreek}\n\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\n\t\t\t\t\\begin{document}$$||$$\\end{document}B. Being able to apply abstractions and simplifications on the domain model before performing model checking is the key strength of our approach. We demonstrate the use of the framework on a real-life, medium-size scheme plan.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s10009-014-0304-7", 
        "inLanguage": "en", 
        "isAccessibleForFree": true, 
        "isFundedItemOf": [
          {
            "id": "sg:grant.2775621", 
            "type": "MonetaryGrant"
          }
        ], 
        "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": "6", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "16"
          }
        ], 
        "keywords": [
          "railway interlocking", 
          "abstraction techniques", 
          "scheme plan", 
          "large-scale networks", 
          "modelling language", 
          "formal foundation", 
          "model checking", 
          "novel framework", 
          "domain model", 
          "covering technique", 
          "key strengths", 
          "framework", 
          "previous work", 
          "modelling framework", 
          "checking", 
          "railway schemes", 
          "abstraction", 
          "network", 
          "technique", 
          "language", 
          "railway engineers", 
          "scheme", 
          "modelling", 
          "analysis of media", 
          "engineers", 
          "set", 
          "plan", 
          "simplification", 
          "work", 
          "foundation", 
          "model", 
          "variety", 
          "use", 
          "conjunction", 
          "analysis", 
          "interlocking", 
          "medium", 
          "strength", 
          "paper", 
          "approach"
        ], 
        "name": "Techniques for modelling and verifying railway interlockings", 
        "pagination": "685-711", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1044148937"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10009-014-0304-7"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10009-014-0304-7", 
          "https://app.dimensions.ai/details/publication/pub.1044148937"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2022-05-20T07:29", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/article/article_627.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s10009-014-0304-7"
      }
    ]
     

    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-014-0304-7'

    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-014-0304-7'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10009-014-0304-7'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10009-014-0304-7'


     

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

    194 TRIPLES      22 PREDICATES      79 URIs      57 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10009-014-0304-7 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author N1f1a503edd264d7abf1da1e26bb7f183
    4 schema:citation sg:pub.10.1007/3-540-57826-9_156
    5 sg:pub.10.1007/978-1-4612-4476-9_37
    6 sg:pub.10.1007/978-3-642-14261-1_11
    7 sg:pub.10.1007/978-3-642-24270-0_28
    8 sg:pub.10.1007/978-3-642-30729-4_5
    9 sg:pub.10.1007/978-3-642-30885-7_34
    10 sg:pub.10.1007/978-3-642-31424-7_29
    11 sg:pub.10.1007/978-3-642-34032-1_25
    12 sg:pub.10.1007/978-3-642-38088-4_30
    13 sg:pub.10.1007/978-3-642-39611-3_20
    14 sg:pub.10.1007/978-3-642-39611-3_26
    15 sg:pub.10.1007/s00165-005-0076-7
    16 sg:pub.10.1007/s00165-010-0172-1
    17 sg:pub.10.1007/s10009-007-0063-9
    18 schema:datePublished 2014-03-15
    19 schema:datePublishedReg 2014-03-15
    20 schema:description We describe a novel framework for modelling railway interlockings which has been developed in conjunction with railway engineers. The modelling language used is CSP||\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$||$$\end{document}B. Beyond the modelling we present a variety of abstraction techniques which make the analysis of medium- to large-scale networks feasible. The paper notably introduces a covering technique that allows railway scheme plans to be decomposed into a set of smaller scheme plans. The finitisation and topological abstraction techniques are extended from previous work and are given formal foundations. All three techniques are applicable to other modelling frameworks besides CSP||\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$||$$\end{document}B. Being able to apply abstractions and simplifications on the domain model before performing model checking is the key strength of our approach. We demonstrate the use of the framework on a real-life, medium-size scheme plan.
    21 schema:genre article
    22 schema:inLanguage en
    23 schema:isAccessibleForFree true
    24 schema:isPartOf N0b2e2cbea77f49588aae9049343be9d1
    25 N2a4df073c8e24cfdab2a1abc25755243
    26 sg:journal.1052641
    27 schema:keywords abstraction
    28 abstraction techniques
    29 analysis
    30 analysis of media
    31 approach
    32 checking
    33 conjunction
    34 covering technique
    35 domain model
    36 engineers
    37 formal foundation
    38 foundation
    39 framework
    40 interlocking
    41 key strengths
    42 language
    43 large-scale networks
    44 medium
    45 model
    46 model checking
    47 modelling
    48 modelling framework
    49 modelling language
    50 network
    51 novel framework
    52 paper
    53 plan
    54 previous work
    55 railway engineers
    56 railway interlocking
    57 railway schemes
    58 scheme
    59 scheme plan
    60 set
    61 simplification
    62 strength
    63 technique
    64 use
    65 variety
    66 work
    67 schema:name Techniques for modelling and verifying railway interlockings
    68 schema:pagination 685-711
    69 schema:productId N5da91bb6f5054c7faf3e4443f85013e9
    70 N669d2afe76594ce08403261bd0dded4b
    71 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044148937
    72 https://doi.org/10.1007/s10009-014-0304-7
    73 schema:sdDatePublished 2022-05-20T07:29
    74 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    75 schema:sdPublisher N3663d692b3da4881941b4cd83190e055
    76 schema:url https://doi.org/10.1007/s10009-014-0304-7
    77 sgo:license sg:explorer/license/
    78 sgo:sdDataset articles
    79 rdf:type schema:ScholarlyArticle
    80 N0b2e2cbea77f49588aae9049343be9d1 schema:issueNumber 6
    81 rdf:type schema:PublicationIssue
    82 N1f1a503edd264d7abf1da1e26bb7f183 rdf:first sg:person.012345226005.23
    83 rdf:rest N88eb76ba084c4aa7ba1131a84af0009a
    84 N2a4df073c8e24cfdab2a1abc25755243 schema:volumeNumber 16
    85 rdf:type schema:PublicationVolume
    86 N3663d692b3da4881941b4cd83190e055 schema:name Springer Nature - SN SciGraph project
    87 rdf:type schema:Organization
    88 N4cb8584ad75a46b68ee5348eb713c71a rdf:first sg:person.014355405221.01
    89 rdf:rest Nfce57983ce9349fe94302fe5fe0d1ea6
    90 N4e53f99073c7407890e6a52251f74623 rdf:first sg:person.011014111222.37
    91 rdf:rest Ndce9936964054ec9aefb29a797eb1732
    92 N5da91bb6f5054c7faf3e4443f85013e9 schema:name doi
    93 schema:value 10.1007/s10009-014-0304-7
    94 rdf:type schema:PropertyValue
    95 N669d2afe76594ce08403261bd0dded4b schema:name dimensions_id
    96 schema:value pub.1044148937
    97 rdf:type schema:PropertyValue
    98 N88eb76ba084c4aa7ba1131a84af0009a rdf:first sg:person.010425236217.29
    99 rdf:rest N4cb8584ad75a46b68ee5348eb713c71a
    100 Ndce9936964054ec9aefb29a797eb1732 rdf:first sg:person.012731025010.44
    101 rdf:rest rdf:nil
    102 Nfce57983ce9349fe94302fe5fe0d1ea6 rdf:first sg:person.014634147051.77
    103 rdf:rest N4e53f99073c7407890e6a52251f74623
    104 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    105 schema:name Information and Computing Sciences
    106 rdf:type schema:DefinedTerm
    107 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    108 schema:name Computer Software
    109 rdf:type schema:DefinedTerm
    110 sg:grant.2775621 http://pending.schema.org/fundedItem sg:pub.10.1007/s10009-014-0304-7
    111 rdf:type schema:MonetaryGrant
    112 sg:journal.1052641 schema:issn 1433-2779
    113 1433-2787
    114 schema:name International Journal on Software Tools for Technology Transfer
    115 schema:publisher Springer Nature
    116 rdf:type schema:Periodical
    117 sg:person.010425236217.29 schema:affiliation grid-institutes:grid.4827.9
    118 schema:familyName Moller
    119 schema:givenName Faron
    120 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
    121 rdf:type schema:Person
    122 sg:person.011014111222.37 schema:affiliation grid-institutes:grid.5475.3
    123 schema:familyName Schneider
    124 schema:givenName Steve
    125 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011014111222.37
    126 rdf:type schema:Person
    127 sg:person.012345226005.23 schema:affiliation grid-institutes:grid.4827.9
    128 schema:familyName James
    129 schema:givenName Phillip
    130 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012345226005.23
    131 rdf:type schema:Person
    132 sg:person.012731025010.44 schema:affiliation grid-institutes:grid.5475.3
    133 schema:familyName Treharne
    134 schema:givenName Helen
    135 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012731025010.44
    136 rdf:type schema:Person
    137 sg:person.014355405221.01 schema:affiliation grid-institutes:grid.4827.9
    138 schema:familyName Nguyen
    139 schema:givenName Hoang Nga
    140 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014355405221.01
    141 rdf:type schema:Person
    142 sg:person.014634147051.77 schema:affiliation grid-institutes:grid.4827.9
    143 schema:familyName Roggenbach
    144 schema:givenName Markus
    145 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014634147051.77
    146 rdf:type schema:Person
    147 sg:pub.10.1007/3-540-57826-9_156 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051592831
    148 https://doi.org/10.1007/3-540-57826-9_156
    149 rdf:type schema:CreativeWork
    150 sg:pub.10.1007/978-1-4612-4476-9_37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029277203
    151 https://doi.org/10.1007/978-1-4612-4476-9_37
    152 rdf:type schema:CreativeWork
    153 sg:pub.10.1007/978-3-642-14261-1_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038767557
    154 https://doi.org/10.1007/978-3-642-14261-1_11
    155 rdf:type schema:CreativeWork
    156 sg:pub.10.1007/978-3-642-24270-0_28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027103183
    157 https://doi.org/10.1007/978-3-642-24270-0_28
    158 rdf:type schema:CreativeWork
    159 sg:pub.10.1007/978-3-642-30729-4_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045014423
    160 https://doi.org/10.1007/978-3-642-30729-4_5
    161 rdf:type schema:CreativeWork
    162 sg:pub.10.1007/978-3-642-30885-7_34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019651114
    163 https://doi.org/10.1007/978-3-642-30885-7_34
    164 rdf:type schema:CreativeWork
    165 sg:pub.10.1007/978-3-642-31424-7_29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038200194
    166 https://doi.org/10.1007/978-3-642-31424-7_29
    167 rdf:type schema:CreativeWork
    168 sg:pub.10.1007/978-3-642-34032-1_25 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053566250
    169 https://doi.org/10.1007/978-3-642-34032-1_25
    170 rdf:type schema:CreativeWork
    171 sg:pub.10.1007/978-3-642-38088-4_30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039330561
    172 https://doi.org/10.1007/978-3-642-38088-4_30
    173 rdf:type schema:CreativeWork
    174 sg:pub.10.1007/978-3-642-39611-3_20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021640272
    175 https://doi.org/10.1007/978-3-642-39611-3_20
    176 rdf:type schema:CreativeWork
    177 sg:pub.10.1007/978-3-642-39611-3_26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002554552
    178 https://doi.org/10.1007/978-3-642-39611-3_26
    179 rdf:type schema:CreativeWork
    180 sg:pub.10.1007/s00165-005-0076-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025647858
    181 https://doi.org/10.1007/s00165-005-0076-7
    182 rdf:type schema:CreativeWork
    183 sg:pub.10.1007/s00165-010-0172-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002481276
    184 https://doi.org/10.1007/s00165-010-0172-1
    185 rdf:type schema:CreativeWork
    186 sg:pub.10.1007/s10009-007-0063-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013658399
    187 https://doi.org/10.1007/s10009-007-0063-9
    188 rdf:type schema:CreativeWork
    189 grid-institutes:grid.4827.9 schema:alternateName Swansea University, Wales, UK
    190 schema:name Swansea University, Wales, UK
    191 rdf:type schema:Organization
    192 grid-institutes:grid.5475.3 schema:alternateName University of Surrey, Surrey, UK
    193 schema:name University of Surrey, Surrey, UK
    194 rdf:type schema:Organization
     




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


    ...