Autor der Publikation

Generative API usage code recommendation with parameter concretization.

, , , , , , , und . Sci. China Inf. Sci., 62 (9): 192103:1-192103:22 (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

One-for-All: Proposal Masked Cross-Class Anomaly Detection., , , , und . AAAI, Seite 4792-4800. AAAI Press, (2023)Collision Avoidance Testing for Autonomous Driving Systems on Complete Maps., , , , und . IV, Seite 179-185. IEEE, (2021)Research on the Characteristics and Security Risks of the Internet of Vehicles Data., , , , und . DSC, Seite 299-305. IEEE, (2022)Observability and Performance Analysis of Spacecraft Autonomous Navigation Using Stellar Aberration Observation., , , und . ICVISP, Seite 218-223. IEEE, (2021)Mask-Guided Transformer for Human-Object Interaction Detection., , und . VCIP, Seite 1-5. IEEE, (2022)Fair Model Checking with Process Counter Abstraction., , , , und . FM, Volume 5850 von Lecture Notes in Computer Science, Seite 123-139. Springer, (2009)Verifying Parameterized Timed Security Protocols., , , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 342-359. Springer, (2015)Towards a Combination of CafeOBJ and PAT., , , und . Specification, Algebra, and Software, Volume 8373 von Lecture Notes in Computer Science, Seite 151-170. Springer, (2014)Plume: Fast Finality Blockchain without Single Failure Point., , und . ASSE, Seite 18-27. ACM, (2021)Parametric Timed Model Checking for Guaranteeing Timed Opacity., und . ATVA, Volume 11781 von Lecture Notes in Computer Science, Seite 115-130. Springer, (2019)