{"id":"https://openalex.org/W2472516302","doi":"https://doi.org/10.1007/978-3-662-49674-9_19","title":"Multi-core Symbolic Bisimulation Minimisation","display_name":"Multi-core Symbolic Bisimulation Minimisation","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2472516302","doi":"https://doi.org/10.1007/978-3-662-49674-9_19","mag":"2472516302"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-662-49674-9_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-49674-9_19","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://ris.utwente.nl/ws/files/5392391/chp_3A10.1007_2F978-3-662-49674-9_19.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043493738","display_name":"Tom van Dijk","orcid":"https://orcid.org/0000-0002-5366-1051"},"institutions":[{"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"],"is_corresponding":true,"raw_author_name":"Tom van Dijk","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","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/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jaco van de Pol","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5043493738"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.4937,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.92427758,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"332","last_page":"348"},"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/T10260","display_name":"Software Engineering Research","score":0.9919000267982483,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9894000291824341,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/bisimulation","display_name":"Bisimulation","score":0.7467501163482666},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7416678071022034},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.5105279684066772},{"id":"https://openalex.org/keywords/minimisation","display_name":"Minimisation (clinical trials)","score":0.49017104506492615},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4894605875015259},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4885326623916626},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.4245387315750122},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.4196995198726654},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4148194491863251},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.41180071234703064},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.35312819480895996},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22474199533462524},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.10663643479347229}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.7467501163482666},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7416678071022034},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5105279684066772},{"id":"https://openalex.org/C86941820","wikidata":"https://www.wikidata.org/wiki/Q6865391","display_name":"Minimisation (clinical trials)","level":2,"score":0.49017104506492615},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4894605875015259},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4885326623916626},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.4245387315750122},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.4196995198726654},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4148194491863251},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.41180071234703064},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35312819480895996},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22474199533462524},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.10663643479347229},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-662-49674-9_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-49674-9_19","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:ris.utwente.nl:publications/8148e195-15bb-47b3-aabe-1d07f92a5578","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/8148e195-15bb-47b3-aabe-1d07f92a5578","pdf_url":"https://ris.utwente.nl/ws/files/5392391/chp_3A10.1007_2F978-3-662-49674-9_19.pdf","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van Dijk, T & van de Pol, J C 2016, Multi-core Symbolic Bisimulation Minimisation. in M Chechik & J-F Raskin (eds), Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016). Lecture Notes in Computer Science, vol. 9636, Springer, Berlin, pp. 332-348, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, Eindhoven, Netherlands, 2/04/16. https://doi.org/10.1007/978-3-662-49674-9_19","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/01996af8-f71f-4f71-baeb-a7b43eb1cb65","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/01996af8-f71f-4f71-baeb-a7b43eb1cb65","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van Dijk , T & van de Pol , J 2018 , ' Multi-core symbolic bisimulation minimisation ' , International journal on software tools for technology transfer , vol. 20 , no. 2 , pp. 157-177 . https://doi.org/10.1007/s10009-017-0468-z","raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:publications/8148e195-15bb-47b3-aabe-1d07f92a5578","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/8148e195-15bb-47b3-aabe-1d07f92a5578","pdf_url":"https://ris.utwente.nl/ws/files/5392391/chp_3A10.1007_2F978-3-662-49674-9_19.pdf","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van Dijk, T & van de Pol, J C 2016, Multi-core Symbolic Bisimulation Minimisation. in M Chechik & J-F Raskin (eds), Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016). Lecture Notes in Computer Science, vol. 9636, Springer, Berlin, pp. 332-348, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, Eindhoven, Netherlands, 2/04/16. https://doi.org/10.1007/978-3-662-49674-9_19","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"score":0.7300000190734863,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2472516302.pdf","grobid_xml":"https://content.openalex.org/works/W2472516302.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W1514712409","https://openalex.org/W1518224780","https://openalex.org/W1523766116","https://openalex.org/W1573128517","https://openalex.org/W1862398452","https://openalex.org/W1864649459","https://openalex.org/W1869716833","https://openalex.org/W1974808887","https://openalex.org/W2068361557","https://openalex.org/W2070991879","https://openalex.org/W2080267935","https://openalex.org/W2091177009","https://openalex.org/W2099120582","https://openalex.org/W2104860213","https://openalex.org/W2107144615","https://openalex.org/W2108293102","https://openalex.org/W2130820909","https://openalex.org/W2131271786","https://openalex.org/W2138838211","https://openalex.org/W2139509158","https://openalex.org/W2141823988","https://openalex.org/W2165606466","https://openalex.org/W2166062474","https://openalex.org/W2167435507","https://openalex.org/W2167903312","https://openalex.org/W2195169990","https://openalex.org/W2264277655","https://openalex.org/W4246239274","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2058965144","https://openalex.org/W2164382479","https://openalex.org/W2146343568","https://openalex.org/W98480971","https://openalex.org/W2150291671","https://openalex.org/W2013643406","https://openalex.org/W2027972911","https://openalex.org/W2157978810","https://openalex.org/W2597809628","https://openalex.org/W3046370962"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}