Zeitschriftenartikel (252)
141.
Zeitschriftenartikel
2019 (1), S. 206 - 226 (2019)
Lethe: Conceal Content Deletion from Persistent Observers. Proceedings on Privacy Enhancing Technologies 142.
Zeitschriftenartikel
31 (5), S. 63 - 78 (2019)
Compilation of OCaml memory model into Power. Proceedings of the Institute for System Programming of the RAS 143.
Zeitschriftenartikel
Robust, Expressive, and Quantitative Linear Temporal Logics. EPTCS 305, S. 1 - 16 (2019)
144.
Zeitschriftenartikel
66 (3), 15 (2019)
On the Decidability of Membership in Matrix-exponential Semigroups. Journal of the ACM 145.
Zeitschriftenartikel
18 (5s), 100 (2019)
Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control. ACM Transactions on Embedded Computing Systems 146.
Zeitschriftenartikel
116 (10), S. 3988 - 3993 (2019)
Enhancing Human Learning via Spaced Repetition Optimization. Proceedings of the National Academy of Sciences of the United States of America 147.
Zeitschriftenartikel
86, S. 290 - 319 (2019)
Cost-sensitive Classifier Chains: Selecting Low-cost Features in Multi-label Classification. Pattern Recognition 148.
Zeitschriftenartikel
20, 75 (2019)
Fairness Constraints: A Flexible Approach for Fair Classification. Journal of Machine Learning Research 149.
Zeitschriftenartikel
2 (POPL), 38, S. 1 - 23 (2018)
Parametricity Versus the Universal Type. Proceedings of the ACM on Programming Languages 150.
Zeitschriftenartikel
55 (2), S. 153 - 189 (2018)
Reachability Analysis of Reversal-bounded Automata on Series–parallel Graphs. Acta Informatica 151.
Zeitschriftenartikel
2 (OOPSLA), 131, S. 1 - 25 (2018)
Horn-ICE Learning for Synthesizing Invariants and Contracts. Proceedings of the ACM on Programming Languages 152.
Zeitschriftenartikel
46 (6), S. 1157 - 1183 (2018)
GPS+: Reasoning About Fences and Relaxed Atomics. International Journal of Parallel Programming 153.
Zeitschriftenartikel
2 (POPL), 66, S. 1 - 34 (2018)
RustBelt: Securing the Foundations of the Rust Programming Language. Proceedings of the ACM on Programming Languages 154.
Zeitschriftenartikel
28, E20 (2018)
Iris from the Ground up: A modular Foundation for Higher-order Concurrent Separation Logic. Journal of Functional Programming 155.
Zeitschriftenartikel
2 (ICFP), 78 (2018)
Mtac2:Typed Tactics for Backward Reasoning in Coq. Proceedings of the ACM on Programming Languages 156.
Zeitschriftenartikel
2 (POPL), 17, S. 1 - 32 (2018)
Effective Stateless Model Checking for C/C++ Concurrency. Proceedings of the ACM on Programming Languages 157.
Zeitschriftenartikel
2 (ICFP), 77 (2018)
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic. Proceedings of the ACM on Programming Languages 158.
Zeitschriftenartikel
14 (4), 20, S. 1 - 21 (2018)
Model Checking Flat Freeze LTL on One-Counter Automata. Logical Methods in Computer Science 159.
Zeitschriftenartikel
2, 2 (2018)
Reconciling High-Level Optimizations and Low-Level Code in LLVM. Proceedings of the ACM on Programming Languages 160.
Zeitschriftenartikel
37 (11), S. 2381 - 2392 (2018)
Discrete Choice in the Presence of Numerical Uncertainties. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems