Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Optimizing Stateful Dataflow with Local Rewrites., , , , und . CoRR, (2023)Synthesizing CRDTs from Sequential Data Types with Verified Lifting., , , , und . CoRR, (2022)Analyzing and Comparing Lakehouse Storage Systems., , , , , und . CIDR, www.cidrdb.org, (2023)Keep CALM and CRDT On., , , , , und . Proc. VLDB Endow., 16 (4): 856-863 (2022)Modelling of Electron Injection and Confinement in Cryogenic 22-nm FD-SOI Quantum Dot Arrays., , , , , , und . ICECS 2022, Seite 1-4. IEEE, (2022)Optimizing the cloud? Don't train models. Build oracles!, , , , und . CoRR, (2023)The Cosmos Big Data Platform at Microsoft: Over a Decade of Progress and a Decade to Look Forward., , , , , , , , , und 5 andere Autor(en). Proc. VLDB Endow., 14 (12): 3148-3161 (2021)Katara: synthesizing CRDTs with verified lifting., , , , und . Proc. ACM Program. Lang., 6 (OOPSLA2): 1349-1377 (2022)Characterisation and Modelling of 22-nm FD-SOI Transistors Operating at Cryogenic Temperatures., , , , , , , , und . ICECS 2022, Seite 1-4. IEEE, (2022)Cryogenic Transistor Confinement Well Simulation through Material and Carrier Transport Decoupling., , und . ICECS 2022, Seite 1-2. IEEE, (2022)