Esparza, J.; Ganty, P.; Leroux, J.; Majumdar, R.: Verification of population protocols. Acta Informatica 54 (2), pp. 191 - 215 (2017)

Gavran, I.; Majumdar, R.; Saha, I.: Antlab: A Multi-Robot Task Server. ACM Transactions on Embedded Computing Systems 16 (5s), 190, pp. 1 - 19 (2017)

Mallik, S.; Mallik, K.; Barman, A.; Maiti, D.; Biswas, S. K.; Deb, N. K.; Basu, S.: Efficiency and Cost Optimized Design of an Induction Motor Using Genetic Algorithm. IEEE Transactions on Industrial Electronics 64 (12), pp. 9854 - 9863 (2017)

Mondal, M.; Messias, J.; Ghosh, S.; Gummadi, K.; Kate, A.: Longitudinal Privacy Management in Social Media: The Need for Better Controls. IEEE Internet Computing 21 (3), pp. 48 - 55 (2017)

Rajani, V.; Bastys, I.; Rafnsson, W.; Garg, D.: Type Systems for Information Flow Control: The Question of Granularity. ACM SIGLOG News 4 (1), pp. 6 - 21 (2017)

Schmuck, A.-K.; Majumdar, R.; Leva, A.: Dynamic Hierarchical Reactive Controller Synthesis. Discrete Event Dynamic Systems 27 (2), pp. 261 - 299 (2017)

Sen, R.; Ahmad, S.; Phokeer, A.; Farooq, Z. A.; Qazi, I. A.; Choffnes, D.; Gummadi, K.: Inside the Walled Garden: Deconstructing Facebook's Free Basics Program. SIGCOMM Computer Communication Revíew 47 (5), pp. 12 - 24 (2017)

Soudjani, S. E. Z.; Abate, A.; Majumdar, R.: Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Informatica 54 (2), pp. 217 - 242 (2017)

Swasey, D.; Garg, D.; Dreyer, D.: Robust and Compositional Verification of Object Capability Patterns. Proceedings of the ACM on Programming Languages 1, 89 (2017)

Davis​​, C. A.; Ciampaglia​​, G. L.; Aiello, L. M.; Chung, K.; Conover, M. D.; Ferrara, E.; Flammini, A.; Fox, G. C.; Gao, X.; Gonçalves, B. et al.; Grabowicz, P.; Hong, K.; Hui, P.-M.; McCaulay, S.; McKelvey, K.; Meiss, M. R.; Patil, S.; Kankanamalage, C. P.; Pentchev, V.; Qiu, J.; Ratkiewicz, J.; Rudnick, A.; Serrette, B.; Shiralkar, P.; Varol, O.; Weng, L.; Wu, T.-L.; Younge, A. J.; Menczer, F.: OSoMe: The IUNI Observatory on Social Media. PeerJ Computer Science 2, e87 (2016)

Backes, M.; Bugiel, S.; Schranz, O.; von Styp-Rekowsky, a. P.: Boxify: Bringing Full-Fledged App Sandboxing to Stock Android. ;login 41 (2), pp. 16 - 21 (2016)

Balegas, V.; Li, C.; Najafzadeh, M.; Porto, D.; Clement, A.; Duarte, S.; Ferreira, C.; Gehrke, J.; Leitão, J.; Preguiça, N. M. et al.; Rodrigues, R.; Shapiro, M.; Vafeiadis, V.: Geo-Replication: Fast If Possible, Consistent If Necessary. Bulletin of the Technical Committee on Data Engineering 39 (1), pp. 81 - 92 (2016)

Esparza, J.; Ganty, P.; Majumdar, R.: Parameterized Verification of Asynchronous Shared-Memory Systems. Journal of the ACM 63 (1), 10 (2016)

Gomez Rodriguez, M.; Song, L.; Daneshmand, H.; Schölkopf, B.: Estimating Diffusion Networks: Recovery Conditions, Sample Complexity and Soft-thresholding Algorithm. Journal of Machine Learning Research 17, 90, pp. 1 - 29 (2016)

Gomez Rodriguez, M.; Song,, L.; Du, N.; Zha, H.; Schöllkopf, B.: Influence Estimation and Maximization in Continuous-Time Diffusion Networks. ACM Transactions on Information Systems 34 (2), 9, pp. 1 - 33 (2016)

Moreno-Sanchez, P.; Zafar, M. B.; Kate, A.: Listening to Whispers of Ripple: Linking Wallets and Deanonymizing Transactions in the Ripple Network. Proceedings on Privacy Enhancing Technologies 2016 (4), pp. 436 - 453 (2016)

Schmuck, A.-K.; Schneider, S.; Raisch, J.; Nestmann, U.: Supervisory Control Synthesis for Deterministic Context Free Specification Languages. Discrete Event Dynamic Systems 26 (1), pp. 5 - 32 (2016)

Valera, I.; Ruiz, F. J. R.; Olmos, P. M.; Blanco, C.; Perez-Cruz, F.: Infinite Continuous Feature Model for Psychiatric Comorbidity Analysis. Neural Computation 28 (2), pp. 354 - 381 (2016)

Valera, I.; Ruiz, F. J. R.; Perez-Cruz, F.: Infinite Factorial Unbounded-State Hidden Markov Model. IEEE Transactions on Pattern Analysis and Machine Intelligence 38 (9), pp. 1816 - 1828 (2016)

Chakraborty, S.; Henzinger, T. A.; Sezgin, A.; Vafeiadis, V.: Aspect-oriented Linearizability Proofs. Logical Methods in Computer Science 11 (1), 20 (2015)