( en | de | ru )

 

Disambiguierung von "Lattuada, Andrea"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Beyond isolation: OS verification as a foundation for correct applications.

, , , , , und . HotOS, Seite 158-165. ACM, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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 Krause

 

Weitere Publikationen von Autoren mit dem selben Namen

Megaphone: Live state migration for distributed streaming dataflows., , , , , und . CoRR, (2018)SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows., , , , , , , und . NSDI, Seite 95-110. USENIX Association, (2018)Verified Progress Tracking for Timely Dataflow., , , und . ITP, Volume 193 von LIPIcs, Seite 10:1-10:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Formalization of Timely Dataflow's Progress Tracking Protocol., , , und . Arch. Formal Proofs, (2021)Beyond isolation: OS verification as a foundation for correct applications., , , , , und . HotOS, Seite 158-165. ACM, (2023)Storage Systems are Distributed Systems (So Verify Them That Way!)., , , , , und . OSDI, Seite 99-115. USENIX Association, (2020)Faucet: a user-level, modular technique for flow control in dataflow engines., , und . BeyondMR@SIGMOD, Seite 2. ACM, (2016)Linear types for large-scale systems verification., , , , , , und . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-28 (2022)Geometrically designed variable knot splines in generalized (non-)linear models., , , und . Appl. Math. Comput., (2023)Timestamp tokens: a better coordination primitive for data-processing systems., und . CoRR, (2022)