3 papers
cs.SI2012
Scalable Analysis for Large Social Networks: the data-aware mean-field approach
Julie M. Birkholz, Rena Bakhshi, Ravindra Harige +2
Studies on social networks have proved that endogenous and exogenous factors influence dynamics. Two streams of modeling exist on explaining the dynamics of social networks: 1) mod…
cs.LO2012
On the Complexity of Equivalence of Specifications of Infinite Objects
Joerg Endrullis, Dimitri Hendriks, Rena Bakhshi
We study the complexity of deciding the equality of infinite objects specified by systems of equations, and of infinite objects specified by lambda-terms. For equational specificat…
cs.DC2011
A Modeling Framework for Gossip-based Information Spread
Rena Bakhshi, Daniela Gavidia, Wan Fokkink +1
We present an analytical framework for gossip protocols based on the pairwise information exchange between interacting nodes. This framework allows for studying the impact of proto…