Publication Information

{'id': 'https://openalex.org/W2896131632', 'doi': 'https://doi.org/10.1080/23799927.2018.1535525', 'title': 'Polyhedron over-approximation for complexity reduction in static analysis', 'display_name': 'Polyhedron over-approximation for complexity reduction in static analysis', 'publication_year': 2018, 'publication_date': '2018-10-02', 'ids': {'openalex': 'https://openalex.org/W2896131632', 'doi': 'https://doi.org/10.1080/23799927.2018.1535525', 'mag': '2896131632'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1080/23799927.2018.1535525', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4210234901', 'display_name': 'International Journal of Computer Mathematics Computer Systems Theory', 'issn_l': '2379-9927', 'issn': ['2379-9927', '2379-9935'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310320547', 'host_organization_name': 'Taylor & Francis', 'host_organization_lineage': ['https://openalex.org/P4310320547'], 'host_organization_lineage_names': ['Taylor & Francis'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5065063077', 'display_name': 'Yassamine Seladji', 'orcid': 'https://orcid.org/0000-0003-2778-7555'}, 'institutions': [{'id': 'https://openalex.org/I233209018', 'display_name': 'University of Abou Bekr Belkaïd', 'ror': 'https://ror.org/00jsjm362', 'country_code': 'DZ', 'type': 'education', 'lineage': ['https://openalex.org/I233209018']}], 'countries': ['DZ'], 'is_corresponding': True, 'raw_author_name': 'Yassamine Seladji', 'raw_affiliation_strings': ['Department of Computer Science, University of Tlemcen, Tlemcen, Algeria'], 'affiliations': [{'raw_affiliation_string': 'Department of Computer Science, University of Tlemcen, Tlemcen, Algeria', 'institution_ids': ['https://openalex.org/I233209018']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5044349979', 'display_name': 'Zheng Qu', 'orcid': 'https://orcid.org/0000-0003-0883-2277'}, 'institutions': [{'id': 'https://openalex.org/I889458895', 'display_name': 'University of Hong Kong', 'ror': 'https://ror.org/02zhqgq86', 'country_code': 'HK', 'type': 'education', 'lineage': ['https://openalex.org/I889458895']}], 'countries': ['HK'], 'is_corresponding': False, 'raw_author_name': 'Zheng Qu', 'raw_affiliation_strings': ["Department of Mathematics, The University of Hong Kong, Hong Kong, People's Republic of China"], 'affiliations': [{'raw_affiliation_string': "Department of Mathematics, The University of Hong Kong, Hong Kong, People's Republic of China", 'institution_ids': ['https://openalex.org/I889458895']}]}], 'institution_assertions': [], 'countries_distinct_count': 2, 'institutions_distinct_count': 2, 'corresponding_author_ids': ['https://openalex.org/A5065063077'], 'corresponding_institution_ids': ['https://openalex.org/I233209018'], 'apc_list': None, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 1, 'citation_normalized_percentile': {'value': 0.372459, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 62, 'max': 70}, 'biblio': {'volume': '3', 'issue': '4', 'first_page': '215', 'last_page': '229'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9997, '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.9997, '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.9989, '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/T12423', 'display_name': 'Software Reliability and Analysis Research', 'score': 0.9974, 'subfield': {'id': 'https://openalex.org/subfields/1712', 'display_name': 'Software'}, '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/polyhedron', 'display_name': 'Polyhedron', 'score': 0.9911492}, {'id': 'https://openalex.org/keywords/abstract-interpretation', 'display_name': 'Abstract Interpretation', 'score': 0.6672927}, {'id': 'https://openalex.org/keywords/minification', 'display_name': 'Minification', 'score': 0.56715554}, {'id': 'https://openalex.org/keywords/representation', 'display_name': 'Representation', 'score': 0.5354877}], 'concepts': [{'id': 'https://openalex.org/C54829058', 'wikidata': 'https://www.wikidata.org/wiki/Q172937', 'display_name': 'Polyhedron', 'level': 2, 'score': 0.9911492}, {'id': 'https://openalex.org/C2780654840', 'wikidata': 'https://www.wikidata.org/wiki/Q333341', 'display_name': 'Abstract interpretation', 'level': 2, 'score': 0.6672927}, {'id': 'https://openalex.org/C111335779', 'wikidata': 'https://www.wikidata.org/wiki/Q3454686', 'display_name': 'Reduction (mathematics)', 'level': 2, 'score': 0.6651838}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.6127592}, {'id': 'https://openalex.org/C14036430', 'wikidata': 'https://www.wikidata.org/wiki/Q3736076', 'display_name': 'Function (biology)', 'level': 2, 'score': 0.59521085}, {'id': 'https://openalex.org/C147764199', 'wikidata': 'https://www.wikidata.org/wiki/Q6865248', 'display_name': 'Minification', 'level': 2, 'score': 0.56715554}, {'id': 'https://openalex.org/C2776359362', 'wikidata': 'https://www.wikidata.org/wiki/Q2145286', 'display_name': 'Representation (politics)', 'level': 3, 'score': 0.5354877}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.51291203}, {'id': 'https://openalex.org/C36503486', 'wikidata': 'https://www.wikidata.org/wiki/Q11235244', 'display_name': 'Domain (mathematical analysis)', 'level': 2, 'score': 0.4734794}, {'id': 'https://openalex.org/C126255220', 'wikidata': 'https://www.wikidata.org/wiki/Q141495', 'display_name': 'Mathematical optimization', 'level': 1, 'score': 0.44747537}, {'id': 'https://openalex.org/C97686452', 'wikidata': 'https://www.wikidata.org/wiki/Q7604153', 'display_name': 'Static analysis', 'level': 2, 'score': 0.43597752}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.30069643}, {'id': 'https://openalex.org/C114614502', 'wikidata': 'https://www.wikidata.org/wiki/Q76592', 'display_name': 'Combinatorics', 'level': 1, 'score': 0.1638093}, {'id': 'https://openalex.org/C2524010', 'wikidata': 'https://www.wikidata.org/wiki/Q8087', 'display_name': 'Geometry', 'level': 1, 'score': 0.1301921}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.06912047}, {'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/C78458016', 'wikidata': 'https://www.wikidata.org/wiki/Q840400', 'display_name': 'Evolutionary biology', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C94625758', 'wikidata': 'https://www.wikidata.org/wiki/Q7163', 'display_name': 'Politics', 'level': 2, 'score': 0.0}, {'id': 'https://openalex.org/C17744445', 'wikidata': 'https://www.wikidata.org/wiki/Q36442', 'display_name': 'Political science', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C199539241', 'wikidata': 'https://www.wikidata.org/wiki/Q7748', 'display_name': 'Law', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C86803240', 'wikidata': 'https://www.wikidata.org/wiki/Q420', 'display_name': 'Biology', 'level': 0, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1080/23799927.2018.1535525', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4210234901', 'display_name': 'International Journal of Computer Mathematics Computer Systems Theory', 'issn_l': '2379-9927', 'issn': ['2379-9927', '2379-9935'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310320547', 'host_organization_name': 'Taylor & Francis', 'host_organization_lineage': ['https://openalex.org/P4310320547'], 'host_organization_lineage_names': ['Taylor & Francis'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 20, 'referenced_works': ['https://openalex.org/W1503425191', 'https://openalex.org/W1507199453', 'https://openalex.org/W1518247129', 'https://openalex.org/W1568478782', 'https://openalex.org/W1837799190', 'https://openalex.org/W1885187308', 'https://openalex.org/W1987679122', 'https://openalex.org/W2032908410', 'https://openalex.org/W2043100293', 'https://openalex.org/W2052668820', 'https://openalex.org/W2093225431', 'https://openalex.org/W2132661148', 'https://openalex.org/W2139841919', 'https://openalex.org/W2144494996', 'https://openalex.org/W2161761474', 'https://openalex.org/W2546000176', 'https://openalex.org/W2566919497', 'https://openalex.org/W2569595079', 'https://openalex.org/W2749325905', 'https://openalex.org/W3158747708'], 'related_works': ['https://openalex.org/W4232090216', 'https://openalex.org/W3184046748', 'https://openalex.org/W3099266052', 'https://openalex.org/W2566919497', 'https://openalex.org/W2465429106', 'https://openalex.org/W2124661962', 'https://openalex.org/W2020973245', 'https://openalex.org/W1844529821', 'https://openalex.org/W1508927144', 'https://openalex.org/W111020846'], 'abstract_inverted_index': {'Polyhedra': [0, 25], 'are': [1], 'widely': [2], 'used': [3, 47], 'in': [4, 11, 51], 'the': [5, 12, 22, 27, 42, 72, 99, 103], 'verification': [6], 'of': [7, 14, 74], 'numerical': [8], 'programs.': [9], 'Specially,': [10], 'field': [13], 'static': [15], 'analysis': [16, 28], 'by': [17, 70], 'abstract': [18, 106], 'interpretation': [19], 'to': [20, 41, 48, 66, 79, 98], 'express': [21], 'program': [23], 'invariants.': [24], 'make': [26], 'very': [29, 33], 'expressive': [30], 'but': [31], 'also': [32], 'time': [34], 'consuming.': [35], 'That': [36], 'cost': [37], 'is': [38, 46, 78, 93], 'mostly': [39], 'due': [40], 'minimization': [43, 100], 'function,': [44], 'which': [45], 'maintain': [49], 'polyhedra': [50, 105], 'their': [52], 'minimal': [53], 'representation': [54], 'without': [55], 'redundant': [56], 'constraints': [57], 'or': [58], 'generators.': [59], 'In': [60], 'this': [61], 'article,': [62], 'we': [63], 'propose': [64], 'method': [65, 92], 'over-approximate': [67], 'a': [68, 81], 'polyhedron': [69], 'minimizing': [71], 'loss': [73], 'accuracy.': [75], 'The': [76, 90], 'idea': [77], 'find': [80], 'good': [82], 'trade': [83], 'off': [84], 'between': [85], 'accuracy': [86], 'and': [87], 'execution': [88], 'time.': [89], 'proposed': [91], 'applied': [94], 'as': [95], 'an': [96], 'alternative': [97], 'function': [101], 'for': [102], 'template': [104], 'domain.': [107]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2896131632', 'counts_by_year': [{'year': 2022, 'cited_by_count': 1}], 'updated_date': '2024-12-10T00:46:46.732347', 'created_date': '2018-10-26'}