( en | de | ru )

 

Disambiguation of "Niemann, Philipp"

Author of the publication

copydeleteadd this publication to your clipboard
Podcasting: Eine Revolution?

. Tectum-Verl., Marburg, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Philipp Niemann

Philipp Niemann

Philipp Niemann

Markus Niemann

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

Silke Niemann

 

Other publications of authors with the same name

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