{"id":"https://openalex.org/W2129659049","doi":"https://doi.org/10.1007/978-3-642-00431-5_5","title":"Survey on Directed Model Checking","display_name":"Survey on Directed Model Checking","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W2129659049","doi":"https://doi.org/10.1007/978-3-642-00431-5_5","mag":"2129659049"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-00431-5_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-00431-5_5","pdf_url":null,"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":"green","oa_url":"https://kops.uni-konstanz.de/server/api/core/bitstreams/2b04753f-7c96-4faa-b493-495e12d63d53/content","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058729606","display_name":"Stefan Edelkamp","orcid":"https://orcid.org/0000-0001-8435-5025"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Stefan Edelkamp","raw_affiliation_strings":["Dortmund University of Technology, Germany"],"affiliations":[{"raw_affiliation_string":"Dortmund University of Technology, Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085739836","display_name":"Viktor Schuppan","orcid":"https://orcid.org/0000-0001-5638-3678"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Viktor Schuppan","raw_affiliation_strings":["FBK-IRST, Trento, Italy","FBK-IRST, Trento, Italy#TAB#"],"affiliations":[{"raw_affiliation_string":"FBK-IRST, Trento, Italy","institution_ids":[]},{"raw_affiliation_string":"FBK-IRST, Trento, Italy#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077791579","display_name":"Dragan Bo\u0161na\u010dki","orcid":"https://orcid.org/0000-0003-4371-4436"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Dragan Bo\u0161na\u010dki","raw_affiliation_strings":["Eindhoven University of Technology, Netherlands","Eindhoven University of Technology, Netherlands,"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology, Netherlands,","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036964869","display_name":"Anton Wijs","orcid":"https://orcid.org/0000-0002-2071-9624"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Anton Wijs","raw_affiliation_strings":["INRIA/VASY, Montbonnot St Martin, France","INRIA/VASY, Montbonnot St Martin, France#TAB#"],"affiliations":[{"raw_affiliation_string":"INRIA/VASY, Montbonnot St Martin, France","institution_ids":["https://openalex.org/I4210101348","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"INRIA/VASY, Montbonnot St Martin, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015799790","display_name":"Ansgar Fehnker","orcid":"https://orcid.org/0000-0002-5326-3432"},"institutions":[{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Ansgar Fehnker","raw_affiliation_strings":["National ICT, Sydney, Australia","National ICT, Sydney, Australia#TAB#"],"affiliations":[{"raw_affiliation_string":"National ICT, Sydney, Australia","institution_ids":["https://openalex.org/I42894916"]},{"raw_affiliation_string":"National ICT, Sydney, Australia#TAB#","institution_ids":["https://openalex.org/I42894916"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085038179","display_name":"Husain Aljazzar","orcid":null},"institutions":[{"id":"https://openalex.org/I189712700","display_name":"University of Konstanz","ror":"https://ror.org/0546hnb39","country_code":"DE","type":"education","lineage":["https://openalex.org/I189712700"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Husain Aljazzar","raw_affiliation_strings":["University of Konstanz, Germany","[University of Konstanz, Germany]"],"affiliations":[{"raw_affiliation_string":"University of Konstanz, Germany","institution_ids":["https://openalex.org/I189712700"]},{"raw_affiliation_string":"[University of Konstanz, Germany]","institution_ids":["https://openalex.org/I189712700"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5058729606"],"corresponding_institution_ids":["https://openalex.org/I200332995"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.9108,"has_fulltext":true,"cited_by_count":40,"citation_normalized_percentile":{"value":0.94452464,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"65","last_page":"89"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9976000189781189,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9970999956130981,"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/computer-science","display_name":"Computer science","score":0.8581698536872864},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.8413355350494385},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7183505296707153},{"id":"https://openalex.org/keywords/partial-order-reduction","display_name":"Partial order reduction","score":0.6741489171981812},{"id":"https://openalex.org/keywords/successor-cardinal","display_name":"Successor cardinal","score":0.6427564024925232},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5270735621452332},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5168052911758423},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.4902339577674866},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4812202751636505},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4633394479751587},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.4460827708244324},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2805253267288208},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22396013140678406},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08132338523864746}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8581698536872864},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8413355350494385},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7183505296707153},{"id":"https://openalex.org/C94633896","wikidata":"https://www.wikidata.org/wiki/Q7140378","display_name":"Partial order reduction","level":3,"score":0.6741489171981812},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.6427564024925232},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5270735621452332},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5168052911758423},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.4902339577674866},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4812202751636505},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4633394479751587},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4460827708244324},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2805253267288208},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22396013140678406},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08132338523864746},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":9,"locations":[{"id":"doi:10.1007/978-3-642-00431-5_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-00431-5_5","pdf_url":null,"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.tue.nl:publications/a6ac3495-1ce9-4944-b92d-2e7eb6922c23","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/a6ac3495-1ce9-4944-b92d-2e7eb6922c23","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Edelkamp, S, Schuppan, V, Bosnacki, D, Wijs, A J, Fehnker, A & Aljazzar, H 2008, Survey on directed model checking. in D Peled & M Wooldridge (eds), Model Checking and Artificial Intelligence (5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers). Lecture Notes in Computer Science, vol. 5348, Springer, Berlin, pp. 65-89. https://doi.org/10.1007/978-3-642-00431-5_5","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:kops.uni-konstanz.de:123456789/6321","is_oa":true,"landing_page_url":"http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-105044","pdf_url":"https://kops.uni-konstanz.de/server/api/core/bitstreams/2b04753f-7c96-4faa-b493-495e12d63d53/content","source":{"id":"https://openalex.org/S4306401487","display_name":"KOPS (University of Konstanz)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189712700","host_organization_name":"University of Konstanz","host_organization_lineage":["https://openalex.org/I189712700"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"PELED,  Doron A.,  ed.,  Michael J. WOOLDRIDGE,  ed.. Model Checking and Artificial Intelligence. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009, pp. 65-89. Lecture Notes in Computer Science. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-642-00430-8. Available under: doi: 10.1007/978-3-642-00431-5_5","raw_type":"doc-type:Text"},{"id":"pmh:668705","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=668705","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.147.9871","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.9871","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hal.inria.fr/docs/00/40/65/52/PDF/Edelkamp-Schuppan-Bosnacki-et-al-09.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.157.8704","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.8704","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.inf.uni-konstanz.de/soft/research/publications/pdf/EdelkamSBWFA09.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:inria-00406552v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00406552","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"MoChArt 2008 - 5th International Workshop, Jul 2008, Patras, Greece. pp.65-89, ⟨10.1007/978-3-642-00431-5_5⟩","raw_type":"Conference papers"},{"id":"pmh:oai:library.tue.nl:668705","is_oa":false,"landing_page_url":"http://repository.tue.nl/668705","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:tue:oai:pure.tue.nl:publications/a6ac3495-1ce9-4944-b92d-2e7eb6922c23","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/a6ac3495-1ce9-4944-b92d-2e7eb6922c23","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Model Checking and Artificial Intelligence (5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers), 65 - 89","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"pmh:oai:kops.uni-konstanz.de:123456789/6321","is_oa":true,"landing_page_url":"http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-105044","pdf_url":"https://kops.uni-konstanz.de/server/api/core/bitstreams/2b04753f-7c96-4faa-b493-495e12d63d53/content","source":{"id":"https://openalex.org/S4306401487","display_name":"KOPS (University of Konstanz)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189712700","host_organization_name":"University of Konstanz","host_organization_lineage":["https://openalex.org/I189712700"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"PELED,  Doron A.,  ed.,  Michael J. WOOLDRIDGE,  ed.. Model Checking and Artificial Intelligence. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009, pp. 65-89. Lecture Notes in Computer Science. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-642-00430-8. Available under: doi: 10.1007/978-3-642-00431-5_5","raw_type":"doc-type:Text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2129659049.pdf","grobid_xml":"https://content.openalex.org/works/W2129659049.grobid-xml"},"referenced_works_count":124,"referenced_works":["https://openalex.org/W38076005","https://openalex.org/W38949640","https://openalex.org/W53168734","https://openalex.org/W61031493","https://openalex.org/W68069235","https://openalex.org/W78026558","https://openalex.org/W86598623","https://openalex.org/W89579886","https://openalex.org/W91571417","https://openalex.org/W121584634","https://openalex.org/W134535133","https://openalex.org/W166751945","https://openalex.org/W1483370895","https://openalex.org/W1487258612","https://openalex.org/W1489067204","https://openalex.org/W1491103651","https://openalex.org/W1504137062","https://openalex.org/W1504503597","https://openalex.org/W1510368738","https://openalex.org/W1512013481","https://openalex.org/W1514324734","https://openalex.org/W1514478159","https://openalex.org/W1514583064","https://openalex.org/W1521367728","https://openalex.org/W1528447803","https://openalex.org/W1530308835","https://openalex.org/W1539511971","https://openalex.org/W1544092322","https://openalex.org/W1546129131","https://openalex.org/W1550284332","https://openalex.org/W1552405727","https://openalex.org/W1556566737","https://openalex.org/W1568729458","https://openalex.org/W1572955246","https://openalex.org/W1574926888","https://openalex.org/W1576345759","https://openalex.org/W1580533715","https://openalex.org/W1583382531","https://openalex.org/W1605437280","https://openalex.org/W1605593319","https://openalex.org/W1605814424","https://openalex.org/W1612453857","https://openalex.org/W1643791166","https://openalex.org/W1677369871","https://openalex.org/W1761034813","https://openalex.org/W1773969059","https://openalex.org/W1805536084","https://openalex.org/W1820192350","https://openalex.org/W1829451333","https://openalex.org/W1860772589","https://openalex.org/W1878516677","https://openalex.org/W1908804015","https://openalex.org/W1913842882","https://openalex.org/W1926463588","https://openalex.org/W1934956391","https://openalex.org/W1943502734","https://openalex.org/W1965309410","https://openalex.org/W1975112016","https://openalex.org/W1977553951","https://openalex.org/W1979520342","https://openalex.org/W1983019803","https://openalex.org/W1987234253","https://openalex.org/W1987734880","https://openalex.org/W2005998857","https://openalex.org/W2006406722","https://openalex.org/W2010890795","https://openalex.org/W2012935476","https://openalex.org/W2019881090","https://openalex.org/W2026682089","https://openalex.org/W2041226400","https://openalex.org/W2043100293","https://openalex.org/W2044173464","https://openalex.org/W2048550374","https://openalex.org/W2074669650","https://openalex.org/W2080593426","https://openalex.org/W2085917651","https://openalex.org/W2088586972","https://openalex.org/W2089823063","https://openalex.org/W2093709900","https://openalex.org/W2097153213","https://openalex.org/W2100076496","https://openalex.org/W2101344045","https://openalex.org/W2101508170","https://openalex.org/W2108278982","https://openalex.org/W2111654715","https://openalex.org/W2113997368","https://openalex.org/W2114817689","https://openalex.org/W2132815291","https://openalex.org/W2136877520","https://openalex.org/W2137081436","https://openalex.org/W2137095888","https://openalex.org/W2141881497","https://openalex.org/W2144320318","https://openalex.org/W2145727812","https://openalex.org/W2146446489","https://openalex.org/W2147348835","https://openalex.org/W2150220388","https://openalex.org/W2150309803","https://openalex.org/W2150470619","https://openalex.org/W2153822668","https://openalex.org/W2158027086","https://openalex.org/W2158655806","https://openalex.org/W2159879965","https://openalex.org/W2163622833","https://openalex.org/W2167051442","https://openalex.org/W2167298033","https://openalex.org/W2169528473","https://openalex.org/W2171053395","https://openalex.org/W2227557434","https://openalex.org/W2293358747","https://openalex.org/W2340735175","https://openalex.org/W2476089118","https://openalex.org/W2488032294","https://openalex.org/W2488531982","https://openalex.org/W2506987745","https://openalex.org/W2527174073","https://openalex.org/W2913459036","https://openalex.org/W2914081601","https://openalex.org/W2914339959","https://openalex.org/W2917057129","https://openalex.org/W4250225510","https://openalex.org/W4285719527","https://openalex.org/W4392667629","https://openalex.org/W6630743200"],"related_works":["https://openalex.org/W1565271071","https://openalex.org/W2081199208","https://openalex.org/W3160870209","https://openalex.org/W3349016","https://openalex.org/W2170753573","https://openalex.org/W1997072713","https://openalex.org/W2523552839","https://openalex.org/W1552191998","https://openalex.org/W213996327","https://openalex.org/W2953113086"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2025-10-10T00:00:00"}