A language-based approach to modelling and analysis of Twitter interactions
暂无分享,去创建一个
[1] Geert-Jan Houben,et al. Twitcident: fighting fire with information from social web streams , 2012, WWW.
[2] Johan Bollen,et al. Modeling Public Mood and Emotion: Twitter Sentiment and Socio-Economic Phenomena , 2009, ICWSM.
[3] Matteo Magnani,et al. Conversation Practices and Network Structure in Twitter , 2012, ICWSM.
[4] Philip W. L. Fong. Relationship-based access control: protection model and policy language , 2011, CODASPY '11.
[5] Alberto Verdejo,et al. Implementing CCS in Maude 2 , 2002, Electron. Notes Theor. Comput. Sci..
[6] Roberto Di Pietro,et al. DNA-Inspired Online Behavioral Modeling and Its Application to Spambot Detection , 2016, IEEE Intell. Syst..
[7] Rocco De Nicola,et al. Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter , 2015, SEFM.
[8] Chao Yang,et al. Empirical Evaluation and New Design for Fighting Evolving Twitter Spammers , 2011, IEEE Transactions on Information Forensics and Security.
[9] Patrick Paroubek,et al. Twitter as a Corpus for Sentiment Analysis and Opinion Mining , 2010, LREC.
[10] Gianluca Stringhini,et al. Detecting spammers on social networks , 2010, ACSAC '10.
[11] Stefano Sebastio,et al. MultiVeStA: statistical model checking for discrete event simulators , 2013, VALUETOOLS.
[12] José Meseguer,et al. Model checking linear temporal logic of rewriting formulas under localized fairness , 2015, Sci. Comput. Program..
[13] Matteo Magnani,et al. The ML-Model for Multi-layer Social Networks , 2011, 2011 International Conference on Advances in Social Networks Analysis and Mining.
[14] Qi Gao,et al. Analyzing user modeling on twitter for personalized news recommendations , 2011, UMAP'11.
[15] Fenrong Liu,et al. Facebook and the epistemic logic of friendship , 2013, TARK.
[16] Alan Ritter,et al. Unsupervised Modeling of Twitter Conversations , 2010, NAACL.
[17] Roberto Di Pietro,et al. A Criticism to Society (As Seen by Twitter Analytics) , 2014, 2014 IEEE 34th International Conference on Distributed Computing Systems Workshops (ICDCSW).
[18] Brian D. Davison,et al. Empirical study of topic modeling in Twitter , 2010, SOMA '10.
[19] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[20] Nicole Novielli,et al. UNIBA: Sentiment Analysis of English Tweets Combining Micro-blogging, Lexicon and Semantic Features , 2015, SemEval@NAACL-HLT.
[21] Rocco De Nicola,et al. KLAIM: A Kernel Language for Agents Interaction and Mobility , 1998, IEEE Trans. Software Eng..
[22] Preslav Nakov,et al. SemEval-2015 Task 10: Sentiment Analysis in Twitter , 2015, *SEMEVAL.
[23] Peter Mika,et al. Making Sense of Twitter , 2010, SEMWEB.
[24] ROBIN MILNER,et al. Edinburgh Research Explorer A Calculus of Mobile Processes, I , 2003 .
[25] Gerardo Schneider,et al. A Formal Privacy Policy Framework for Social Networks , 2014, SEFM.
[26] Philip W. L. Fong,et al. A Privacy Preservation Model for Facebook-Style Social Network Systems , 2009, ESORICS.
[27] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[28] Krishna P. Gummadi,et al. Strength in Numbers: Robust Tamper Detection in Crowd Computations , 2015, COSN.
[29] José Meseguer,et al. The Maude LTL Model Checker , 2004, WRLA.
[30] Rocco De Nicola,et al. A Formal Approach to Autonomic Systems Programming: The SCEL Language , 2014, TAAS.
[31] Barbara Poblete,et al. Twitter under crisis: can we trust what we RT? , 2010, SOMA '10.
[32] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[33] Alessandro Vespignani,et al. Modeling Users' Activity on Twitter Networks: Validation of Dunbar's Number , 2011, PloS one.
[34] Narciso Martí-Oliet,et al. All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.
[35] Jimmy J. Lin,et al. Information network or social network?: the structure of the twitter follow graph , 2014, WWW.
[36] Roberto Di Pietro,et al. Fame for sale: Efficient detection of fake Twitter followers , 2015, Decis. Support Syst..