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