{"id":"https://openalex.org/W2932074657","doi":"https://doi.org/10.1007/978-3-030-17502-3_4","title":"Presentation of the 9th Edition of the Model Checking Contest","display_name":"Presentation of the 9th Edition of the Model Checking Contest","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2932074657","doi":"https://doi.org/10.1007/978-3-030-17502-3_4","mag":"2932074657"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-17502-3_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17502-3_4","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17502-3_4.pdf","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":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17502-3_4.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077535441","display_name":"Elvio Gilberto Amparore","orcid":"https://orcid.org/0000-0003-1147-8985"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["IT","NL"],"is_corresponding":true,"raw_author_name":"Elvio Amparore","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands","Universit degli Studi di Torino, Turin, Italy","Universit\u00e0 degli Studi di Torino, Turin, Italy"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Universit degli Studi di Torino, Turin, Italy","institution_ids":["https://openalex.org/I55143463"]},{"raw_affiliation_string":"Universit\u00e0 degli Studi di Torino, Turin, Italy","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005330030","display_name":"Bernard Berthomieu","orcid":"https://orcid.org/0000-0001-9895-0052"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I196454796","display_name":"Institut National des Sciences Appliqu\u00e9es de Toulouse","ror":"https://ror.org/01h8pf755","country_code":"FR","type":"education","lineage":["https://openalex.org/I196454796","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["FR","NL"],"is_corresponding":false,"raw_author_name":"Bernard Berthomieu","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands","LAAS-CNRS, Universit de Toulouse, CNRS, INSA, Toulouse, France","LAAS-CNRS, Universit\u00e9 de Toulouse, CNRS, INSA, Toulouse, France"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"LAAS-CNRS, Universit de Toulouse, CNRS, INSA, Toulouse, France","institution_ids":["https://openalex.org/I196454796","https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"LAAS-CNRS, Universit\u00e9 de Toulouse, CNRS, INSA, Toulouse, France","institution_ids":["https://openalex.org/I196454796","https://openalex.org/I17866349","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071970957","display_name":"Gianfranco Ciardo","orcid":"https://orcid.org/0000-0002-4906-6145"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL","US"],"is_corresponding":false,"raw_author_name":"Gianfranco Ciardo","raw_affiliation_strings":["Department of Computer Science, Iowa State University, Ames, USA","Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Iowa State University, Ames, USA","institution_ids":["https://openalex.org/I173911158"]},{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022722845","display_name":"Silvano Dal Zilio","orcid":"https://orcid.org/0000-0002-6002-2696"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I196454796","display_name":"Institut National des Sciences Appliqu\u00e9es de Toulouse","ror":"https://ror.org/01h8pf755","country_code":"FR","type":"education","lineage":["https://openalex.org/I196454796","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["FR","NL"],"is_corresponding":false,"raw_author_name":"Silvano Dal Zilio","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands","LAAS-CNRS, Universit de Toulouse, CNRS, INSA, Toulouse, France","LAAS-CNRS, Universit\u00e9 de Toulouse, CNRS, INSA, Toulouse, France"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"LAAS-CNRS, Universit de Toulouse, CNRS, INSA, Toulouse, France","institution_ids":["https://openalex.org/I196454796","https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"LAAS-CNRS, Universit\u00e9 de Toulouse, CNRS, INSA, Toulouse, France","institution_ids":["https://openalex.org/I196454796","https://openalex.org/I17866349","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086166078","display_name":"Francesco Gall\u00e0","orcid":null},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Gall\u00e0","raw_affiliation_strings":["Universit\u00e0 degli Studi di Torino, Turin, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Torino, Turin, Italy","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106525999","display_name":"Lom Messan Hillah","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Lom Messan Hillah","raw_affiliation_strings":["Sorbonne Universit\u00e9, CNRS, LIP6, 75005, Paris, France"],"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9, CNRS, LIP6, 75005, Paris, France","institution_ids":["https://openalex.org/I4210159731","https://openalex.org/I1294671590","https://openalex.org/I39804081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020598827","display_name":"Francis Hulin-Hubard","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]},{"id":"https://openalex.org/I51101395","display_name":"Universit\u00e9 Paris 1 Panth\u00e9on-Sorbonne","ror":"https://ror.org/002t25c44","country_code":"FR","type":"education","lineage":["https://openalex.org/I51101395"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["FR","NL"],"is_corresponding":false,"raw_author_name":"Francis Hulin-Hubard","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands","Sorbonne Universit, CNRS, LIP6, 75005 Paris, France","Sorbonne Universit\u00e9, CNRS, LIP6, 75005, Paris, France"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Sorbonne Universit, CNRS, LIP6, 75005 Paris, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I51101395","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Sorbonne Universit\u00e9, CNRS, LIP6, 75005, Paris, France","institution_ids":["https://openalex.org/I4210159731","https://openalex.org/I1294671590","https://openalex.org/I39804081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028307375","display_name":"Peter Gj\u00f8l Jensen","orcid":"https://orcid.org/0000-0002-9320-9991"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["DK","NL"],"is_corresponding":false,"raw_author_name":"Peter Gj\u00f8l Jensen","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Aalborg, Denmark","Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006544908","display_name":"Lo\u00efg Jezequel","orcid":"https://orcid.org/0000-0001-5113-9668"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210117005","display_name":"Laboratoire des Sciences du Num\u00e9rique de Nantes","ror":"https://ror.org/02snf8m58","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I4210117005","https://openalex.org/I4210124215","https://openalex.org/I4210127572","https://openalex.org/I4210139971","https://openalex.org/I97188460","https://openalex.org/I97188460"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]},{"id":"https://openalex.org/I97188460","display_name":"Nantes Universit\u00e9","ror":"https://ror.org/03gnr7b55","country_code":"FR","type":"education","lineage":["https://openalex.org/I97188460"]}],"countries":["FR","NL"],"is_corresponding":false,"raw_author_name":"Lo\u00efg Jezequel","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands","Universit de Nantes, LS2N, UMR CNRS 6597, 44321 Nantes, France","Universit\u00e9 de Nantes, LS2N, UMR CNRS 6597, 44321, Nantes, France"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Universit de Nantes, LS2N, UMR CNRS 6597, 44321 Nantes, France","institution_ids":["https://openalex.org/I97188460","https://openalex.org/I4210117005","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Universit\u00e9 de Nantes, LS2N, UMR CNRS 6597, 44321, Nantes, France","institution_ids":["https://openalex.org/I97188460","https://openalex.org/I4210117005","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107809697","display_name":"Fabrice Kordon","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]},{"id":"https://openalex.org/I51101395","display_name":"Universit\u00e9 Paris 1 Panth\u00e9on-Sorbonne","ror":"https://ror.org/002t25c44","country_code":"FR","type":"education","lineage":["https://openalex.org/I51101395"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["FR","NL"],"is_corresponding":false,"raw_author_name":"Fabrice Kordon","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands","Sorbonne Universit, CNRS, LIP6, 75005 Paris, France","Sorbonne Universit\u00e9, CNRS, LIP6, 75005, Paris, France"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Sorbonne Universit, CNRS, LIP6, 75005 Paris, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I51101395","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Sorbonne Universit\u00e9, CNRS, LIP6, 75005, Paris, France","institution_ids":["https://openalex.org/I4210159731","https://openalex.org/I1294671590","https://openalex.org/I39804081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053551176","display_name":"Didier Le Botlan","orcid":"https://orcid.org/0000-0002-6457-2740"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I196454796","display_name":"Institut National des Sciences Appliqu\u00e9es de Toulouse","ror":"https://ror.org/01h8pf755","country_code":"FR","type":"education","lineage":["https://openalex.org/I196454796","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["FR","NL"],"is_corresponding":false,"raw_author_name":"Didier Le Botlan","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands","LAAS-CNRS, Universit de Toulouse, CNRS, INSA, Toulouse, France","LAAS-CNRS, Universit\u00e9 de Toulouse, CNRS, INSA, Toulouse, France"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"LAAS-CNRS, Universit de Toulouse, CNRS, INSA, Toulouse, France","institution_ids":["https://openalex.org/I196454796","https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"LAAS-CNRS, Universit\u00e9 de Toulouse, CNRS, INSA, Toulouse, France","institution_ids":["https://openalex.org/I196454796","https://openalex.org/I17866349","https://openalex.org/I1294671590","https://openalex.org/I190497903"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083995312","display_name":"Torsten Liebke","orcid":null},"institutions":[{"id":"https://openalex.org/I4665924","display_name":"University of Rostock","ror":"https://ror.org/03zdwsf69","country_code":"DE","type":"education","lineage":["https://openalex.org/I4665924"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["DE","NL"],"is_corresponding":false,"raw_author_name":"Torsten Liebke","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands","Institut fr Informatik, Universitt Rostock, 18051 Rostock, Germany","Institut f\u00fcr Informatik, Universit\u00e4t Rostock, 18051, Rostock, Germany"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Institut fr Informatik, Universitt Rostock, 18051 Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]},{"raw_affiliation_string":"Institut f\u00fcr Informatik, Universit\u00e4t Rostock, 18051, Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052045186","display_name":"Jeroen Meijer","orcid":"https://orcid.org/0000-0002-1591-1195"},"institutions":[{"id":"https://openalex.org/I110736937","display_name":"D\u00e9l\u00e9gation Paris 5","ror":"https://ror.org/02e0y6e06","country_code":"FR","type":"government","lineage":["https://openalex.org/I110736937","https://openalex.org/I154526488"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["FR","NL"],"is_corresponding":false,"raw_author_name":"Jeroen Meijer","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands","Universit Paris Descartes, 75005 Paris, France","Universit\u00e9 Paris Descartes, 75005, Paris, France"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Universit Paris Descartes, 75005 Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I110736937"]},{"raw_affiliation_string":"Universit\u00e9 Paris Descartes, 75005, Paris, France","institution_ids":["https://openalex.org/I110736937","https://openalex.org/I204730241"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037662686","display_name":"Andrew S. Miner","orcid":"https://orcid.org/0000-0002-7737-6888"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL","US"],"is_corresponding":false,"raw_author_name":"Andrew Miner","raw_affiliation_strings":["Department of Computer Science, Iowa State University, Ames, USA","Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Iowa State University, Ames, USA","institution_ids":["https://openalex.org/I173911158"]},{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088936423","display_name":"Emmanuel Paviot-Adet","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Emmanuel Paviot-Adet","raw_affiliation_strings":["Sorbonne Universit\u00e9, CNRS, LIP6, 75005, Paris, France"],"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9, CNRS, LIP6, 75005, Paris, France","institution_ids":["https://openalex.org/I4210159731","https://openalex.org/I1294671590","https://openalex.org/I39804081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009728620","display_name":"Ji\u0159\u0131\u0301 Srba","orcid":"https://orcid.org/0000-0001-5551-6547"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Ji\u0159\u00ed Srba","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033313993","display_name":"Yann Thierry-Mieg","orcid":"https://orcid.org/0000-0001-7775-1978"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]},{"id":"https://openalex.org/I51101395","display_name":"Universit\u00e9 Paris 1 Panth\u00e9on-Sorbonne","ror":"https://ror.org/002t25c44","country_code":"FR","type":"education","lineage":["https://openalex.org/I51101395"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["FR","NL"],"is_corresponding":false,"raw_author_name":"Yann Thierry-Mieg","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands","Sorbonne Universit, CNRS, LIP6, 75005 Paris, France","Sorbonne Universit\u00e9, CNRS, LIP6, 75005, Paris, France"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Sorbonne Universit, CNRS, LIP6, 75005 Paris, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I51101395","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Sorbonne Universit\u00e9, CNRS, LIP6, 75005, Paris, France","institution_ids":["https://openalex.org/I4210159731","https://openalex.org/I1294671590","https://openalex.org/I39804081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043493738","display_name":"Tom van Dijk","orcid":"https://orcid.org/0000-0002-5366-1051"},"institutions":[{"id":"https://openalex.org/I110736937","display_name":"D\u00e9l\u00e9gation Paris 5","ror":"https://ror.org/02e0y6e06","country_code":"FR","type":"government","lineage":["https://openalex.org/I110736937","https://openalex.org/I154526488"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["FR","NL"],"is_corresponding":false,"raw_author_name":"Tom van Dijk","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands","Universit Paris Descartes, 75005 Paris, France","Universit\u00e9 Paris Descartes, 75005, Paris, France"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Universit Paris Descartes, 75005 Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I110736937"]},{"raw_affiliation_string":"Universit\u00e9 Paris Descartes, 75005, Paris, France","institution_ids":["https://openalex.org/I110736937","https://openalex.org/I204730241"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081511497","display_name":"Karsten Wolf","orcid":"https://orcid.org/0009-0003-9877-6973"},"institutions":[{"id":"https://openalex.org/I4665924","display_name":"University of Rostock","ror":"https://ror.org/03zdwsf69","country_code":"DE","type":"education","lineage":["https://openalex.org/I4665924"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["DE","NL"],"is_corresponding":false,"raw_author_name":"Karsten Wolf","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands","Institut fr Informatik, Universitt Rostock, 18051 Rostock, Germany","Institut f\u00fcr Informatik, Universit\u00e4t Rostock, 18051, Rostock, Germany"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Institut fr Informatik, Universitt Rostock, 18051 Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]},{"raw_affiliation_string":"Institut f\u00fcr Informatik, Universit\u00e4t Rostock, 18051, Rostock, Germany","institution_ids":["https://openalex.org/I4665924"]}]}],"institutions":[],"countries_distinct_count":6,"institutions_distinct_count":19,"corresponding_author_ids":["https://openalex.org/A5077535441"],"corresponding_institution_ids":["https://openalex.org/I55143463","https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":11.7442,"has_fulltext":true,"cited_by_count":32,"citation_normalized_percentile":{"value":0.98959688,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"50","last_page":"68"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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":"Software Testing and Debugging Techniques","score":0.9990000128746033,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9983999729156494,"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/contest","display_name":"CONTEST","score":0.9056491851806641},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8306881785392761},{"id":"https://openalex.org/keywords/presentation","display_name":"Presentation (obstetrics)","score":0.7552769184112549},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3936240077018738},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.05464577674865723}],"concepts":[{"id":"https://openalex.org/C2777582232","wikidata":"https://www.wikidata.org/wiki/Q5013414","display_name":"CONTEST","level":2,"score":0.9056491851806641},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8306881785392761},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.7552769184112549},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3936240077018738},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.05464577674865723},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","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/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/978-3-030-17502-3_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17502-3_4","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17502-3_4.pdf","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"},{"id":"pmh:oai:pure.atira.dk:openaire/87aaab98-d00a-45ec-b109-393e2856d232","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/87aaab98-d00a-45ec-b109-393e2856d232","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Amparore, E, Berthomieu, B, Ciardo, G, Dal Zilio, S, Gall\u00e0, F, Hillah, L M, Hulin-Hubard, F, Jensen, P G, Jezequel, L, Kordon, F, Le Botlan, D, Liebke, T, Meijer, J, Miner, A, Paviot-Adet, E, Srba, J, Thierry-Mieg, Y, van Dijk, T & Wolf, K 2019, Presentation of the 9th Edition of the Model Checking Contest. in F Kordon, M Huisman, B Steffen & D Beyer (eds), International Conference on Tools and Algorithms for the Construction and Analysis of Systems : TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems. Springer, Lecture Notes in Computer Science, vol. 11429, pp. 50-68, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 06/04/2019. https://doi.org/10.1007/978-3-030-17502-3_4","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/1f938362-edd4-4696-806e-3a1a7b06e5fe","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/1f938362-edd4-4696-806e-3a1a7b06e5fe","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Amparore, E, Berthomieu, B, Ciardo, G, Dal Zilio, S, Gall\u00e0, F, Hillah, L M, Hulin-Hubard, F, Jensen, P G, Jezequel, L, Kordon, F, Le Botlan, D, Liebke, T, Meijer, J, Miner, A, Paviot-Adet, E, Srba, J, Thierry-Mieg, Y, van Dijk, T & Wolf, K 2019, Presentation of the 9th Edition of the Model Checking Contest. in F Kordon, M Huisman, B Steffen & D Beyer (eds), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS : TOOLympics, Held as Part of ETAPS 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11429 LNCS, Springer, pp. 50-68, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 , Prague, Czech Republic, 6/04/19. https://doi.org/10.1007/978-3-030-17502-3_4","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:HAL:hal-02094047v1","is_oa":false,"landing_page_url":"https://hal.sorbonne-universite.fr/hal-02094047","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩","raw_type":"Conference papers"},{"id":"pmh:oai:iris.unito.it:2318/1764223","is_oa":true,"landing_page_url":"http://hdl.handle.net/2318/1764223","pdf_url":null,"source":{"id":"https://openalex.org/S4306400637","display_name":"Institutional Research Information System University of Turin (University of Turin)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I55143463","host_organization_name":"University of Turin","host_organization_lineage":["https://openalex.org/I55143463"],"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":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:zenodo.org:31214","is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/31214","pdf_url":null,"source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-17502-3_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17502-3_4","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17502-3_4.pdf","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"},"sustainable_development_goals":[{"score":0.4399999976158142,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2932074657.pdf","grobid_xml":"https://content.openalex.org/works/W2932074657.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W46678526","https://openalex.org/W79217171","https://openalex.org/W160689082","https://openalex.org/W1569724714","https://openalex.org/W1572590947","https://openalex.org/W1864649459","https://openalex.org/W1966471203","https://openalex.org/W2033084216","https://openalex.org/W2039784168","https://openalex.org/W2070996046","https://openalex.org/W2081128174","https://openalex.org/W2103217448","https://openalex.org/W2111575167","https://openalex.org/W2147543317","https://openalex.org/W2179661259","https://openalex.org/W2180231313","https://openalex.org/W2227958109","https://openalex.org/W2401248486","https://openalex.org/W2484209472","https://openalex.org/W2488668998","https://openalex.org/W2512771309","https://openalex.org/W2512806456","https://openalex.org/W2522043470","https://openalex.org/W2750367645","https://openalex.org/W2755297013","https://openalex.org/W2799968455","https://openalex.org/W2800575625","https://openalex.org/W2802268138","https://openalex.org/W2808332118","https://openalex.org/W2860545744","https://openalex.org/W2892268670","https://openalex.org/W2900639984","https://openalex.org/W2901320723","https://openalex.org/W2901878185","https://openalex.org/W2911430074","https://openalex.org/W2933095270","https://openalex.org/W2935572284","https://openalex.org/W4242790377","https://openalex.org/W4247116705"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2735088306","https://openalex.org/W4286740636","https://openalex.org/W2946214509","https://openalex.org/W2606108738","https://openalex.org/W2628063975","https://openalex.org/W2356479129","https://openalex.org/W2387346515"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":3}],"updated_date":"2026-04-07T14:57:38.498316","created_date":"2025-10-10T00:00:00"}