Journal Article (247)

181.
Journal Article
Schmuck, A.-K.; Majumdar, R.; Leva, A.: Dynamic Hierarchical Reactive Controller Synthesis. Discrete Event Dynamic Systems 27 (2), pp. 261 - 299 (2017)
182.
Journal Article
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)
183.
Journal Article
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)
184.
Journal Article
Swasey, D.; Garg, D.; Dreyer, D.: Robust and Compositional Verification of Object Capability Patterns. Proceedings of the ACM on Programming Languages 1, 89 (2017)
185.
Journal Article
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)
186.
Journal Article
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)
187.
Journal Article
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)
188.
Journal Article
Esparza, J.; Ganty, P.; Majumdar, R.: Parameterized Verification of Asynchronous Shared-Memory Systems. Journal of the ACM 63 (1), 10 (2016)
189.
Journal Article
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)
190.
Journal Article
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)
191.
Journal Article
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)
192.
Journal Article
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)
193.
Journal Article
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)
194.
Journal Article
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)
195.
Journal Article
Chakraborty, S.; Henzinger, T. A.; Sezgin, A.; Vafeiadis, V.: Aspect-oriented Linearizability Proofs. Logical Methods in Computer Science 11 (1), 20 (2015)
196.
Journal Article
Gujarati, A.; Cerqueira, F.; Brandenburg, B.: Multiprocessor Real-time Scheduling with Arbitrary Processor Affinities: From Practice to Theory. Real-Time Systems 51 (6), pp. 440 - 483 (2015)
197.
Journal Article
Zafar, M. B.; Bhattacharya, P.; Ganguly, N.; Gummadi, K.; Ghosh, S.: Sampling Content from Online Social Networks: Comparing Random vs. Expert Sampling of the Twitter Stream. ACM Transactions on the Web 9 (3), 12 (2015)
198.
Journal Article
Ziliani, B.; Dreyer, D.; Krishnaswami, N.; Nanevski, A.; Vafeiadis, V.: Mtac: A Monad for Typed Tactic Programming in Coq. Journal of Functional Programming 25, e12 (2015)
199.
Journal Article
Grabowicz, P.; Aiello, L. M.; Menczer, F.: Fast Filtering and Animation of Large Dynamic Networks. EPJ Data Science 3 (1), 27 (2014)
200.
Journal Article
Martin-Borregon, D.; Aiello, L. M.; Grabowicz, P.; Jaimes, A.; Baeza-Yates, R.: Characterization of Online Groups Along Space, Time, and Social Dimensions. EPJ Data Science 3 (1), 8 (2014)
Go to Editor View