( en | de | ru )

 

Disambiguierung von "Jiang, Jie-Hong Roland"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesis of Nondeterministic Behavior in Recombinase-Based Genetic Circuits.

, , und . ISMVL, Seite 200-205. IEEE, (2019)

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.

Jie Jiang

Jie Jiang

Hong Jiang

Hong Jiang

Hong Jiang

 

Weitere Publikationen von Autoren mit dem selben Namen

Improving design verifiability by early RTL coverability analysis., , , und . MEMOCODE, Seite 25-32. IEEE, (2012)Reducing Multi-Valued Algebraic Operations to Binary., , und . IWLS, Seite 339-344. (2002)Synthesis of Nondeterministic Behavior in Recombinase-Based Genetic Circuits., , und . ISMVL, Seite 200-205. IEEE, (2019)Biochemical Threshold Function Implementation with Zero-Order Ultrasensitivity., , , und . BioCAS, Seite 1-4. IEEE, (2019)A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving., , , und . AAAI, Seite 1584-1591. AAAI Press, (2019)Compatible Equivalence Checking of X-Valued Circuits., , , , , , , und . ICCAD, Seite 1-9. IEEE, (2021)Static detection of API call vulnerabilities in iOS executables., , , und . ICSE (Companion Volume), Seite 394-395. ACM, (2018)Synthesizing multiple boolean functions using interpolation on a single proof., , , , und . FMCAD, Seite 77-84. IEEE, (2013)To SAT or not to SAT: Ashenhurst decomposition in a large scale., , und . ICCAD, Seite 32-37. IEEE Computer Society, (2008)Asynchronous QDI Circuit Synthesis from Signal Transition Protocols., , und . ICCAD, Seite 434-441. IEEE, (2015)