PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Niemann, Philipp"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
QMDDs: Efficient Quantum Function Representation and Manipulation.

, , , , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 35 (1): 86-99 (2016)

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.

Julia Niemann University of Stuttgart

Dipl.-Ing. Philipp Tempel

Kinematics and dynamics modeling for real-time simulation of the cable-driven parallel robot IPAnema 3, , und . Proceedings of the 14th IFToMM World Congress, Seite 117-123. Taipei, IFToMM, (2015)

Philipp Miermeister

Modelling of kinematics and dynamics of the IPAnema 3 cable robot for simulative analysis, , , und . WGP Congress 2015 : progress in production engineering ; selected, peer reviewed papers from the 2015 WGP Congress, 794, Seite 419-426. Pfaffikon, Trans Tech Publ., (2015)

Philipp Wagner University of Stuttgart

Philipp Thumser University of Stuttgart

 

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 . Computer Languages, Systems & Structures, (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)Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions., , , und . RC, Volume 10301 von Lecture Notes in Computer Science, Seite 214-231. Springer, (2017)One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits., , , und . ISMVL, Seite 1-6. IEEE, (2019)Breaking Landauer's Limit\\Using Quantum-dot Cellular Automata., , , und . CoRR, (2018)Assisted generation of frame conditions for formal models., , , und . DATE, Seite 309-312. ACM, (2015)QMDDs: Efficient Quantum Function Representation and Manipulation., , , , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 35 (1): 86-99 (2016)An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata., , , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 37 (12): 3031-3041 (2018)On the complexity of design tasks for Digital Microfluidic Biochips., , , und . Microelectronics Journal, (2018)Equivalence Checking in Multi-level Quantum Systems., , und . RC, Volume 8507 von Lecture Notes in Computer Science, Seite 201-215. Springer, (2014)