Zeitschriftenartikel (248)
21.
Zeitschriftenartikel
70 (5), 29, S. 1 - 22 (2023)
On Strongest Algebraic Program Invariants. Journal of the ACM 22.
Zeitschriftenartikel
25, S. 341 - 354 (2023)
Analysis of Recurrent Neural Networks via Property-Directed Verification of Surrogate Models. International Journal on Software Tools for Technology Transfer 23.
Zeitschriftenartikel
7 (POPL), 19, S. 544 - 572 (2023)
Kater: Automating Weak Memory Model Metatheory and Consistency Checking. Proceedings of the ACM on Programming Languages 24.
Zeitschriftenartikel
22 (5s), 136, S. 1 - 26 (2023)
Sound Mixed Fixed-Point Quantization of Neural Networks. ACM Transactions on Embedded Computing Systems 25.
Zeitschriftenartikel
68 (1), S. 385 - 392 (2023)
Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game. IEEE Transactions on Automatic Control 26.
Zeitschriftenartikel
7 (OOPSLA1), 89, S. 406 - 433 (2023)
Compositional Security Definitions for Higher-Order Where Declassification. Proceedings of the ACM on Programming Languages 27.
Zeitschriftenartikel
21 (2), S. 48 - 52 (2023)
Power in Computer Security and Privacy: A Critical Lens. IEEE Security & Privacy 28.
Zeitschriftenartikel
7 (POPL), 27, S. 775 - 805 (2023)
DimSum: A Decentralized Approach to Multi-language Semantics and Verification. Proceedings of the ACM on Programming Languages 29.
Zeitschriftenartikel
7 (POPL), 39, S. 1121 - 1151 (2023)
Conditional Contextual Refinement. Proceedings of the ACM on Programming Languages 30.
Zeitschriftenartikel
2023 (5), S. 1 - 21 (2023)
Proximal Curriculum for Reinforcement Learning Agents. Transactions on Machine Learning Research 31.
Zeitschriftenartikel
7 (OOPSLA1), 93, S. 522 - 550 (2023)
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. Proceedings of the ACM on Programming Languages 32.
Zeitschriftenartikel
27 (2), 10, S. 1 - 2 (2022)
Introduction to the Special Issue on Approximate Systems. ACM Transactions on Design Automation of Electronic Systems 33.
Zeitschriftenartikel
23 (2), 9, S. 1 - 20 (2022)
O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Transactions on Computational Logic 34.
Zeitschriftenartikel
23 (2), 8, S. 1 - 39 (2022)
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. ACM Transactions on Computational Logic 35.
Zeitschriftenartikel
9 (3), S. 839 - 850 (2022)
Analyzing Biases in Perception of Truth in News Stories and Their Implications for Fact Checking. IEEE Transactions on Computational Social Systems 36.
Zeitschriftenartikel
2022 (7), S. 1 - 30 (2022)
Learning to Switch Among Agents in a Team. Transactions on Machine Learning Research 37.
Zeitschriftenartikel
2, 4, S. 1 - 83 (2022)
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. TheoretiCS 38.
Zeitschriftenartikel
6, POPL, 17, S. 1 - 28 (2022)
Context-bounded Verification of Thread Pools. Proceedings of the ACM on Programming Languages 39.
Zeitschriftenartikel
6 (CSCW2), 358, S. 1 - 39 (2022)
Ethics and Efficacy of Unsolicited Anti-Trafficking SMS Outreach. Proceedings of the ACM on Human-Computer Interaction 40.
Zeitschriftenartikel
16 (2), 8, S. 1 - 34 (2022)
Toward Fair Recommendation in Two-sided Platforms. ACM Transactions on the Web