Zeitschriftenartikel (248)
61.
Zeitschriftenartikel
8 (4), 25, S. 1 - 28 (2022)
Quantifying the Effects of Contact Tracing, Testing, and Containment Measures in the Presence of Infection Hotspots. ACM Transactions on Spatial Algorithms and Systems 62.
Zeitschriftenartikel
18 (4), 1, S. 1 - 38 (2022)
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. Logical Methods in Computer Science 63.
Zeitschriftenartikel
285 (B), 104810 (2022)
Robust, expressive, and quantitative linear temporal logics: Pick any two for free. Information and Computation 64.
Zeitschriftenartikel
6, POPL, 34, S. 1 - 29 (2022)
Concurrent Incorrectness Separation Logic. Proceedings of the ACM on Programming Languages 65.
Zeitschriftenartikel
6, POPL, 22, S. 1 - 31 (2022)
Extending Intel-X86 Consistency and Persistency: Formalising the Semantics of Intel-X86 Memory Types and Non-Temporal Stores. Proceedings of the ACM on Programming Languages 66.
Zeitschriftenartikel
17 (9), e0274569 (2022)
A Training Strategy for Hybrid Models to Break the Curse of Dimensionality. PLoS One 67.
Zeitschriftenartikel
6, ICFP, 100, S. 1 - 29 (2022)
Later Credits: Resourceful Reasoning for the Later Modality. Proceedings of the ACM on Programming Languages 68.
Zeitschriftenartikel
370, S. 194 - 212 (2022)
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. Electronic Proceedings in Theoretical Computer Science 69.
Zeitschriftenartikel
Combining Computational Controls with Natural Text Reveals Aspects of Meaning Composition. Nature Computational Science, S. 745 - 757 (2022)
70.
Zeitschriftenartikel
18 (3), e1010008, S. 1 - 17 (2022)
Pooled Testing of Traced Contacts under Superspreading Dynamics. PLoS Computational Biology 71.
Zeitschriftenartikel
6 (OOPSLA2), 182, S. 1613 - 1638 (2022)
BFF: Foundational and Automated Verification of Bitfield-manipulating Programs. Proceedings of the ACM on Programming Languages 72.
Zeitschriftenartikel
43 (4), 14, S. 1 - 48 (2021)
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Transactions on Programming Languages and Systems 73.
Zeitschriftenartikel
5, ICFP, 93, S. 1 - 30 (2021)
Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics. Proceedings of the ACM on Programming Languages 74.
Zeitschriftenartikel
5, POPL, 48, S. 1 - 24 (2021)
Deciding ω-Regular Properties on Linear Recurrence Sequences. Proceedings of the ACM on Programming Languages 75.
Zeitschriftenartikel
65, S. 638 - 661 (2021)
First-Order Orbit Queries. Theory of Computing Systems 76.
Zeitschriftenartikel
5, POPL, 44, S. 1 - 31 (2021)
Context-bounded Verification of Liveness Properties for Multithreaded Shared-memory Programs. Proceedings of the ACM on Programming Languages 77.
Zeitschriftenartikel
9 (1), S. 43 - 61 (2021)
Diversity in News Recommendation. Dagstuhl Manifestos 78.
Zeitschriftenartikel
49 (4), S. 361 - 401 (2021)
Permissive Runtime Information Flow Control in the Presence of Exceptions. Journal of Computer Security 79.
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 80.
Zeitschriftenartikel
71 (2), S. 275 - 284 (2021)
Padovan Numbers that are Concatenations of Two Distinct Repdigits. Mathematica Slovaca