Acta Informatica View Homepage


Ontology type: schema:Periodical     


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://scigraph.springernature.com/ontologies/product-market-codes/I1603X", 
        "inDefinedTermSet": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "name": "Logics and Meanings of Programs", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I13006", 
        "inDefinedTermSet": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "name": "Computer Systems Organization and Communication Networks", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I14002", 
        "inDefinedTermSet": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "name": "Software Engineering/Programming and Operating Systems", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I15009", 
        "inDefinedTermSet": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "name": "Data Structures and Information Theory", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I16005", 
        "inDefinedTermSet": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "name": "Theory of Computation", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I18008", 
        "inDefinedTermSet": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "name": "Information Systems and Communication Service", 
        "type": "DefinedTerm"
      }
    ], 
    "contentRating": [
      {
        "author": "snip", 
        "ratingValue": "1.488", 
        "type": "Rating"
      }, 
      {
        "author": "sjr", 
        "ratingValue": "0.517", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2017", 
        "ratingValue": "0.886", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2016", 
        "ratingValue": "1.000", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2015", 
        "ratingValue": "0.722", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2014", 
        "ratingValue": "0.500", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2013", 
        "ratingValue": "0.405", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2009", 
        "ratingValue": "0.923", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2012", 
        "ratingValue": "0.474", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2011", 
        "ratingValue": "0.444", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2010", 
        "ratingValue": "0.809", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2009", 
        "ratingValue": "0.923", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2008", 
        "ratingValue": "0.789", 
        "type": "Rating"
      }
    ], 
    "description": "

Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.

Topics of interest include:

\u2022 semantics of programming languages
\u2022 models and modeling languages for concurrent, distributed, reactive and mobile systems
\u2022 models and modeling languages for timed, hybrid and probabilistic systems
\u2022 specification, program analysis and verification
\u2022 model checking and theorem proving
\u2022 modal, temporal, first- and higher-order logics, and their variants
\u2022 constraint logic, SAT/SMT-solving techniques
\u2022 theoretical aspects of databases, semi-structured data and finite model theory
\u2022 theoretical aspects of artificial intelligence, knowledge representation, description logic
\u2022 automata theory, formal languages, term and graph rewriting
\u2022 game-based models, synthesis
\u2022 type theory, typed calculi
\u2022 algebraic, coalgebraic and categorical methods
\u2022 formal aspects of performance, dependability and reliability analysis
\u2022 foundations of information and network security
\u2022 parallel, distributed and randomized algorithms
\u2022 design and analysis of algorithms
\u2022 foundations of network and communication protocols

", "editor": [ { "familyName": "Olderog", "givenName": "Ernst-R\u00fcdiger", "type": "Person" } ], "id": "sg:journal.1133515", "inLanguage": [ "de", "en" ], "isAccessibleForFree": false, "issn": [ "0001-5903", "1432-0525" ], "license": "Hybrid (Open Choice)", "name": "Acta Informatica", "productId": [ { "name": "dimensions_id", "type": "PropertyValue", "value": [ "133515" ] }, { "name": "springer_id", "type": "PropertyValue", "value": [ "236" ] }, { "name": "lccn_id", "type": "PropertyValue", "value": [ "72621806" ] }, { "name": "wos_id", "type": "PropertyValue", "value": [ "0001-5903/ACTA INFORMATICA" ] }, { "name": "scopus_id", "type": "PropertyValue", "value": [ "15012" ] }, { "name": "nlm_unique_id", "type": "PropertyValue", "value": [ "9889990" ] }, { "name": "nsd_ids_id", "type": "PropertyValue", "value": [ "437206" ] }, { "name": "era_ids_id", "type": "PropertyValue", "value": [ "19224" ] } ], "publisher": { "name": "Springer Berlin Heidelberg", "type": "Organization" }, "publisherImprint": "Springer", "sameAs": [ "https://app.dimensions.ai/discover/publication?and_facet_source_title=jour.1133515" ], "sdDataset": "journals", "sdDatePublished": "2021-01-19T05:00", "sdLicense": "https://scigraph.springernature.com/explorer/license/", "sdPublisher": { "name": "Springer Nature - SN SciGraph project", "type": "Organization" }, "sdSource": "file:///pack/app/journals_20190313_sn_only.jsonl", "startYear": "1971", "type": "Periodical", "url": "http://link.springer.com/journal/236" } ]
 

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/journal.1133515'

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

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/journal.1133515'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/journal.1133515'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/journal.1133515'


 

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

