1971
PUBLISHERSpringer Berlin Heidelberg
LANGUAGEde
HOMEPAGEhttp://scigraph.springernature.com/journal.1133515
ISSN0001-5903 | 1432-0525
DIMENSIONShttps://app.dimensions.ai/discover/publication?and_facet_source_title=jour.1133515
SCOPUS
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
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