{"id":"https://openalex.org/W2798326391","doi":"https://doi.org/10.1007/978-3-319-90104-6_9","title":"A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks","display_name":"A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2798326391","doi":"https://doi.org/10.1007/978-3-319-90104-6_9","mag":"2798326391"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-90104-6_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-90104-6_9","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100625049","display_name":"Xiaobing Wang","orcid":"https://orcid.org/0000-0001-5044-3721"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xiaobing Wang","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi\u2019an, 710071, People\u2019s Republic of China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi'an, 710071, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi\u2019an, 710071, People\u2019s Republic of China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi'an, 710071, People's Republic of China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006717653","display_name":"Liyuan Ren","orcid":null},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liyuan Ren","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi\u2019an, 710071, People\u2019s Republic of China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi'an, 710071, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi\u2019an, 710071, People\u2019s Republic of China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi'an, 710071, People's Republic of China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101485090","display_name":"Liang Zhao","orcid":"https://orcid.org/0000-0003-1751-8618"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liang Zhao","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi\u2019an, 710071, People\u2019s Republic of China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi'an, 710071, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi\u2019an, 710071, People\u2019s Republic of China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi'an, 710071, People's Republic of China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029605914","display_name":"Xinfeng Shu","orcid":"https://orcid.org/0000-0002-7293-4510"},"institutions":[{"id":"https://openalex.org/I4210136859","display_name":"Xi\u2019an University of Posts and Telecommunications","ror":"https://ror.org/04jn0td46","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210136859"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinfeng Shu","raw_affiliation_strings":["School of Computer Science and Technology, Xi\u2019an University of Posts and Communications, Xi\u2019an, 710061, People\u2019s Republic of China","School of Computer Science and Technology, Xi'an University of Posts and Communications, Xi'an, 710061, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Xi\u2019an University of Posts and Communications, Xi\u2019an, 710061, People\u2019s Republic of China","institution_ids":["https://openalex.org/I4210136859"]},{"raw_affiliation_string":"School of Computer Science and Technology, Xi'an University of Posts and Communications, Xi'an, 710061, People's Republic of China","institution_ids":["https://openalex.org/I4210136859"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100625049"],"corresponding_institution_ids":["https://openalex.org/I149594827"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05691354,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"133","last_page":"147"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9902999997138977,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9886999726295471,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8664286136627197},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7471837997436523},{"id":"https://openalex.org/keywords/hidden-markov-model","display_name":"Hidden Markov model","score":0.6902070045471191},{"id":"https://openalex.org/keywords/randomness","display_name":"Randomness","score":0.6821551322937012},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6357044577598572},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5361056327819824},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5356471538543701},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4939640164375305},{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.49288511276245117},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.46813544631004333},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3393741846084595},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31867706775665283},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06828606128692627}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8664286136627197},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7471837997436523},{"id":"https://openalex.org/C23224414","wikidata":"https://www.wikidata.org/wiki/Q176769","display_name":"Hidden Markov model","level":2,"score":0.6902070045471191},{"id":"https://openalex.org/C125112378","wikidata":"https://www.wikidata.org/wiki/Q176640","display_name":"Randomness","level":2,"score":0.6821551322937012},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6357044577598572},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5361056327819824},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5356471538543701},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4939640164375305},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.49288511276245117},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.46813544631004333},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3393741846084595},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31867706775665283},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06828606128692627},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-90104-6_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-90104-6_9","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.6100000143051147}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1516256348","https://openalex.org/W1809182522","https://openalex.org/W2021917262","https://openalex.org/W2048102542","https://openalex.org/W2103722575","https://openalex.org/W2105594594","https://openalex.org/W2109469951","https://openalex.org/W2123610695","https://openalex.org/W2141881497","https://openalex.org/W2238201325","https://openalex.org/W2406281999","https://openalex.org/W2475283533","https://openalex.org/W2506706168","https://openalex.org/W2618805227"],"related_works":["https://openalex.org/W3034924094","https://openalex.org/W3094954546","https://openalex.org/W1488708774","https://openalex.org/W2981906196","https://openalex.org/W1982811510","https://openalex.org/W4391100477","https://openalex.org/W4327779705","https://openalex.org/W1513698804","https://openalex.org/W4310560702","https://openalex.org/W2029712093"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}