Preface for the special issue for ATVA 2015 View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2018-12

AUTHORS

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

ABSTRACT

N/A

PAGES

1-2

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s00236-018-0330-0

DOI

http://dx.doi.org/10.1007/s00236-018-0330-0

DIMENSIONS

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


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", 
    "author": [
      {
        "affiliation": {
          "alternateName": "Saarland University", 
          "id": "https://www.grid.ac/institutes/grid.11749.3a", 
          "name": [
            "Reactive Systems Group, Saarland University, Saarbr\u00fccken, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Finkbeiner", 
        "givenName": "Bernd", 
        "id": "sg:person.01060000511.55", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01060000511.55"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "East China Normal University", 
          "id": "https://www.grid.ac/institutes/grid.22069.3f", 
          "name": [
            "East China Normal University, Shanghai, China"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Pu", 
        "givenName": "Geguang", 
        "id": "sg:person.014350544450.06", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014350544450.06"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Chinese Academy of Sciences", 
          "id": "https://www.grid.ac/institutes/grid.410726.6", 
          "name": [
            "State Key Laboratory of Computer Science at ISCAS, and University of Chinese Academy of Sciences, Beijing, China"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Zhang", 
        "givenName": "Lijun", 
        "id": "sg:person.010500120305.56", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010500120305.56"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2018-12", 
    "datePublishedReg": "2018-12-01", 
    "genre": "non_research_article", 
    "id": "sg:pub.10.1007/s00236-018-0330-0", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1133515", 
        "issn": [
          "0001-5903", 
          "1432-0525"
        ], 
        "name": "Acta Informatica", 
        "type": "Periodical"
      }
    ], 
    "name": "Preface for the special issue for ATVA 2015", 
    "pagination": "1-2", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "c8d37be46fefa9982c4a3ca56fd2ed2078ee869bdbe25b4d953f1ce0cef65858"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s00236-018-0330-0"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1110262282"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s00236-018-0330-0", 
      "https://app.dimensions.ai/details/publication/pub.1110262282"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T08:16", 
    "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/0000000278_0000000278/records_79633_00000000.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://link.springer.com/10.1007%2Fs00236-018-0330-0"
  }
]
 

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/s00236-018-0330-0'

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/s00236-018-0330-0'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s00236-018-0330-0'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s00236-018-0330-0'


 

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

66 TRIPLES      18 PREDICATES      22 URIs      16 LITERALS      5 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s00236-018-0330-0 schema:author N9a6d1e5c474c42698f036505c5652851
2 schema:datePublished 2018-12
3 schema:datePublishedReg 2018-12-01
4 schema:genre non_research_article
5 schema:inLanguage en
6 schema:isAccessibleForFree false
7 schema:isPartOf sg:journal.1133515
8 schema:name Preface for the special issue for ATVA 2015
9 schema:pagination 1-2
10 schema:productId N437d83087d3f4faeba68cd79b15ea9da
11 N45e1b5d348ec41dcad3496aad217df00
12 Ndc726fa7d5c143c5b98816a7a485e146
13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1110262282
14 https://doi.org/10.1007/s00236-018-0330-0
15 schema:sdDatePublished 2019-04-11T08:16
16 schema:sdLicense https://scigraph.springernature.com/explorer/license/
17 schema:sdPublisher N3b9439cf1c434b82b5d49501665f38ad
18 schema:url https://link.springer.com/10.1007%2Fs00236-018-0330-0
19 sgo:license sg:explorer/license/
20 sgo:sdDataset articles
21 rdf:type schema:ScholarlyArticle
22 N3b9439cf1c434b82b5d49501665f38ad schema:name Springer Nature - SN SciGraph project
23 rdf:type schema:Organization
24 N437d83087d3f4faeba68cd79b15ea9da schema:name doi
25 schema:value 10.1007/s00236-018-0330-0
26 rdf:type schema:PropertyValue
27 N45e1b5d348ec41dcad3496aad217df00 schema:name dimensions_id
28 schema:value pub.1110262282
29 rdf:type schema:PropertyValue
30 N5af01a3beb164f9ab46ede7b86a45acb rdf:first sg:person.010500120305.56
31 rdf:rest rdf:nil
32 N9a6d1e5c474c42698f036505c5652851 rdf:first sg:person.01060000511.55
33 rdf:rest Na35742682c2542ae92a551c75e365434
34 Na35742682c2542ae92a551c75e365434 rdf:first sg:person.014350544450.06
35 rdf:rest N5af01a3beb164f9ab46ede7b86a45acb
36 Ndc726fa7d5c143c5b98816a7a485e146 schema:name readcube_id
37 schema:value c8d37be46fefa9982c4a3ca56fd2ed2078ee869bdbe25b4d953f1ce0cef65858
38 rdf:type schema:PropertyValue
39 sg:journal.1133515 schema:issn 0001-5903
40 1432-0525
41 schema:name Acta Informatica
42 rdf:type schema:Periodical
43 sg:person.010500120305.56 schema:affiliation https://www.grid.ac/institutes/grid.410726.6
44 schema:familyName Zhang
45 schema:givenName Lijun
46 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010500120305.56
47 rdf:type schema:Person
48 sg:person.01060000511.55 schema:affiliation https://www.grid.ac/institutes/grid.11749.3a
49 schema:familyName Finkbeiner
50 schema:givenName Bernd
51 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01060000511.55
52 rdf:type schema:Person
53 sg:person.014350544450.06 schema:affiliation https://www.grid.ac/institutes/grid.22069.3f
54 schema:familyName Pu
55 schema:givenName Geguang
56 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014350544450.06
57 rdf:type schema:Person
58 https://www.grid.ac/institutes/grid.11749.3a schema:alternateName Saarland University
59 schema:name Reactive Systems Group, Saarland University, Saarbrücken, Germany
60 rdf:type schema:Organization
61 https://www.grid.ac/institutes/grid.22069.3f schema:alternateName East China Normal University
62 schema:name East China Normal University, Shanghai, China
63 rdf:type schema:Organization
64 https://www.grid.ac/institutes/grid.410726.6 schema:alternateName University of Chinese Academy of Sciences
65 schema:name State Key Laboratory of Computer Science at ISCAS, and University of Chinese Academy of Sciences, Beijing, China
66 rdf:type schema:Organization
 




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


...