( en | de | ru )

 

Disambiguierung von "Zhao, Xudong"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking.

, , , , , , , und . FMCAD, Volume 1166 von Lecture Notes in Computer Science, Seite 19-33. Springer, (1996)

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.

Xudong Zhao

Xudong Liu

Xudong Cui

Zhao Zhao

Xudong Xie

 

Weitere Publikationen von Autoren mit dem selben Namen

The study of urban rainstorm waterlogging scenario simulation based on GIS and SWMM model - Take the example of Kunming Dongfeng East Road catchment area., , , , und . Geoinformatics, Seite 1-5. IEEE, (2013)Adaptive Neural Control of MIMO Nonstrict-Feedback Nonlinear Systems With Time Delay., , , und . IEEE Trans. Cybern., 46 (6): 1337-1349 (2016)Word Level Model Checking (Abstract)., und . MFCS, Volume 1113 von Lecture Notes in Computer Science, Seite 1. Springer, (1996)Analytica - A Theorem Prover in Mathematica., und . CADE, Volume 607 von Lecture Notes in Computer Science, Seite 761-765. Springer, (1992)Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping., , , , und . DAC, Seite 54-60. ACM Press, (1993)Coverage Estimation for Symbolic Model Checking., , , und . DAC, Seite 300-305. ACM Press, (1999)Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking., , , und . DAC, Seite 427-432. ACM Press, (1995)Detecting Digital Image Splicing in Chroma Spaces., , , und . IWDW, Volume 6526 von Lecture Notes in Computer Science, Seite 12-22. Springer, (2010)Image splicing detection based on noncausal Markov model., , , , und . ICIP, Seite 4462-4466. IEEE, (2013)DRIN: Deep Recurrent Interaction Network for click-through rate prediction., , , , , und . Inf. Sci., (2022)