Zeitschriftenartikel (248)
121.
Zeitschriftenartikel
4 (OOPSLA), 185, S. 1 - 30 (2020)
Perfectly Parallel Fairness Certification of Neural Networks. Proceedings of the ACM on Programming Languages 122.
Zeitschriftenartikel
30 (1), S. 590 - 598 (2020)
Joint Inference of Reward Machines and Policies for Reinforcement Learning. Proceedings of the International Conference on Automated Planning and Scheduling 123.
Zeitschriftenartikel
23 (2), S. 5 - 8 (2019)
Online Social Networks to Foster Long-Term Welfare. GetMobile 124.
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 125.
Zeitschriftenartikel
22, S. 447 - 475 (2019)
Optimizing the Recency-Relevance-Diversity Trade-offs in Non-personalized News Recommendations. Information Retrieval Journal 126.
Zeitschriftenartikel
55, S. 144 - 207 (2019)
Many Suspensions, Many Problems: A Review of Self-suspending Tasks in Real-time Systems. Real-Time Systems 127.
Zeitschriftenartikel
103, S. 18 - 45 (2019)
Cyclic-routing of Unmanned Aerial Vehicles. Journal of Computer and System Sciences 128.
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 129.
Zeitschriftenartikel
63, S. 1027 - 1048 (2019)
Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Theory of Computing Systems 130.
Zeitschriftenartikel
55, S. 136 - 143 (2019)
Correspondence Article: A Correction of the Reduction-based Schedulability Analysis for APA Scheduling. Real-Time Systems 131.
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 132.
Zeitschriftenartikel
15 (2), 13 (2019)
On the Expressiveness and Monitoring of Metric Temporal Logic. Logical Methods in Computer Science 133.
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 134.
Zeitschriftenartikel
22, S. 188 - 227 (2019)
Search Bias Quantification: Investigating Political Bias in Social Media and Web Search. Information Retrieval Journal 135.
Zeitschriftenartikel
13 (4), S. 506 - 518 (2019)
Operationalizing Individual Fairness with Pairwise Fair Representations. Proceedings of the VLDB Endowment 136.
Zeitschriftenartikel
64 (6), S. 2629 - 2636 (2019)
Compositional Synthesis of Finite-State Abstractions. IEEE Transactions on Automatic Control 137.
Zeitschriftenartikel
2019 (1), S. 206 - 226 (2019)
Lethe: Conceal Content Deletion from Persistent Observers. Proceedings on Privacy Enhancing Technologies 138.
Zeitschriftenartikel
31 (5), S. 63 - 78 (2019)
Compilation of OCaml memory model into Power. Proceedings of the Institute for System Programming of the RAS 139.
Zeitschriftenartikel
Robust, Expressive, and Quantitative Linear Temporal Logics. EPTCS 305, S. 1 - 16 (2019)
140.
Zeitschriftenartikel
66 (3), 15 (2019)
On the Decidability of Membership in Matrix-exponential Semigroups. Journal of the ACM