@inproceedings{
 title = {On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models},
 type = {inproceedings},
 year = {2011},
 websites = {http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2011.1.pdf},
 series = {Electronic Proceedings in Theoretical Computer Science},
 id = {ca7e6a3f-16e7-3a49-9659-e381807f3e14},
 created = {2016-02-15T08:58:38.000Z},
 file_attached = {false},
 profile_id = {bbb99b2d-2278-3254-820f-2de6d915ce63},
 last_modified = {2017-03-22T13:51:34.979Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {true},
 hidden = {false},
 citation_key = {qapl11},
 source_type = {inproceedings},
 private_publication = {false},
 abstract = {This paper presents an on-the-fly uniformization technique for the analysis of time-inhomogeneous Markov population models. This technique is applicable to models with infinite state spaces and unbounded rates, which are, for instance, encountered in the realm of biochemical reaction networks. To deal with the infinite state space, we dynamically maintain a finite subset of the states where most of the probability mass is located. This approach yields an under-approximation of the original, infinite system. We present experimental results to show the applicability of our technique.},
 bibtype = {inproceedings},
 author = {Andreychenko, Aleksandr and Crouzen, Pepijn and Wolf, Verena},
 booktitle = {Proceedings of the 9th International Workshop on Quantitative Aspects of Programming Languages (QAPL'11)}
}

{"_id":"JW3An3BN6NjMJAQGd","bibbaseid":"andreychenko-crouzen-wolf-ontheflyuniformizationoftimeinhomogeneousinfinitemarkovpopulationmodels-2011","author_short":["Andreychenko, A.","Crouzen, P.","Wolf, V."],"bibdata":{"title":"On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models","type":"inproceedings","year":"2011","websites":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2011.1.pdf","series":"Electronic Proceedings in Theoretical Computer Science","id":"ca7e6a3f-16e7-3a49-9659-e381807f3e14","created":"2016-02-15T08:58:38.000Z","file_attached":false,"profile_id":"bbb99b2d-2278-3254-820f-2de6d915ce63","last_modified":"2017-03-22T13:51:34.979Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"citation_key":"qapl11","source_type":"inproceedings","private_publication":false,"abstract":"This paper presents an on-the-fly uniformization technique for the analysis of time-inhomogeneous Markov population models. This technique is applicable to models with infinite state spaces and unbounded rates, which are, for instance, encountered in the realm of biochemical reaction networks. To deal with the infinite state space, we dynamically maintain a finite subset of the states where most of the probability mass is located. This approach yields an under-approximation of the original, infinite system. We present experimental results to show the applicability of our technique.","bibtype":"inproceedings","author":"Andreychenko, Aleksandr and Crouzen, Pepijn and Wolf, Verena","booktitle":"Proceedings of the 9th International Workshop on Quantitative Aspects of Programming Languages (QAPL'11)","bibtex":"@inproceedings{\n title = {On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models},\n type = {inproceedings},\n year = {2011},\n websites = {http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2011.1.pdf},\n series = {Electronic Proceedings in Theoretical Computer Science},\n id = {ca7e6a3f-16e7-3a49-9659-e381807f3e14},\n created = {2016-02-15T08:58:38.000Z},\n file_attached = {false},\n profile_id = {bbb99b2d-2278-3254-820f-2de6d915ce63},\n last_modified = {2017-03-22T13:51:34.979Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {qapl11},\n source_type = {inproceedings},\n private_publication = {false},\n abstract = {This paper presents an on-the-fly uniformization technique for the analysis of time-inhomogeneous Markov population models. This technique is applicable to models with infinite state spaces and unbounded rates, which are, for instance, encountered in the realm of biochemical reaction networks. To deal with the infinite state space, we dynamically maintain a finite subset of the states where most of the probability mass is located. This approach yields an under-approximation of the original, infinite system. We present experimental results to show the applicability of our technique.},\n bibtype = {inproceedings},\n author = {Andreychenko, Aleksandr and Crouzen, Pepijn and Wolf, Verena},\n booktitle = {Proceedings of the 9th International Workshop on Quantitative Aspects of Programming Languages (QAPL'11)}\n}","author_short":["Andreychenko, A.","Crouzen, P.","Wolf, V."],"urls":{"Website":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2011.1.pdf"},"biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","bibbaseid":"andreychenko-crouzen-wolf-ontheflyuniformizationoftimeinhomogeneousinfinitemarkovpopulationmodels-2011","role":"author","metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","dataSources":["2252seNhipfTmjEBQ"],"keywords":[],"search_terms":["fly","uniformization","time","inhomogeneous","infinite","markov","population","models","andreychenko","crouzen","wolf"],"title":"On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models","year":2011}