{"id":"https://openalex.org/W2613607093","doi":"https://doi.org/10.29007/w19b","title":"Implementation of Interval Arithmetic in CORA 2016","display_name":"Implementation of Interval Arithmetic in CORA 2016","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2613607093","doi":"https://doi.org/10.29007/w19b","mag":"2613607093"},"language":"en","primary_location":{"id":"doi:10.29007/w19b","is_oa":true,"landing_page_url":"https://doi.org/10.29007/w19b","pdf_url":"https://easychair.org/publications/open/ZRJ","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/ZRJ","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005383495","display_name":"Matthias Althoff","orcid":"https://orcid.org/0000-0003-3733-842X"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Matthias Althoff","raw_affiliation_strings":["Technische Universitt Mnchen, Department of Informatics, Munich, Germany","Technische Universit\u00e4t M\u00fcnchen, Department of Informatics, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universitt Mnchen, Department of Informatics, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Technische Universit\u00e4t M\u00fcnchen, Department of Informatics, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004110654","display_name":"Dmitry Grebenyuk","orcid":null},"institutions":[{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dmitry Grebenyuk","raw_affiliation_strings":["Ludwig-Maximilians-Universitt Mnchen, Department of Physics, Munich, Germany","Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Department of Physics, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-Universitt Mnchen, Department of Physics, Munich, Germany","institution_ids":["https://openalex.org/I8204097"]},{"raw_affiliation_string":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Department of Physics, Munich, Germany","institution_ids":["https://openalex.org/I8204097"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5005383495"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":10.4516,"has_fulltext":true,"cited_by_count":82,"citation_normalized_percentile":{"value":0.98636329,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"43","issue":null,"first_page":"91","last_page":"75"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9800999760627747,"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.9800999760627747,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9642999768257141,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.960099995136261,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"Interval arithmetic","score":0.8284415006637573},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.6943069100379944},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.6671605706214905},{"id":"https://openalex.org/keywords/matlab","display_name":"MATLAB","score":0.5704631209373474},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5530173778533936},{"id":"https://openalex.org/keywords/toolbox","display_name":"Toolbox","score":0.5519454479217529},{"id":"https://openalex.org/keywords/affine-arithmetic","display_name":"Affine arithmetic","score":0.5414609313011169},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5398812294006348},{"id":"https://openalex.org/keywords/arithmetic-function","display_name":"Arithmetic function","score":0.42410287261009216},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4060235917568207},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4012920558452606},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3579321503639221},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.24413681030273438},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16894757747650146},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16866201162338257},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.10341686010360718}],"concepts":[{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.8284415006637573},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.6943069100379944},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.6671605706214905},{"id":"https://openalex.org/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.5704631209373474},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5530173778533936},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.5519454479217529},{"id":"https://openalex.org/C167315692","wikidata":"https://www.wikidata.org/wiki/Q3622729","display_name":"Affine arithmetic","level":3,"score":0.5414609313011169},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5398812294006348},{"id":"https://openalex.org/C112343008","wikidata":"https://www.wikidata.org/wiki/Q140744","display_name":"Arithmetic function","level":2,"score":0.42410287261009216},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4060235917568207},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4012920558452606},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3579321503639221},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.24413681030273438},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16894757747650146},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16866201162338257},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.10341686010360718},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.29007/w19b","is_oa":true,"landing_page_url":"https://doi.org/10.29007/w19b","pdf_url":"https://easychair.org/publications/open/ZRJ","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1379696","is_oa":true,"landing_page_url":"https://mediatum.ub.tum.de/1379696","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"ConferencePaper"}],"best_oa_location":{"id":"doi:10.29007/w19b","is_oa":true,"landing_page_url":"https://doi.org/10.29007/w19b","pdf_url":"https://easychair.org/publications/open/ZRJ","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1819731195","display_name":null,"funder_award_id":"64392","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4449215989","display_name":null,"funder_award_id":"643921","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2613607093.pdf","grobid_xml":"https://content.openalex.org/works/W2613607093.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W123447461","https://openalex.org/W172589331","https://openalex.org/W1507872748","https://openalex.org/W1524886571","https://openalex.org/W1588000771","https://openalex.org/W1970296876","https://openalex.org/W2089075678","https://openalex.org/W2099025530","https://openalex.org/W2110910849","https://openalex.org/W2119759435","https://openalex.org/W2123834623","https://openalex.org/W2131332110","https://openalex.org/W2150443739","https://openalex.org/W2169004268","https://openalex.org/W2265178974","https://openalex.org/W2441075765","https://openalex.org/W2565843813","https://openalex.org/W2573460936","https://openalex.org/W4298255709","https://openalex.org/W4300873693","https://openalex.org/W6607093319","https://openalex.org/W6630146212","https://openalex.org/W6631546732","https://openalex.org/W6843933829"],"related_works":["https://openalex.org/W2134029906","https://openalex.org/W109635080","https://openalex.org/W2012882356","https://openalex.org/W2531534085","https://openalex.org/W2281700406","https://openalex.org/W1996186540","https://openalex.org/W2098412892","https://openalex.org/W2372895661","https://openalex.org/W2226999358","https://openalex.org/W2005401264"],"abstract_inverted_index":{"Interval":[0],"arithmetic":[1,18,41,63,110,180,191],"can":[2,34,55],"be":[3,35,56],"seen":[4],"as":[5,149],"one":[6],"of":[7,16,27,39,48,50,80,92,103,121,139,189],"the":[8,21,24,46,78,81,137,165,184,208],"workhorses":[9],"for":[10,108,158],"formal":[11,68],"verification":[12,69],"approaches.":[13],"The":[14,144],"popularity":[15],"interval":[17,40,62,109,179,190],"stems":[19],"form":[20],"fact":[22],"that":[23,43,192],"possible":[25],"outcomes":[26],"almost":[28],"all":[29,123,140],"frequently":[30],"occurring":[31],"mathematical":[32,125,142],"expressions":[33,93],"bounded.":[36],"A":[37],"disadvantage":[38],"is":[42,64,172,182],"due":[44],"to":[45,77,88,98],"negligence":[47],"dependencies":[49],"variables":[51],"in":[52,67,152],"expressions,":[53],"results":[54],"overly":[57],"conservative.":[58],"For":[59],"this":[60,132,170],"reason,":[61],"typically":[65],"used":[66,164],"tools":[70],"when":[71],"formulas":[72],"are":[73,95,127,147],"not":[74,86,114],"contributing":[75],"much":[76],"accuracy":[79],"overall":[82],"approach,":[83],"but":[84,169],"do":[85],"belong":[87],"a":[89,101,116,150,154],"restrictive":[90],"class":[91,151,181],"and":[94,105,118,134,206],"thus":[96],"hard":[97],"evaluate.":[99],"Although":[100],"lot":[102],"textbooks":[104],"software":[106],"manuals":[107],"exist,":[111],"we":[112],"have":[113,199],"found":[115],"complete":[117],"detailed":[119],"description":[120],"how":[122],"standard":[124,141],"functions":[126],"evaluated.":[128],"This":[129],"work":[130],"changes":[131],"situation":[133],"describes":[135],"concisely":[136],"evaluation":[138],"functions.":[143],"described":[145],"techniques":[146],"implemented":[148],"CORA,":[153],"free":[155],"MATLAB":[156,166,196],"tool":[157,171],"continuous":[159],"reachability":[160],"analysis.":[161],"Previously,":[162],"CORA":[163],"toolbox":[167],"INTLAB,":[168],"no":[173],"longer":[174],"freely":[175,186],"available.":[176],"Thus,":[177],"our":[178,202],"currently":[183],"only":[185],"available":[187],"implementation":[188,203],"runs":[193],"under":[194],"current":[195],"versions.":[197],"We":[198],"thoroughly":[200],"tested":[201],"against":[204],"INTLAB":[205],"present":[207],"results.":[209]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":20},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":13},{"year":2018,"cited_by_count":15},{"year":2017,"cited_by_count":1}],"updated_date":"2026-03-11T14:59:36.786465","created_date":"2025-10-10T00:00:00"}