{"id":"https://openalex.org/W2125656483","doi":"https://doi.org/10.1007/978-3-540-74407-8_9","title":"Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems","display_name":"Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W2125656483","doi":"https://doi.org/10.1007/978-3-540-74407-8_9","mag":"2125656483"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-74407-8_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-74407-8_9","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://research.tue.nl/en/publications/ee2eec10-888f-4910-9616-560cbe922372","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030747944","display_name":"Taolue Chen","orcid":"https://orcid.org/0000-0002-5993-1665"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Taolue Chen","raw_affiliation_strings":["CWI, Department of Software Engineering, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands","CWI, Department of Software Engineering, Amsterdam, The Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"CWI, Department of Software Engineering, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"CWI, Department of Software Engineering, Amsterdam, The Netherlands#TAB#","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025878712","display_name":"Bas Ploeger","orcid":null},"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":"Bas Ploeger","raw_affiliation_strings":["Eindhoven University of Technology, Design and Analysis of Systems Group, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","Eindhoven University of Technology , Eindhoven , The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Design and Analysis of Systems Group, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology , Eindhoven , The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012697499","display_name":"Jaco van de Pol","orcid":"https://orcid.org/0000-0003-4305-0625"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]},{"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":"Jaco van de Pol","raw_affiliation_strings":["CWI, Department of Software Engineering, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands","Eindhoven University of Technology, Design and Analysis of Systems Group, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","CWI, Department of Software Engineering, Amsterdam, The Netherlands and Eindhoven University of Technology, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"CWI, Department of Software Engineering, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Eindhoven University of Technology, Design and Analysis of Systems Group, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"CWI, Department of Software Engineering, Amsterdam, The Netherlands and Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042194099","display_name":"Tim A. C. Willemse","orcid":"https://orcid.org/0000-0003-3049-7962"},"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":"Tim A. C. Willemse","raw_affiliation_strings":["Eindhoven University of Technology, Design and Analysis of Systems Group, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","Eindhoven University of Technology , Eindhoven , The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Design and Analysis of Systems Group, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology , Eindhoven , The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5030747944"],"corresponding_institution_ids":["https://openalex.org/I1341640284"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.7437,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.94574425,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"120","last_page":"135"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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":1.0,"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.9975000023841858,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9965000152587891,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.8409696817398071},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.8199523687362671},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7988489866256714},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6719561219215393},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6479507088661194},{"id":"https://openalex.org/keywords/boolean-data-type","display_name":"Boolean data type","score":0.5517138242721558},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4817395508289337},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.471102774143219},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.37068045139312744},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3348536491394043},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32455748319625854},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26924529671669006},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.11197894811630249}],"concepts":[{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.8409696817398071},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.8199523687362671},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7988489866256714},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6719561219215393},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6479507088661194},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.5517138242721558},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4817395508289337},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.471102774143219},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37068045139312744},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3348536491394043},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32455748319625854},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26924529671669006},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.11197894811630249}],"mesh":[],"locations_count":11,"locations":[{"id":"doi:10.1007/978-3-540-74407-8_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-74407-8_9","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:openaire/ee2eec10-888f-4910-9616-560cbe922372","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/ee2eec10-888f-4910-9616-560cbe922372","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Chen, T, Ploeger, B, Pol, van de, J C & Willemse, T A C 2007, Equivalence checking for infinite systems using parameterized Boolean equation systems. in L Caires & V T Vasconcelos (eds), Proceedings of the 18th International Conference on Concurrency Theory (CONCUR 2007) 3-8 September 2007, Lisboa, Portugal. Lecture Notes in Computer Science, vol. 4703, Springer, Berlin, Germany, pp. 120-135, conference; CONCUR 2007, Lisboa, Portugal; 2007-09-03; 2007-09-08, 3/09/07. https://doi.org/10.1007/978-3-540-74407-8_9","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/57c849ad-1fd0-423c-b351-21a34d582feb","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/57c849ad-1fd0-423c-b351-21a34d582feb","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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Chen, T, Ploeger, B, van de Pol, J & Willemse, T A C 2007, Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. in L Caires & V T Vasconcelos (eds), CONCUR 2007 - Concurrency Theory. Lecture Notes in Computer Science, vol. 4703, Springer, Berlin, pp. 120-135, 18th International Conference on Concurrency Theory, CONCUR 2007, Lisbon, Portugal, 3/09/07. https://doi.org/10.1007/978-3-540-74407-8_9","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:667316","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=667316","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:cwi:oai:cwi.nl:11804","is_oa":false,"landing_page_url":"https://ir.cwi.nl/pub/11804","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":"","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.109.8320","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.8320","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://alexandria.tue.nl/repository/books/628991.pdf","raw_type":"text"},{"id":"pmh:oai:eprints.bbk.ac.uk.oai2:42951","is_oa":false,"landing_page_url":"https://eprints.bbk.ac.uk/id/eprint/42951/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400466","display_name":"BIROn (Birkbeck, University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98259816","host_organization_name":"Birkbeck, University of London","host_organization_lineage":["https://openalex.org/I98259816"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book Section"},{"id":"pmh:oai:library.tue.nl:628991","is_oa":false,"landing_page_url":"http://repository.tue.nl/628991","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":"External research report"},{"id":"pmh:oai:library.tue.nl:667316","is_oa":false,"landing_page_url":"http://repository.tue.nl/667316","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/708ba506-00c4-4019-a91d-92606db7c35b","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/708ba506-00c4-4019-a91d-92606db7c35b","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":"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/report"},{"id":"pmh:tue:oai:pure.tue.nl:publications/ee2eec10-888f-4910-9616-560cbe922372","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/ee2eec10-888f-4910-9616-560cbe922372","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 18th International Conference on Concurrency Theory (CONCUR 2007) 3-8 September 2007, Lisboa, Portugal, 120 - 135","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:openaire/ee2eec10-888f-4910-9616-560cbe922372","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/ee2eec10-888f-4910-9616-560cbe922372","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Chen, T, Ploeger, B, Pol, van de, J C & Willemse, T A C 2007, Equivalence checking for infinite systems using parameterized Boolean equation systems. in L Caires & V T Vasconcelos (eds), Proceedings of the 18th International Conference on Concurrency Theory (CONCUR 2007) 3-8 September 2007, Lisboa, Portugal. Lecture Notes in Computer Science, vol. 4703, Springer, Berlin, Germany, pp. 120-135, conference; CONCUR 2007, Lisboa, Portugal; 2007-09-03; 2007-09-08, 3/09/07. https://doi.org/10.1007/978-3-540-74407-8_9","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1231421488","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2208212365","display_name":null,"funder_award_id":"612.065.410","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G4243412236","display_name":null,"funder_award_id":"863 Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5921281487","display_name":null,"funder_award_id":"number","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G629491556","display_name":null,"funder_award_id":"(NWO)","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G8532735002","display_name":"PostDoctoral Research Fellowship","funder_award_id":"0403014","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320335773","display_name":"National High-tech Research and Development Program","ror":null},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W22697707","https://openalex.org/W258022877","https://openalex.org/W326353637","https://openalex.org/W1498342204","https://openalex.org/W1503762954","https://openalex.org/W1503973138","https://openalex.org/W1522645051","https://openalex.org/W1527753554","https://openalex.org/W1530087756","https://openalex.org/W1550474961","https://openalex.org/W1556566737","https://openalex.org/W1577673148","https://openalex.org/W1582292473","https://openalex.org/W1589421353","https://openalex.org/W1795391326","https://openalex.org/W1857327297","https://openalex.org/W1985161650","https://openalex.org/W2013672985","https://openalex.org/W2046213250","https://openalex.org/W2068361557","https://openalex.org/W2098981343","https://openalex.org/W2101508170","https://openalex.org/W2109220893","https://openalex.org/W2115273226","https://openalex.org/W2121372686","https://openalex.org/W2125656483","https://openalex.org/W2128932399","https://openalex.org/W2137865376","https://openalex.org/W2139470733","https://openalex.org/W2140317178","https://openalex.org/W2146544231","https://openalex.org/W2160548641","https://openalex.org/W2616044496","https://openalex.org/W2756011084","https://openalex.org/W2809011185","https://openalex.org/W2915402656","https://openalex.org/W3000511677"],"related_works":["https://openalex.org/W2141421005","https://openalex.org/W1607380236","https://openalex.org/W2560421581","https://openalex.org/W2951374406","https://openalex.org/W1532145728","https://openalex.org/W3020829080","https://openalex.org/W2091970733","https://openalex.org/W4300624557","https://openalex.org/W3081656401","https://openalex.org/W4247534063"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}