174 TRIPLES      21 PREDICATES      48 URIs      38 LITERALS      24 BLANK NODES

Subject Predicate Object
1 sg:journal.1133515 schema:about sg:ontologies/product-market-codes/I13006
2 sg:ontologies/product-market-codes/I14002
3 sg:ontologies/product-market-codes/I15009
4 sg:ontologies/product-market-codes/I16005
5 sg:ontologies/product-market-codes/I1603X
6 sg:ontologies/product-market-codes/I18008
7 schema:contentRating N37335141a9df4fadb95a431e211a0d66
8 N4bae3b646d3844a3bada0ed0092dab5f
9 N57de0deac6dc47dc830a6fd2b323fcfa
10 N5f53de720afd46a480633fa1aca72e3d
11 N82889a982d7a4bbdbd441337bdfad82b
12 N925ef3fc24114c9f970ecae09c15a17d
13 Nad52f544363d49b995c05ab3090f8103
14 Nb44cefa1a66946ea9a9da0148ba77c24
15 Nde15f8a08ffa4b56a9ee3c04bed3db34
16 Ne5b1a6db2d134a819778db099d8b8e8a
17 Ne78d4264099c4ea9b03528c946c8a0fb
18 Nf8ed5e7ee40447e8ae7a8904c2b211d0
19 Nf956b02226c743fb8f974eee7278a205
20 schema:description <p><i>Acta Informatica</i> provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.</p><p>Topics of interest include:</p><p>• semantics of programming languages<br/>• models and modeling languages for concurrent, distributed, reactive and mobile systems<br/>• models and modeling languages for timed, hybrid and probabilistic systems<br/>• specification, program analysis and verification<br/>• model checking and theorem proving<br/>• modal, temporal, first- and higher-order logics, and their variants<br/>• constraint logic, SAT/SMT-solving techniques<br/>• theoretical aspects of databases, semi-structured data and finite model theory<br/>• theoretical aspects of artificial intelligence, knowledge representation, description logic<br/>• automata theory, formal languages, term and graph rewriting<br/>• game-based models, synthesis<br/>• type theory, typed calculi<br/>• algebraic, coalgebraic and categorical methods<br/>• formal aspects of performance, dependability and reliability analysis<br/>• foundations of information and network security<br/>• parallel, distributed and randomized algorithms<br/>• design and analysis of algorithms<br/>• foundations of network and communication protocols</p>
21 schema:editor N6a36bdeff5b344c485264dd88476c165
22 schema:inLanguage de
23 en
24 schema:isAccessibleForFree false
25 schema:issn 0001-5903
26 1432-0525
27 schema:license Hybrid (Open Choice)
28 schema:name Acta Informatica
29 schema:productId N48ae9e6d51aa41cb8eea84e62d53e0d6
30 N6167ceed85a847ec82a3122928dcf0cb
31 N9f6e249789964e429fbe69e599c21f92
32 Nbb18ee0c36214601aa1430822837aaa5
33 Nbb342a4211ff473e9896866dabe21aba
34 Nd2b8dcfd0c9148d49f82fcac063b926d
35 Ndb94cd2839864d56a562772b217f9ecc
36 Nfdf06bd14fce48bda2e1c7143cb85ca9
37 schema:publisher N5e7b91ac635b40a89646304f23a40ae7
38 schema:publisherImprint Springer
39 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_source_title=jour.1133515
40 schema:sdDatePublished 2021-01-19T05:00
41 schema:sdLicense https://scigraph.springernature.com/explorer/license/
42 schema:sdPublisher N0d6cedd4effe434ea167f49d717bc2e4
43 schema:startYear 1971
44 schema:url http://link.springer.com/journal/236
45 sgo:license sg:explorer/license/
46 sgo:sdDataset journals
47 rdf:type schema:Periodical
48 N0d6cedd4effe434ea167f49d717bc2e4 schema:name Springer Nature - SN SciGraph project
49 rdf:type schema:Organization
50 N37335141a9df4fadb95a431e211a0d66 schema:author N7a43c7b3e0024e6c9b577032d53b08f3
51 schema:dateCreated 2009
52 schema:ratingValue 0.923
53 rdf:type schema:Rating
54 N376bcbd6730746908a85e6c4e7f23ed6 rdf:first impact_factor_wos
55 rdf:rest rdf:nil
56 N37e4992d59c54ab0b547512aa1125c63 rdf:first impact_factor_wos
57 rdf:rest rdf:nil
58 N38c8cfbb92c0498f80d02e070086a257 rdf:first impact_factor_wos
59 rdf:rest rdf:nil
60 N3a4dd35d97c441f69d9ea7309417e94d rdf:first impact_factor_wos
61 rdf:rest rdf:nil
62 N3e2afc869680438dabb95b7ebc8c8827 rdf:first snip
63 rdf:rest rdf:nil
64 N48ae9e6d51aa41cb8eea84e62d53e0d6 schema:name scopus_id
65 schema:value 15012
66 rdf:type schema:PropertyValue
67 N4bae3b646d3844a3bada0ed0092dab5f schema:author N37e4992d59c54ab0b547512aa1125c63
68 schema:dateCreated 2015
69 schema:ratingValue 0.722
70 rdf:type schema:Rating
71 N4e3591606f82436998c799bc33122758 rdf:first sjr
72 rdf:rest rdf:nil
73 N50423c0276c44e398d5818e5274d61b1 rdf:first impact_factor_wos
74 rdf:rest rdf:nil
75 N57de0deac6dc47dc830a6fd2b323fcfa schema:author N376bcbd6730746908a85e6c4e7f23ed6
76 schema:dateCreated 2016
77 schema:ratingValue 1.000
78 rdf:type schema:Rating
79 N5e7b91ac635b40a89646304f23a40ae7 schema:name Springer Berlin Heidelberg
80 rdf:type schema:Organization
81 N5f53de720afd46a480633fa1aca72e3d schema:author N38c8cfbb92c0498f80d02e070086a257
82 schema:dateCreated 2010
83 schema:ratingValue 0.809
84 rdf:type schema:Rating
85 N6167ceed85a847ec82a3122928dcf0cb schema:name wos_id
86 schema:value 0001-5903/ACTA INFORMATICA
87 rdf:type schema:PropertyValue
88 N6a36bdeff5b344c485264dd88476c165 rdf:first N9810abfa50884bb2a22ebb05a8e2e906
89 rdf:rest rdf:nil
90 N70a9c5e79a1b4731bac64d57108356b2 rdf:first impact_factor_wos
91 rdf:rest rdf:nil
92 N7a43c7b3e0024e6c9b577032d53b08f3 rdf:first impact_factor_wos
93 rdf:rest rdf:nil
94 N82889a982d7a4bbdbd441337bdfad82b schema:author N8e1c676cfc8b482cb1766678a95f599e
95 schema:dateCreated 2011
96 schema:ratingValue 0.444
97 rdf:type schema:Rating
98 N8e1c676cfc8b482cb1766678a95f599e rdf:first impact_factor_wos
99 rdf:rest rdf:nil
100 N925ef3fc24114c9f970ecae09c15a17d schema:author N4e3591606f82436998c799bc33122758
101 schema:ratingValue 0.517
102 rdf:type schema:Rating
103 N9810abfa50884bb2a22ebb05a8e2e906 schema:familyName Olderog
104 schema:givenName Ernst-Rüdiger
105 rdf:type schema:Person
106 N9f6e249789964e429fbe69e599c21f92 schema:name dimensions_id
107 schema:value 133515
108 rdf:type schema:PropertyValue
109 Nad52f544363d49b995c05ab3090f8103 schema:author N70a9c5e79a1b4731bac64d57108356b2
110 schema:dateCreated 2009
111 schema:ratingValue 0.923
112 rdf:type schema:Rating
113 Nb2f50d32523a47ab9ce570c93b583cc2 rdf:first impact_factor_wos
114 rdf:rest rdf:nil
115 Nb44cefa1a66946ea9a9da0148ba77c24 schema:author N50423c0276c44e398d5818e5274d61b1
116 schema:dateCreated 2014
117 schema:ratingValue 0.500
118 rdf:type schema:Rating
119 Nbb18ee0c36214601aa1430822837aaa5 schema:name era_ids_id
120 schema:value 19224
121 rdf:type schema:PropertyValue
122 Nbb342a4211ff473e9896866dabe21aba schema:name springer_id
123 schema:value 236
124 rdf:type schema:PropertyValue
125 Nc6b0221ed1604287acc0400e43ac8d5c rdf:first impact_factor_wos
126 rdf:rest rdf:nil
127 Nd2b8dcfd0c9148d49f82fcac063b926d schema:name lccn_id
128 schema:value 72621806
129 rdf:type schema:PropertyValue
130 Ndb94cd2839864d56a562772b217f9ecc schema:name nsd_ids_id
131 schema:value 437206
132 rdf:type schema:PropertyValue
133 Nde15f8a08ffa4b56a9ee3c04bed3db34 schema:author N3a4dd35d97c441f69d9ea7309417e94d
134 schema:dateCreated 2017
135 schema:ratingValue 0.886
136 rdf:type schema:Rating
137 Ne1a5c8f8aac246019e167544f4da1f8d rdf:first impact_factor_wos
138 rdf:rest rdf:nil
139 Ne5b1a6db2d134a819778db099d8b8e8a schema:author Nb2f50d32523a47ab9ce570c93b583cc2
140 schema:dateCreated 2008
141 schema:ratingValue 0.789
142 rdf:type schema:Rating
143 Ne78d4264099c4ea9b03528c946c8a0fb schema:author Ne1a5c8f8aac246019e167544f4da1f8d
144 schema:dateCreated 2013
145 schema:ratingValue 0.405
146 rdf:type schema:Rating
147 Nf8ed5e7ee40447e8ae7a8904c2b211d0 schema:author N3e2afc869680438dabb95b7ebc8c8827
148 schema:ratingValue 1.488
149 rdf:type schema:Rating
150 Nf956b02226c743fb8f974eee7278a205 schema:author Nc6b0221ed1604287acc0400e43ac8d5c
151 schema:dateCreated 2012
152 schema:ratingValue 0.474
153 rdf:type schema:Rating
154 Nfdf06bd14fce48bda2e1c7143cb85ca9 schema:name nlm_unique_id
155 schema:value 9889990
156 rdf:type schema:PropertyValue
157 sg:ontologies/product-market-codes/I13006 schema:inDefinedTermSet sg:ontologies/product-market-codes/
158 schema:name Computer Systems Organization and Communication Networks
159 rdf:type schema:DefinedTerm
160 sg:ontologies/product-market-codes/I14002 schema:inDefinedTermSet sg:ontologies/product-market-codes/
161 schema:name Software Engineering/Programming and Operating Systems
162 rdf:type schema:DefinedTerm
163 sg:ontologies/product-market-codes/I15009 schema:inDefinedTermSet sg:ontologies/product-market-codes/
164 schema:name Data Structures and Information Theory
165 rdf:type schema:DefinedTerm
166 sg:ontologies/product-market-codes/I16005 schema:inDefinedTermSet sg:ontologies/product-market-codes/
167 schema:name Theory of Computation
168 rdf:type schema:DefinedTerm
169 sg:ontologies/product-market-codes/I1603X schema:inDefinedTermSet sg:ontologies/product-market-codes/
170 schema:name Logics and Meanings of Programs
171 rdf:type schema:DefinedTerm
172 sg:ontologies/product-market-codes/I18008 schema:inDefinedTermSet sg:ontologies/product-market-codes/
173 schema:name Information Systems and Communication Service
174 rdf:type schema:DefinedTerm
 




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


...