Zeitschriftenartikel (252)
121.
Zeitschriftenartikel
4 (POPL), 32 (2020)
The High-level Benefits of Low-level Sandboxing. Proceedings of the ACM on Programming Languages 122.
Zeitschriftenartikel
283, 103238 (2020)
How Do Fairness Definitions Fare? Testing Public Attitudes towards Three Algorithmic Definitions of Fairness in Loan Allocations. Artificial Intelligence 123.
Zeitschriftenartikel
30, S. 81 - 124 (2020)
On the Relation Between Reactive Synthesis and Supervisory Control of Non-terminating Processes. Discrete Event Dynamic Systems 124.
Zeitschriftenartikel
53 (3), 51, S. 1 - 39 (2020)
Exploiting Errors for Efficiency: A Survey from Circuits to Applications. ACM Computing Surveys 125.
Zeitschriftenartikel
4 (OOPSLA), 185, S. 1 - 30 (2020)
Perfectly Parallel Fairness Certification of Neural Networks. Proceedings of the ACM on Programming Languages 126.
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 127.
Zeitschriftenartikel
23 (2), S. 5 - 8 (2019)
Online Social Networks to Foster Long-Term Welfare. GetMobile 128.
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 129.
Zeitschriftenartikel
22, S. 447 - 475 (2019)
Optimizing the Recency-Relevance-Diversity Trade-offs in Non-personalized News Recommendations. Information Retrieval Journal 130.
Zeitschriftenartikel
55, S. 144 - 207 (2019)
Many Suspensions, Many Problems: A Review of Self-suspending Tasks in Real-time Systems. Real-Time Systems 131.
Zeitschriftenartikel
103, S. 18 - 45 (2019)
Cyclic-routing of Unmanned Aerial Vehicles. Journal of Computer and System Sciences 132.
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 133.
Zeitschriftenartikel
63, S. 1027 - 1048 (2019)
Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Theory of Computing Systems 134.
Zeitschriftenartikel
55, S. 136 - 143 (2019)
Correspondence Article: A Correction of the Reduction-based Schedulability Analysis for APA Scheduling. Real-Time Systems 135.
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 136.
Zeitschriftenartikel
15 (2), 13 (2019)
On the Expressiveness and Monitoring of Metric Temporal Logic. Logical Methods in Computer Science 137.
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 138.
Zeitschriftenartikel
22, S. 188 - 227 (2019)
Search Bias Quantification: Investigating Political Bias in Social Media and Web Search. Information Retrieval Journal 139.
Zeitschriftenartikel
13 (4), S. 506 - 518 (2019)
Operationalizing Individual Fairness with Pairwise Fair Representations. Proceedings of the VLDB Endowment 140.
Zeitschriftenartikel
64 (6), S. 2629 - 2636 (2019)
Compositional Synthesis of Finite-State Abstractions. IEEE Transactions on Automatic Control