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

Type- and Content-Driven Synthesis of SQL Queries from Natural Language., , , und . CoRR, (2017)Accelerating inverse inference of ensemble Kalman filter via reduced-order model trained using adaptive sparse observations., , , , und . J. Comput. Phys., (Januar 2024)Hunter: next-generation code reuse for Java., , , , , und . SIGSOFT FSE, Seite 1028-1032. ACM, (2016)Automatic Repair for Network Programs., , , und . TACAS (2), Volume 13244 von Lecture Notes in Computer Science, Seite 353-372. Springer, (2022)Sporq: An Interactive Environment for Exploring Code using Query-by-Example., , , , , und . UIST, Seite 84-99. ACM, (2021)Synthesis-powered optimization of smart contracts via data type refactoring., , , , , und . Proc. ACM Program. Lang., 6 (OOPSLA2): 560-588 (2022)Feasibility of DEIM for retrieving the initial field via dimensionality reduction., , , , , und . J. Comput. Phys., (2021)Application of regularization technique to variational adjoint method: A case for nonlinear convection-diffusion problem., und . Appl. Math. Comput., 218 (8): 4475-4482 (2011)CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation., , , , , und . ICLR, OpenReview.net, (2022)Formal Specification and Verification of Smart Contracts for Azure Blockchain., , , und . CoRR, (2018)