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

Specifications and Proofs for Ensemble Layers., , und . TACAS, Volume 1579 von Lecture Notes in Computer Science, Seite 119-133. Springer, (1999)A Machine Learning Outlook: Post-processing of Global Medium-range Forecasts., , , , , , , , , und . CoRR, (2023)MojaveFS: Providing Sequential Consistency in a Distributed Objects System., , , und . ISPDC, Seite 66-73. IEEE Computer Society, (2006)Machine Learning for Precipitation Nowcasting from Radar Images, , , , , und . (Dezember 2019)arXiv:1912.12132 cs, stat.Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection., , , und . ICFP, Seite 172-183. ACM, (2006)Phobos: A Front-End Approach to Extensible Compilers., und . HICSS, Seite 324. IEEE Computer Society, (2003)Distributed speculative execution for reliability and fault tolerance: an operational semantics., und . Distributed Comput., 21 (6): 433-455 (2009)Data-driven metasurface discovery., , , , , und . CoRR, (2018)A Proof Environment for the Development of Group Communication Systems., , und . CADE, Volume 1421 von Lecture Notes in Computer Science, Seite 317-332. Springer, (1998)Skillful Twelve Hour Precipitation Forecasts using Large Context Neural Networks., , , , , , , , , und . CoRR, (2021)