@article(aurenhammer1991voronoi,
 author       = "F. Aurenhammer",
 year         = "1991",
 title        = "Voronoi Diagrams—A Survey of a Fundamental Geometric Data Structure",
 journal      = "ACM Computing Surveys (CSUR)",
 volume       = "23",
 number       = "3",
 pages        = "345--405",
 doi          = "10.1145/116873.116880",
)
@article(bortolussi57hype,
 author       = "L. Bortolussi and V. Galpin and J. Hillston",
 title        = "HYPE with Stochastic Events",
 journal      = "EPTCS",
 volume       = "57",
 pages        = "120--133",
 doi          = "10.4204/EPTCS.57.9",
)
@inproceedings(bortolussi2012hybrid,
 author       = "L. Bortolussi and V. Galpin and J. Hillston",
 year         = "2012",
 title        = "Hybrid Performance Modelling of Opportunistic Networks",
 booktitle    = "10th Workshop on Quantitative Aspects of Programming Languages and Systems",
 volume       = "85",
 pages        = "106--121",
 doi          = "10.4204/EPTCS.85.8",
)
@article(bruneo2012markovian,
 author       = "D. Bruneo and M. Scarpa and A. Bobbio and D. Cerotti and M. Gribaudo",
 year         = "2012",
 title        = "Markovian Agent Modeling Swarm Intelligence Algorithms in Wireless Sensor Networks",
 journal      = "Performance Evaluation",
 volume       = "69",
 number       = "3",
 pages        = "135--149",
 doi          = "10.1016/j.peva.2010.11.007",
)
@inproceedings(baier2004model,
 author       = "C.Baier and L. Cloth and B. Haverkort and M. Kuntz and M. Siegle",
 year         = "2004",
 title        = "Model Checking Action and State-Labelled Markov Chains",
 booktitle    = "International Conference on Dependable Systems and Networks",
 organization = "IEEE",
 pages        = "701--710",
 doi          = "10.1109/DSN.2004.1311941",
)
@inproceedings(chaintreau2009age,
 author       = "A. Chaintreau and J.-Y. Le Boudec and N. Ristanovic",
 year         = "2009",
 title        = "The Age of Gossip: Spatial Mean Field Regime",
 booktitle    = "Proceedings of the 11th International Joint Conference on Measurement and Modeling of Computer Systems",
 organization = "ACM",
 pages        = "109--120",
 doi          = "10.1145/1555349.1555363",
)
@inproceedings(doria2002providing,
 author       = "A. Doria and M. Uden and D. Pandey",
 year         = "2002",
 title        = "Providing Connectivity to the Saami Nomadic Community",
 booktitle    = "Proc. 2nd Int. Conf. on Open Collaborative Design for Sustainable Innovation",
)
@mastersthesis(Xthesis,
 author       = "C. Feng",
 year         = "2012",
 title        = "Modelling Opportunistic Netowrks with HYPE",
 school       = "School of Informatics, University of Edinburgh",
 url          = "https://dl.dropboxusercontent.com/u/61208698/IM121159.pdf",
)
@article(galpin2009hype,
 author       = "V. Galpin and L. Bortolussi and J. Hillston",
 year         = "2013",
 title        = "HYPE: Hybrid Modelling by Composition of Flows",
 journal      = "Formal Aspects of Computing",
 pages        = "1--39",
 doi          = "10.1007/s00165-011-0189-0",
)
@inproceedings(gribaudo2008analysis,
 author       = "M. Gribaudo and D. Cerotti and A. Bobbie",
 year         = "2008",
 title        = "Analysis of on-off Policies in Sensor Networks Using Interacting Markovian Agents",
 booktitle    = "6th Annual IEEE International Conference on Pervasive Computing and Communications",
 organization = "IEEE",
 pages        = "300--305",
 doi          = "10.1109/PERCOM.2008.100",
)
@incollection(guenther2011higher,
 author       = "M. C Guenther and J. T Bradley",
 year         = "2011",
 title        = "Higher Moment Analysis of a Spatial Stochastic Process Algebra",
 booktitle    = "Computer Performance Engineering",
 publisher    = "Springer",
 pages        = "87--101",
 doi          = "10.1007/978-3-642-24749-1$\_$8",
)
@inproceedings(hillston2005fluid,
 author       = "J. Hillston",
 year         = "2005",
 title        = "Fluid Flow Approximation of PEPA Models",
 booktitle    = "2nd International Conference on the Quantitative Evaluation of Systems",
 organization = "IEEE",
 pages        = "33--42",
 doi          = "10.1109/QEST.2005.12",
)
@inproceedings(OppNetSurvey,
 author       = "C. Huang and K. Lan and C. Tsai",
 year         = "2008",
 title        = "A Survey of Opportunistic Networks",
 booktitle    = "Proceedings of 22nd International Conference on Advanced Information Networking and Applications-Workshops",
 pages        = "1672--1677",
 doi          = "10.1109/WAINA.2008.292",
)
@inproceedings(paof:06,
 author       = "M. Gribaudo M. Garetto",
 year         = "2006",
 title        = "Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques",
 booktitle    = "3rd International Conference on Quantitative Evaluation of Systems",
 pages        = "73--–82",
 doi          = "10.1109/QEST.2006.42",
)
@article(pentland2004daknet,
 author       = "A. Pentland and R. Fletcher and A. Hasson",
 year         = "2004",
 title        = "Daknet: Rethinking Connectivity in Developing Nations",
 journal      = "Computer",
 volume       = "37",
 number       = "1",
 pages        = "78--83",
 doi          = "10.1109/MC.2004.1260729",
)
@inproceedings(zebraNet,
 author       = "J. Philo and O. Hidekazu and W. Yong and M. Margaret and P. Li Shiuan and R. Daniel",
 year         = "2002",
 title        = "Energy-Efficient Computing for Wildlife Tracking: Design Trade-Offs and Early Experiences with ZebraNet",
 booktitle    = "ACM Sigplan Notices",
 volume       = "37",
 organization = "ACM",
 pages        = "96--107",
 doi          = "10.1145/605432.605408",
)
@inproceedings(small2003shared,
 author       = "T. Small and Z. J Haas",
 year         = "2003",
 title        = "The Shared Wireless Infostation model: a New Adhoc Networking Paradigm (or Where There is a Whale, There is a Way)",
 booktitle    = "Proceedings of the 4th ACM international symposium on Mobile ad hoc networking computing",
 organization = "ACM",
 pages        = "233--244",
 doi          = "10.1145/778415.778443",
)