{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T17:37:31Z","timestamp":1649093851637},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,7,14]],"date-time":"2012-07-14T00:00:00Z","timestamp":1342224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Comput Math Organ Theory"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s10588-012-9128-8","type":"journal-article","created":{"date-parts":[[2012,7,14]],"date-time":"2012-07-14T00:15:20Z","timestamp":1342224920000},"page":"404-418","source":"Crossref","is-referenced-by-count":3,"title":["Verifying agent-based models with steady-state analysis"],"prefix":"10.1007","volume":"18","author":[{"given":"James E.","family":"Gentile","sequence":"first","affiliation":[]},{"given":"Gregory J.","family":"Davis","sequence":"additional","affiliation":[]},{"given":"Samuel S. C.","family":"Rund","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,7,14]]},"reference":[{"key":"9128_CR1","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/WSC.2006.323072","volume-title":"Proceedings of the winter simulation","author":"HP Awad","year":"2006","unstructured":"Awad HP, Glynn PW (2006) On an initial transient deletion rule with rigorous theoretical support. In: Proceedings of the winter simulation, pp 186\u2013191"},{"key":"9128_CR2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BF01299065","volume":"1","author":"R Axelrod","year":"1996","unstructured":"Axelrod R, Axtell R, Epstein J, Cohen M (1996) Aligning simulation models: a case study and results. Comput Math Organ Theory 1:123\u2013141","journal-title":"Comput Math Organ Theory"},{"issue":"4","key":"9128_CR3","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1145\/508366.508369","volume":"11","author":"O Balci","year":"2001","unstructured":"Balci O (2001) A methodology for certification of modeling and simulation applications. ACM Trans Model Comput Simul 11(4):352\u2013377","journal-title":"ACM Trans Model Comput Simul"},{"key":"9128_CR4","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"2","author":"R Bordini","year":"2006","unstructured":"Bordini R, Fisher M, Visser W (2006) Verifying multi-agent programs by model checking. Auton Agents Multi-Agent Syst 2:239\u2013256","journal-title":"Auton Agents Multi-Agent Syst"},{"key":"9128_CR5","first-page":"872","volume-title":"Proceedings of the 40th conference on winter simulation","author":"WKV Chan","year":"2008","unstructured":"Chan WKV (2008) An analysis of emerging behaviors in large-scale queueing-based service systems using agent-based simulation. In: Proceedings of the 40th conference on winter simulation, pp 872\u2013878"},{"issue":"2 suppl","key":"9128_CR6","doi-asserted-by":"crossref","first-page":"25","DOI":"10.4269\/ajtmh.2004.71.25","volume":"71","author":"J Crawley","year":"2004","unstructured":"Crawley J (2004) Reducing the burden of anemia in infants and young children in malaria-endemic countries of Africa: from evidence to action. Am J Trop Med Hyg 71(2 suppl):25","journal-title":"Am J Trop Med Hyg"},{"key":"9128_CR7","doi-asserted-by":"crossref","first-page":"49","DOI":"10.4018\/jats.2011070104","volume":"3","author":"J Gentile","year":"2011","unstructured":"Gentile J, Rund S (2011) A framework for modeling genetically-aware mosquito vectors for sterile insect technique. Int J Agent Technol Syst 3:49\u201365","journal-title":"Int J Agent Technol Syst"},{"issue":"1","key":"9128_CR8","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1111\/j.1939-7445.2002.tb00078.x","volume":"15","author":"V Grimm","year":"2002","unstructured":"Grimm V (2002) Visual debugging: a way of analyzing, understanding and communicating bottom-up simulation models in ecology. Nat Resour Model 15(1):23\u201338","journal-title":"Nat Resour Model"},{"issue":"11","key":"9128_CR9","doi-asserted-by":"crossref","first-page":"1105","DOI":"10.1016\/j.trstmh.2009.01.006","volume":"103","author":"W Gu","year":"2009","unstructured":"Gu W, Novak RJ (2009a) Agent-based modelling of mosquito foraging behaviour for malaria control. Trans R Soc Trop Med Hyg 103(11):1105\u20131112","journal-title":"Trans R Soc Trop Med Hyg"},{"issue":"1","key":"9128_CR10","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1186\/1475-2875-8-256","volume":"8","author":"W Gu","year":"2009","unstructured":"Gu W, Novak R (2009b) Predicting the impact of insecticide-treated bed nets on malaria transmission: the devil is in the detail. Malar J 8(1):256","journal-title":"Malar J"},{"key":"9128_CR11","first-page":"595","volume-title":"Proceedings of the 33rd conference on winter simulation","author":"A Hu","year":"2001","unstructured":"Hu A, San Y, Wang Z (2001) Verifying and validating a simulation model. In: Proceedings of the 33rd conference on winter simulation, pp 595\u2013599"},{"key":"9128_CR12","doi-asserted-by":"crossref","unstructured":"Kefalas P, Holcombe Eleftherakis G, Gheorghe M (2003) Intelligent Agent Software Engineering, Chapter\u00a0A. Formal Method for the Development of Agent-Based Systems, pages 68\u201398. Idea Group Publishing","DOI":"10.4018\/978-1-59140-046-2.ch004"},{"key":"9128_CR13","first-page":"2298","volume-title":"Proceedings of IEEE 2003 congress on evolutionary computation (CEC\u201903)","author":"G Kendall","year":"2003","unstructured":"Kendall G, Su Y (2003) The co-evolution of trading strategies in a multi-agent based simulated stock market through the integration of individual learning and social learning. In: Proceedings of IEEE 2003 congress on evolutionary computation (CEC\u201903), pp 2298\u20132305"},{"issue":"1","key":"9128_CR14","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0377-2217(94)00016-6","volume":"82","author":"JPC Kleijnen","year":"1995","unstructured":"Kleijnen JPC (1995) Verification and validation of simulation models. Eur J Oper Res 82(1):145\u2013162","journal-title":"Eur J Oper Res"},{"key":"9128_CR15","first-page":"243","volume-title":"Proceedings of the international conference on cognitive modeling","author":"SC Marsella","year":"2004","unstructured":"Marsella SC, Pynadath DV, Read SJ (2004) Psychsim: agent-based modeling of social interactions and influence. In: Proceedings of the international conference on cognitive modeling, pp 243\u2013248"},{"issue":"2","key":"9128_CR16","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1603\/0022-2585(2006)043[0221:EOLCAP]2.0.CO;2","volume":"43","author":"S Munga","year":"2006","unstructured":"Munga S, Minakawa N, Zhou G, Barrack O-OJ, Githeko AK, Yan G (2006) Effects of larval competitors and predators on oviposition site selection of anopheles gambiae sensu stricto. J Med Entomol 43(2):221\u2013224","journal-title":"J Med Entomol"},{"key":"9128_CR17","doi-asserted-by":"crossref","unstructured":"Nicholson A (1933) Supplement: the balance of animal populations. The Journal of Animal Ecology, 131\u2013178","DOI":"10.2307\/954"},{"issue":"2","key":"9128_CR18","doi-asserted-by":"crossref","first-page":"310","DOI":"10.3790\/vjh.74.2.310","volume":"74","author":"A Patt","year":"2002","unstructured":"Patt A, Siebenh\u00fcner B (2002) Agent based modeling and adaptation to climate change. Vierteljahrsh. Wirtschaftsforsch. 74(2):310\u2013320","journal-title":"Vierteljahrsh. Wirtschaftsforsch."},{"issue":"2","key":"9128_CR19","doi-asserted-by":"crossref","first-page":"17","DOI":"10.4018\/jiit.2005040102","volume":"1","author":"F Rateb","year":"2005","unstructured":"Rateb F, Pavard B, Bellamine-BenSaoud N, Merelo JJ (2005) Modeling malaria with multi-agent systems. Int J Intell Inf Technol 1(2):17\u201327","journal-title":"Int J Intell Inf Technol"},{"key":"9128_CR20","doi-asserted-by":"crossref","unstructured":"Ropella G, Railsback S, Jackson S (2002) Software engineering considerations for individual-based models. Natural Resource Modeling, 5\u201322","DOI":"10.1111\/j.1939-7445.2002.tb00077.x"},{"issue":"1","key":"9128_CR21","doi-asserted-by":"crossref","first-page":"111","DOI":"10.4269\/ajtmh.2007.76.111","volume":"76","author":"LM Styer","year":"2007","unstructured":"Styer LM, Carey JR, Wang JL, Scott TW (2007) Mosquitoes do senesce: departure from the paradigm of constant mortality. Am J Trop Med Hyg 76(1):111","journal-title":"Am J Trop Med Hyg"},{"key":"9128_CR22","volume-title":"Proceedings of the EUROSIM","author":"O Tuncer","year":"2001","unstructured":"Tuncer O (2001) Impact of data on simulation: from early practices to federated and agent-directed simulation. In: Proceedings of the EUROSIM"}],"container-title":["Computational and Mathematical Organization Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10588-012-9128-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10588-012-9128-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10588-012-9128-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T19:03:15Z","timestamp":1561921395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10588-012-9128-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,14]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["9128"],"URL":"https:\/\/doi.org\/10.1007\/s10588-012-9128-8","relation":{},"ISSN":["1381-298X","1572-9346"],"issn-type":[{"value":"1381-298X","type":"print"},{"value":"1572-9346","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,14]]}}}