Reversing Event Structures View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2018-07

AUTHORS

Irek Ulidowski, Iain Phillips, Shoji Yuen

ABSTRACT

Reversible computation has attracted increasing interest in recent years. In this paper, we show how to model reversibility in concurrent computation as realised abstractly in terms of event structures. Two different forms of event structures are considered, namely event structures defined by causation and prevention relations and event structures given by an enabling relation with prevention. We then show how to reverse the two kinds of event structures, and discuss causal as well as out-of-causal order reversibility. More... »

PAGES

281-306

References to SciGraph publications

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s00354-018-0040-8

DOI

http://dx.doi.org/10.1007/s00354-018-0040-8

DIMENSIONS

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


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/0905", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Civil Engineering", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/09", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Engineering", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Leicester", 
          "id": "https://www.grid.ac/institutes/grid.9918.9", 
          "name": [
            "Department of Informatics, University of Leicester, Leicester, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Ulidowski", 
        "givenName": "Irek", 
        "id": "sg:person.07566554312.39", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07566554312.39"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Imperial College London", 
          "id": "https://www.grid.ac/institutes/grid.7445.2", 
          "name": [
            "Department of Computing, Imperial College London, London, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Phillips", 
        "givenName": "Iain", 
        "id": "sg:person.014507325467.68", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014507325467.68"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Nagoya University", 
          "id": "https://www.grid.ac/institutes/grid.27476.30", 
          "name": [
            "Graduate School of Informatics, Nagoya University, Nagoya, Japan"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Yuen", 
        "givenName": "Shoji", 
        "id": "sg:person.015276105061.18", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015276105061.18"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/3-540-17906-2_31", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1000541505", 
          "https://doi.org/10.1007/3-540-17906-2_31"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-38986-3_12", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1002495952", 
          "https://doi.org/10.1007/978-3-642-38986-3_12"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.tcs.2009.06.014", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1004352162"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.jlamp.2016.08.003", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1007450613"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11690634_17", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1007725375", 
          "https://doi.org/10.1007/11690634_17"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-40184-8_22", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1008840166", 
          "https://doi.org/10.1007/978-3-642-40184-8_22"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.jlamp.2016.08.004", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009298196"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.entcs.2004.01.040", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1010479620"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-28644-8_19", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1011799317", 
          "https://doi.org/10.1007/978-3-540-28644-8_19"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-28644-8_19", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1011799317", 
          "https://doi.org/10.1007/978-3-540-28644-8_19"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/s0960129511000429", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1014446637"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/2455.2460", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1014800413"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/2037509.2037529", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1014950572"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/s0960129513000510", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1016730888"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s002360000041", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1016781459", 
          "https://doi.org/10.1007/s002360000041"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-36315-3_18", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1017148311", 
          "https://doi.org/10.1007/978-3-642-36315-3_18"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1006/inco.2001.3060", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1017198995"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-23217-6_20", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1020979620", 
          "https://doi.org/10.1007/978-3-642-23217-6_20"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-23217-6_20", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1020979620", 
          "https://doi.org/10.1007/978-3-642-23217-6_20"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-319-08494-7_1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023507683", 
          "https://doi.org/10.1007/978-3-319-08494-7_1"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-319-40578-0_1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1024040512", 
          "https://doi.org/10.1007/978-3-319-40578-0_1"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-54804-8_26", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1024635992", 
          "https://doi.org/10.1007/978-3-642-54804-8_26"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.tcs.2010.01.024", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1026520700"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.jlamp.2015.07.004", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1031000660"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(81)90112-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1035972534"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11539452_31", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041957881", 
          "https://doi.org/10.1007/11539452_31"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11539452_31", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041957881", 
          "https://doi.org/10.1007/11539452_31"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-15375-4_33", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1044654541", 
          "https://doi.org/10.1007/978-3-642-15375-4_33"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-15375-4_33", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1044654541", 
          "https://doi.org/10.1007/978-3-642-15375-4_33"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(92)90185-i", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1044800377"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.jlap.2006.11.002", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047389617"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1093/comjnl/bxp052", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1059480036"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.4204/eptcs.246.9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1084656463"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.4204/eptcs.255.4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1091464022"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.scico.2017.09.008", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1092169194"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.scico.2017.10.008", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1092517344"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/lics.2013.45", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094677779"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-319-99498-7_6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1106294878", 
          "https://doi.org/10.1007/978-3-319-99498-7_6"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-319-99498-7_6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1106294878", 
          "https://doi.org/10.1007/978-3-319-99498-7_6"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-319-99498-7_7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1106294879", 
          "https://doi.org/10.1007/978-3-319-99498-7_7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-319-99498-7_7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1106294879", 
          "https://doi.org/10.1007/978-3-319-99498-7_7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.4204/eptcs.276.7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1106356563"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2018-07", 
    "datePublishedReg": "2018-07-01", 
    "description": "Reversible computation has attracted increasing interest in recent years. In this paper, we show how to model reversibility in concurrent computation as realised abstractly in terms of event structures. Two different forms of event structures are considered, namely event structures defined by causation and prevention relations and event structures given by an enabling relation with prevention. We then show how to reverse the two kinds of event structures, and discuss causal as well as out-of-causal order reversibility.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/s00354-018-0040-8", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isFundedItemOf": [
      {
        "id": "sg:grant.6819894", 
        "type": "MonetaryGrant"
      }
    ], 
    "isPartOf": [
      {
        "id": "sg:journal.1053619", 
        "issn": [
          "0288-3635", 
          "1882-7055"
        ], 
        "name": "New Generation Computing", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "3", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "36"
      }
    ], 
    "name": "Reversing Event Structures", 
    "pagination": "281-306", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "e14bf3aae30e854511c175e22f70842ab7f889234a57d40cabcbcbb22d5090e4"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s00354-018-0040-8"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1106337802"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s00354-018-0040-8", 
      "https://app.dimensions.ai/details/publication/pub.1106337802"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T10:21", 
    "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/0000000348_0000000348/records_54334_00000002.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://link.springer.com/10.1007%2Fs00354-018-0040-8"
  }
]
 

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/s00354-018-0040-8'

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/s00354-018-0040-8'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s00354-018-0040-8'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s00354-018-0040-8'


 

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

