Keyphrases
- social media
- model checking
- genetic algorithm
- scale free networks
- user generated content
- social interaction
- social networks
- social media data
- formal verification
- sina weibo
- real world events
- social media sites
- person identification
- signature verification
- online communities
- temporal logic
- big data
- social networking sites
- public opinion
- online social networks
- database
- social media platforms
- social network analysis