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 N00219fb881924b32b17c2f4472bd855f
8 N22e637fc0db343c899ea0c30d77b0f28
9 N2c2842fc7b154156aff27b6d70a6f40d
10 N36cc3dcaf8d6403ab77667cbbe26e082
11 N479fb46e57de4ce6b3af38860a6dfb21
12 N4c3e1ce9255a433b8df0937643fdd7b5
13 N57706e34d3664d99aba98ab79d34e368
14 N6ea9729a61694fe3bd45b435bec51573
15 N89fd070d1d1a43feb0a14e1c3a0a4705
16 N8f29588c9fcf48cd9fef59e6f00e2d2b
17 N92a56d8da63f4805a5b7edace25151b8
18 N9efd3bb7440d4fcebff043897ff823c6
19 Nb2e1cba58ed845e9a4ac81f5d4433ef3
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 N33cb7cd644544ad282bcdb68e7bd83c9
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 N0ffc60ec4ff849d3a11591d1a68bb470
30 N17a87fe303c745698e9a57134e9ff289
31 N4293cdeb3c8642799793a56d00473cf1
32 N5501184b36fc4f5a9ff249da42f2435e
33 N55322ace91f2490a85f0ae73a4bd0f7d
34 Ncd8a8b7a821948ca9096e79cbbaa0c42
35 Nda68c60145f6403a8cc7cf687c8775de
36 Ndd5630fbbb4d4e0e9a82fbdefd7d8e64
37 schema:publisher N972b1f2971034b0b9d0fe7da63d5bff1
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 Nfe87d3e1ff634e578f2ea8c0ab9bce68
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 N00219fb881924b32b17c2f4472bd855f schema:author Nc5b191200f4647139e474be87cd1bdfe
49 schema:dateCreated 2013
50 schema:ratingValue 0.405
51 rdf:type schema:Rating
52 N0c248cf4753543a985b54071d6510724 rdf:first impact_factor_wos
53 rdf:rest rdf:nil
54 N0fb58043d1594ca79a3d6be9044c2053 rdf:first impact_factor_wos
55 rdf:rest rdf:nil
56 N0ffc60ec4ff849d3a11591d1a68bb470 schema:name nsd_ids_id
57 schema:value 437206
58 rdf:type schema:PropertyValue
59 N17a87fe303c745698e9a57134e9ff289 schema:name springer_id
60 schema:value 236
61 rdf:type schema:PropertyValue
62 N19ebd2a5e0a04a378bcaa3dc62d7a279 rdf:first impact_factor_wos
63 rdf:rest rdf:nil
64 N22e637fc0db343c899ea0c30d77b0f28 schema:author Nb514d2c97cf34e07b079079021c559a5
65 schema:dateCreated 2010
66 schema:ratingValue 0.809
67 rdf:type schema:Rating
68 N2c2842fc7b154156aff27b6d70a6f40d schema:author Nba842d7ec5ca45a087a8faa9d905e924
69 schema:dateCreated 2009
70 schema:ratingValue 0.923
71 rdf:type schema:Rating
72 N33cb7cd644544ad282bcdb68e7bd83c9 rdf:first Ndf290ef56ae544f29113ddde6a9f79a8
73 rdf:rest rdf:nil
74 N36cc3dcaf8d6403ab77667cbbe26e082 schema:author Ndb30116f65c84b0d9508dd1cf63b4820
75 schema:ratingValue 1.488
76 rdf:type schema:Rating
77 N4293cdeb3c8642799793a56d00473cf1 schema:name wos_id
78 schema:value 0001-5903/ACTA INFORMATICA
79 rdf:type schema:PropertyValue
80 N479fb46e57de4ce6b3af38860a6dfb21 schema:author N0fb58043d1594ca79a3d6be9044c2053
81 schema:dateCreated 2016
82 schema:ratingValue 1.000
83 rdf:type schema:Rating
84 N4c3e1ce9255a433b8df0937643fdd7b5 schema:author N928c2294a79943b294095e1377ea694b
85 schema:dateCreated 2015
86 schema:ratingValue 0.722
87 rdf:type schema:Rating
88 N5501184b36fc4f5a9ff249da42f2435e schema:name scopus_id
89 schema:value 15012
90 rdf:type schema:PropertyValue
91 N55322ace91f2490a85f0ae73a4bd0f7d schema:name era_ids_id
92 schema:value 19224
93 rdf:type schema:PropertyValue
94 N57706e34d3664d99aba98ab79d34e368 schema:author Nc41dfff521ff4879968f3617d1634d6d
95 schema:dateCreated 2014
96 schema:ratingValue 0.500
97 rdf:type schema:Rating
98 N6ea9729a61694fe3bd45b435bec51573 schema:author N0c248cf4753543a985b54071d6510724
99 schema:dateCreated 2017
100 schema:ratingValue 0.886
101 rdf:type schema:Rating
102 N89fd070d1d1a43feb0a14e1c3a0a4705 schema:author Nb8f1a3fdfa6e47fea0d42d01ab5cc594
103 schema:dateCreated 2009
104 schema:ratingValue 0.923
105 rdf:type schema:Rating
106 N8f29588c9fcf48cd9fef59e6f00e2d2b schema:author Nd75e85bd15624f368e49c60916261e04
107 schema:ratingValue 0.517
108 rdf:type schema:Rating
109 N928c2294a79943b294095e1377ea694b rdf:first impact_factor_wos
110 rdf:rest rdf:nil
111 N92a56d8da63f4805a5b7edace25151b8 schema:author Nc54f56c305e043398eed0e7a705583be
112 schema:dateCreated 2008
113 schema:ratingValue 0.789
114 rdf:type schema:Rating
115 N972b1f2971034b0b9d0fe7da63d5bff1 schema:name Springer Berlin Heidelberg
116 rdf:type schema:Organization
117 N9efd3bb7440d4fcebff043897ff823c6 schema:author Nfbb20d29e00d4228b7c7f9a337a12d8e
118 schema:dateCreated 2011
119 schema:ratingValue 0.444
120 rdf:type schema:Rating
121 Nb2e1cba58ed845e9a4ac81f5d4433ef3 schema:author N19ebd2a5e0a04a378bcaa3dc62d7a279
122 schema:dateCreated 2012
123 schema:ratingValue 0.474
124 rdf:type schema:Rating
125 Nb514d2c97cf34e07b079079021c559a5 rdf:first impact_factor_wos
126 rdf:rest rdf:nil
127 Nb8f1a3fdfa6e47fea0d42d01ab5cc594 rdf:first impact_factor_wos
128 rdf:rest rdf:nil
129 Nba842d7ec5ca45a087a8faa9d905e924 rdf:first impact_factor_wos
130 rdf:rest rdf:nil
131 Nc41dfff521ff4879968f3617d1634d6d rdf:first impact_factor_wos
132 rdf:rest rdf:nil
133 Nc54f56c305e043398eed0e7a705583be rdf:first impact_factor_wos
134 rdf:rest rdf:nil
135 Nc5b191200f4647139e474be87cd1bdfe rdf:first impact_factor_wos
136 rdf:rest rdf:nil
137 Ncd8a8b7a821948ca9096e79cbbaa0c42 schema:name nlm_unique_id
138 schema:value 9889990
139 rdf:type schema:PropertyValue
140 Nd75e85bd15624f368e49c60916261e04 rdf:first sjr
141 rdf:rest rdf:nil
142 Nda68c60145f6403a8cc7cf687c8775de schema:name dimensions_id
143 schema:value 133515
144 rdf:type schema:PropertyValue
145 Ndb30116f65c84b0d9508dd1cf63b4820 rdf:first snip
146 rdf:rest rdf:nil
147 Ndd5630fbbb4d4e0e9a82fbdefd7d8e64 schema:name lccn_id
148 schema:value 72621806
149 rdf:type schema:PropertyValue
150 Ndf290ef56ae544f29113ddde6a9f79a8 schema:familyName Olderog
151 schema:givenName Ernst-Rüdiger
152 rdf:type schema:Person
153 Nfbb20d29e00d4228b7c7f9a337a12d8e rdf:first impact_factor_wos
154 rdf:rest rdf:nil
155 Nfe87d3e1ff634e578f2ea8c0ab9bce68 schema:name Springer Nature - SN SciGraph project
156 rdf:type schema:Organization
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)


...