Journal Article (254)
181.
Journal Article
18, 2, pp. 1 - 45 (2017)
Scalable Influence Maximization for Multiple Products in Continuous-Time Diffusion Networks. Journal of Machine Learning Research 182.
Journal Article
50 (2-3), pp. 140 - 167 (2017)
Model Checking Parameterized Asynchronous Shared-Memory Systems. Formal Methods in System Design 183.
Journal Article
54 (2), pp. 191 - 215 (2017)
Verification of population protocols. Acta Informatica 184.
Journal Article
16 (5s), 190, pp. 1 - 19 (2017)
Antlab: A Multi-Robot Task Server. ACM Transactions on Embedded Computing Systems 185.
Journal Article
64 (12), pp. 9854 - 9863 (2017)
Efficiency and Cost Optimized Design of an Induction Motor Using Genetic Algorithm. IEEE Transactions on Industrial Electronics 186.
Journal Article
21 (3), pp. 48 - 55 (2017)
Longitudinal Privacy Management in Social Media: The Need for Better Controls. IEEE Internet Computing 187.
Journal Article
4 (1), pp. 6 - 21 (2017)
Type Systems for Information Flow Control: The Question of Granularity. ACM SIGLOG News 188.
Journal Article
27 (2), pp. 261 - 299 (2017)
Dynamic Hierarchical Reactive Controller Synthesis. Discrete Event Dynamic Systems 189.
Journal Article
47 (5), pp. 12 - 24 (2017)
Inside the Walled Garden: Deconstructing Facebook's Free Basics Program. SIGCOMM Computer Communication Revíew 190.
Journal Article
54 (2), pp. 217 - 242 (2017)
Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Informatica 191.
Journal Article
1, 89 (2017)
Robust and Compositional Verification of Object Capability Patterns. Proceedings of the ACM on Programming Languages 192.
Journal Article
2, e87 (2016)
OSoMe: The IUNI Observatory on Social Media. PeerJ Computer Science 193.
Journal Article
41 (2), pp. 16 - 21 (2016)
Boxify: Bringing Full-Fledged App Sandboxing to Stock Android. ;login 194.
Journal Article
39 (1), pp. 81 - 92 (2016)
Geo-Replication: Fast If Possible, Consistent If Necessary. Bulletin of the Technical Committee on Data Engineering 195.
Journal Article
63 (1), 10 (2016)
Parameterized Verification of Asynchronous Shared-Memory Systems. Journal of the ACM 196.
Journal Article
17, 90, pp. 1 - 29 (2016)
Estimating Diffusion Networks: Recovery Conditions, Sample Complexity and Soft-thresholding Algorithm. Journal of Machine Learning Research 197.
Journal Article
34 (2), 9, pp. 1 - 33 (2016)
Influence Estimation and Maximization in Continuous-Time Diffusion Networks. ACM Transactions on Information Systems 198.
Journal Article
2016 (4), pp. 436 - 453 (2016)
Listening to Whispers of Ripple: Linking Wallets and Deanonymizing Transactions in the Ripple Network. Proceedings on Privacy Enhancing Technologies 199.
Journal Article
26 (1), pp. 5 - 32 (2016)
Supervisory Control Synthesis for Deterministic Context Free Specification Languages. Discrete Event Dynamic Systems 200.
Journal Article
28 (2), pp. 354 - 381 (2016)
Infinite Continuous Feature Model for Psychiatric Comorbidity Analysis. Neural Computation