@misc(PAHO2010,
title = {Gu{\'i}a de Atenci{\'o}n Cl{\'i}nica Integral del Paciente con Dengue},
url = {http://calisaludable.cali.gov.co/saludPublica/2010\_Dengue/protocolos\_guias\_del\_INS\_y\_del\_MPS/Guia\_Dengue\_2010.pdf},
)
@misc(PAHO2011,
title = {Number of Reported Cases of Dengue and Dengue Hemorrhagic Fever (DHF) in the Americas, by Country},
url = {http://new.paho.org/hq/index.php?option=com\_content\&task=blogcategory\&id=1221\&Itemid=2481},
)
@misc(prism,
title = {Online PRISM documentation},
url = {http://www.prismmodelchecker.org/doc/},
)
@article(Arboleda2011,
author = {S. Arboleda and O.N. Jaramillo and A.T. Peterson},
year = {2012},
title = {{ Spatial and temporal dynamics of Aedes aegypti breeding sites in Bello, Colombia}},
journal = {Journal of Vector Ecology},
volume = {37},
number = {1},
pages = {37--48},
doi = {10.1111/j.1948-7134.2012.00198.x},
)
@article(Arboleda2009,
author = {Sair Arboleda and Jaramillo O., Nicolas and A. Townsend Peterson},
year = {2009},
title = {Mapping Environmental Dimensions of Dengue Fever Transmission Risk in the {A}burr\'{a} {V}alley, {C}olombia},
journal = {International Journal of Environmental Research and Public Health},
volume = {6},
number = {12},
pages = {3040},
doi = {10.3390/ijerph6123040},
)
@article(BMMP09,
author = {R. Barbuti and Maggiolo-Schettini, A. and P. Milazzo and G. Pardini},
year = {2011},
title = {{Spatial Calculus of Looping Sequences}},
journal = {Theoretical Computer Science},
volume = {412},
number = {43},
pages = {5976--6001},
doi = {10.1016/j.tcs.2011.01.020},
)
@article(BarbutiMMT06,
author = {Roberto Barbuti and Maggiolo-Schettini, Andrea and Paolo Milazzo and Angelo Troina},
year = {2006},
title = {{A Calculus of Looping Sequences for Modelling Microbiological Systems}},
journal = {Fundamenta Informaticae},
volume = {72},
number = {1-3},
pages = {21--35},
)
@inproceedings(abs-1008-3301,
author = {Thomas Anung Basuki and Antonio Cerone and Roberto Barbuti and Maggiolo-Schettini, Andrea and Paolo Milazzo and Elisabetta Rossi},
year = {2010},
title = {{Modelling the Dynamics of an Aedes albopictus Population}},
booktitle = {{Proceedings of AMCA-POP'10}},
series = {{EPTCS}},
volume = {33},
pages = {18--36},
doi = {10.4204/EPTCS.33.2},
)
@article(BCPM06,
author = {D. Besozzi and P. Cazzaniga and D. Pescini and G. Mauri},
year = {2008},
title = {{Modelling metapopulations with stochastic membrane systems}},
journal = {BioSystems},
volume = {91},
number = {3},
pages = {499--514},
doi = {10.1016/j.biosystems.2006.12.011},
)
@article(burden2013,
author = {S. Bratt and P. W. Gething and O. J. Brady and J. P. Messina and A. W. Farlow and C. L. Moyes and J. M. Drake and J. S. Brownstein and A. G. Hoen and Osman Sankoh and Monica F. Myers and Dylan B. George and Thomas Jaenisch and G. R. William Wint and Cameron P. Simmons and Thomas W. Scott and Jeremy J. Farrar and Simon I. Hay},
year = {2013},
title = {{The global distribution and burden of dengue}},
journal = {{Nature}},
volume = {496},
pages = {504--507},
doi = {10.1038/nature12060},
)
@article(CYL09,
author = {Qiuwen Chen and Fei Ye and Weifeng Li},
year = {2009},
title = {{Cellular-automata-based ecological and ecohydraulics modelling}},
journal = {Journal of Hydroinformatics},
volume = {11},
number = {3/4},
pages = {252--272},
doi = {10.2166/hydro.2009.026},
)
@article(reactiveNetworks,
author = {Fr{\'{e}}d{\'{e}}ric Didier and Thomas A. Henzinger and Maria Mateescu and Verena Wolf},
year = {2010},
title = {{SABRE:} {A} Tool for Stochastic Analysis of Biochemical Reaction Networks},
journal = {CoRR},
volume = {abs/1005.2819},
doi = {10.1109/QEST.2010.33},
)
@article(DrabikMM11,
author = {Peter Dr{\'a}bik and Maggiolo-Schettini, Andrea and Paolo Milazzo},
year = {2011},
title = {{Modular Verification of Interactive Systems with an Application to Biology}},
journal = {Scientific Annals of Computer Science},
volume = {21},
number = {1},
pages = {39--72},
doi = {10.1016/j.entcs.2010.12.006},
)
@inproceedings(FM04,
author = {S. C. Fu and G. Milne},
year = {2004},
title = {{A Flexible Automata Model for Disease Simulation}},
booktitle = {{Proceedings of ACRI'04}},
series = {{LNCS 3305}},
publisher = {Springer},
pages = {642--649},
doi = {10.1007/978-3-540-30479-1_66},
)
@book(Graham1994,
author = {Ronald L. Graham and Donald E. Knuth and Oren Patashnik},
year = {1994},
title = {Concrete Mathematics: A Foundation for Computer Science},
edition = {2nd},
publisher = {Addison-Wesley Longman Publishing Co., Inc.},
address = {Boston, MA, USA},
doi = {10.1063/1.4822863},
)
@article(HillstonTG12,
author = {Jane Hillston and Mirco Tribastone and Stephen Gilmore},
year = {2012},
title = {{Stochastic Process Algebras: From Individuals to Populations}},
journal = {Computing Journal},
volume = {55},
number = {7},
pages = {866--881},
doi = {10.1093/comjnl/bxr094},
)
@article(KleijnKR11,
author = {Jetty Kleijn and Maciej Koutny and Grzegorz Rozenberg},
year = {2011},
title = {{Petri Nets for Biologically Motivated Computing}},
journal = {Scientific Annals of Computer Science},
volume = {21},
number = {2},
pages = {199--225},
)
@article(Kurtz1970,
author = {Thomas Kurtz},
year = {1970},
title = {{Solutions of Ordinary Differential Equations as Limits of Pure Jump Markov Processes}},
journal = {Journal of Applied Probability},
volume = {7},
number = {1},
doi = {10.2307/3212147},
)
@inproceedings(MNS08,
author = {C. McCaig and R. Norman and C. Shankland},
year = {2008},
title = {{Process Algebra Models of Population Dynamics}},
booktitle = {{Proceedings of AB'08}},
series = {{LNCS 5147}},
publisher = {Springer},
pages = {139--155},
doi = {10.1007/978-3-540-85101-1_11},
)
@article(MNS10,
author = {Chris McCaig and Rachel Norman and Carron Shankland},
year = {2011},
title = {{From individuals to populations: A mean field semantics for process algebra}},
journal = {Theoretical Computer Science},
volume = {412},
number = {17},
pages = {1557--1580},
doi = {10.1016/j.tcs.2010.09.024},
)
@article(Otero2010,
author = {M. Solari H.G. Otero},
year = {2010},
title = {{Stochastic eco-epidemiological model of dengue disease transmission by Aedes aegypti mosquito}},
journal = {Mathematical Biosciences},
volume = {223},
number = {1},
pages = {32--46},
doi = {10.1016/j.mbs.2009.10.005},
)
@inproceedings(pntcc,
author = {Jorge P{\'e}rez and Camilo Rueda},
year = {2008},
title = {{Non-determinism and Probabilities in Timed Concurrent Constraint Programming}},
booktitle = {{Proceedings of ICLP'08}},
series = {{LNCS}},
volume = {5366},
pages = {677--681},
doi = {10.1007/978-3-540-89982-2_56},
)
@inproceedings(PT13,
author = {Anna Philippou and Mauricio Toro},
year = {2013},
title = {{Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models.}},
booktitle = {{Proceedings of MOKMASD'13}},
series = {{LNCS 8368}},
publisher = {Springer},
pages = {345--361},
doi = {10.1007/978-3-319-05032-4_25},
)
@article(PTA13,
author = {Anna Philippou and Mauricio Toro and Margarita Antonaki},
year = {2013},
title = {{Simulation and Verification for a Process Calculus for Spatially-Explicit Ecological Models}},
journal = {Scientific Annals of Computer Science},
volume = {23},
number = {1},
pages = {119--167},
doi = {10.7561/SACS.2013.1.119},
)
@article(PinnaS08,
author = {G. Michele Pinna and Andrea Saba},
year = {2008},
title = {{An Event Based Semantics of P Systems}},
journal = {Scientific Annals of Computer Science},
volume = {18},
pages = {99--127},
)
@book(Puterman1994,
author = {Martin L. Puterman},
year = {1994},
title = {Markov Decision Processes: Discrete Stochastic Dynamic Programming},
edition = {1st},
publisher = {John Wiley \& Sons, Inc.},
address = {New York, NY, USA},
doi = {10.1002/9780470316887},
)
@incollection(timedpi,
author = {Neda Saeedloei and Gopal Gupta},
year = {2014},
title = {Timed PI Calculus},
editor = {Martín Abadi and Lluch Lafuente, Alberto},
booktitle = {Trustworthy Global Computing},
series = {Lecture Notes in Computer Science},
volume = {8358},
publisher = {Springer International Publishing},
pages = {119--135},
doi = {10.1007/978-3-319-05119-2_8},
)
@article(SBB01,
author = {D. J. T. Sumpter and G. B. Blanchard and D. S. Broomhear},
year = {2001},
title = {{Ants and Agents: a Process Algebra Approach to Modelling Ant Colony Behaviour}},
journal = {Bulletin of Mathematical Biology},
volume = {63},
pages = {951--980},
doi = {10.1006/bulm.2001.0252},
)
@article(Tofts94,
author = {Chris Tofts},
year = {1994},
title = {{Processes with probabilities, priority and time}},
journal = {Formal Aspects of Computing},
volume = {6},
number = {5},
pages = {536–564},
doi = {10.1007/BF01211867},
)
@techreport(mean-field-techreport,
author = {Mauricio Toro and Anna Philippou and Sair Arboleda and Carlos V\'{e}lez and Mar\'{i}a Puerta},
year = {2015},
title = {{Mean-field semantics for a Process Calculus for Spatially-Explicit Ecological Models}},
type = {Technical Report},
institution = {Department of Informatics and Systems, Universidad Eafit},
note = {Available at {http://blogs.eafit.edu.co/giditic-software/2015/10/01/mean-field/}},
)
@inproceedings(TPSK14,
author = {Mauricio Toro and Anna Philippou and Christina Kassara and Spyros Sfenthourakis},
year = {2014},
title = {Synchronous Parallel Composition in a Process Calculus for Ecological Models},
booktitle = {Proceedings of ICTAC'14},
pages = {424--441},
doi = {10.1007/978-3-319-10882-7_25},
)
@article(Tribastone12,
author = {Mirco Tribastone and Stephen Gilmore and Jane Hillston},
year = {2012},
title = {{Scalable Differential Analysis of Process Algebra Models}},
journal = {IEEE Transactions on Software Engineering},
volume = {38},
number = {1},
pages = {205--219},
doi = {10.1109/TSE.2010.82},
)
@article(Yang2008,
author = {Hyun Mo Yang and Cl\'{a}udia Pio Ferreira},
year = {2008},
title = {{Assessing the efects of vector control on dengue transmission}},
journal = {Applied Mathematics and Computation},
volume = {198},
pages = {401--413},
doi = {10.1016/j.amc.2007.08.046},
)