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", 
    "contentRating": [
      {
        "author": "snip", 
        "ratingValue": "1.1579999923706055", 
        "type": "Rating"
      }, 
      {
        "author": "sjr", 
        "ratingValue": "0.48100000619888306", 
        "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": "Baier", "givenName": "Christel", "type": "Person" } ], "id": "sg:journal.1133515", "inLanguage": [ "de", "en" ], "isAccessibleForFree": false, "issn": [ "0001-5903", "1432-0525" ], "license": "Hybrid", "name": "Acta Informatica", "productId": [ { "name": "dimensions_id", "type": "PropertyValue", "value": [ "133515" ] }, { "name": "lccn_id", "type": "PropertyValue", "value": [ "72621806" ] }, { "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": "2022-08-04T17:25", "sdLicense": "https://scigraph.springernature.com/explorer/license/", "sdPublisher": { "name": "Springer Nature - SN SciGraph project", "type": "Organization" }, "sdSource": "s3://com-springernature-scigraph/baseset/20220804/entities/gbq_results/journal/journal_0.jsonl", "startYear": "1971", "type": "Periodical", "url": "https://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.

61 TRIPLES      20 PREDICATES      28 URIs      24 LITERALS      10 BLANK NODES

Subject Predicate Object
1 sg:journal.1133515 schema:contentRating N07e6d70fed0a41f791f5a4ad8ca69319
2 Nb61bb01e031d4470a56117e2624c214d
3 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>
4 schema:editor Nd4b859b188654dafbcbf90a8ff55664e
5 schema:inLanguage de
6 en
7 schema:isAccessibleForFree false
8 schema:issn 0001-5903
9 1432-0525
10 schema:license Hybrid
11 schema:name Acta Informatica
12 schema:productId N1ddd5b2400da4146a51e7094b5a5eb45
13 N5ed5d6efa76f49b6b00a8188634b6674
14 Nc4b481bb1c834f119c85762d9422a1e5
15 Necab4c6d947f4e5abfee4bcc5f770537
16 Nf72842ed9f5d465abd44750e50ddf1a9
17 schema:publisher Ne5466039efbd4349b5768e4293a5757b
18 schema:publisherImprint Springer
19 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_source_title=jour.1133515
20 schema:sdDatePublished 2022-08-04T17:25
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher Na4435bbc4ee548cca4380b4bca45c95a
23 schema:startYear 1971
24 schema:url https://link.springer.com/journal/236
25 sgo:license sg:explorer/license/
26 sgo:sdDataset journals
27 rdf:type schema:Periodical
28 N07e6d70fed0a41f791f5a4ad8ca69319 schema:author N144a90917d294a69b6ab688cb13185ed
29 schema:ratingValue 0.48100000619888306
30 rdf:type schema:Rating
31 N0d164a5b5b8d4ed5998b092743c6c038 rdf:first snip
32 rdf:rest rdf:nil
33 N144a90917d294a69b6ab688cb13185ed rdf:first sjr
34 rdf:rest rdf:nil
35 N1ddd5b2400da4146a51e7094b5a5eb45 schema:name era_ids_id
36 schema:value 19224
37 rdf:type schema:PropertyValue
38 N5ed5d6efa76f49b6b00a8188634b6674 schema:name lccn_id
39 schema:value 72621806
40 rdf:type schema:PropertyValue
41 Na4435bbc4ee548cca4380b4bca45c95a schema:name Springer Nature - SN SciGraph project
42 rdf:type schema:Organization
43 Nb61bb01e031d4470a56117e2624c214d schema:author N0d164a5b5b8d4ed5998b092743c6c038
44 schema:ratingValue 1.1579999923706055
45 rdf:type schema:Rating
46 Nc4b481bb1c834f119c85762d9422a1e5 schema:name dimensions_id
47 schema:value 133515
48 rdf:type schema:PropertyValue
49 Nd4b859b188654dafbcbf90a8ff55664e rdf:first Nea53d3412dd9461aafdd5d3586adb0f1
50 rdf:rest rdf:nil
51 Ne5466039efbd4349b5768e4293a5757b schema:name Springer Berlin Heidelberg
52 rdf:type schema:Organization
53 Nea53d3412dd9461aafdd5d3586adb0f1 schema:familyName Baier
54 schema:givenName Christel
55 rdf:type schema:Person
56 Necab4c6d947f4e5abfee4bcc5f770537 schema:name nsd_ids_id
57 schema:value 437206
58 rdf:type schema:PropertyValue
59 Nf72842ed9f5d465abd44750e50ddf1a9 schema:name nlm_unique_id
60 schema:value 9889990
61 rdf:type schema:PropertyValue
 




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


...