Scientific Publications

Chakraborty, A.; Ganguly, N.: Online Social Networks to Foster Long-Term Welfare. GetMobile 23 (2), pp. 5 - 8 (2019)

Chakraborty, A.; Ghosh, S.; Ganguly, N.; Gummadi, K.: Editorial Versus Audience Gatekeeping: Analyzing News Selection and Consumption Dynamics in Online News Media. IEEE Transactions on Computational Social Systems 6 (4), pp. 680 - 691 (2019)

Chakraborty, A.; Ghosh, S.; Ganguly, N.; Gummadi, K.: Optimizing the Recency-Relevance-Diversity Trade-offs in Non-personalized News Recommendations. Information Retrieval Journal 22, pp. 447 - 475 (2019)

Chen, J.-J.; Nelissen, G.; Huang, W.-H.; Yang, M.; Brandenburg, B.; Bletsas, K.; Liu, C.; Richard, P.; Ridouard, F.; Audsley, N. C. et al.; Rajkumar, R.; de Niz, D.; von der Brüggen, G.: Many Suspensions, Many Problems: A Review of Self-suspending Tasks in Real-time Systems. Real-Time Systems 55, pp. 144 - 207 (2019)

Drucker, N.; Ho, H.-M.; Ouaknine, J.; Penn, M.; Strichman, O.: Cyclic-routing of Unmanned Aerial Vehicles. Journal of Computer and System Sciences 103, pp. 18 - 45 (2019)

Farahani, S. S.; Majumdar, R.; Prabhu, V.; Soudjani, S.: Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances. IEEE Transactions on Automatic Control 64 (8), pp. 3324 - 3331 (2019)

Fijalkov, N.; Ohlmann, P.; Ouaknine, J.; Pouly, A.; Worrell, J.: Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Theory of Computing Systems 63, pp. 1027 - 1048 (2019)

Gujarati, A.; Cerqueira, F.; Brandenburg, B.; Nelissen, G.: Correspondence Article: A Correction of the Reduction-based Schedulability Analysis for APA Scheduling. Real-Time Systems 55, pp. 136 - 143 (2019)

Gummadi, K.: Foundations for Fair Algorithmic Decision Making. Revue des nouvelles technologies de l'information: RNTI. E, Extraction et gestion des connaissances RNTI-E-35, pp. 3 - 4 (2019)

Ho, H.-M.; Ouaknine, J.; Worrell, J.: On the Expressiveness and Monitoring of Metric Temporal Logic. Logical Methods in Computer Science 15 (2), 13 (2019)

Kokologiannakis, M.; Sagonas, K.: Stateless Model Checking of the Linux Kernel’s Read–copy Update (RCU). International Journal on Software Tools for Technology Transfer 21, pp. 287 - 306 (2019)

Kulshrestha, J.; Eslami, M.; Messias, J.; Zafar, M. B.; Ghosh, S.; Gummadi, K.; Karahalios, K.: Search Bias Quantification: Investigating Political Bias in Social Media and Web Search. Information Retrieval Journal 22, pp. 188 - 227 (2019)

Lahoti, P.; Gummadi, K.; Weikum, G.: Operationalizing Individual Fairness with Pairwise Fair Representations. Proceedings of the VLDB Endowment 13 (4), pp. 506 - 518 (2019)

Mallik, K.; Schmuck, A.-K.; Soudjani, S.; Majumdar, R.: Compositional Synthesis of Finite-State Abstractions. IEEE Transactions on Automatic Control 64 (6), pp. 2629 - 2636 (2019)

Minaei, M.; Mondal, M.; Loiseau, P.; Gummadi, K.; Kate, A.: Lethe: Conceal Content Deletion from Persistent Observers. Proceedings on Privacy Enhancing Technologies 2019 (1), pp. 206 - 226 (2019)

Namakonov, E. S.; Podkopaev, A.: Compilation of OCaml memory model into Power. Proceedings of the Institute for System Programming of the RAS 31 (5), pp. 63 - 78 (2019)

Neider, D.; Weinert, A.; Zimmermann, M.: Robust, Expressive, and Quantitative Linear Temporal Logics. EPTCS 305, pp. 1 - 16 (2019)

Ouaknine, J.; Pouly, A.; Sousa-Pinto, J.; Worrell, J.: On the Decidability of Membership in Matrix-exponential Semigroups. Journal of the ACM 66 (3), 15 (2019)

Salamati, M.; Salvia, R.; Darulova, E.; Soudjani, S.; Majumdar, R.: Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control. ACM Transactions on Embedded Computing Systems 18 (5s), 100 (2019)

Tabibian, B.; Upadhyay, U.; De, A.; Zarezade, A.; Schoelkopf, B.; Gomez Rodriguez, M.: Enhancing Human Learning via Spaced Repetition Optimization. Proceedings of the National Academy of Sciences of the United States of America 116 (10), pp. 3988 - 3993 (2019)