Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper — View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2021-03-11

AUTHORS

Antonio Cerone , Markus Roggenbach , James Davenport , Casey Denner , Marie Farrell , Magne Haveraaen , Faron Moller , Philipp Körner , Sebastian Krings , Peter Csaba Ölveczky , Bernd-Holger Schlingloff , Nikolay Shilov , Rustam Zhumagambetov

ABSTRACT

This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocatesimproved teaching of formal methods;systematic highlighting of formal methods within existing, ‘classical’ computer science courses; andthe inclusion of a compulsory formal methods course in computer science and software engineering curricula.These recommendations are based on the observations thatformal methods are an essential and cost-effective means to increase software quality; howevercomputer science and software engineering programmes typically fail to provide adequate training in formal methods; and thusthere is a lack of computer science graduates who are qualified to apply formal methods in industry.This white paper is the result of a collective effort by authors and participants of the 1st International Workshop on Formal Methods – Fun for Everybody which was held in Bergen, Norway, 2–3 December 2019. As such, it represents insights based on learning and teaching computer science and software engineering (with or without formal methods) at various universities across Europe. More... »

PAGES

1-26

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-030-71374-4_1

DOI

http://dx.doi.org/10.1007/978-3-030-71374-4_1

DIMENSIONS

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


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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "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": "Nazarbayev University, Nur-Sultan, Kazakhstan", 
          "id": "http://www.grid.ac/institutes/grid.428191.7", 
          "name": [
            "Nazarbayev University, Nur-Sultan, Kazakhstan"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Cerone", 
        "givenName": "Antonio", 
        "id": "sg:person.011055353062.81", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011055353062.81"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Swansea University, Swansea, UK", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Swansea University, Swansea, 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 Bath, Bath, UK", 
          "id": "http://www.grid.ac/institutes/grid.7340.0", 
          "name": [
            "University of Bath, Bath, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Davenport", 
        "givenName": "James", 
        "id": "sg:person.013172023677.55", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013172023677.55"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Swansea University, Swansea, UK", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Swansea University, Swansea, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Denner", 
        "givenName": "Casey", 
        "id": "sg:person.016357005151.55", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016357005151.55"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Manchester, Manchester, UK", 
          "id": "http://www.grid.ac/institutes/grid.5379.8", 
          "name": [
            "University of Manchester, Manchester, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Farrell", 
        "givenName": "Marie", 
        "id": "sg:person.07653733751.48", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07653733751.48"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Bergen, Bergen, Norway", 
          "id": "http://www.grid.ac/institutes/grid.7914.b", 
          "name": [
            "University of Bergen, Bergen, Norway"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Haveraaen", 
        "givenName": "Magne", 
        "id": "sg:person.01301622473.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01301622473.31"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Swansea University, Swansea, UK", 
          "id": "http://www.grid.ac/institutes/grid.4827.9", 
          "name": [
            "Swansea University, Swansea, 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": "Heinrich-Heine-Universit\u00e4t, D\u00fcsseldorf, Germany", 
          "id": "http://www.grid.ac/institutes/grid.411327.2", 
          "name": [
            "Heinrich-Heine-Universit\u00e4t, D\u00fcsseldorf, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "K\u00f6rner", 
        "givenName": "Philipp", 
        "id": "sg:person.015772655102.98", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015772655102.98"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Niederrhein University of Applied Sciences, Krefeld, Germany", 
          "id": "http://www.grid.ac/institutes/grid.440943.e", 
          "name": [
            "Niederrhein University of Applied Sciences, Krefeld, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Krings", 
        "givenName": "Sebastian", 
        "id": "sg:person.016171040373.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016171040373.31"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Oslo, Oslo, Norway", 
          "id": "http://www.grid.ac/institutes/grid.5510.1", 
          "name": [
            "University of Oslo, Oslo, Norway"
          ], 
          "type": "Organization"
        }, 
        "familyName": "\u00d6lveczky", 
        "givenName": "Peter Csaba", 
        "id": "sg:person.013121443071.38", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013121443071.38"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany", 
          "id": "http://www.grid.ac/institutes/grid.7468.d", 
          "name": [
            "Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Schlingloff", 
        "givenName": "Bernd-Holger", 
        "id": "sg:person.014236656041.20", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014236656041.20"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Innopolis University, Kazan, Russia", 
          "id": "http://www.grid.ac/institutes/grid.465471.5", 
          "name": [
            "Innopolis University, Kazan, Russia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Shilov", 
        "givenName": "Nikolay", 
        "id": "sg:person.012272432743.44", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012272432743.44"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Nazarbayev University, Nur-Sultan, Kazakhstan", 
          "id": "http://www.grid.ac/institutes/grid.428191.7", 
          "name": [
            "Nazarbayev University, Nur-Sultan, Kazakhstan"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Zhumagambetov", 
        "givenName": "Rustam", 
        "id": "sg:person.015627537751.06", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015627537751.06"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2021-03-11", 
    "datePublishedReg": "2021-03-11", 
    "description": "This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocatesimproved teaching of formal methods;systematic highlighting of formal methods within existing, \u2018classical\u2019 computer science courses; andthe inclusion of a compulsory formal methods course in computer science and software engineering curricula.These recommendations are based on the observations thatformal methods are an essential and cost-effective means to increase software quality; howevercomputer science and software engineering programmes typically fail to provide adequate training in formal methods; and thusthere is a lack of computer science graduates who are qualified to apply formal methods in industry.This white paper is the result of a collective effort by authors and participants of the 1st International Workshop on Formal Methods \u2013 Fun for Everybody which was held in Bergen, Norway, 2\u20133 December 2019. As such, it represents insights based on learning and teaching computer science and software engineering (with or without formal methods) at various universities across Europe.", 
    "editor": [
      {
        "familyName": "Cerone", 
        "givenName": "Antonio", 
        "type": "Person"
      }, 
      {
        "familyName": "Roggenbach", 
        "givenName": "Markus", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-030-71374-4_1", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-030-71373-7", 
        "978-3-030-71374-4"
      ], 
      "name": "Formal Methods \u2013 Fun for Everybody", 
      "type": "Book"
    }, 
    "keywords": [
      "higher education curriculum", 
      "software engineering programs", 
      "formal methods", 
      "computer science", 
      "education curriculum", 
      "engineering programs", 
      "software engineering", 
      "TEACHING COMPUTER SCIENCE", 
      "computer science courses", 
      "software engineering curriculum", 
      "computer science graduates", 
      "formal methods courses", 
      "White Paper", 
      "methods course", 
      "science courses", 
      "engineering curriculum", 
      "science graduates", 
      "software quality", 
      "curriculum", 
      "adequate training", 
      "science", 
      "collective efforts", 
      "course", 
      "program", 
      "teaching", 
      "graduates", 
      "University", 
      "International Workshop", 
      "workshop", 
      "training", 
      "engineering", 
      "cost-effective means", 
      "method", 
      "recommendations", 
      "participants", 
      "Bergen", 
      "highlighting", 
      "authors", 
      "inclusion", 
      "efforts", 
      "paper", 
      "Norway", 
      "lack", 
      "quality", 
      "industry", 
      "insights", 
      "end", 
      "study", 
      "means", 
      "results", 
      "Europe"
    ], 
    "name": "Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering \u2014 A White Paper \u2014", 
    "pagination": "1-26", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1136272347"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-030-71374-4_1"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-030-71374-4_1", 
      "https://app.dimensions.ai/details/publication/pub.1136272347"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:42", 
    "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/chapter/chapter_130.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-030-71374-4_1"
  }
]
 

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-030-71374-4_1'

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-030-71374-4_1'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-71374-4_1'

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-030-71374-4_1'


 

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

231 TRIPLES      23 PREDICATES      77 URIs      69 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-030-71374-4_1 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 anzsrc-for:0803
4 schema:author N3f9f58912ee840a6b57c4881f8b911fa
5 schema:datePublished 2021-03-11
6 schema:datePublishedReg 2021-03-11
7 schema:description This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocatesimproved teaching of formal methods;systematic highlighting of formal methods within existing, ‘classical’ computer science courses; andthe inclusion of a compulsory formal methods course in computer science and software engineering curricula.These recommendations are based on the observations thatformal methods are an essential and cost-effective means to increase software quality; howevercomputer science and software engineering programmes typically fail to provide adequate training in formal methods; and thusthere is a lack of computer science graduates who are qualified to apply formal methods in industry.This white paper is the result of a collective effort by authors and participants of the 1st International Workshop on Formal Methods – Fun for Everybody which was held in Bergen, Norway, 2–3 December 2019. As such, it represents insights based on learning and teaching computer science and software engineering (with or without formal methods) at various universities across Europe.
8 schema:editor N7aeabb5a73974bf68d9eb64e229daa5e
9 schema:genre chapter
10 schema:inLanguage en
11 schema:isAccessibleForFree true
12 schema:isPartOf N3be93379bed240f19e1497540b1bff2c
13 schema:keywords Bergen
14 Europe
15 International Workshop
16 Norway
17 TEACHING COMPUTER SCIENCE
18 University
19 White Paper
20 adequate training
21 authors
22 collective efforts
23 computer science
24 computer science courses
25 computer science graduates
26 cost-effective means
27 course
28 curriculum
29 education curriculum
30 efforts
31 end
32 engineering
33 engineering curriculum
34 engineering programs
35 formal methods
36 formal methods courses
37 graduates
38 higher education curriculum
39 highlighting
40 inclusion
41 industry
42 insights
43 lack
44 means
45 method
46 methods course
47 paper
48 participants
49 program
50 quality
51 recommendations
52 results
53 science
54 science courses
55 science graduates
56 software engineering
57 software engineering curriculum
58 software engineering programs
59 software quality
60 study
61 teaching
62 training
63 workshop
64 schema:name Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —
65 schema:pagination 1-26
66 schema:productId Nd1e3d8311c48421889413b20a06669df
67 Nd907eea5dea94120950cc0f202f136f7
68 schema:publisher Nfcdd3e7bb36142b487b30cabfb18efe0
69 schema:sameAs https://app.dimensions.ai/details/publication/pub.1136272347
70 https://doi.org/10.1007/978-3-030-71374-4_1
71 schema:sdDatePublished 2022-05-20T07:42
72 schema:sdLicense https://scigraph.springernature.com/explorer/license/
73 schema:sdPublisher N9e2c737cb75e405f8d7f365e664a098d
74 schema:url https://doi.org/10.1007/978-3-030-71374-4_1
75 sgo:license sg:explorer/license/
76 sgo:sdDataset chapters
77 rdf:type schema:Chapter
78 N16d0679825154a7e9e97a4444c4831f4 rdf:first Ne8132e3dafc74b6fa4a67299b821f8ef
79 rdf:rest rdf:nil
80 N20f3a7f5f01d40989f1aa4d490934968 rdf:first sg:person.013121443071.38
81 rdf:rest N81214d9c778746e7a33f4e286e24ded6
82 N3be93379bed240f19e1497540b1bff2c schema:isbn 978-3-030-71373-7
83 978-3-030-71374-4
84 schema:name Formal Methods – Fun for Everybody
85 rdf:type schema:Book
86 N3f9f58912ee840a6b57c4881f8b911fa rdf:first sg:person.011055353062.81
87 rdf:rest Nc708e88ae1c7446d91f245b5cf3556f9
88 N4a0c12af803e4e469f4a051e38660a36 rdf:first sg:person.010425236217.29
89 rdf:rest N6189882f60494bd5aed73bf5873bf7e2
90 N4f64efbe795349feb09e09fa87bd2a44 rdf:first sg:person.016171040373.31
91 rdf:rest N20f3a7f5f01d40989f1aa4d490934968
92 N6189882f60494bd5aed73bf5873bf7e2 rdf:first sg:person.015772655102.98
93 rdf:rest N4f64efbe795349feb09e09fa87bd2a44
94 N692f0b71aaf54e6ebf5da5c8c6b85dd6 schema:familyName Cerone
95 schema:givenName Antonio
96 rdf:type schema:Person
97 N6f04670b1daf4b4db76ed56893000374 rdf:first sg:person.013172023677.55
98 rdf:rest Nc56db25d4c2f4486b5873fd7140a0779
99 N7aeabb5a73974bf68d9eb64e229daa5e rdf:first N692f0b71aaf54e6ebf5da5c8c6b85dd6
100 rdf:rest N16d0679825154a7e9e97a4444c4831f4
101 N7cc264fd689d40e19047ce6ee1ff73c6 rdf:first sg:person.01301622473.31
102 rdf:rest N4a0c12af803e4e469f4a051e38660a36
103 N81214d9c778746e7a33f4e286e24ded6 rdf:first sg:person.014236656041.20
104 rdf:rest N892c57d133074e49a7f0a8f595656a8d
105 N892c57d133074e49a7f0a8f595656a8d rdf:first sg:person.012272432743.44
106 rdf:rest N9e69da526101436c820efec0ffc2e497
107 N9e2c737cb75e405f8d7f365e664a098d schema:name Springer Nature - SN SciGraph project
108 rdf:type schema:Organization
109 N9e69da526101436c820efec0ffc2e497 rdf:first sg:person.015627537751.06
110 rdf:rest rdf:nil
111 Nc56db25d4c2f4486b5873fd7140a0779 rdf:first sg:person.016357005151.55
112 rdf:rest Nd5821e1456774f7b9ac745f5f5ad266f
113 Nc708e88ae1c7446d91f245b5cf3556f9 rdf:first sg:person.014634147051.77
114 rdf:rest N6f04670b1daf4b4db76ed56893000374
115 Nd1e3d8311c48421889413b20a06669df schema:name dimensions_id
116 schema:value pub.1136272347
117 rdf:type schema:PropertyValue
118 Nd5821e1456774f7b9ac745f5f5ad266f rdf:first sg:person.07653733751.48
119 rdf:rest N7cc264fd689d40e19047ce6ee1ff73c6
120 Nd907eea5dea94120950cc0f202f136f7 schema:name doi
121 schema:value 10.1007/978-3-030-71374-4_1
122 rdf:type schema:PropertyValue
123 Ne8132e3dafc74b6fa4a67299b821f8ef schema:familyName Roggenbach
124 schema:givenName Markus
125 rdf:type schema:Person
126 Nfcdd3e7bb36142b487b30cabfb18efe0 schema:name Springer Nature
127 rdf:type schema:Organisation
128 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
129 schema:name Information and Computing Sciences
130 rdf:type schema:DefinedTerm
131 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
132 schema:name Computation Theory and Mathematics
133 rdf:type schema:DefinedTerm
134 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
135 schema:name Computer Software
136 rdf:type schema:DefinedTerm
137 sg:person.010425236217.29 schema:affiliation grid-institutes:grid.4827.9
138 schema:familyName Moller
139 schema:givenName Faron
140 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
141 rdf:type schema:Person
142 sg:person.011055353062.81 schema:affiliation grid-institutes:grid.428191.7
143 schema:familyName Cerone
144 schema:givenName Antonio
145 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011055353062.81
146 rdf:type schema:Person
147 sg:person.012272432743.44 schema:affiliation grid-institutes:grid.465471.5
148 schema:familyName Shilov
149 schema:givenName Nikolay
150 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012272432743.44
151 rdf:type schema:Person
152 sg:person.01301622473.31 schema:affiliation grid-institutes:grid.7914.b
153 schema:familyName Haveraaen
154 schema:givenName Magne
155 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01301622473.31
156 rdf:type schema:Person
157 sg:person.013121443071.38 schema:affiliation grid-institutes:grid.5510.1
158 schema:familyName Ölveczky
159 schema:givenName Peter Csaba
160 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013121443071.38
161 rdf:type schema:Person
162 sg:person.013172023677.55 schema:affiliation grid-institutes:grid.7340.0
163 schema:familyName Davenport
164 schema:givenName James
165 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013172023677.55
166 rdf:type schema:Person
167 sg:person.014236656041.20 schema:affiliation grid-institutes:grid.7468.d
168 schema:familyName Schlingloff
169 schema:givenName Bernd-Holger
170 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014236656041.20
171 rdf:type schema:Person
172 sg:person.014634147051.77 schema:affiliation grid-institutes:grid.4827.9
173 schema:familyName Roggenbach
174 schema:givenName Markus
175 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014634147051.77
176 rdf:type schema:Person
177 sg:person.015627537751.06 schema:affiliation grid-institutes:grid.428191.7
178 schema:familyName Zhumagambetov
179 schema:givenName Rustam
180 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015627537751.06
181 rdf:type schema:Person
182 sg:person.015772655102.98 schema:affiliation grid-institutes:grid.411327.2
183 schema:familyName Körner
184 schema:givenName Philipp
185 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015772655102.98
186 rdf:type schema:Person
187 sg:person.016171040373.31 schema:affiliation grid-institutes:grid.440943.e
188 schema:familyName Krings
189 schema:givenName Sebastian
190 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016171040373.31
191 rdf:type schema:Person
192 sg:person.016357005151.55 schema:affiliation grid-institutes:grid.4827.9
193 schema:familyName Denner
194 schema:givenName Casey
195 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016357005151.55
196 rdf:type schema:Person
197 sg:person.07653733751.48 schema:affiliation grid-institutes:grid.5379.8
198 schema:familyName Farrell
199 schema:givenName Marie
200 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07653733751.48
201 rdf:type schema:Person
202 grid-institutes:grid.411327.2 schema:alternateName Heinrich-Heine-Universität, Düsseldorf, Germany
203 schema:name Heinrich-Heine-Universität, Düsseldorf, Germany
204 rdf:type schema:Organization
205 grid-institutes:grid.428191.7 schema:alternateName Nazarbayev University, Nur-Sultan, Kazakhstan
206 schema:name Nazarbayev University, Nur-Sultan, Kazakhstan
207 rdf:type schema:Organization
208 grid-institutes:grid.440943.e schema:alternateName Niederrhein University of Applied Sciences, Krefeld, Germany
209 schema:name Niederrhein University of Applied Sciences, Krefeld, Germany
210 rdf:type schema:Organization
211 grid-institutes:grid.465471.5 schema:alternateName Innopolis University, Kazan, Russia
212 schema:name Innopolis University, Kazan, Russia
213 rdf:type schema:Organization
214 grid-institutes:grid.4827.9 schema:alternateName Swansea University, Swansea, UK
215 schema:name Swansea University, Swansea, UK
216 rdf:type schema:Organization
217 grid-institutes:grid.5379.8 schema:alternateName University of Manchester, Manchester, UK
218 schema:name University of Manchester, Manchester, UK
219 rdf:type schema:Organization
220 grid-institutes:grid.5510.1 schema:alternateName University of Oslo, Oslo, Norway
221 schema:name University of Oslo, Oslo, Norway
222 rdf:type schema:Organization
223 grid-institutes:grid.7340.0 schema:alternateName University of Bath, Bath, UK
224 schema:name University of Bath, Bath, UK
225 rdf:type schema:Organization
226 grid-institutes:grid.7468.d schema:alternateName Humboldt-Universität zu Berlin, Berlin, Germany
227 schema:name Humboldt-Universität zu Berlin, Berlin, Germany
228 rdf:type schema:Organization
229 grid-institutes:grid.7914.b schema:alternateName University of Bergen, Bergen, Norway
230 schema:name University of Bergen, Bergen, Norway
231 rdf:type schema:Organization
 




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


...