PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Niemann, Philipp"

Author of the publication

copydeleteadd this publication to your clipboard
On the complexity of design tasks for Digital Microfluidic Biochips.

, , , and . Microelectronics Journal, (2018)

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.

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, , and . Proceedings of the 14th IFToMM World Congress, page 117-123. Taipei, IFToMM, (2015)

Philipp Miermeister

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

Philipp Wagner University of Stuttgart

Philipp Thumser University of Stuttgart

 

Other publications of authors with the same name

One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits., , , and . ISMVL, page 1-6. IEEE, (2019)Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions., , , and . RC, volume 10301 of Lecture Notes in Computer Science, page 214-231. Springer, (2017)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)Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements., , , , and . Computer Languages, Systems & Structures, (2018)Breaking Landauer's Limit\\Using Quantum-dot Cellular Automata., , , and . CoRR, (2018)QMDDs: Efficient Quantum Function Representation and Manipulation., , , , and . 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., , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 37 (12): 3031-3041 (2018)On the complexity of design tasks for Digital Microfluidic Biochips., , , and . Microelectronics Journal, (2018)Towards a Base Model for UML and OCL Verification., , , and . MoDeVVa@MoDELS, volume 1235 of CEUR Workshop Proceedings, page 59-68. CEUR-WS.org, (2014)Improved synthesis of Clifford+T quantum functionality., , and . DATE, page 597-600. IEEE, (2018)