Get quick answers to your questions about the article from our AI researcher chatbot
{'id': 'https://openalex.org/W3149778991', 'doi': 'https://doi.org/10.1007/978-3-030-54994-7', 'title': 'Formal Methods. FM 2019 International Workshops', 'display_name': 'Formal Methods. FM 2019 International Workshops', 'publication_year': 2020, 'publication_date': '2020-01-01', 'ids': {'openalex': 'https://openalex.org/W3149778991', 'doi': 'https://doi.org/10.1007/978-3-030-54994-7', 'mag': '3149778991'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1007/978-3-030-54994-7', 'pdf_url': None, '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/P4310319965', 'https://openalex.org/P4310319900'], 'host_organization_lineage_names': ['Springer Nature', 'Springer Science+Business Media'], 'type': 'book series'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'book', 'type_crossref': 'book', 'indexed_in': ['crossref'], 'open_access': {'is_oa': True, 'oa_status': 'green', 'oa_url': 'http://repositorio.inesctec.pt/bitstreams/4ea84680-ce4a-44a0-8dd2-93d510e5473a/download', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5040143379', 'display_name': 'Emil Sekerinski', 'orcid': 'https://orcid.org/0000-0001-9788-5842'}, 'institutions': [{'id': 'https://openalex.org/I98251732', 'display_name': 'McMaster University', 'ror': 'https://ror.org/02fa3aq29', 'country_code': 'CA', 'type': 'education', 'lineage': ['https://openalex.org/I98251732']}], 'countries': ['CA'], 'is_corresponding': False, 'raw_author_name': 'Emil Sekerinski', 'raw_affiliation_strings': ['McMaster University, Hamilton, Canada'], 'affiliations': [{'raw_affiliation_string': 'McMaster University, Hamilton, Canada', 'institution_ids': ['https://openalex.org/I98251732']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5050789330', 'display_name': 'Nelma Moreira', 'orcid': 'https://orcid.org/0000-0003-0861-0105'}, 'institutions': [{'id': 'https://openalex.org/I182534213', 'display_name': 'Universidade do Porto', 'ror': 'https://ror.org/043pwc612', 'country_code': 'PT', 'type': 'education', 'lineage': ['https://openalex.org/I182534213']}], 'countries': ['PT'], 'is_corresponding': False, 'raw_author_name': 'Nelma Moreira', 'raw_affiliation_strings': ['University of Porto, Porto, Portugal'], 'affiliations': [{'raw_affiliation_string': 'University of Porto, Porto, Portugal', 'institution_ids': ['https://openalex.org/I182534213']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5070407243', 'display_name': 'José N. Oliveira', 'orcid': 'https://orcid.org/0000-0002-0196-4229'}, 'institutions': [{'id': 'https://openalex.org/I99682543', 'display_name': 'University of Minho', 'ror': 'https://ror.org/037wpkx04', 'country_code': 'PT', 'type': 'education', 'lineage': ['https://openalex.org/I99682543']}], 'countries': ['PT'], 'is_corresponding': False, 'raw_author_name': 'José N. Oliveira', 'raw_affiliation_strings': ['University of Minho, Braga, Portugal'], 'affiliations': [{'raw_affiliation_string': 'University of Minho, Braga, Portugal', 'institution_ids': ['https://openalex.org/I99682543']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5085769561', 'display_name': 'Daniel Ratiu', 'orcid': None}, 'institutions': [], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'Daniel Ratiu', 'raw_affiliation_strings': ['Argo Ai, Munich, Germany'], 'affiliations': [{'raw_affiliation_string': 'Argo Ai, Munich, Germany', 'institution_ids': []}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5091251187', 'display_name': 'Riccardo Guidotti', 'orcid': 'https://orcid.org/0000-0002-2827-7613'}, 'institutions': [{'id': 'https://openalex.org/I108290504', 'display_name': 'University of Pisa', 'ror': 'https://ror.org/03ad39j10', 'country_code': 'IT', 'type': 'education', 'lineage': ['https://openalex.org/I108290504']}], 'countries': ['IT'], 'is_corresponding': False, 'raw_author_name': 'Riccardo Guidotti', 'raw_affiliation_strings': ['University of Pisa, Pisa, Italy'], 'affiliations': [{'raw_affiliation_string': 'University of Pisa, Pisa, Italy', 'institution_ids': ['https://openalex.org/I108290504']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5076259366', 'display_name': 'Marie Farrell', 'orcid': 'https://orcid.org/0000-0001-7708-3877'}, 'institutions': [{'id': 'https://openalex.org/I146655781', 'display_name': 'University of Liverpool', 'ror': 'https://ror.org/04xs57h96', 'country_code': 'GB', 'type': 'education', 'lineage': ['https://openalex.org/I146655781']}], 'countries': ['GB'], 'is_corresponding': False, 'raw_author_name': 'Marie Farrell', 'raw_affiliation_strings': ['University of Liverpool, Liverpool, UK'], 'affiliations': [{'raw_affiliation_string': 'University of Liverpool, Liverpool, UK', 'institution_ids': ['https://openalex.org/I146655781']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5053767784', 'display_name': 'Matt Luckcuck', 'orcid': 'https://orcid.org/0000-0002-6444-9312'}, 'institutions': [{'id': 'https://openalex.org/I146655781', 'display_name': 'University of Liverpool', 'ror': 'https://ror.org/04xs57h96', 'country_code': 'GB', 'type': 'education', 'lineage': ['https://openalex.org/I146655781']}], 'countries': ['GB'], 'is_corresponding': False, 'raw_author_name': 'Matt Luckcuck', 'raw_affiliation_strings': ['University of Liverpool, Liverpool, UK'], 'affiliations': [{'raw_affiliation_string': 'University of Liverpool, Liverpool, UK', 'institution_ids': ['https://openalex.org/I146655781']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5050136687', 'display_name': 'Diego Marmsoler', 'orcid': 'https://orcid.org/0000-0003-2859-7673'}, 'institutions': [{'id': 'https://openalex.org/I23923803', 'display_name': 'University of Exeter', 'ror': 'https://ror.org/03yghzc09', 'country_code': 'GB', 'type': 'education', 'lineage': ['https://openalex.org/I23923803']}], 'countries': ['GB'], 'is_corresponding': False, 'raw_author_name': 'Diego Marmsoler', 'raw_affiliation_strings': ['University of Exeter, Exeter, UK'], 'affiliations': [{'raw_affiliation_string': 'University of Exeter, Exeter, UK', 'institution_ids': ['https://openalex.org/I23923803']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5061819639', 'display_name': 'José Creissac Campos', 'orcid': 'https://orcid.org/0000-0001-9163-580X'}, 'institutions': [{'id': 'https://openalex.org/I99682543', 'display_name': 'University of Minho', 'ror': 'https://ror.org/037wpkx04', 'country_code': 'PT', 'type': 'education', 'lineage': ['https://openalex.org/I99682543']}], 'countries': ['PT'], 'is_corresponding': False, 'raw_author_name': 'José Campos', 'raw_affiliation_strings': ['University of Minho, Braga, Portugal'], 'affiliations': [{'raw_affiliation_string': 'University of Minho, Braga, Portugal', 'institution_ids': ['https://openalex.org/I99682543']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5037549957', 'display_name': 'Troy Astarte', 'orcid': 'https://orcid.org/0000-0002-5582-4096'}, 'institutions': [{'id': 'https://openalex.org/I84884186', 'display_name': 'Newcastle University', 'ror': 'https://ror.org/01kj2bm70', 'country_code': 'GB', 'type': 'education', 'lineage': ['https://openalex.org/I84884186']}], 'countries': ['GB'], 'is_corresponding': False, 'raw_author_name': 'Troy Astarte', 'raw_affiliation_strings': ['University of Newcastle, Newcastle upon Tyne, UK'], 'affiliations': [{'raw_affiliation_string': 'University of Newcastle, Newcastle upon Tyne, UK', 'institution_ids': ['https://openalex.org/I84884186']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5059186408', 'display_name': 'Laure Gonnord', 'orcid': 'https://orcid.org/0000-0002-8013-1611'}, 'institutions': [{'id': 'https://openalex.org/I100532134', 'display_name': 'Université Claude Bernard Lyon 1', 'ror': 'https://ror.org/029brtt94', 'country_code': 'FR', 'type': 'education', 'lineage': ['https://openalex.org/I100532134', 'https://openalex.org/I203339264']}], 'countries': ['FR'], 'is_corresponding': False, 'raw_author_name': 'Laure Gonnord', 'raw_affiliation_strings': ['Claude Bernard University, Lyon, France'], 'affiliations': [{'raw_affiliation_string': 'Claude Bernard University, Lyon, France', 'institution_ids': ['https://openalex.org/I100532134']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5048782242', 'display_name': 'António Cerone', 'orcid': 'https://orcid.org/0000-0003-2691-5279'}, 'institutions': [{'id': 'https://openalex.org/I60559429', 'display_name': 'Nazarbayev University', 'ror': 'https://ror.org/052bx8q98', 'country_code': 'KZ', 'type': 'education', 'lineage': ['https://openalex.org/I60559429']}], 'countries': ['KZ'], 'is_corresponding': False, 'raw_author_name': 'Antonio Cerone', 'raw_affiliation_strings': ['Nazarbayev University, Nur-Sultan, Kazakhstan'], 'affiliations': [{'raw_affiliation_string': 'Nazarbayev University, Nur-Sultan, Kazakhstan', 'institution_ids': ['https://openalex.org/I60559429']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5053484850', 'display_name': 'Luís Diogo Couto', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I28290843', 'display_name': 'University of Surrey', 'ror': 'https://ror.org/00ks66431', 'country_code': 'GB', 'type': 'education', 'lineage': ['https://openalex.org/I28290843']}], 'countries': ['GB'], 'is_corresponding': False, 'raw_author_name': 'Luis Couto', 'raw_affiliation_strings': ['University of Surrey, Guildford, UK'], 'affiliations': [{'raw_affiliation_string': 'University of Surrey, Guildford, UK', 'institution_ids': ['https://openalex.org/I28290843']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5012214843', 'display_name': 'Brijesh Dongol', 'orcid': 'https://orcid.org/0000-0003-0446-3507'}, 'institutions': [{'id': 'https://openalex.org/I28290843', 'display_name': 'University of Surrey', 'ror': 'https://ror.org/00ks66431', 'country_code': 'GB', 'type': 'education', 'lineage': ['https://openalex.org/I28290843']}], 'countries': ['GB'], 'is_corresponding': False, 'raw_author_name': 'Brijesh Dongol', 'raw_affiliation_strings': ['University of Surrey, Guildford, UK'], 'affiliations': [{'raw_affiliation_string': 'University of Surrey, Guildford, UK', 'institution_ids': ['https://openalex.org/I28290843']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5026803820', 'display_name': 'Martin Kutrib', 'orcid': 'https://orcid.org/0000-0002-9564-2625'}, 'institutions': [{'id': 'https://openalex.org/I4210148049', 'display_name': 'Giessen School of Theology', 'ror': 'https://ror.org/03kzgcv48', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I4210148049']}, {'id': 'https://openalex.org/I200763008', 'display_name': 'University of Giessen', 'ror': 'https://ror.org/033eqas34', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I200763008']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'Martin Kutrib', 'raw_affiliation_strings': ['University of Giessen, Giessen, Germany'], 'affiliations': [{'raw_affiliation_string': 'University of Giessen, Giessen, Germany', 'institution_ids': ['https://openalex.org/I4210148049', 'https://openalex.org/I200763008']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5025560387', 'display_name': 'Pedro T. Monteiro', 'orcid': 'https://orcid.org/0000-0002-7934-5495'}, 'institutions': [{'id': 'https://openalex.org/I141596103', 'display_name': 'University of Lisbon', 'ror': 'https://ror.org/01c27hj86', 'country_code': 'PT', 'type': 'education', 'lineage': ['https://openalex.org/I141596103']}], 'countries': ['PT'], 'is_corresponding': False, 'raw_author_name': 'Pedro Monteiro', 'raw_affiliation_strings': ['University of Lisbon, Lisbon, Portugal'], 'affiliations': [{'raw_affiliation_string': 'University of Lisbon, Lisbon, Portugal', 'institution_ids': ['https://openalex.org/I141596103']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5022866510', 'display_name': 'David Delmas', 'orcid': 'https://orcid.org/0000-0002-9236-9870'}, 'institutions': [{'id': 'https://openalex.org/I112991645', 'display_name': 'Airbus (France)', 'ror': 'https://ror.org/023qdcg29', 'country_code': 'FR', 'type': 'company', 'lineage': ['https://openalex.org/I112991645', 'https://openalex.org/I4210121748']}], 'countries': ['FR'], 'is_corresponding': False, 'raw_author_name': 'David Delmas', 'raw_affiliation_strings': ['Airbus Operations S.A.S., Toulouse, France'], 'affiliations': [{'raw_affiliation_string': 'Airbus Operations S.A.S., Toulouse, France', 'institution_ids': ['https://openalex.org/I112991645']}]}], 'institution_assertions': [], 'countries_distinct_count': 7, 'institutions_distinct_count': 14, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': {'value': 5000, 'currency': 'EUR', 'value_usd': 5392, 'provenance': 'doaj'}, 'apc_paid': None, 'fwci': 0.819, 'has_fulltext': True, 'fulltext_origin': 'pdf', 'cited_by_count': 5, 'citation_normalized_percentile': None, 'cited_by_percentile_year': {'min': 79, 'max': 81}, 'biblio': {'volume': None, 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': None, 'topics': [], 'keywords': [], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.7903265}, {'id': 'https://openalex.org/C75606506', 'wikidata': 'https://www.wikidata.org/wiki/Q1049183', 'display_name': 'Formal methods', 'level': 2, 'score': 0.47169116}, {'id': 'https://openalex.org/C115903868', 'wikidata': 'https://www.wikidata.org/wiki/Q80993', 'display_name': 'Software engineering', 'level': 1, 'score': 0.40431863}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.3929318}], 'mesh': [], 'locations_count': 3, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1007/978-3-030-54994-7', 'pdf_url': None, '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/P4310319965', 'https://openalex.org/P4310319900'], 'host_organization_lineage_names': ['Springer Nature', 'Springer Science+Business Media'], 'type': 'book series'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'http://repositorio.inesctec.pt/handle/123456789/11774', 'pdf_url': 'http://repositorio.inesctec.pt/bitstreams/4ea84680-ce4a-44a0-8dd2-93d510e5473a/download', 'source': {'id': 'https://openalex.org/S4306402433', 'display_name': 'Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)', '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': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'http://repositorio.inesctec.pt/handle/123456789/11773', 'pdf_url': 'http://repositorio.inesctec.pt/bitstreams/e46c0cbc-9f3f-4e30-afce-45bd805586b1/download', 'source': {'id': 'https://openalex.org/S4306402433', 'display_name': 'Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)', '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': 'submittedVersion', 'is_accepted': False, 'is_published': False}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'http://repositorio.inesctec.pt/handle/123456789/11774', 'pdf_url': 'http://repositorio.inesctec.pt/bitstreams/4ea84680-ce4a-44a0-8dd2-93d510e5473a/download', 'source': {'id': 'https://openalex.org/S4306402433', 'display_name': 'Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)', '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': 'submittedVersion', 'is_accepted': False, 'is_published': False}, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 8, 'referenced_works': ['https://openalex.org/W2902962809', 'https://openalex.org/W3048397483', 'https://openalex.org/W3048781566', 'https://openalex.org/W3048823175', 'https://openalex.org/W3048865075', 'https://openalex.org/W3048896498', 'https://openalex.org/W3048922837', 'https://openalex.org/W3082679250'], 'related_works': ['https://openalex.org/W4243252198', 'https://openalex.org/W3137189469', 'https://openalex.org/W2283267494', 'https://openalex.org/W2166247150', 'https://openalex.org/W2121507724', 'https://openalex.org/W2118300983', 'https://openalex.org/W2112962394', 'https://openalex.org/W2109507516', 'https://openalex.org/W1966978306', 'https://openalex.org/W1577002526'], 'abstract_inverted_index': None, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W3149778991', 'counts_by_year': [{'year': 2023, 'cited_by_count': 3}, {'year': 2022, 'cited_by_count': 1}], 'updated_date': '2024-12-28T19:42:08.581055', 'created_date': '2021-04-13'}