( en | de | ru )

 

Disambiguierung von "Niemann, Philipp"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Podcasting: Eine Revolution?

. Tectum-Verl., Marburg, (2007)

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.

Philipp Niemann

Philipp Niemann

Philipp Niemann

Markus Niemann

From Anomalous Deterministic Diffusion to the Continuous-Time Random Walk. Uni Wuppertal, (2009)

Sylvia Niemann

 

Weitere Publikationen von Autoren mit dem selben Namen

Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements., , , , und . Comput. Lang. Syst. Struct., (2018)Generation and Validation of Frame Conditions in Formal Models., , , und . MODELSWARD (Revised Selected Papers), Volume 991 von Communications in Computer and Information Science, Seite 259-283. Springer, (2018)One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits., , , und . ISMVL, Seite 1-6. IEEE, (2019)Advanced exact synthesis of Clifford+T circuits., , und . Quantum Inf. Process., (2020)Combining SWAPs and Remote Toffoli Gates in the Mapping to IBM QX Architectures., , und . DATE, Seite 200-205. IEEE, (2021)Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation., , und . DSD, Seite 495-501. IEEE, (2021)T-depth Optimization for Fault-Tolerant Quantum Circuits., , und . ISMVL, Seite 108-113. IEEE, (2019)Overcoming the Tradeoff Between Accuracy and Compactness in Decision Diagrams for Quantum Computation., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (12): 4657-4668 (2020)Near Zero-Energy Computation Using Quantum-Dot Cellular Automata., , , und . ACM J. Emerg. Technol. Comput. Syst., 16 (1): 11:1-11:16 (2020)Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models., , , und . Modellierung, Volume P-254 von LNI, Seite 117-124. GI, (2016)