{"id":"https://openalex.org/W2131837991","doi":"https://doi.org/10.1007/s10703-006-0007-0","title":"Distributed disk-based algorithms for model checking very large Markov chains","display_name":"Distributed disk-based algorithms for model checking very large Markov chains","publication_year":2006,"publication_date":"2006-07-07","ids":{"openalex":"https://openalex.org/W2131837991","doi":"https://doi.org/10.1007/s10703-006-0007-0","mag":"2131837991"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-006-0007-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-006-0007-0","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027246048","display_name":"Alexander Graham Bell","orcid":null},"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":"Alexander Bell","raw_affiliation_strings":["Numerical Analysis and Computational Mechanics, Department for Electrical Engineering, Mathematics and Computer Science, University of Twente, Enschede, The Netherlands","Numerical Analysis and Computational Mechanics, Department for Electrical Engineering, Mathematics and Computer Science, University of Twente, Enschede, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Numerical Analysis and Computational Mechanics, Department for Electrical Engineering, Mathematics and Computer Science, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Numerical Analysis and Computational Mechanics, Department for Electrical Engineering, Mathematics and Computer Science, University of Twente, Enschede, The Netherlands#TAB#","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036034957","display_name":"Boudewijn R. Haverkort","orcid":"https://orcid.org/0000-0002-0654-0740"},"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":"Boudewijn R. Haverkort","raw_affiliation_strings":["Design and Analysis of Communication Systems, Department for Electrical Engineering, Mathematics and Computer Science, University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Design and Analysis of Communication Systems, Department for Electrical Engineering, Mathematics and Computer Science, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":null,"fwci":1.0119,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.78069362,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"29","issue":"2","first_page":"177","last_page":"196"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8506966233253479},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.6141244173049927},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.533755362033844},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5213502645492554},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.516140341758728},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5109869241714478},{"id":"https://openalex.org/keywords/distributed-memory","display_name":"Distributed memory","score":0.478824645280838},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.46526268124580383},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.4624408185482025},{"id":"https://openalex.org/keywords/distributed-algorithm","display_name":"Distributed algorithm","score":0.4587678015232086},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.45359984040260315},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.44320008158683777},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.43494337797164917},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3311144709587097},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.2663613557815552}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8506966233253479},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.6141244173049927},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.533755362033844},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5213502645492554},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.516140341758728},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5109869241714478},{"id":"https://openalex.org/C91481028","wikidata":"https://www.wikidata.org/wiki/Q1054686","display_name":"Distributed memory","level":3,"score":0.478824645280838},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.46526268124580383},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.4624408185482025},{"id":"https://openalex.org/C130120984","wikidata":"https://www.wikidata.org/wiki/Q2835898","display_name":"Distributed algorithm","level":2,"score":0.4587678015232086},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.45359984040260315},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.44320008158683777},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.43494337797164917},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3311144709587097},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.2663613557815552},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10703-006-0007-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-006-0007-0","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/2e956f97-5212-4459-9104-78a0cee3d827","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/2e956f97-5212-4459-9104-78a0cee3d827","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":"Bell, A & Haverkort, B R H M 2006, 'Distributed Disk-Based Solution of Very Large Markov Chains', Formal methods in system design, vol. 29, no. 2/2, pp. 177-196. https://doi.org/10.1007/s10703-006-0007-0","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/2e956f97-5212-4459-9104-78a0cee3d827","is_oa":false,"landing_page_url":null,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W133562897","https://openalex.org/W171063220","https://openalex.org/W1501821150","https://openalex.org/W1514324734","https://openalex.org/W1575350781","https://openalex.org/W1580684925","https://openalex.org/W1585664977","https://openalex.org/W1603479876","https://openalex.org/W1606764134","https://openalex.org/W1655884486","https://openalex.org/W1701369565","https://openalex.org/W1812962780","https://openalex.org/W1824639939","https://openalex.org/W1986755980","https://openalex.org/W2010327714","https://openalex.org/W2079636926","https://openalex.org/W2081612620","https://openalex.org/W2121831936","https://openalex.org/W2126125606","https://openalex.org/W2129355439","https://openalex.org/W2141881497","https://openalex.org/W2147664171","https://openalex.org/W2150905801","https://openalex.org/W2151830023","https://openalex.org/W2166520488","https://openalex.org/W2681991495","https://openalex.org/W2688350749","https://openalex.org/W2752885492","https://openalex.org/W3145128584","https://openalex.org/W4210485182"],"related_works":["https://openalex.org/W2168615635","https://openalex.org/W2011298214","https://openalex.org/W1531488649","https://openalex.org/W2586039792","https://openalex.org/W119844488","https://openalex.org/W1504842852","https://openalex.org/W2020582711","https://openalex.org/W3159760751","https://openalex.org/W1497647456","https://openalex.org/W2752981881"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}