{"id":"https://openalex.org/W3095770613","doi":"https://doi.org/10.1007/978-3-030-59854-9_15","title":"Automatic Pre- and Postconditions for Partial Differential Equations","display_name":"Automatic Pre- and Postconditions for Partial Differential Equations","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3095770613","doi":"https://doi.org/10.1007/978-3-030-59854-9_15","mag":"3095770613"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-59854-9_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-59854-9_15","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078624552","display_name":"Michele Boreale","orcid":"https://orcid.org/0000-0002-1972-7491"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Michele Boreale","raw_affiliation_strings":["Dipartimento di Statistica, Informatica, Applicazioni (DiSIA) \u201cG. Parenti\u201d, Universit\u00e0 di Firenze, Viale Morgagni 65, 50124, Florence, Italy","Dipartimento di Statistica, Informatica, Applicazioni (DiSIA) \"G. Parenti\", Universit\u00e0 di Firenze, Viale Morgagni 65, 50124, Florence, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Statistica, Informatica, Applicazioni (DiSIA) \u201cG. Parenti\u201d, Universit\u00e0 di Firenze, Viale Morgagni 65, 50124, Florence, Italy","institution_ids":["https://openalex.org/I45084792"]},{"raw_affiliation_string":"Dipartimento di Statistica, Informatica, Applicazioni (DiSIA) \"G. Parenti\", Universit\u00e0 di Firenze, Viale Morgagni 65, 50124, Florence, Italy","institution_ids":["https://openalex.org/I45084792"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5078624552"],"corresponding_institution_ids":["https://openalex.org/I45084792"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.6739,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.64043739,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"193","last_page":"210"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9891999959945679,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6519199013710022},{"id":"https://openalex.org/keywords/uniqueness","display_name":"Uniqueness","score":0.5660998225212097},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.5462205410003662},{"id":"https://openalex.org/keywords/boundary-value-problem","display_name":"Boundary value problem","score":0.4507442116737366},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.44097277522087097},{"id":"https://openalex.org/keywords/partial-differential-equation","display_name":"Partial differential equation","score":0.43581217527389526},{"id":"https://openalex.org/keywords/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.42918193340301514},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.41865071654319763},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.41477590799331665},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3575960099697113},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.33941206336021423},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3212798833847046},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.26001572608947754},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.14748454093933105},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.0903719961643219}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6519199013710022},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.5660998225212097},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.5462205410003662},{"id":"https://openalex.org/C182310444","wikidata":"https://www.wikidata.org/wiki/Q1332643","display_name":"Boundary value problem","level":2,"score":0.4507442116737366},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.44097277522087097},{"id":"https://openalex.org/C93779851","wikidata":"https://www.wikidata.org/wiki/Q271977","display_name":"Partial differential equation","level":2,"score":0.43581217527389526},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.42918193340301514},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.41865071654319763},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.41477590799331665},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3575960099697113},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.33941206336021423},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3212798833847046},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.26001572608947754},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.14748454093933105},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0903719961643219},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-59854-9_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-59854-9_15","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W578318604","https://openalex.org/W1057021034","https://openalex.org/W1493195359","https://openalex.org/W1518341038","https://openalex.org/W1797309904","https://openalex.org/W1918406761","https://openalex.org/W1999837891","https://openalex.org/W2001570681","https://openalex.org/W2054452549","https://openalex.org/W2080135901","https://openalex.org/W2080884201","https://openalex.org/W2098045685","https://openalex.org/W2137258051","https://openalex.org/W2154208952","https://openalex.org/W2172846583","https://openalex.org/W2182451272","https://openalex.org/W2607212181","https://openalex.org/W2613113977","https://openalex.org/W2748391565","https://openalex.org/W2788825088","https://openalex.org/W2922196358","https://openalex.org/W3125479578","https://openalex.org/W4240837394","https://openalex.org/W4253917916","https://openalex.org/W4301508226","https://openalex.org/W4378105013"],"related_works":["https://openalex.org/W2045049461","https://openalex.org/W1978893398","https://openalex.org/W2201908702","https://openalex.org/W4381094582","https://openalex.org/W2369625323","https://openalex.org/W2364579609","https://openalex.org/W1977906818","https://openalex.org/W2149223108","https://openalex.org/W2999616507","https://openalex.org/W4392238179"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}