{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:21:48Z","timestamp":1729617708424,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/cec.2011.5949765","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T16:51:24Z","timestamp":1311180684000},"page":"1296-1301","source":"Crossref","is-referenced-by-count":5,"title":["Optimisation of process algebra models using evolutionary computation"],"prefix":"10.1109","author":[{"given":"David","family":"Marco","sequence":"first","affiliation":[]},{"given":"David","family":"Cairns","sequence":"additional","affiliation":[]},{"given":"Carron","family":"Shankland","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","article-title":"Process algebra and epidemiology: evaluating the ability of PEPA to describe biological systems","author":"benkirane","year":"2011","journal-title":"Ph D Dissertation"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3472-0_16"},{"journal-title":"New HIV Diagnoses Surveillance Tables UK data to the end of December 2007","year":"2008","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1098\/rstb.1981.0005"},{"key":"ref10","first-page":"77","article-title":"Particle swarm optimization for stochastic process calculi","author":"prandi","year":"0","journal-title":"Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1201\/9781420034349"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1201\/9781420034349"},{"journal-title":"Evolutionary Computation A Unified Approach","year":"2006","author":"jong","key":"ref13"},{"journal-title":"Evolutionary Computation in Bioinformatics","year":"2003","author":"fogel","key":"ref14"},{"key":"ref15","first-page":"227","article-title":"Describing social insect behaviour using process algebra","volume":"9","author":"tofts","year":"1992","journal-title":"Transactions of the Society for Computer Simulation"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1098\/rspb.2001.1604"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1142\/9789814447362_0045","article-title":"Representation and simulation of biochemical processes using the pi-calculus process algebra","volume":"6","author":"regev","year":"0","journal-title":"Pacific Symposium on Biocomputing 2001"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-008-0066-2"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1342327.1342332"},{"journal-title":"Essentials of Metaheuristics Lulu","year":"2009","author":"luke","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.036"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68894-5"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1021\/jp993732q"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.097"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"1662","DOI":"10.1126\/science.1069492","article-title":"Systems Biology: A Brief Overview","volume":"295","author":"kitano","year":"2002","journal-title":"Science"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.mbs.2009.03.002"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5289-5_5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570044"},{"journal-title":"Evolutionary Computation in Bioinformatics","year":"2002","author":"fogel","key":"ref1"},{"journal-title":"Eclipse Plug-in","year":"2008","author":"gilmore","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262195485.003.0017"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.01.005"},{"key":"ref24","first-page":"233","article-title":"Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques","author":"buchholz","year":"0","journal-title":"Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)"},{"journal-title":"Systems biology software infrastructure","year":"2011","key":"ref23"},{"journal-title":"Genetic Algorithms in Search Optimization & Machine Learning","year":"1989","author":"goldberg","key":"ref26"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1090.001.0001","author":"holland","year":"1992","journal-title":"Adaptation in Natural and Artificial Systems"}],"event":{"name":"2011 IEEE Congress on Evolutionary Computation (CEC)","start":{"date-parts":[[2011,6,5]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2011,6,8]]}},"container-title":["2011 IEEE Congress of Evolutionary Computation (CEC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5936494\/5949581\/05949765.pdf?arnumber=5949765","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T00:49:28Z","timestamp":1560386968000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5949765\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/cec.2011.5949765","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}