Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

An Empirical Study on China's Inter-provincial Coal Distribution by Railway., , , und . ICAIC (3), Volume 226 von Communications in Computer and Information Science, Seite 260-266. Springer, (2011)Abstraction-Guided Simulation Using Markov Analysis for Functional Verification., , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 35 (2): 285-297 (2016)Explore Spatio-temporal Aggregation for Insubstantial Object Detection: Benchmark Dataset and Baseline., , , , , , und . CVPR, Seite 3094-3105. IEEE, (2022)Graph partition based path selection for testing of small delay defects., , , und . ASP-DAC, Seite 499-504. IEEE, (2010)RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection., , , , , , , und . CCS, Seite 1837-1852. ACM, (2020)An Efficient Algorithm for Finding a Universal Set of Testable Long Paths., , , und . Asian Test Symposium, Seite 319-324. IEEE Computer Society, (2010)Semi-structured document extraction based on document element block model., , , , , und . CCIS, Seite 461-465. IEEE, (2016)Fast path selection for testing of small delay defects considering path correlations., , , und . VTS, Seite 3-8. IEEE Computer Society, (2010)Automatic Selection of Internal Observation Signals for Design Verification., , und . VTS, Seite 203-208. IEEE Computer Society, (2009)Text summarization using Sentence-Level Semantic Graph Model., , , , und . CCIS, Seite 171-176. IEEE, (2016)