{"id":"https://openalex.org/W2131603512","doi":"https://doi.org/10.1007/978-3-642-19835-9_29","title":"Confluence Reduction for Probabilistic Systems","display_name":"Confluence Reduction for Probabilistic Systems","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W2131603512","doi":"https://doi.org/10.1007/978-3-642-19835-9_29","mag":"2131603512"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-19835-9_29","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-19835-9_29","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-19835-9_29.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":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-19835-9_29.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085049248","display_name":"Mark Timmer","orcid":"https://orcid.org/0000-0003-1088-1553"},"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":"Mark Timmer","raw_affiliation_strings":["Formal Methods and Tools, Faculty of EEMCS, University of Twente, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, Faculty of EEMCS, University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053065289","display_name":"Mari\u00eblle Stoelinga","orcid":"https://orcid.org/0000-0001-6793-8165"},"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":"Mari\u00eblle Stoelinga","raw_affiliation_strings":["Formal Methods and Tools, Faculty of EEMCS, University of Twente, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, Faculty of EEMCS, University of Twente, 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, Faculty of EEMCS, University of Twente, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, Faculty of EEMCS, University of Twente, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"311","last_page":"325"},"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.9961000084877014,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.991100013256073,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.8861834406852722},{"id":"https://openalex.org/keywords/confluence","display_name":"Confluence","score":0.8260370492935181},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.7440330982208252},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7319965362548828},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.7242457866668701},{"id":"https://openalex.org/keywords/on-the-fly","display_name":"On the fly","score":0.6700968146324158},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6279041767120361},{"id":"https://openalex.org/keywords/probabilistic-automaton","display_name":"Probabilistic automaton","score":0.6160663962364197},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5742746591567993},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5573136210441589},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5210627913475037},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.48909813165664673},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.47567930817604065},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.46738019585609436},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.44756993651390076},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20331981778144836},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18947789072990417},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16892683506011963}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8861834406852722},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.8260370492935181},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.7440330982208252},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7319965362548828},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.7242457866668701},{"id":"https://openalex.org/C2781020372","wikidata":"https://www.wikidata.org/wiki/Q533093","display_name":"On the fly","level":2,"score":0.6700968146324158},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6279041767120361},{"id":"https://openalex.org/C174784677","wikidata":"https://www.wikidata.org/wiki/Q176567","display_name":"Probabilistic automaton","level":3,"score":0.6160663962364197},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5742746591567993},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5573136210441589},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5210627913475037},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.48909813165664673},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.47567930817604065},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.46738019585609436},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.44756993651390076},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20331981778144836},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18947789072990417},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16892683506011963},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-642-19835-9_29","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-19835-9_29","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-19835-9_29.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:ris.utwente.nl:openaire/bb424a19-8e4f-4340-9639-d3797a9cd9dc","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/bb424a19-8e4f-4340-9639-d3797a9cd9dc","pdf_url":"https://ris.utwente.nl/ws/files/5296447/paper.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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Timmer, M, Stoelinga, M & van de Pol, J 2011, Confluence Reduction for Probabilistic Systems. in P A Abdulla & K R M Leino (eds), Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011. Lecture Notes in Computer Science, vol. 6605, Springer, Berlin, pp. 311-325. https://doi.org/10.1007/978-3-642-19835-9_29","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:ris.utwente.nl:publications/049e1d0b-2cd2-4a48-9c46-0228584ba7f4","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/049e1d0b-2cd2-4a48-9c46-0228584ba7f4","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":""},{"id":"pmh:oai:ris.utwente.nl:publications/bb424a19-8e4f-4340-9639-d3797a9cd9dc","is_oa":false,"landing_page_url":"http://eprints.eemcs.utwente.nl/secure2/19229/02/TACASpaper.pdf","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":{"id":"doi:10.1007/978-3-642-19835-9_29","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-19835-9_29","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-19835-9_29.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":[],"awards":[{"id":"https://openalex.org/G1501702461","display_name":null,"funder_award_id":"612.063.817","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G3446333491","display_name":"Quantitative System Properties in Model-Driven Design of Embedded Systems","funder_award_id":"214755","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5483342299","display_name":null,"funder_award_id":"FP7-ICT","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320338370","display_name":"FP7 Information and Communication Technologies","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2131603512.pdf","grobid_xml":"https://content.openalex.org/works/W2131603512.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W138290785","https://openalex.org/W1488955409","https://openalex.org/W1503973138","https://openalex.org/W1504378062","https://openalex.org/W1528441743","https://openalex.org/W1539400854","https://openalex.org/W1602925513","https://openalex.org/W1850900101","https://openalex.org/W1964387595","https://openalex.org/W1985161650","https://openalex.org/W2062081943","https://openalex.org/W2063526382","https://openalex.org/W2078126895","https://openalex.org/W2099772619","https://openalex.org/W2123022028","https://openalex.org/W2147688815","https://openalex.org/W2160960583","https://openalex.org/W2163135875","https://openalex.org/W2166150286","https://openalex.org/W2339741178","https://openalex.org/W2489894464","https://openalex.org/W2911867855","https://openalex.org/W3175430905"],"related_works":["https://openalex.org/W2951374406","https://openalex.org/W1532145728","https://openalex.org/W2091970733","https://openalex.org/W3020829080","https://openalex.org/W4300624557","https://openalex.org/W3081656401","https://openalex.org/W2560421581","https://openalex.org/W2088892644","https://openalex.org/W3104705157","https://openalex.org/W2096349874"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":6}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}