206 TRIPLES      21 PREDICATES      63 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s00354-018-0040-8 schema:about anzsrc-for:09
2 anzsrc-for:0905
3 schema:author N5cd72ae4b0124354805faa85f1a90da5
4 schema:citation sg:pub.10.1007/11539452_31
5 sg:pub.10.1007/11690634_17
6 sg:pub.10.1007/3-540-17906-2_31
7 sg:pub.10.1007/978-3-319-08494-7_1
8 sg:pub.10.1007/978-3-319-40578-0_1
9 sg:pub.10.1007/978-3-319-99498-7_6
10 sg:pub.10.1007/978-3-319-99498-7_7
11 sg:pub.10.1007/978-3-540-28644-8_19
12 sg:pub.10.1007/978-3-642-15375-4_33
13 sg:pub.10.1007/978-3-642-23217-6_20
14 sg:pub.10.1007/978-3-642-36315-3_18
15 sg:pub.10.1007/978-3-642-38986-3_12
16 sg:pub.10.1007/978-3-642-40184-8_22
17 sg:pub.10.1007/978-3-642-54804-8_26
18 sg:pub.10.1007/s002360000041
19 https://doi.org/10.1006/inco.2001.3060
20 https://doi.org/10.1016/0304-3975(81)90112-2
21 https://doi.org/10.1016/0304-3975(92)90185-i
22 https://doi.org/10.1016/j.entcs.2004.01.040
23 https://doi.org/10.1016/j.jlamp.2015.07.004
24 https://doi.org/10.1016/j.jlamp.2016.08.003
25 https://doi.org/10.1016/j.jlamp.2016.08.004
26 https://doi.org/10.1016/j.jlap.2006.11.002
27 https://doi.org/10.1016/j.scico.2017.09.008
28 https://doi.org/10.1016/j.scico.2017.10.008
29 https://doi.org/10.1016/j.tcs.2009.06.014
30 https://doi.org/10.1016/j.tcs.2010.01.024
31 https://doi.org/10.1017/s0960129511000429
32 https://doi.org/10.1017/s0960129513000510
33 https://doi.org/10.1093/comjnl/bxp052
34 https://doi.org/10.1109/lics.2013.45
35 https://doi.org/10.1145/2037509.2037529
36 https://doi.org/10.1145/2455.2460
37 https://doi.org/10.4204/eptcs.246.9
38 https://doi.org/10.4204/eptcs.255.4
39 https://doi.org/10.4204/eptcs.276.7
40 schema:datePublished 2018-07
41 schema:datePublishedReg 2018-07-01
42 schema:description Reversible computation has attracted increasing interest in recent years. In this paper, we show how to model reversibility in concurrent computation as realised abstractly in terms of event structures. Two different forms of event structures are considered, namely event structures defined by causation and prevention relations and event structures given by an enabling relation with prevention. We then show how to reverse the two kinds of event structures, and discuss causal as well as out-of-causal order reversibility.
43 schema:genre research_article
44 schema:inLanguage en
45 schema:isAccessibleForFree true
46 schema:isPartOf N6ad61071ffef4edab8c53e70b2509e8e
47 Ne6669a9df6a44f40af52b01652e473b4
48 sg:journal.1053619
49 schema:name Reversing Event Structures
50 schema:pagination 281-306
51 schema:productId N19cce8a29d9c470c83d210a3600b13cd
52 N767c8bd2687147728641c2804d7262a1
53 Nfe8d2748d0aa411caf3c2e10e5e81441
54 schema:sameAs https://app.dimensions.ai/details/publication/pub.1106337802
55 https://doi.org/10.1007/s00354-018-0040-8
56 schema:sdDatePublished 2019-04-11T10:21
57 schema:sdLicense https://scigraph.springernature.com/explorer/license/
58 schema:sdPublisher N0af2bed05cbe48d69b0d677c12131681
59 schema:url https://link.springer.com/10.1007%2Fs00354-018-0040-8
60 sgo:license sg:explorer/license/
61 sgo:sdDataset articles
62 rdf:type schema:ScholarlyArticle
63 N04fa7c57c99b4853bdbe618fee5ac46f rdf:first sg:person.014507325467.68
64 rdf:rest N261f6fecb5c64c24817117e68f16db9c
65 N0af2bed05cbe48d69b0d677c12131681 schema:name Springer Nature - SN SciGraph project
66 rdf:type schema:Organization
67 N19cce8a29d9c470c83d210a3600b13cd schema:name dimensions_id
68 schema:value pub.1106337802
69 rdf:type schema:PropertyValue
70 N261f6fecb5c64c24817117e68f16db9c rdf:first sg:person.015276105061.18
71 rdf:rest rdf:nil
72 N5cd72ae4b0124354805faa85f1a90da5 rdf:first sg:person.07566554312.39
73 rdf:rest N04fa7c57c99b4853bdbe618fee5ac46f
74 N6ad61071ffef4edab8c53e70b2509e8e schema:volumeNumber 36
75 rdf:type schema:PublicationVolume
76 N767c8bd2687147728641c2804d7262a1 schema:name readcube_id
77 schema:value e14bf3aae30e854511c175e22f70842ab7f889234a57d40cabcbcbb22d5090e4
78 rdf:type schema:PropertyValue
79 Ne6669a9df6a44f40af52b01652e473b4 schema:issueNumber 3
80 rdf:type schema:PublicationIssue
81 Nfe8d2748d0aa411caf3c2e10e5e81441 schema:name doi
82 schema:value 10.1007/s00354-018-0040-8
83 rdf:type schema:PropertyValue
84 anzsrc-for:09 schema:inDefinedTermSet anzsrc-for:
85 schema:name Engineering
86 rdf:type schema:DefinedTerm
87 anzsrc-for:0905 schema:inDefinedTermSet anzsrc-for:
88 schema:name Civil Engineering
89 rdf:type schema:DefinedTerm
90 sg:grant.6819894 http://pending.schema.org/fundedItem sg:pub.10.1007/s00354-018-0040-8
91 rdf:type schema:MonetaryGrant
92 sg:journal.1053619 schema:issn 0288-3635
93 1882-7055
94 schema:name New Generation Computing
95 rdf:type schema:Periodical
96 sg:person.014507325467.68 schema:affiliation https://www.grid.ac/institutes/grid.7445.2
97 schema:familyName Phillips
98 schema:givenName Iain
99 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014507325467.68
100 rdf:type schema:Person
101 sg:person.015276105061.18 schema:affiliation https://www.grid.ac/institutes/grid.27476.30
102 schema:familyName Yuen
103 schema:givenName Shoji
104 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015276105061.18
105 rdf:type schema:Person
106 sg:person.07566554312.39 schema:affiliation https://www.grid.ac/institutes/grid.9918.9
107 schema:familyName Ulidowski
108 schema:givenName Irek
109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07566554312.39
110 rdf:type schema:Person
111 sg:pub.10.1007/11539452_31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041957881
112 https://doi.org/10.1007/11539452_31
113 rdf:type schema:CreativeWork
114 sg:pub.10.1007/11690634_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007725375
115 https://doi.org/10.1007/11690634_17
116 rdf:type schema:CreativeWork
117 sg:pub.10.1007/3-540-17906-2_31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000541505
118 https://doi.org/10.1007/3-540-17906-2_31
119 rdf:type schema:CreativeWork
120 sg:pub.10.1007/978-3-319-08494-7_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023507683
121 https://doi.org/10.1007/978-3-319-08494-7_1
122 rdf:type schema:CreativeWork
123 sg:pub.10.1007/978-3-319-40578-0_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024040512
124 https://doi.org/10.1007/978-3-319-40578-0_1
125 rdf:type schema:CreativeWork
126 sg:pub.10.1007/978-3-319-99498-7_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1106294878
127 https://doi.org/10.1007/978-3-319-99498-7_6
128 rdf:type schema:CreativeWork
129 sg:pub.10.1007/978-3-319-99498-7_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1106294879
130 https://doi.org/10.1007/978-3-319-99498-7_7
131 rdf:type schema:CreativeWork
132 sg:pub.10.1007/978-3-540-28644-8_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011799317
133 https://doi.org/10.1007/978-3-540-28644-8_19
134 rdf:type schema:CreativeWork
135 sg:pub.10.1007/978-3-642-15375-4_33 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044654541
136 https://doi.org/10.1007/978-3-642-15375-4_33
137 rdf:type schema:CreativeWork
138 sg:pub.10.1007/978-3-642-23217-6_20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020979620
139 https://doi.org/10.1007/978-3-642-23217-6_20
140 rdf:type schema:CreativeWork
141 sg:pub.10.1007/978-3-642-36315-3_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017148311
142 https://doi.org/10.1007/978-3-642-36315-3_18
143 rdf:type schema:CreativeWork
144 sg:pub.10.1007/978-3-642-38986-3_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002495952
145 https://doi.org/10.1007/978-3-642-38986-3_12
146 rdf:type schema:CreativeWork
147 sg:pub.10.1007/978-3-642-40184-8_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008840166
148 https://doi.org/10.1007/978-3-642-40184-8_22
149 rdf:type schema:CreativeWork
150 sg:pub.10.1007/978-3-642-54804-8_26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024635992
151 https://doi.org/10.1007/978-3-642-54804-8_26
152 rdf:type schema:CreativeWork
153 sg:pub.10.1007/s002360000041 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016781459
154 https://doi.org/10.1007/s002360000041
155 rdf:type schema:CreativeWork
156 https://doi.org/10.1006/inco.2001.3060 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017198995
157 rdf:type schema:CreativeWork
158 https://doi.org/10.1016/0304-3975(81)90112-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035972534
159 rdf:type schema:CreativeWork
160 https://doi.org/10.1016/0304-3975(92)90185-i schema:sameAs https://app.dimensions.ai/details/publication/pub.1044800377
161 rdf:type schema:CreativeWork
162 https://doi.org/10.1016/j.entcs.2004.01.040 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010479620
163 rdf:type schema:CreativeWork
164 https://doi.org/10.1016/j.jlamp.2015.07.004 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031000660
165 rdf:type schema:CreativeWork
166 https://doi.org/10.1016/j.jlamp.2016.08.003 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007450613
167 rdf:type schema:CreativeWork
168 https://doi.org/10.1016/j.jlamp.2016.08.004 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009298196
169 rdf:type schema:CreativeWork
170 https://doi.org/10.1016/j.jlap.2006.11.002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047389617
171 rdf:type schema:CreativeWork
172 https://doi.org/10.1016/j.scico.2017.09.008 schema:sameAs https://app.dimensions.ai/details/publication/pub.1092169194
173 rdf:type schema:CreativeWork
174 https://doi.org/10.1016/j.scico.2017.10.008 schema:sameAs https://app.dimensions.ai/details/publication/pub.1092517344
175 rdf:type schema:CreativeWork
176 https://doi.org/10.1016/j.tcs.2009.06.014 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004352162
177 rdf:type schema:CreativeWork
178 https://doi.org/10.1016/j.tcs.2010.01.024 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026520700
179 rdf:type schema:CreativeWork
180 https://doi.org/10.1017/s0960129511000429 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014446637
181 rdf:type schema:CreativeWork
182 https://doi.org/10.1017/s0960129513000510 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016730888
183 rdf:type schema:CreativeWork
184 https://doi.org/10.1093/comjnl/bxp052 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059480036
185 rdf:type schema:CreativeWork
186 https://doi.org/10.1109/lics.2013.45 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094677779
187 rdf:type schema:CreativeWork
188 https://doi.org/10.1145/2037509.2037529 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014950572
189 rdf:type schema:CreativeWork
190 https://doi.org/10.1145/2455.2460 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014800413
191 rdf:type schema:CreativeWork
192 https://doi.org/10.4204/eptcs.246.9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1084656463
193 rdf:type schema:CreativeWork
194 https://doi.org/10.4204/eptcs.255.4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1091464022
195 rdf:type schema:CreativeWork
196 https://doi.org/10.4204/eptcs.276.7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1106356563
197 rdf:type schema:CreativeWork
198 https://www.grid.ac/institutes/grid.27476.30 schema:alternateName Nagoya University
199 schema:name Graduate School of Informatics, Nagoya University, Nagoya, Japan
200 rdf:type schema:Organization
201 https://www.grid.ac/institutes/grid.7445.2 schema:alternateName Imperial College London
202 schema:name Department of Computing, Imperial College London, London, UK
203 rdf:type schema:Organization
204 https://www.grid.ac/institutes/grid.9918.9 schema:alternateName University of Leicester
205 schema:name Department of Informatics, University of Leicester, Leicester, UK
206 rdf:type schema:Organization
 




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


...