{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T16:44:28Z","timestamp":1730306668042,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,14]]},"DOI":"10.1109\/wsc48552.2020.9383908","type":"proceedings-article","created":{"date-parts":[[2021,3,29]],"date-time":"2021-03-29T22:03:21Z","timestamp":1617055401000},"page":"2245-2256","source":"Crossref","is-referenced-by-count":2,"title":["Pragmatic Logic-Based Spatio-Temporal Pattern Checking in Particle-Based Models"],"prefix":"10.1109","author":[{"given":"Andreas","family":"Ruscheinski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anja","family":"Wolpers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Henning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Warnke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fiete","family":"Haack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adelinde M.","family":"Uhrmacher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1007\/978-3-319-45889-2_7"},{"key":"ref32","article-title":"The Pipeline Design Pattern","author":"vermeulen","year":"1995","journal-title":"Proceedings of OOPSLA'95 Workshop on Design Patterns for Concurrent Parallel and Distributed Object-Oriented Systems"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1371\/journal.pcbi.1006643"},{"key":"ref30","first-page":"16","article-title":"NetLogo: A Simple Environment for Modeling Complexity","author":"tisue","year":"2004","journal-title":"International Conference on Complex Systems"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1016\/j.jmmm.2018.10.028"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1002\/wcms.82"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/978-3-540-75140-3_4"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/2019406.2019413"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1083\/jcb.200409087"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1073\/pnas.2135445100"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/ICMLC.2008.4620982"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1073\/pnas.0505825102","article-title":"Division Accuracy in a Stochastic Model of Min Oscillations in Escherichia Coli","volume":"103","author":"kerr","year":"2005","journal-title":"Proceedings of the National Academy of Sciences"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1186\/s12859-019-3092-y"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1002\/widm.30"},{"year":"2013","author":"landau","journal-title":"General Physics Mechanics and Molecular Physics","key":"ref18"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1080\/13658810500105572"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1007\/s10707-013-0198-7"},{"year":"2001","author":"ben-kiki","article-title":"YAML Ain't Markup Language (YAML™) Version 1.2","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1186\/s12918-014-0106-2"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/978-3-662-45489-3_1"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/978-3-319-47166-2_46"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1186\/s13628-014-0011-5"},{"key":"ref5","first-page":"66","article-title":"Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic","author":"bortolussi","year":"2014","journal-title":"Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools VALUETOOLS '14"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/978-3-642-39799-8_19"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1371\/journal.pone.0168198"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1088\/1478-3975\/6\/4\/046015"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/568574.568575"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/3158668"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/UKSIM.2009.20"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/s40571-014-0017-4"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/978-3-540-30206-3_12"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1007\/978-3-319-23820-3_2"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1038\/s41598-019-47603-9"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/TCBB.2016.2598162"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1016\/j.tcs.2007.05.008"}],"event":{"name":"2020 Winter Simulation Conference (WSC)","start":{"date-parts":[[2020,12,14]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2020,12,18]]}},"container-title":["2020 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9383852\/9383853\/09383908.pdf?arnumber=9383908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T15:18:32Z","timestamp":1656602312000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9383908\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,14]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/wsc48552.2020.9383908","relation":{},"subject":[],"published":{"date-parts":[[2020,12,14]]}}}