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

A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs., , , , und . CoRR, (2020)David Culbert (1943–2017): An Appreciation. Historical Journal of Film, Radio and Television, 37 (4): 595--597 (2017)Efficient, Interpretable Atomistic Graph Neural Network Representation for Angle-dependent Properties and its Application to Optical Spectroscopy Prediction., , , , , , , , und . CoRR, (2021)Algebraic Reasoning About Timeliness., , , , , , , und . ICE, Volume 383 von EPTCS, Seite 35-54. (2023)UTXOsf ma: UTXO with Multi-asset Support., , , , , , , , und . ISoLA (3), Volume 12478 von Lecture Notes in Computer Science, Seite 112-130. Springer, (2020)System F in Agda, for Fun and Profit., , , und . MPC, Volume 11825 von Lecture Notes in Computer Science, Seite 255-297. Springer, (2019)Spectroscopy-Guided Discovery of Three-Dimensional Structures of Disordered Materials with Diffusion Models., , , , , , , , , und 1 andere Autor(en). CoRR, (2023)Efficient Algorithms for the CCA Family: Unconstrained Objectives with Unbiased Gradients., , und . CoRR, (2023)Flexible Formality Practical Experience with Agile Formal Methods., , , , , , , , , und 2 andere Autor(en). TFP, Volume 12222 von Lecture Notes in Computer Science, Seite 94-120. Springer, (2020)Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs., , , , und . Haskell, Seite 108-122. ACM, (2022)