Zeitschriftenartikel (247)

121.
Zeitschriftenartikel
Xu, Z.; Gavran, I.; Ahmad, Y.; Majumdar, R.; Neider, D.; Topcu, U.; Wu, B.: Joint Inference of Reward Machines and Policies for Reinforcement Learning. Proceedings of the International Conference on Automated Planning and Scheduling 30 (1), S. 590 - 598 (2020)
122.
Zeitschriftenartikel
Chakraborty, A.; Ganguly, N.: Online Social Networks to Foster Long-Term Welfare. GetMobile 23 (2), S. 5 - 8 (2019)
123.
Zeitschriftenartikel
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), S. 680 - 691 (2019)
124.
Zeitschriftenartikel
Chakraborty, A.; Ghosh, S.; Ganguly, N.; Gummadi, K.: Optimizing the Recency-Relevance-Diversity Trade-offs in Non-personalized News Recommendations. Information Retrieval Journal 22, S. 447 - 475 (2019)
125.
Zeitschriftenartikel
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, S. 144 - 207 (2019)
126.
Zeitschriftenartikel
Drucker, N.; Ho, H.-M.; Ouaknine, J.; Penn, M.; Strichman, O.: Cyclic-routing of Unmanned Aerial Vehicles. Journal of Computer and System Sciences 103, S. 18 - 45 (2019)
127.
Zeitschriftenartikel
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), S. 3324 - 3331 (2019)
128.
Zeitschriftenartikel
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, S. 1027 - 1048 (2019)
129.
Zeitschriftenartikel
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, S. 136 - 143 (2019)
130.
Zeitschriftenartikel
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, S. 3 - 4 (2019)
131.
Zeitschriftenartikel
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)
132.
Zeitschriftenartikel
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, S. 287 - 306 (2019)
133.
Zeitschriftenartikel
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, S. 188 - 227 (2019)
134.
Zeitschriftenartikel
Lahoti, P.; Gummadi, K.; Weikum, G.: Operationalizing Individual Fairness with Pairwise Fair Representations. Proceedings of the VLDB Endowment 13 (4), S. 506 - 518 (2019)
135.
Zeitschriftenartikel
Mallik, K.; Schmuck, A.-K.; Soudjani, S.; Majumdar, R.: Compositional Synthesis of Finite-State Abstractions. IEEE Transactions on Automatic Control 64 (6), S. 2629 - 2636 (2019)
136.
Zeitschriftenartikel
Minaei, M.; Mondal, M.; Loiseau, P.; Gummadi, K.; Kate, A.: Lethe: Conceal Content Deletion from Persistent Observers. Proceedings on Privacy Enhancing Technologies 2019 (1), S. 206 - 226 (2019)
137.
Zeitschriftenartikel
Namakonov, E. S.; Podkopaev, A.: Compilation of OCaml memory model into Power. Proceedings of the Institute for System Programming of the RAS 31 (5), S. 63 - 78 (2019)
138.
Zeitschriftenartikel
Neider, D.; Weinert, A.; Zimmermann, M.: Robust, Expressive, and Quantitative Linear Temporal Logics. EPTCS 305, S. 1 - 16 (2019)
139.
Zeitschriftenartikel
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)
140.
Zeitschriftenartikel
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)
Zur Redakteursansicht