{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:26:01Z","timestamp":1729664761219,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/wsc.2012.6465202","type":"proceedings-article","created":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T13:24:26Z","timestamp":1362144266000},"page":"1-12","source":"Crossref","is-referenced-by-count":3,"title":["A machine learning approach for generating temporal logic classifications of complex model behaviours"],"prefix":"10.1109","author":[{"given":"Daniele","family":"Maccagnola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enza","family":"Messina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qian","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Gilbert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1074\/jbc.274.42.30169"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1038\/sj.onc.1208817"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1038\/sj.onc.1202367"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"16","first-page":"398","article-title":"Snoopy - A unifying Petri net tool","volume":"7347","author":"heiner","year":"2012","journal-title":"LNCS"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1002\/mrm.1910400211"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.patrec.2007.12.011"},{"key":"11","first-page":"209","author":"gao","year":"2011","journal-title":"A Multiscale Approach to Modelling Planar Cell Polarity in Drosophila Wing Using Hierarchically Coloured Petri Nets"},{"key":"12","first-page":"200","article-title":"A unifying framework for modelling and analysing biochemical pathways using Petri nets","author":"gilbert","year":"2007","journal-title":"CMSB'07"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/0092-8674(95)90401-8"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/j.patcog.2005.01.025"},{"journal-title":"Version 7 10 0 (R2010a)","year":"2010","key":"22"},{"journal-title":"RNA and the Regulation of Gene Expression A Hidden Layer of Complexity","year":"2008","author":"morris","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90110-9"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/0377-0427(87)90125-7"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1038\/nbt0402-370"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.genet.42.110807.091432"},{"key":"28","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1016\/S1097-2765(01)00184-8","article-title":"Asymmetric localization of frizzled and the establishment of cell polarity in the drosophila wing","volume":"7","author":"strutt","year":"2002","journal-title":"Mol Cell"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/INFVIS.1999.801851"},{"key":"3","first-page":"358","author":"batal","year":"2011","journal-title":"A Pattern Mining Approach for Classifying Multivariate Temporal Data"},{"journal-title":"On Algorithmic Verification Methods for Probabilistic Systems","year":"1998","author":"baier","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s10852-010-9140-2"},{"key":"1","first-page":"269","volume":"1102","author":"aziz","year":"1996","journal-title":"Verifying Continuous-Time Markov Chains"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1080\/01969727408546059"},{"key":"6","first-page":"269","volume":"5307","author":"donaldson","year":"2008","journal-title":"A Model Checking Approach to the Parameter Estimation of Biochemical Pathways"},{"key":"5","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1128\/MCB.19.1.330","article-title":"The repertoire of Fos and Jun proteins expressed during the G1 phase of the cell cycle is determined by the duration of mitogen-activated protein kinase activation","volume":"19","author":"cook","year":"1999","journal-title":"Molecular and Cellular Biology"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"4"},{"key":"9","first-page":"48","article-title":"On the analysis of numerical data time series in temporal logic","volume":"4695","author":"fages","year":"2007","journal-title":"LNCS\/LNBI"},{"key":"8","first-page":"226","author":"ester","year":"1996","journal-title":"A Density-Based Algorithm for Discovering Clusters in Large Spatial Databases with Noise"}],"event":{"name":"2012 Winter Simulation Conference - (WSC 2012)","start":{"date-parts":[[2012,12,9]]},"location":"Berlin, Germany","end":{"date-parts":[[2012,12,12]]}},"container-title":["Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6451330\/6464965\/06465202.pdf?arnumber=6465202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T07:20:30Z","timestamp":1562743230000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6465202\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/wsc.2012.6465202","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}