{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:43:59Z","timestamp":1743025439413,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319229683"},{"type":"electronic","value":"9783319229690"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22969-0_23","type":"book-chapter","created":{"date-parts":[[2015,8,20]],"date-time":"2015-08-20T08:51:42Z","timestamp":1440060702000},"page":"327-343","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Maggi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marinella","family":"Petrocchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Spognardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,21]]},"reference":[{"key":"23_CR1","unstructured":"Smith, C.: By The Numbers: 150+ Amazing Twitter Statistics. In: (March 2015). http:\/\/goo.gl\/2Xr9X. Last checked 21 March 2015"},{"key":"23_CR2","unstructured":"The Guardian: Barack Obama tweets the start to his 2012 re-election campaign. In: (Apr 2011). http:\/\/goo.gl\/Uk6Av. Last checked 21 March 2015"},{"key":"23_CR3","unstructured":"Brandwatch.com: Analysis of global brands\u2019 Twitter activity. In: (Dec 2012). http:\/\/goo.gl\/C6MeU. Last checked 21 March 2015"},{"key":"23_CR4","unstructured":"Save the Children: Hurricane Tips for Parents: How to Help Kids. In: (Jun 2014). http:\/\/goo.gl\/vZynkt. Last checked 21 March 2015"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Myers, S.A., Sharma, A., Gupta, P., Lin, J.: Information network or social network?: the structure of the twitter follow graph. In: WWW, pp. 493\u2013498. ACM (2014)","DOI":"10.1145\/2567948.2576939"},{"key":"23_CR6","unstructured":"Ritter, A., Cherry, C., Dolan, B.: Unsupervised modeling of twitter conversations. In: HLT-NAACL, pp. 172\u2013180 (2010)"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Stringhini, G., Kruegel, C., Vigna, G.: Detecting spammers on social networks. In: ACSAC, pp. 1\u20139. ACM (2010)","DOI":"10.1145\/1920261.1920263"},{"key":"23_CR8","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"23_CR9","first-page":"17","volume":"60\u201361","author":"G Plotkin","year":"2004","unstructured":"Plotkin, G.: A structural approach to operational semantics. J. Log. Algebr. Program. 60\u201361, 17\u2013139 (2004)","journal-title":"J. Log. Algebr. Program."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Maggi, A., Petrocchi, M., Spognardi, A., Tiezzi, F.: Twitlang(er): interactions modeling language (and interpreter) for Twitter. Technical report, IMT (2015). http:\/\/sysma.imtlucca.it\/tools\/twitlanger\/","DOI":"10.1007\/978-3-319-22969-0_23"},{"issue":"1","key":"23_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of mobile processes. Inf. Comp. 100(1), 1\u201377 (1992)","journal-title":"Inf. Comp."},{"key":"23_CR12","volume-title":"All About Maude - A High-performance Logical Framework","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-performance Logical Framework. Springer, Heidelberg (2007)"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Implementing CCS in Maude 2. In: WRLA, vol. 71 of ENTCS, pp. 239\u2013257. Elsevier (2002)","DOI":"10.1016\/S1571-0661(05)82540-X"},{"key":"23_CR14","unstructured":"Larson, D.: 9 Strange Things About Tweets, Retweets And DMs Every Twitter User Must Know. In: (Nov 2011). http:\/\/goo.gl\/XyvAO. Last checked 21 March 2015"},{"key":"23_CR15","unstructured":"Bollen, J., Mao, H., Pepe, A.: Modeling public mood and emotion: twitter sentiment and socio-economic phenomena. In: ICWSM (2011)"},{"key":"23_CR16","unstructured":"Pak, A., Paroubek, P.: Twitter as a corpus for sentiment analysis and opinion mining. In: LREC, ELRA (2010)"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Hong, L., Davison, B.D.: Empirical study of topic modeling in twitter. In: SOMA, pp 80\u201388. ACM (2010)","DOI":"10.1145\/1964858.1964870"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-22362-4_1","volume-title":"User Modeling, Adaption and Personalization","author":"F Abel","year":"2011","unstructured":"Abel, F., Gao, Q., Houben, G.-J., Tao, K.: Analyzing user modeling on twitter for personalized news recommendations. In: Konstan, J.A., Conejo, R., Marzo, J.L., Oliver, N. (eds.) UMAP 2011. LNCS, vol. 6787, pp. 1\u201312. Springer, Heidelberg (2011)"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Abel, F., Hauff, C., Houben, G.J., Stronkman, R., Tao, K.: Twitcident: fighting fire with information from social web streams. In: WWW, pp. 305\u2013308 (2012)","DOI":"10.1145\/2187980.2188035"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Mendoza, M., Poblete, B., Castillo, C.: Twitter under crisis: can we trust what we RT? In: SOMA, pp. 71\u201379. ACM (2010)","DOI":"10.1145\/1964858.1964869"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/978-3-642-17746-0_30","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"D Laniado","year":"2010","unstructured":"Laniado, D., Mika, P.: Making sense of twitter. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 470\u2013485. Springer, Heidelberg (2010)"},{"issue":"8","key":"23_CR22","doi-asserted-by":"publisher","first-page":"e22656","DOI":"10.1371\/journal.pone.0022656","volume":"6","author":"B Gonalves","year":"2011","unstructured":"Gonalves, B., Perra, N., Vespignani, A.: Modeling users\u2019 activity on twitter networks: validation of Dunbar\u2019s number. PLoS ONE 6(8), e22656 (2011)","journal-title":"PLoS ONE"},{"issue":"8","key":"23_CR23","doi-asserted-by":"publisher","first-page":"1280","DOI":"10.1109\/TIFS.2013.2267732","volume":"8","author":"C Yang","year":"2013","unstructured":"Yang, C., Harkreader, R., Gu, G.: Empirical evaluation and new design for fighting evolving twitter spammers. IEEE Inf. Forensics Secur. 8(8), 1280\u20131293 (2013)","journal-title":"IEEE Inf. Forensics Secur."},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Cresci, S., Di Pietro, R., Petrocchi, M., Spognardi, A., Tesconi, M.: A criticism to society (as seen by Twitter analytics). In: DASec. IEEE (2014)","DOI":"10.1109\/ICDCSW.2014.31"},{"issue":"5","key":"23_CR25","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R De Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: a Kernel language for agents interaction and mobility. T. Software Eng. 24(5), 315\u2013330 (1998)","journal-title":"T. Software Eng."},{"issue":"2","key":"23_CR26","doi-asserted-by":"publisher","first-page":"7:1","DOI":"10.1145\/2619998","volume":"9","author":"R De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. TAAS 9(2), 7:1\u20137:29 (2014)","journal-title":"TAAS"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22969-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T12:48:00Z","timestamp":1674910080000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22969-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319229683","9783319229690"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22969-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"21 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}