( en | de | ru )

 

Disambiguierung von "Pu, Geguang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ALA: Naturalness-aware Adversarial Lightness Attack.

, , , , , , , und . ACM Multimedia, Seite 2418-2426. ACM, (2023)

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.

Pu Chen

Jianfeng Pu

Jielin Pu

Lingling Pu

Jianjun Pu

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics., , , , und . IEEE Trans. Parallel Distributed Syst., 28 (5): 1299-1314 (2017)Automatically Testing Web Services Choreography with Assertions., , , , , und . ICFEM, Volume 6447 von Lecture Notes in Computer Science, Seite 138-154. Springer, (2010)Exploring optimal solution to hardware/software partitioning for synchronous model., , , , und . Formal Aspects Comput., 17 (4): 443-460 (2005)Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis., , , und . CODES+ISSS, Seite 14:1-14:10. IEEE, (2013)A Formal Model forWeb Service Choreography Description Language (WS-CDL)., , , , und . ICWS, Seite 893-894. IEEE Computer Society, (2006)A Symbolic Approach to Safety ltl Synthesis., , , , und . Haifa Verification Conference, Volume 10629 von Lecture Notes in Computer Science, Seite 147-162. Springer, (2017)SAT-Based Explicit LTL Reasoning., , , und . Haifa Verification Conference, Volume 9434 von Lecture Notes in Computer Science, Seite 209-224. Springer, (2015)Constraint Checking for XML-Based Language Specification by SAT Solver., , , und . SSIRI (Companion), Seite 26-27. IEEE Computer Society, (2010)AdvFilter: Predictive Perturbation-aware Filtering against Adversarial Attack via Multi-domain Learning., , , , , , und . ACM Multimedia, Seite 395-403. ACM, (2021)Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers., , , , und . ICCAD, Seite 1-9. IEEE, (2021)