Journal Article (252)
121.
Journal Article
4 (POPL), 32 (2020)
The High-level Benefits of Low-level Sandboxing. Proceedings of the ACM on Programming Languages 122.
Journal Article
283, 103238 (2020)
How Do Fairness Definitions Fare? Testing Public Attitudes towards Three Algorithmic Definitions of Fairness in Loan Allocations. Artificial Intelligence 123.
Journal Article
30, pp. 81 - 124 (2020)
On the Relation Between Reactive Synthesis and Supervisory Control of Non-terminating Processes. Discrete Event Dynamic Systems 124.
Journal Article
53 (3), 51, pp. 1 - 39 (2020)
Exploiting Errors for Efficiency: A Survey from Circuits to Applications. ACM Computing Surveys 125.
Journal Article
4 (OOPSLA), 185, pp. 1 - 30 (2020)
Perfectly Parallel Fairness Certification of Neural Networks. Proceedings of the ACM on Programming Languages 126.
Journal Article
30 (1), pp. 590 - 598 (2020)
Joint Inference of Reward Machines and Policies for Reinforcement Learning. Proceedings of the International Conference on Automated Planning and Scheduling 127.
Journal Article
23 (2), pp. 5 - 8 (2019)
Online Social Networks to Foster Long-Term Welfare. GetMobile 128.
Journal Article
6 (4), pp. 680 - 691 (2019)
Editorial Versus Audience Gatekeeping: Analyzing News Selection and Consumption Dynamics in Online News Media. IEEE Transactions on Computational Social Systems 129.
Journal Article
22, pp. 447 - 475 (2019)
Optimizing the Recency-Relevance-Diversity Trade-offs in Non-personalized News Recommendations. Information Retrieval Journal 130.
Journal Article
55, pp. 144 - 207 (2019)
Many Suspensions, Many Problems: A Review of Self-suspending Tasks in Real-time Systems. Real-Time Systems 131.
Journal Article
103, pp. 18 - 45 (2019)
Cyclic-routing of Unmanned Aerial Vehicles. Journal of Computer and System Sciences 132.
Journal Article
64 (8), pp. 3324 - 3331 (2019)
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances. IEEE Transactions on Automatic Control 133.
Journal Article
63, pp. 1027 - 1048 (2019)
Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Theory of Computing Systems 134.
Journal Article
55, pp. 136 - 143 (2019)
Correspondence Article: A Correction of the Reduction-based Schedulability Analysis for APA Scheduling. Real-Time Systems 135.
Journal Article
RNTI-E-35, pp. 3 - 4 (2019)
Foundations for Fair Algorithmic Decision Making. Revue des nouvelles technologies de l'information: RNTI. E, Extraction et gestion des connaissances 136.
Journal Article
15 (2), 13 (2019)
On the Expressiveness and Monitoring of Metric Temporal Logic. Logical Methods in Computer Science 137.
Journal Article
21, pp. 287 - 306 (2019)
Stateless Model Checking of the Linux Kernel’s Read–copy Update (RCU). International Journal on Software Tools for Technology Transfer 138.
Journal Article
22, pp. 188 - 227 (2019)
Search Bias Quantification: Investigating Political Bias in Social Media and Web Search. Information Retrieval Journal 139.
Journal Article
13 (4), pp. 506 - 518 (2019)
Operationalizing Individual Fairness with Pairwise Fair Representations. Proceedings of the VLDB Endowment 140.
Journal Article
64 (6), pp. 2629 - 2636 (2019)
Compositional Synthesis of Finite-State Abstractions. IEEE Transactions on Automatic Control