Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Sotirios Gyftopoulos, Pavlos S. Efraimidis, Panagiotis Katsaros. Formal analysis of DeGroot Influence Problems using probabilistic model checking. Simulation Modelling Practice and Theory, 89:144-159, 2018. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Solving Influence Problems on the DeGroot Model with a Probabilistic Model Checking ToolSotirios Gyftopoulos, Pavlos S. Efraimidis, Panagiotis Katsaros. pci 2016: 31 [doi] Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model CheckingNikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Dashpande, Scott A. Smolka. hase 2010: 94-103 [doi]
The following publications are possibly variants of this publication: