@book(allen2010introduction, author = {Linda JS Allen}, year = {2010}, title = {An introduction to stochastic processes with applications to biology}, publisher = {CRC Press}, ) @book(andersson2000, author = {H. Andersson and T. Britton}, year = {2000}, title = {Stochastic {Epidemic} {Models} and {Their} {Statistical} {Analysis}}, publisher = {Springer-Verlag}, doi = {10.1007/978-1-4612-1158-7}, ) @article(andreychenko2015, author = {A. Andreychenko and L. Mikeev and C. Wolf}, year = {2015}, title = {Model Reconstruction for Moment-Based Stochastic Chemical Kinetics}, journal = {ACM Transactions on Modeling and Computer Simulation (TOMACS)}, volume = {25}, number = {2}, pages = {12}, doi = {10.1145/2699712}, ) @article(bhattachayya1943measure, author = {A Bhattacharyya}, year = {1943}, title = {On a measure of divergence between two statistical population defined by their population distributions}, journal = {Bulletin Calcutta Mathematical Society}, volume = {35}, pages = {99--109}, ) @article(bonachela2012patchiness, author = {Juan A Bonachela and Mu{\~n}oz, Miguel A and Simon A Levin}, year = {2012}, title = {Patchiness and demographic noise in three ecological examples}, journal = {Journal of Statistical Physics}, volume = {148}, number = {4}, pages = {724--740}, doi = {10.1007/s10955-012-0506-x}, ) @article(tutorial, author = {L. Bortolussi and J. Hillston and D. Latella and M. Massink}, year = {2013}, title = {Continuous approximation of collective system behaviour: A tutorial}, journal = {Performance Evaluation}, volume = {70}, number = {5}, pages = {317--349}, doi = {10.1016/j.peva.2013.01.001}, ) @inproceedings(valuetools2014, author = {L. Bortolussi and L. Nenzi}, year = {2014}, title = {Specifying and monitoring properties of stochastic spatio-temporal systems in signal temporal logic}, booktitle = {Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools}, pages = {66--73}, doi = {10.4108/icst.Valuetools.2014.258183}, ) @inproceedings(BortolussiNGGHL15, author = {Luca Bortolussi and {De Nicola}, Rocco and Vashti Galpin and Stephen Gilmore and Jane Hillston and Diego Latella and Michele Loreti and Mieke Massink}, year = {2015}, title = {{CARMA:} Collective Adaptive Resource-sharing Markovian Agents}, booktitle = {Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2015, London, UK.}, pages = {16--31}, doi = {10.4204/EPTCS.194.2}, ) @incollection(lanciani2014, author = {Luca Bortolussi and Roberta Lanciani}, year = {2014}, title = {Stochastic approximation of global reachability probabilities of Markov population models}, booktitle = {Computer Performance Engineering}, publisher = {Springer}, pages = {224--239}, doi = {10.1007/978-3-319-10885-8\_16}, ) @article(durrett1994importance, author = {Richard Durrett and Simon Levin}, year = {1994}, title = {The importance of being discrete (and spatial)}, journal = {Theoretical population biology}, volume = {46}, number = {3}, pages = {363--394}, doi = {10.1006/tpbi.1994.1032}, ) @article(durrett1999stochastic, author = {Rick Durrett}, year = {1999}, title = {Stochastic spatial models}, journal = {SIAM review}, volume = {41}, number = {4}, pages = {677--718}, doi = {10.1137/S0036144599354707}, ) @article(erban2009stochastic, author = {Radek Erban and S Jonathan Chapman}, year = {2009}, title = {Stochastic modelling of reaction--diffusion processes: algorithms for bimolecular reactions}, journal = {Physical biology}, volume = {6}, number = {4}, pages = {046001}, doi = {10.1088/1478-3975/6/4/046001}, ) @inproceedings(CFeng14, author = {Cheng Feng}, year = {2014}, title = {Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic {HYPE} - ZebraNet as an Example}, booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2014, Grenoble, France.}, pages = {64--77}, doi = {10.4204/EPTCS.154.5}, ) @incollection(feng2014paloma, author = {Cheng Feng and Jane Hillston}, year = {2014}, title = {PALOMA: A process algebra for located markovian agents}, booktitle = {Quantitative Evaluation of Systems}, publisher = {Springer}, pages = {265--280}, doi = {10.1007/978-3-319-10696-0\_22}, ) @article(cfeng2016tomacs, author = {Cheng Feng and Jane Hillston and Vashti Galpin}, year = {2016}, title = {Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems}, journal = {ACM Transactions on Modeling and Computer Simulation (TOMACS)}, volume = {26}, number = {4}, doi = {10.1145/2883608}, ) @article(fricker2014incentives, author = {Christine Fricker and Nicolas Gast}, year = {2014}, title = {Incentives and redistribution in homogeneous bike-sharing systems with stations of finite capacity}, journal = {EURO Journal on Transportation and Logistics}, pages = {1--31}, doi = {10.1007/s13676-014-0053-5}, ) @article(gillespie1977exact, author = {Daniel T Gillespie}, year = {1977}, title = {Exact stochastic simulation of coupled chemical reactions}, journal = {The Journal of Physical Chemistry}, volume = {81}, number = {25}, pages = {2340--2361}, doi = {10.1021/j100540a008}, ) @incollection(guenther2013journey, author = {Marcel C Guenther and Jeremy T Bradley}, year = {2013}, title = {Journey data based arrival forecasting for bicycle hire schemes}, booktitle = {Analytical and Stochastic Modeling Techniques and Applications}, publisher = {Springer}, pages = {214--231}, doi = {10.1007/978-3-642-39408-9\_16}, ) @incollection(guenther2013moment, author = {Marcel C Guenther and Anton Stefanek and Jeremy T Bradley}, year = {2013}, title = {Moment closures for performance models with highly non-linear rates}, booktitle = {Computer Performance Engineering}, publisher = {Springer}, pages = {32--47}, doi = {10.1007/978-3-642-36781-6\_3}, ) @article(hasenauer2013, author = {J. Hasenauer and V. Wolf and A. Kazeroonian and F. J. Theis}, year = {2013}, title = {Method of conditional moments ({MCM}) for the {Chemical} {Master} {Equation}: {A} unified framework for the method of moments and hybrid stochastic-deterministic models}, journal = {Journal of Mathematical Biology}, doi = {10.1007/s00285-013-0711-5}, ) @book(vankampen, author = {N. G. van Kampen}, year = {2007}, title = {Stochastic processes in physics and chemistry}, publisher = {Elsevier}, ) @book(kurtz1981, author = {T. G. Kurtz}, year = {1981}, title = {Approximation of population processes}, publisher = {SIAM}, doi = {10.1137/1.9781611970333}, ) @incollection(moharbojan, author = {Bojan Mohar}, year = {1997}, title = {Some applications of Laplace eigenvalues of graphs}, booktitle = {Graph Symmetry}, series = {NATO ASI Series}, volume = {497}, publisher = {Springer Netherlands}, pages = {225--275}, doi = {10.1007/978-94-015-8937-6\_6}, ) @article(ng2002spectral, author = {Andrew Y Ng and Michael I Jordan and Yair Weiss}, year = {2002}, title = {On spectral clustering: Analysis and an algorithm}, journal = {Advances in neural information processing systems}, volume = {2}, pages = {849--856}, doi = {10.1.1.19.8100}, ) @article(shi2000normalized, author = {Jianbo Shi and Jitendra Malik}, year = {2000}, title = {Normalized cuts and image segmentation}, journal = {IEEE Transactions on Pattern Analysis and Machine Intelligence}, volume = {22}, number = {8}, pages = {888--905}, doi = {10.1109/34.868688}, ) @article(stefanek2011fluid, author = {Anton Stefanek and Richard A Hayden and Jeremy T Bradley}, year = {2011}, title = {Fluid computation of the performance: energy tradeoff in large scale {Markov} models}, journal = {ACM SIGMETRICS Performance Evaluation Review}, volume = {39}, number = {3}, pages = {104--106}, doi = {10.1145/2160803.2160817}, ) @unpublished(mela, author = {Ludovica Luisa Vissat and Jane Hillston and Glenn Marion and Matthew J Smith}, year = {to appear}, title = {{MELA}: Modelling in Ecology with Location Attributes}, note = {Proceedings of the fourth international symposium on Modelling and Knowledge Management applications: Systems and Domains, {MoKMaSD} 2015, York, UK}, ) @article(von2007tutorial, author = {Von Luxburg, Ulrike}, year = {2007}, title = {A tutorial on spectral clustering}, journal = {Statistics and computing}, volume = {17}, number = {4}, pages = {395--416}, doi = {10.1007/s11222-007-9033-z}, )