{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,26]],"date-time":"2026-10-26T14:44:36Z","timestamp":1793025876270,"version":"4.5.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,3,22]],"date-time":"2010-03-22T00:00:00Z","timestamp":1269216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004965","name":"Sixth Framework Programme","doi-asserted-by":"publisher","award":["IST-2005-016004"],"award-info":[{"award-number":["IST-2005-016004"]}],"id":[{"id":"10.13039\/501100004965","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,3,22]]},"DOI":"10.1145\/1774088.1774337","type":"proceedings-article","created":{"date-parts":[[2010,4,27]],"date-time":"2010-04-27T12:45:48Z","timestamp":1272372348000},"page":"1173-1180","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Scalable analysis of collective behaviour in smart service systems"],"prefix":"10.1145","author":[{"given":"Mieke","family":"Massink","sequence":"first","affiliation":[{"name":"Istituto di Scienza e Tecnologie dell'Informazione, Pisa, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Harrison","sequence":"additional","affiliation":[{"name":"Newcastle University, Newcastle upon Tyne, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[{"name":"Istituto di Scienza e Tecnologie dell'Informazione, Pisa, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2010,3,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Introduction to Functional Programming using Haskell","author":"Bird R.","year":"1998","unstructured":"R. Bird . Introduction to Functional Programming using Haskell . Prentice Hall Press , 1998 . R. Bird. Introduction to Functional Programming using Haskell. Prentice Hall Press, 1998."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/376929.376941"},{"key":"e_1_3_2_1_3_1","volume-title":"LNCS 2220","author":"Doherty G.","year":"2001","unstructured":"G. Doherty , M. Massink , and G. Faconti . Reasoning about Interactive Systems with Stochastic Models. Interactive Systems: Design, Specification, and Verification (DSVIS01) , LNCS 2220 , Springer , 2001 . G. Doherty, M. Massink, and G. Faconti. Reasoning about Interactive Systems with Stochastic Models. Interactive Systems: Design, Specification, and Verification (DSVIS01), LNCS 2220, Springer, 2001."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/188637.188677"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1570433.1570456"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/236373"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.12"},{"key":"e_1_3_2_1_9_1","volume-title":"Evacnet4 user's guide","author":"Kisko T. M.","year":"1998","unstructured":"T. M. Kisko , R. L. Francis , and C. R. Nobel . Evacnet4 user's guide , 1998 . http:\/\/www.ise.ufl.edu\/kisko\/-files\/evacnet\/EVAC4UG.HTM. T. M. Kisko, R. L. Francis, and C. R. Nobel. Evacnet4 user's guide, 1998. http:\/\/www.ise.ufl.edu\/kisko\/-files\/evacnet\/EVAC4UG.HTM."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040830.1040916"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03655-2_56"},{"key":"e_1_3_2_1_12_1","first-page":"27","volume-title":"Proc. of the NIST Workshop on Building Occupant Movement during Fire Emergencies, June 10--11, 2004","author":"Santos G.","year":"2005","unstructured":"G. Santos and B. E. Aguirre . A critical review of emergency evacuation simulation models . In Proc. of the NIST Workshop on Building Occupant Movement during Fire Emergencies, June 10--11, 2004 , pp. 27 -- 52 . NIST\/BFRL Publications Online, Gaithersburg, MD, USA , 2005 . G. Santos and B. E. Aguirre. A critical review of emergency evacuation simulation models. In Proc. of the NIST Workshop on Building Occupant Movement during Fire Emergencies, June 10--11, 2004, pp. 27--52. NIST\/BFRL Publications Online, Gaithersburg, MD, USA, 2005."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2007.49"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.384.0693"},{"key":"e_1_3_2_1_16_1","volume-title":"Charles E. Merrill Publ. Comp.","author":"Wickens C. D.","year":"1984","unstructured":"C. D. Wickens . Engineering Psychology and Human Performance . Charles E. Merrill Publ. Comp. , 1984 . C. D. Wickens. Engineering Psychology and Human Performance. Charles E. Merrill Publ. Comp., 1984."}],"event":{"name":"SAC'10: The 2010 ACM Symposium on Applied Computing","location":"Sierre Switzerland","acronym":"SAC'10","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 2010 ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1774088.1774337","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1774088.1774337","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:36Z","timestamp":1750249416000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1774088.1774337"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,22]]},"references-count":15,"alternative-id":["10.1145\/1774088.1774337","10.1145\/1774088"],"URL":"https:\/\/doi.org\/10.1145\/1774088.1774337","relation":{},"subject":[],"published":{"date-parts":[[2010,3,22]]},"assertion":[{"value":"2010-03-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}