Zeitschriftenartikel (252)
101.
Zeitschriftenartikel
The Emptiness Problem for Valence Automata over Graph Monoids. Information and Computation, 104583, S. 1 - 18 (2021)
102.
Zeitschriftenartikel
4 (POPL), 34 (2020)
RustBelt Meets Relaxed Memory. Proceedings of the ACM on Programming Languages 103.
Zeitschriftenartikel
4 (OOPSLA), 210, S. 1 - 29 (2020)
Testing Consensus Implementations Using Communication Closure. Proceedings of the ACM on Programming Languages 104.
Zeitschriftenartikel
4 (OOPSLA), 213, S. 1 - 30 (2020)
Programming at the Edge of Synchrony. Proceedings of the ACM on Programming Languages 105.
Zeitschriftenartikel
4 (OOPSLA), 201, S. 1 - 26 (2020)
Interactive Synthesis of Temporal Specifications from Examples and Natural Language. Proceedings of the ACM on Programming Languages 106.
Zeitschriftenartikel
4 (POPL), 41 (2020)
Stacked Borrows: An Aliasing Model for Rust. Proceedings of the ACM on Programming Languages 107.
Zeitschriftenartikel
4 (POPL), 45 (2020)
The Future is Ours: Prophecy Variables in Separation Logic. Proceedings of the ACM on Programming Languages 108.
Zeitschriftenartikel
63 (3), S. 94 - 102 (2020)
Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems. Communications of the ACM 109.
Zeitschriftenartikel
Assume–Guarantee Distributed Synthesis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, S. 3215 - 3226 (2020)
110.
Zeitschriftenartikel
4 (OOPSLA), 134, S. 1 - 30 (2020)
Multiparty Motion Coordination: From Choreographies to Robotics Programs. Proceedings of the ACM on Programming Languages 111.
Zeitschriftenartikel
39 (6), S. 408 - 425 (2020)
Interactive Programming for Parametric CAD. Computer Graphics Forum 112.
Zeitschriftenartikel
4 (CSCW2), 126 (2020)
On the Desiderata for Online Altruism: Nudging for Equitable Donations. Proceedings of the ACM Human-Computer Interacation 113.
Zeitschriftenartikel
64, S. 1523 - 1552 (2020)
A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. Journal of Automated Reasoning 114.
Zeitschriftenartikel
57, S. 195 - 221 (2020)
Synthesizing Optimally Resilient Controllers. Acta Informatica 115.
Zeitschriftenartikel
30 (11), S. 3227 - 3238 (2020)
Automated Controller and Sensor Configuration Synthesis Using Dimensional Analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 116.
Zeitschriftenartikel
4 (OOPSLA), 151, S. 1 - 28 (2020)
Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86. Proceedings of the ACM on Programming Languages 117.
Zeitschriftenartikel
4 (POPL), 11 (2020)
Persistency Semantics of the Intel-x86 Architecture. Proceedings of the ACM on Programming Languages 118.
Zeitschriftenartikel
28 (1), S. 129 - 156 (2020)
On the Expressiveness and Semantics of Information Flow Types. Journal of Computer Security 119.
Zeitschriftenartikel
16 (3), e1007707 (2020)
Tracking progress towards malaria elimination in China: Individual-level estimates of transmission and its spatiotemporal variation using a diffusion network approach. PLoS Computational Biology 120.
Zeitschriftenartikel
5 (1), 2 (2020)
A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs. ACM Transactions on Modeling and Performance Evaluation of Computing Systems