{"id":"https://openalex.org/W2467494155","doi":null,"title":"Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models","display_name":"Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models","publication_year":2009,"publication_date":"2009-11-27","ids":{"openalex":"https://openalex.org/W2467494155","mag":"2467494155"},"language":"en","primary_location":{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:64972","doi":null,"is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/64972/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Artikel"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/142570","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085031854","display_name":"J\u00e9r\u00f4me Fer\u00eat","orcid":"https://orcid.org/0000-0002-2601-2785","observed_orcids":["https://orcid.org/0000-0002-2601-2785"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feret, J\u00e9r\u00f4me","raw_affiliation_strings":["Abstract Interpretation and Static Analysis"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Abstract Interpretation and Static Analysis","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070544702","display_name":"Heinz Koeppl","orcid":"https://orcid.org/0000-0002-8305-9379","observed_orcids":["https://orcid.org/0000-0002-8305-9379"]},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Koeppl, Heinz","raw_affiliation_strings":["Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091695783","display_name":"Tatjana Petrov","orcid":"https://orcid.org/0000-0002-9041-0905","observed_orcids":["https://orcid.org/0000-0002-9041-0905"]},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Petrov, Tatjana","raw_affiliation_strings":["Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8728,"has_fulltext":true,"cited_by_count":27,"citation_normalized_percentile":{"value":0.6804685,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":"7","issue":"4","first_page":"527","last_page":"604"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.8701000213623047,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.8701000213623047,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.040800001472234726,"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/T10126","display_name":"Logic, programming, and type systems","score":0.01640000008046627,"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/stochastic-semantics","display_name":"stochastic semantics","score":0.9290000200271606},{"id":"https://openalex.org/keywords/rule-based-modeling","display_name":"rule-based models","score":0.7070000171661377},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"abstract interpretation","score":0.7630000114440918},{"id":"https://openalex.org/keywords/state-space-reduction","display_name":"state space reduction","score":0.968999981880188},{"id":"https://openalex.org/keywords/invariants","display_name":"invariants","score":0.824999988079071},{"id":"https://openalex.org/keywords/protein-protein-interaction-network","display_name":"protein-protein interaction network","score":0.9449999928474426},{"id":"https://openalex.org/keywords/dependence-analysis","display_name":"dependency analysis","score":0.8790000081062317}],"concepts":[{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5994626879692078},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.5492498874664307},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.532630980014801},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5281382203102112},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5230884552001953},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5068078637123108},{"id":"https://openalex.org/C2908647359","wikidata":"https://www.wikidata.org/wiki/Q2625603","display_name":"Population","level":2,"score":0.48305994272232056},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.4507576823234558},{"id":"https://openalex.org/C154504017","wikidata":"https://www.wikidata.org/wiki/Q853614","display_name":"Identifier","level":2,"score":0.4501606225967407},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.43677079677581787},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3567282557487488},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.31290286779403687},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20029908418655396},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.11128625273704529},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C149923435","wikidata":"https://www.wikidata.org/wiki/Q37732","display_name":"Demography","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}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:64972","doi":null,"is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/64972/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Artikel"},{"id":"pmh:oai:infoscience.tind.io:142570","doi":null,"is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/142570","pdf_url":"http://infoscience.epfl.ch/record/142570","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://infoscience.epfl.ch/record/142570","raw_type":"Text"},{"id":"pmh:oai:HAL:hal-00975861v1","doi":null,"is_oa":false,"landing_page_url":"https://inria.hal.science/hal-00975861","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i173&flag=1","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:HAL:hal-01098561v1","doi":null,"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01098561","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ijsi.org/","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:infoscience.epfl.ch:142570","doi":null,"is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/142570","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"pmh:oai:infoscience.tind.io:142570","doi":null,"is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/142570","pdf_url":"http://infoscience.epfl.ch/record/142570","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://infoscience.epfl.ch/record/142570","raw_type":"Text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G5599649393","display_name":null,"funder_award_id":"200020","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G628552264","display_name":null,"funder_award_id":"200020","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G6654218428","display_name":"Coding Characteristics of Neuron Models","funder_award_id":"117975","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320327577","display_name":"SystemsX.ch","ror":"https://ror.org/02s09gf16"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2467494155.pdf","grobid_xml":"https://content.openalex.org/works/W2467494155.grobid-xml"},"referenced_works_count":46,"referenced_works":["https://openalex.org/W846058890","https://openalex.org/W1499965417","https://openalex.org/W1511823635","https://openalex.org/W1524997961","https://openalex.org/W1568108328","https://openalex.org/W1585291104","https://openalex.org/W1589239973","https://openalex.org/W1704074244","https://openalex.org/W1977290213","https://openalex.org/W1986968087","https://openalex.org/W1990736894","https://openalex.org/W1992008267","https://openalex.org/W2002387648","https://openalex.org/W2007006124","https://openalex.org/W2014764321","https://openalex.org/W2015172530","https://openalex.org/W2034492556","https://openalex.org/W2040860090","https://openalex.org/W2043100293","https://openalex.org/W2069941324","https://openalex.org/W2075161553","https://openalex.org/W2075379212","https://openalex.org/W2078119846","https://openalex.org/W2081556416","https://openalex.org/W2082442678","https://openalex.org/W2083770991","https://openalex.org/W2084875723","https://openalex.org/W2098161947","https://openalex.org/W2099693848","https://openalex.org/W2100893927","https://openalex.org/W2106190666","https://openalex.org/W2114710208","https://openalex.org/W2117663880","https://openalex.org/W2135249635","https://openalex.org/W2147985467","https://openalex.org/W2150959680","https://openalex.org/W2155418451","https://openalex.org/W2163493106","https://openalex.org/W2165700291","https://openalex.org/W2169193349","https://openalex.org/W2247041651","https://openalex.org/W2254463431","https://openalex.org/W2323009482","https://openalex.org/W2663300410","https://openalex.org/W2913004508","https://openalex.org/W4236625991"],"related_works":["https://openalex.org/W1969294005","https://openalex.org/W1907802369","https://openalex.org/W137317817","https://openalex.org/W2050872582","https://openalex.org/W2126852846","https://openalex.org/W2035752100","https://openalex.org/W2122360082","https://openalex.org/W2013587817","https://openalex.org/W2030213535","https://openalex.org/W2803236663"],"abstract_inverted_index":{"In":[0],"this":[1,96],"paper,":[2],"we":[3,33,111,136],"propose":[4],"an":[5,105,113],"abstract":[6],"interpretation-based":[7],"framework":[8,64,140],"for":[9,17,126,141,160,169],"reducing":[10],"the":[11,26,37,53,71,74,77,80,86,108,127,154,157,161,170,196],"state":[12,27,81,93,97],"space":[13,28,82],"of":[14,29,59,73,79,88,107,129,156,163,165,172,174],"stochastic":[15,115],"semantics":[16,116,146],"protein-protein":[18],"interaction":[19],"networks.":[20,30],"Our":[21],"approach":[22],"consists":[23],"in":[24,90,99,195],"quotienting":[25],"Yet":[31],"interestingly,":[32],"do":[34],"not":[35],"apply":[36],"widely-used":[38],"strong":[39],"lumpability":[40],"criterion":[41],"which":[42,152,191],"imposes":[43],"that":[44,85,95],"two":[45],"equivalent":[46],"states":[47],"behave":[48],"similarly":[49],"with":[50],"respect":[51],"to":[52,187],"quotient,":[54],"but":[55],"a":[56,91,100,123,130,143,148,188],"weak":[57],"version":[58],"it.":[60],"More":[61],"precisely,":[62],"our":[63,138],"detects":[65],"and":[66,135,147,168],"proves":[67],"some":[68],"invariants":[69],"about":[70],"dynamics":[72],"system:":[75],"indeed":[76],"quotient":[78],"is":[83,98,104,120,192],"such":[84],"probability":[87],"being":[89],"given":[92,101],"knowing":[94],"equivalence":[102],"class,":[103],"invariant":[106],"semantics.":[109],"Then":[110],"introduce":[112],"individual-based":[114],"(where":[117],"each":[118],"agent":[119],"identified":[121],"by":[122],"unique":[124],"identifier)":[125],"programs":[128],"rule-based":[131],"language":[132],"(namely":[133],"Kappa)":[134],"use":[137],"abstraction":[139],"deriving":[142],"sound":[144,149],"population-based":[145],"fragments-based":[150],"semantics,":[151],"give":[153],"distribution":[155],"traces":[158],"respectively":[159],"number":[162,171],"instances":[164,173],"molecular":[166,177],"species":[167,182],"partially":[175,180],"defined":[176,181],"species.":[178],"These":[179],"are":[183],"chosen":[184],"automatically":[185],"thanks":[186],"dependency":[189],"analysis":[190],"also":[193],"described":[194],"paper.":[197]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":5}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-07-22T00:00:00"}