Publication Information

{'id': 'https://openalex.org/W3131295140', 'doi': 'https://doi.org/10.3390/math9040368', 'title': 'A Divide and Conquer Approach to Eventual Model Checking', 'display_name': 'A Divide and Conquer Approach to Eventual Model Checking', 'publication_year': 2021, 'publication_date': '2021-02-12', 'ids': {'openalex': 'https://openalex.org/W3131295140', 'doi': 'https://doi.org/10.3390/math9040368', 'mag': '3131295140'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.3390/math9040368', 'pdf_url': 'https://www.mdpi.com/2227-7390/9/4/368/pdf?version=1614060759', 'source': {'id': 'https://openalex.org/S4210192031', 'display_name': 'Mathematics', 'issn_l': '2227-7390', 'issn': ['2227-7390'], 'is_oa': True, 'is_in_doaj': True, 'is_core': True, 'host_organization': 'https://openalex.org/P4310310987', 'host_organization_name': 'Multidisciplinary Digital Publishing Institute', 'host_organization_lineage': ['https://openalex.org/P4310310987'], 'host_organization_lineage_names': ['Multidisciplinary Digital Publishing Institute'], 'type': 'journal'}, 'license': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref', 'doaj'], 'open_access': {'is_oa': True, 'oa_status': 'gold', 'oa_url': 'https://www.mdpi.com/2227-7390/9/4/368/pdf?version=1614060759', 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5029267803', 'display_name': 'Moe Nandi Aung', 'orcid': 'https://orcid.org/0009-0005-2498-8361'}, 'institutions': [{'id': 'https://openalex.org/I4210117845', 'display_name': 'University Of Information Technology', 'ror': 'https://ror.org/03bxja712', 'country_code': 'MM', 'type': 'education', 'lineage': ['https://openalex.org/I4210117845']}], 'countries': ['MM'], 'is_corresponding': False, 'raw_author_name': 'Moe Nandi Aung', 'raw_affiliation_strings': ['Faculty of Information Science, University of Information Technology (UIT), Hlaing Township, Yangon PO 11052, Myanmar'], 'affiliations': [{'raw_affiliation_string': 'Faculty of Information Science, University of Information Technology (UIT), Hlaing Township, Yangon PO 11052, Myanmar', 'institution_ids': ['https://openalex.org/I4210117845']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5073293052', 'display_name': 'Yati Phyo', 'orcid': 'https://orcid.org/0000-0001-8388-0004'}, 'institutions': [{'id': 'https://openalex.org/I177738480', 'display_name': 'Japan Advanced Institute of Science and Technology', 'ror': 'https://ror.org/03frj4r98', 'country_code': 'JP', 'type': 'education', 'lineage': ['https://openalex.org/I177738480']}], 'countries': ['JP'], 'is_corresponding': False, 'raw_author_name': 'Yati Phyo', 'raw_affiliation_strings': ['School of Information Science, Japan Advanced Institite of Science and Technology (JAIST), Nomi, Ishikawa 923-1292, Japan'], 'affiliations': [{'raw_affiliation_string': 'School of Information Science, Japan Advanced Institite of Science and Technology (JAIST), Nomi, Ishikawa 923-1292, Japan', 'institution_ids': ['https://openalex.org/I177738480']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5023981175', 'display_name': 'Canh Minh', 'orcid': 'https://orcid.org/0000-0002-1601-4584'}, 'institutions': [{'id': 'https://openalex.org/I177738480', 'display_name': 'Japan Advanced Institute of Science and Technology', 'ror': 'https://ror.org/03frj4r98', 'country_code': 'JP', 'type': 'education', 'lineage': ['https://openalex.org/I177738480']}], 'countries': ['JP'], 'is_corresponding': False, 'raw_author_name': 'Canh Minh Do', 'raw_affiliation_strings': ['School of Information Science, Japan Advanced Institite of Science and Technology (JAIST), Nomi, Ishikawa 923-1292, Japan'], 'affiliations': [{'raw_affiliation_string': 'School of Information Science, Japan Advanced Institite of Science and Technology (JAIST), Nomi, Ishikawa 923-1292, Japan', 'institution_ids': ['https://openalex.org/I177738480']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5030173635', 'display_name': 'Kôichi Ogata', 'orcid': 'https://orcid.org/0000-0002-4441-3259'}, 'institutions': [{'id': 'https://openalex.org/I177738480', 'display_name': 'Japan Advanced Institute of Science and Technology', 'ror': 'https://ror.org/03frj4r98', 'country_code': 'JP', 'type': 'education', 'lineage': ['https://openalex.org/I177738480']}], 'countries': ['JP'], 'is_corresponding': True, 'raw_author_name': 'Kazuhiro Ogata', 'raw_affiliation_strings': ['School of Information Science, Japan Advanced Institite of Science and Technology (JAIST), Nomi, Ishikawa 923-1292, Japan'], 'affiliations': [{'raw_affiliation_string': 'School of Information Science, Japan Advanced Institite of Science and Technology (JAIST), Nomi, Ishikawa 923-1292, Japan', 'institution_ids': ['https://openalex.org/I177738480']}]}], 'institution_assertions': [], 'countries_distinct_count': 2, 'institutions_distinct_count': 2, 'corresponding_author_ids': ['https://openalex.org/A5030173635'], 'corresponding_institution_ids': ['https://openalex.org/I177738480'], 'apc_list': {'value': 1800, 'currency': 'CHF', 'value_usd': 1949, 'provenance': 'doaj'}, 'apc_paid': {'value': 1800, 'currency': 'CHF', 'value_usd': 1949, 'provenance': 'doaj'}, 'fwci': 1.559, 'has_fulltext': False, 'cited_by_count': 12, 'citation_normalized_percentile': {'value': 0.803376, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 90, 'max': 91}, 'biblio': {'volume': '9', 'issue': '4', 'first_page': '368', 'last_page': '368'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Software Verification and Control', 'score': 0.9996, '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 Software Verification and Control', 'score': 0.9996, '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/T10743', 'display_name': 'Automated Software Testing Techniques', 'score': 0.9967, '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'}}, {'id': 'https://openalex.org/T12423', 'display_name': 'Software Reliability Assessment and Prediction', 'score': 0.9957, '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/abstraction-model-checking', 'display_name': 'Abstraction model checking', 'score': 0.7674879}, {'id': 'https://openalex.org/keywords/model-checking', 'display_name': 'Model Checking', 'score': 0.651377}, {'id': 'https://openalex.org/keywords/testing-effort-dependent-models', 'display_name': 'Testing-Effort Dependent Models', 'score': 0.545085}, {'id': 'https://openalex.org/keywords/fault-detection-and-correction', 'display_name': 'Fault Detection and Correction', 'score': 0.542735}, {'id': 'https://openalex.org/keywords/model-based-testing', 'display_name': 'Model-Based Testing', 'score': 0.534201}, {'id': 'https://openalex.org/keywords/symbolic-model-checker', 'display_name': 'Symbolic Model Checker', 'score': 0.52531}], 'concepts': [{'id': 'https://openalex.org/C110251889', 'wikidata': 'https://www.wikidata.org/wiki/Q1569697', 'display_name': 'Model checking', 'level': 2, 'score': 0.9017228}, {'id': 'https://openalex.org/C71559656', 'wikidata': 'https://www.wikidata.org/wiki/Q671298', 'display_name': 'Divide and conquer algorithms', 'level': 2, 'score': 0.88568485}, {'id': 'https://openalex.org/C30888246', 'wikidata': 'https://www.wikidata.org/wiki/Q4669969', 'display_name': 'Abstraction model checking', 'level': 3, 'score': 0.7674879}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.73149633}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.48655072}, {'id': 'https://openalex.org/C48103436', 'wikidata': 'https://www.wikidata.org/wiki/Q599031', 'display_name': 'State (computer science)', 'level': 2, 'score': 0.46836957}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.31083006}], 'mesh': [], 'locations_count': 2, 'locations': [{'is_oa': True, 'landing_page_url': 'https://doi.org/10.3390/math9040368', 'pdf_url': 'https://www.mdpi.com/2227-7390/9/4/368/pdf?version=1614060759', 'source': {'id': 'https://openalex.org/S4210192031', 'display_name': 'Mathematics', 'issn_l': '2227-7390', 'issn': ['2227-7390'], 'is_oa': True, 'is_in_doaj': True, 'is_core': True, 'host_organization': 'https://openalex.org/P4310310987', 'host_organization_name': 'Multidisciplinary Digital Publishing Institute', 'host_organization_lineage': ['https://openalex.org/P4310310987'], 'host_organization_lineage_names': ['Multidisciplinary Digital Publishing Institute'], 'type': 'journal'}, 'license': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, {'is_oa': False, 'landing_page_url': 'https://doaj.org/article/b2e79946cc4e4e11af32e12ed4108c80', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306401280', 'display_name': 'DOAJ (DOAJ: Directory of Open Access Journals)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.3390/math9040368', 'pdf_url': 'https://www.mdpi.com/2227-7390/9/4/368/pdf?version=1614060759', 'source': {'id': 'https://openalex.org/S4210192031', 'display_name': 'Mathematics', 'issn_l': '2227-7390', 'issn': ['2227-7390'], 'is_oa': True, 'is_in_doaj': True, 'is_core': True, 'host_organization': 'https://openalex.org/P4310310987', 'host_organization_name': 'Multidisciplinary Digital Publishing Institute', 'host_organization_lineage': ['https://openalex.org/P4310310987'], 'host_organization_lineage_names': ['Multidisciplinary Digital Publishing Institute'], 'type': 'journal'}, 'license': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'sustainable_development_goals': [], 'grants': [{'funder': 'https://openalex.org/F4320334764', 'funder_display_name': 'Japan Society for the Promotion of Science', 'award_id': 'JP19H04082'}], 'datasets': [], 'versions': [], 'referenced_works_count': 34, 'referenced_works': ['https://openalex.org/W1465777884', 'https://openalex.org/W1489391022', 'https://openalex.org/W1495266209', 'https://openalex.org/W1511206757', 'https://openalex.org/W1544533039', 'https://openalex.org/W1552280794', 'https://openalex.org/W162318746', 'https://openalex.org/W1740437405', 'https://openalex.org/W1807555267', 'https://openalex.org/W1819209966', 'https://openalex.org/W1979977091', 'https://openalex.org/W1999288406', 'https://openalex.org/W2033546932', 'https://openalex.org/W2035939573', 'https://openalex.org/W2061438988', 'https://openalex.org/W2066498155', 'https://openalex.org/W2080593426', 'https://openalex.org/W2127574686', 'https://openalex.org/W2147348835', 'https://openalex.org/W2153822668', 'https://openalex.org/W2294307095', 'https://openalex.org/W2465035386', 'https://openalex.org/W2507304958', 'https://openalex.org/W2780733723', 'https://openalex.org/W2795417873', 'https://openalex.org/W2911375523', 'https://openalex.org/W2913689616', 'https://openalex.org/W2968369545', 'https://openalex.org/W2999366812', 'https://openalex.org/W3005443171', 'https://openalex.org/W3035864434', 'https://openalex.org/W3127707154', 'https://openalex.org/W4238794324', 'https://openalex.org/W61606928'], 'related_works': ['https://openalex.org/W4383552332', 'https://openalex.org/W3131295140', 'https://openalex.org/W3127707154', 'https://openalex.org/W278680301', 'https://openalex.org/W2140364234', 'https://openalex.org/W2116366046', 'https://openalex.org/W2098792562', 'https://openalex.org/W2030935018', 'https://openalex.org/W1607121733', 'https://openalex.org/W142178511'], 'abstract_inverted_index': {'The': [0, 15, 40], 'paper': [1], 'proposes': [2], 'a': [3, 19, 62, 82], 'new': [4], 'technique': [5, 16, 34, 41], 'to': [6, 24, 37, 73], 'mitigate': [7], 'the': [8, 31, 33, 65, 74, 87, 90], 'state': [9], 'of': [10, 89], 'explosion': [11], 'in': [12], 'model': [13, 26, 46, 52, 68, 77], 'checking.': [14, 27], 'is': [17, 35], 'called': [18], 'divide': [20], 'and': [21, 55], 'conquer': [22], 'approach': [23], 'eventual': [25, 38, 45, 76], 'As': [28], 'indicated': [29], 'by': [30], 'name,': [32], 'dedicated': [36], 'properties.': [39], 'divides': [42], 'an': [43], 'original': [44, 75], 'checking': [47, 53, 69, 78], 'problem': [48], 'into': [49], 'multiple': [50, 66], 'smaller': [51, 58, 67], 'problems': [54, 70], 'tackles': [56], 'each': [57], 'one.': [59], 'We': [60, 80], 'prove': [61], 'theorem': [63], 'that': [64, 85], 'are': [71], 'equivalent': [72], 'problem.': [79], 'conducted': [81], 'case': [83], 'study': [84], 'demonstrates': [86], 'power': [88], 'proposed': [91], 'technique.': [92]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W3131295140', 'counts_by_year': [{'year': 2024, 'cited_by_count': 2}, {'year': 2023, 'cited_by_count': 2}, {'year': 2022, 'cited_by_count': 4}, {'year': 2021, 'cited_by_count': 4}], 'updated_date': '2024-09-19T15:53:33.669906', 'created_date': '2021-03-01'}