Towards a System Model for Ensembles View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2011

AUTHORS

Matthias Hölzl , Martin Wirsing

ABSTRACT

Ensembles—software-intensive systems with massive numbers of nodes or complex interactions between nodes, operating in open and non-deterministic environments and dynamically adapting to changes in their environment or requirements—pose many challenges to software development. We present first steps towards a system model for ensembles that allows us to express requirements using a wide variety of logics and fitness criteria over arbitrary preorders. Using this system model we then give a precise definition of “black-box” adaptation and show how this naturally leads to a preorder of adaptability on ensembles. More... »

PAGES

241-261

References to SciGraph publications

  • 2008. Engineering of Software-Intensive Systems: State of the Art and Research Challenges in SOFTWARE-INTENSIVE SYSTEMS AND NEW COMPUTING PARADIGMS
  • 2002-09-02. Revisiting the Categorical Approach to Systems* in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY
  • 2007. A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS
  • 1995. Mathematical system models as a basis of software engineering in COMPUTER SCIENCE TODAY
  • 2008. A Heterogeneous Approach to UML Semantics in CONCURRENCY, GRAPHS AND MODELS
  • 2009. Constraint-Muse: A Soft-Constraint Based System for Music Therapy in ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE
  • 1968. Vollständige Systeme modaler und intuitionistischer Logik in NONE
  • Book

    TITLE

    Formal Modeling: Actors, Open Systems, Biological Systems

    ISBN

    978-3-642-24932-7
    978-3-642-24933-4

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-642-24933-4_12

    DOI

    http://dx.doi.org/10.1007/978-3-642-24933-4_12

    DIMENSIONS

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


    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/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "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"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Ludwig Maximilian University of Munich", 
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "name": [
                "Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "H\u00f6lzl", 
            "givenName": "Matthias", 
            "id": "sg:person.015322436152.80", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015322436152.80"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Ludwig Maximilian University of Munich", 
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "name": [
                "Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Wirsing", 
            "givenName": "Martin", 
            "id": "sg:person.010602274463.18", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010602274463.18"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-540-68679-8_23", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002650424", 
              "https://doi.org/10.1007/978-3-540-68679-8_23"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0015250", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016579837", 
              "https://doi.org/10.1007/bfb0015250"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0960129504004153", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018917338"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0960129504004153", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018917338"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0167-6423(96)00024-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024982079"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s095679689700261x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028456624"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s095679689700261x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028456624"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.entcs.2009.05.020", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028539022"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45719-4_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036445226", 
              "https://doi.org/10.1007/3-540-45719-4_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45719-4_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036445226", 
              "https://doi.org/10.1007/3-540-45719-4_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.entcs.2007.06.015", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036555550"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-89437-7_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039389334", 
              "https://doi.org/10.1007/978-3-540-89437-7_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-89437-7_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039389334", 
              "https://doi.org/10.1007/978-3-540-89437-7_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-03741-2_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045040207", 
              "https://doi.org/10.1007/978-3-642-03741-2_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-88664-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047733085", 
              "https://doi.org/10.1007/978-3-642-88664-5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-88664-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047733085", 
              "https://doi.org/10.1007/978-3-642-88664-5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-72952-5_18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051508797", 
              "https://doi.org/10.1007/978-3-540-72952-5_18"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1529282.1529508", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052368573"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/comjnl/bxq005", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1059480116"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/0205035", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062841321"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/lics.2005.35", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093825954"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/iros.2011.6094829", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094556284"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/iros.2010.5649153", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095253949"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9780511810275", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098666634"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1201/9781584889427", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1109726839"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2011", 
        "datePublishedReg": "2011-01-01", 
        "description": "Ensembles\u2014software-intensive systems with massive numbers of nodes or complex interactions between nodes, operating in open and non-deterministic environments and dynamically adapting to changes in their environment or requirements\u2014pose many challenges to software development. We present first steps towards a system model for ensembles that allows us to express requirements using a wide variety of logics and fitness criteria over arbitrary preorders. Using this system model we then give a precise definition of \u201cblack-box\u201d adaptation and show how this naturally leads to a preorder of adaptability on ensembles.", 
        "editor": [
          {
            "familyName": "Agha", 
            "givenName": "Gul", 
            "type": "Person"
          }, 
          {
            "familyName": "Danvy", 
            "givenName": "Olivier", 
            "type": "Person"
          }, 
          {
            "familyName": "Meseguer", 
            "givenName": "Jos\u00e9", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-642-24933-4_12", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-642-24932-7", 
            "978-3-642-24933-4"
          ], 
          "name": "Formal Modeling: Actors, Open Systems, Biological Systems", 
          "type": "Book"
        }, 
        "name": "Towards a System Model for Ensembles", 
        "pagination": "241-261", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-642-24933-4_12"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "a732c76b07c0412156b631552411fc7d2adc368499f09dc7507a64d28eefaaa9"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1035098854"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-642-24933-4_12", 
          "https://app.dimensions.ai/details/publication/pub.1035098854"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T00:30", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8697_00000590.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-642-24933-4_12"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-24933-4_12'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-24933-4_12'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-24933-4_12'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-24933-4_12'


     

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

    149 TRIPLES      23 PREDICATES      47 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-642-24933-4_12 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Nd29d7fbe9a504450825af5e9db28856e
    4 schema:citation sg:pub.10.1007/3-540-45719-4_29
    5 sg:pub.10.1007/978-3-540-68679-8_23
    6 sg:pub.10.1007/978-3-540-72952-5_18
    7 sg:pub.10.1007/978-3-540-89437-7_1
    8 sg:pub.10.1007/978-3-642-03741-2_29
    9 sg:pub.10.1007/978-3-642-88664-5
    10 sg:pub.10.1007/bfb0015250
    11 https://doi.org/10.1016/j.entcs.2007.06.015
    12 https://doi.org/10.1016/j.entcs.2009.05.020
    13 https://doi.org/10.1016/s0167-6423(96)00024-x
    14 https://doi.org/10.1017/cbo9780511810275
    15 https://doi.org/10.1017/s095679689700261x
    16 https://doi.org/10.1017/s0960129504004153
    17 https://doi.org/10.1093/comjnl/bxq005
    18 https://doi.org/10.1109/iros.2010.5649153
    19 https://doi.org/10.1109/iros.2011.6094829
    20 https://doi.org/10.1109/lics.2005.35
    21 https://doi.org/10.1137/0205035
    22 https://doi.org/10.1145/1529282.1529508
    23 https://doi.org/10.1201/9781584889427
    24 schema:datePublished 2011
    25 schema:datePublishedReg 2011-01-01
    26 schema:description Ensembles—software-intensive systems with massive numbers of nodes or complex interactions between nodes, operating in open and non-deterministic environments and dynamically adapting to changes in their environment or requirements—pose many challenges to software development. We present first steps towards a system model for ensembles that allows us to express requirements using a wide variety of logics and fitness criteria over arbitrary preorders. Using this system model we then give a precise definition of “black-box” adaptation and show how this naturally leads to a preorder of adaptability on ensembles.
    27 schema:editor N65ebad71ddcc4900a161706b6af864bf
    28 schema:genre chapter
    29 schema:inLanguage en
    30 schema:isAccessibleForFree true
    31 schema:isPartOf Nbd3f1e5e44e64db7938dfec6ef9fadfc
    32 schema:name Towards a System Model for Ensembles
    33 schema:pagination 241-261
    34 schema:productId N03fc540d22c940a8ac799409f223485b
    35 N334ac600c7564cb8b1bc42473b0371f5
    36 N8cc819413ac24b348877683d46127146
    37 schema:publisher Nf67e8200d3e042839e7ca20a4528e68b
    38 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035098854
    39 https://doi.org/10.1007/978-3-642-24933-4_12
    40 schema:sdDatePublished 2019-04-16T00:30
    41 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    42 schema:sdPublisher N1d6b7c54dde845e188fd1fb186e818ff
    43 schema:url http://link.springer.com/10.1007/978-3-642-24933-4_12
    44 sgo:license sg:explorer/license/
    45 sgo:sdDataset chapters
    46 rdf:type schema:Chapter
    47 N03fc540d22c940a8ac799409f223485b schema:name doi
    48 schema:value 10.1007/978-3-642-24933-4_12
    49 rdf:type schema:PropertyValue
    50 N04f49f6449f94a02a6493b74406c6306 rdf:first N618f0335d54b4dd2bfcb2811e3c45099
    51 rdf:rest N6d00b29756d84cce8873a916d74009ec
    52 N14ef02477dee4bdd9837aae0c9753e22 schema:familyName Agha
    53 schema:givenName Gul
    54 rdf:type schema:Person
    55 N1d6b7c54dde845e188fd1fb186e818ff schema:name Springer Nature - SN SciGraph project
    56 rdf:type schema:Organization
    57 N2decaaf125844a27b064e4faf544ed21 rdf:first sg:person.010602274463.18
    58 rdf:rest rdf:nil
    59 N334ac600c7564cb8b1bc42473b0371f5 schema:name readcube_id
    60 schema:value a732c76b07c0412156b631552411fc7d2adc368499f09dc7507a64d28eefaaa9
    61 rdf:type schema:PropertyValue
    62 N618f0335d54b4dd2bfcb2811e3c45099 schema:familyName Danvy
    63 schema:givenName Olivier
    64 rdf:type schema:Person
    65 N65ebad71ddcc4900a161706b6af864bf rdf:first N14ef02477dee4bdd9837aae0c9753e22
    66 rdf:rest N04f49f6449f94a02a6493b74406c6306
    67 N6d00b29756d84cce8873a916d74009ec rdf:first Ndb4f71573fbc43279ee3b1d170e4124a
    68 rdf:rest rdf:nil
    69 N8cc819413ac24b348877683d46127146 schema:name dimensions_id
    70 schema:value pub.1035098854
    71 rdf:type schema:PropertyValue
    72 Nbd3f1e5e44e64db7938dfec6ef9fadfc schema:isbn 978-3-642-24932-7
    73 978-3-642-24933-4
    74 schema:name Formal Modeling: Actors, Open Systems, Biological Systems
    75 rdf:type schema:Book
    76 Nd29d7fbe9a504450825af5e9db28856e rdf:first sg:person.015322436152.80
    77 rdf:rest N2decaaf125844a27b064e4faf544ed21
    78 Ndb4f71573fbc43279ee3b1d170e4124a schema:familyName Meseguer
    79 schema:givenName José
    80 rdf:type schema:Person
    81 Nf67e8200d3e042839e7ca20a4528e68b schema:location Berlin, Heidelberg
    82 schema:name Springer Berlin Heidelberg
    83 rdf:type schema:Organisation
    84 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    85 schema:name Information and Computing Sciences
    86 rdf:type schema:DefinedTerm
    87 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    88 schema:name Computer Software
    89 rdf:type schema:DefinedTerm
    90 sg:person.010602274463.18 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
    91 schema:familyName Wirsing
    92 schema:givenName Martin
    93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010602274463.18
    94 rdf:type schema:Person
    95 sg:person.015322436152.80 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
    96 schema:familyName Hölzl
    97 schema:givenName Matthias
    98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015322436152.80
    99 rdf:type schema:Person
    100 sg:pub.10.1007/3-540-45719-4_29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036445226
    101 https://doi.org/10.1007/3-540-45719-4_29
    102 rdf:type schema:CreativeWork
    103 sg:pub.10.1007/978-3-540-68679-8_23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002650424
    104 https://doi.org/10.1007/978-3-540-68679-8_23
    105 rdf:type schema:CreativeWork
    106 sg:pub.10.1007/978-3-540-72952-5_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051508797
    107 https://doi.org/10.1007/978-3-540-72952-5_18
    108 rdf:type schema:CreativeWork
    109 sg:pub.10.1007/978-3-540-89437-7_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039389334
    110 https://doi.org/10.1007/978-3-540-89437-7_1
    111 rdf:type schema:CreativeWork
    112 sg:pub.10.1007/978-3-642-03741-2_29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045040207
    113 https://doi.org/10.1007/978-3-642-03741-2_29
    114 rdf:type schema:CreativeWork
    115 sg:pub.10.1007/978-3-642-88664-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047733085
    116 https://doi.org/10.1007/978-3-642-88664-5
    117 rdf:type schema:CreativeWork
    118 sg:pub.10.1007/bfb0015250 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016579837
    119 https://doi.org/10.1007/bfb0015250
    120 rdf:type schema:CreativeWork
    121 https://doi.org/10.1016/j.entcs.2007.06.015 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036555550
    122 rdf:type schema:CreativeWork
    123 https://doi.org/10.1016/j.entcs.2009.05.020 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028539022
    124 rdf:type schema:CreativeWork
    125 https://doi.org/10.1016/s0167-6423(96)00024-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1024982079
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1017/cbo9780511810275 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098666634
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1017/s095679689700261x schema:sameAs https://app.dimensions.ai/details/publication/pub.1028456624
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1017/s0960129504004153 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018917338
    132 rdf:type schema:CreativeWork
    133 https://doi.org/10.1093/comjnl/bxq005 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059480116
    134 rdf:type schema:CreativeWork
    135 https://doi.org/10.1109/iros.2010.5649153 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095253949
    136 rdf:type schema:CreativeWork
    137 https://doi.org/10.1109/iros.2011.6094829 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094556284
    138 rdf:type schema:CreativeWork
    139 https://doi.org/10.1109/lics.2005.35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093825954
    140 rdf:type schema:CreativeWork
    141 https://doi.org/10.1137/0205035 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062841321
    142 rdf:type schema:CreativeWork
    143 https://doi.org/10.1145/1529282.1529508 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052368573
    144 rdf:type schema:CreativeWork
    145 https://doi.org/10.1201/9781584889427 schema:sameAs https://app.dimensions.ai/details/publication/pub.1109726839
    146 rdf:type schema:CreativeWork
    147 https://www.grid.ac/institutes/grid.5252.0 schema:alternateName Ludwig Maximilian University of Munich
    148 schema:name Institut für Informatik, Ludwig-Maximilians-Universität München, Germany
    149 rdf:type schema:Organization
     




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


    ...