Wissenschaftliche Publikationen
Zeitschriftenartikel (22)
1.
Zeitschriftenartikel
23 (2), S. 5 - 8 (2019)
Online Social Networks to Foster Long-Term Welfare. GetMobile 2.
Zeitschriftenartikel
6 (4), S. 680 - 691 (2019)
Editorial Versus Audience Gatekeeping: Analyzing News Selection and Consumption Dynamics in Online News Media. IEEE Transactions on Computational Social Systems 3.
Zeitschriftenartikel
22, S. 447 - 475 (2019)
Optimizing the Recency-Relevance-Diversity Trade-offs in Non-personalized News Recommendations. Information Retrieval Journal 4.
Zeitschriftenartikel
55, S. 144 - 207 (2019)
Many Suspensions, Many Problems: A Review of Self-suspending Tasks in Real-time Systems. Real-Time Systems 5.
Zeitschriftenartikel
103, S. 18 - 45 (2019)
Cyclic-routing of Unmanned Aerial Vehicles. Journal of Computer and System Sciences 6.
Zeitschriftenartikel
64 (8), S. 3324 - 3331 (2019)
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances. IEEE Transactions on Automatic Control 7.
Zeitschriftenartikel
63, S. 1027 - 1048 (2019)
Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Theory of Computing Systems 8.
Zeitschriftenartikel
55, S. 136 - 143 (2019)
Correspondence Article: A Correction of the Reduction-based Schedulability Analysis for APA Scheduling. Real-Time Systems 9.
Zeitschriftenartikel
RNTI-E-35, S. 3 - 4 (2019)
Foundations for Fair Algorithmic Decision Making. Revue des nouvelles technologies de l'information: RNTI. E, Extraction et gestion des connaissances 10.
Zeitschriftenartikel
15 (2), 13 (2019)
On the Expressiveness and Monitoring of Metric Temporal Logic. Logical Methods in Computer Science 11.
Zeitschriftenartikel
21, S. 287 - 306 (2019)
Stateless Model Checking of the Linux Kernel’s Read–copy Update (RCU). International Journal on Software Tools for Technology Transfer 12.
Zeitschriftenartikel
22, S. 188 - 227 (2019)
Search Bias Quantification: Investigating Political Bias in Social Media and Web Search. Information Retrieval Journal 13.
Zeitschriftenartikel
13 (4), S. 506 - 518 (2019)
Operationalizing Individual Fairness with Pairwise Fair Representations. Proceedings of the VLDB Endowment 14.
Zeitschriftenartikel
64 (6), S. 2629 - 2636 (2019)
Compositional Synthesis of Finite-State Abstractions. IEEE Transactions on Automatic Control 15.
Zeitschriftenartikel
2019 (1), S. 206 - 226 (2019)
Lethe: Conceal Content Deletion from Persistent Observers. Proceedings on Privacy Enhancing Technologies 16.
Zeitschriftenartikel
31 (5), S. 63 - 78 (2019)
Compilation of OCaml memory model into Power. Proceedings of the Institute for System Programming of the RAS 17.
Zeitschriftenartikel
Robust, Expressive, and Quantitative Linear Temporal Logics. EPTCS 305, S. 1 - 16 (2019)
18.
Zeitschriftenartikel
66 (3), 15 (2019)
On the Decidability of Membership in Matrix-exponential Semigroups. Journal of the ACM 19.
Zeitschriftenartikel
18 (5s), 100 (2019)
Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control. ACM Transactions on Embedded Computing Systems 20.
Zeitschriftenartikel
116 (10), S. 3988 - 3993 (2019)
Enhancing Human Learning via Spaced Repetition Optimization. Proceedings of the National Academy of Sciences of the United States of America