( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verus: Verifying Rust Programs using Linear Ghost Types.

, , , , , , , , и . Proc. ACM Program. Lang., 7 (OOPSLA1): 286-315 (апреля 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Andrea Witzenrath

Risikofaktoren für abdominelle Komplikationen nach kardiopulmonalem Bypass. Uni Erlangen-Nürnberg, (2009)

Andrea Rottach

Analysis of the cell cycle dependent dynamics of Dnmt1 and Np95 in living cells. Uni München, (2009)

Andrea Hruby

Die MAPKKK Bck1p des Zellwand-Integritätssignalwegs in der Bäckerhefe Saccharomyces cerevisiae. Uni Münster, (2009)

Michaela Andrea Fingas

Resultate nach radikaler Prostatektomie bei Patienten mit einem Prostatakarzinom Gleason 7-10. Uni Marburg, (2009)

Andrea Wätzig

 

Другие публикации лиц с тем же именем

Verified Progress Tracking for Timely Dataflow., , , и . ITP, том 193 из LIPIcs, стр. 10:1-10:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows., , , , , , , и . NSDI, стр. 95-110. USENIX Association, (2018)You may not need synchronization (in streaming systems).. ETH Zurich, Zürich, Switzerland, (2022)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/606757).Verus: Verifying Rust Programs using Linear Ghost Types., , , , , , , , и . Proc. ACM Program. Lang., 7 (OOPSLA1): 286-315 (апреля 2023)Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems., , , , , , , , , и . OSDI, стр. 911-929. USENIX Association, (2023)Linear types for large-scale systems verification., , , , , , и . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-28 (2022)Geometrically designed variable knot splines in generalized (non-)linear models., , , и . Appl. Math. Comput., (2023)Faucet: a user-level, modular technique for flow control in dataflow engines., , и . BeyondMR@SIGMOD, стр. 2. ACM, (2016)Latency-conscious dataflow reconfiguration., , и . BeyondMR@SIGMOD, стр. 1:1-1:4. ACM, (2018)Storage Systems are Distributed Systems (So Verify Them That Way!)., , , , , и . OSDI, стр. 99-115. USENIX Association, (2020)