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

Quantum circuit synthesis using Householder transformations., , , und . CoRR, (2020)The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects., , , und . CoRR, (2016)On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract).. QPL/DCM@ICALP, Volume 270 von Electronic Notes in Theoretical Computer Science, Seite 121-128. Elsevier, (2008)On new PageRank computation methods using quantum computing., , und . Quantum Inf. Process., 22 (3): 138 (März 2023)An Introduction to Quantum Programming in Quipper., , , , und . RC, Volume 7948 von Lecture Notes in Computer Science, Seite 110-124. Springer, (2013)A Lambda Calculus for Quantum Computation with Classical Control., und . TLCA, Volume 3461 von Lecture Notes in Computer Science, Seite 354-368. Springer, (2005)On the Semantics of Polychronous Polytimed Specifications., , , , , und . FORMATS, Volume 12288 von Lecture Notes in Computer Science, Seite 23-40. Springer, (2020)A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)., und . FoSSaCS, Volume 4962 von Lecture Notes in Computer Science, Seite 81-96. Springer, (2008)Quantum typing. CoRR, (2004)Quipper: Concrete Resource Estimation in Quantum Algorithms., , , und . CoRR, (2014)