Zeitschriftenartikel (252)
81.
Zeitschriftenartikel
9 (1), S. 43 - 61 (2021)
Diversity in News Recommendation. Dagstuhl Manifestos 82.
Zeitschriftenartikel
49 (4), S. 361 - 401 (2021)
Permissive Runtime Information Flow Control in the Presence of Exceptions. Journal of Computer Security 83.
Zeitschriftenartikel
115, 108 (2021)
Padovan Numbers which are Palindromic Concatenations of two Distinct Repdigits. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales / Serie A, Matemáticas 84.
Zeitschriftenartikel
71 (2), S. 275 - 284 (2021)
Padovan Numbers that are Concatenations of Two Distinct Repdigits. Mathematica Slovaca 85.
Zeitschriftenartikel
64 (4), S. 144 - 152 (2021)
Safe systems programming in Rust. Communications of the ACM 86.
Zeitschriftenartikel
5, POPL, 43, S. 1 - 29 (2021)
PerSeVerE: Persistency Semantics for Verification under Ext4. Proceedings of the ACM on Programming Languages 87.
Zeitschriftenartikel
5 (CSCW1), 149, S. 1 - 19 (2021)
Characterizing the Online Learning Landscape: What and How People Learn Online. Proceedings of the ACM on Human-Computer Interaction 88.
Zeitschriftenartikel
5, OOPSLA, 98, S. 1 - 27 (2021)
Making Weak Memory Models Fair. Proceedings of the ACM on Programming Languages 89.
Zeitschriftenartikel
17 (4) (2021)
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. Logical Methods in Computer Science 90.
Zeitschriftenartikel
54 (5), S. 127 - 132 (2021)
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. IFAC-PapersOnLine 91.
Zeitschriftenartikel
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. Formal Methods in System Design, 7, S. 1 - 12 (2021)
92.
Zeitschriftenartikel
43 (1), S. 1 - 41 (2021)
Robustly Safe Compilation, an Efficient Form of Secure Compilation. ACM Transactions on Programming Languages and Systems 93.
Zeitschriftenartikel
31, e27 (2021)
Relational Cost Analysis in a Functional-imperative Setting. Journal of Functional Programming 94.
Zeitschriftenartikel
20 (5s), 81, S. 1 - 23 (2021)
Regime Inference for Sound Floating-Point Optimizations. ACM Transactions on Embedded Computing Systems 95.
Zeitschriftenartikel
5, POPL, 27, S. 1 - 28 (2021)
A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis. Proceedings of the ACM on Programming Languages 96.
Zeitschriftenartikel
22, 210, S. 1 - 45 (2021)
Policy Teaching in Reinforcement Learning via Environment Poisoning Attacks. Journal of Machine Learning Research 97.
Zeitschriftenartikel
15, 737324 (2021)
Single-Trial MEG Data Can Be Denoised Through Cross-Subject Predictive Modeling. Frontiers in Computational Neuroscience 98.
Zeitschriftenartikel
5, POPL, 13, S. 1 - 29 (2021)
Transfinite Step-indexing for Termination. Proceedings of the ACM on Programming Languages 99.
Zeitschriftenartikel
40 (9), S. 1934 - 1946 (2021)
Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 100.
Zeitschriftenartikel
5, ICFP, 92, S. 1 - 30 (2021)
GhostCell: Separating Permissions from Data in Rust. Proceedings of the ACM on Programming Languages