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

FSX: fine-grained incremental unit test generation for C/C++ programs., , , , und . ISSTA, Seite 106-117. ACM, (2016)Post-silicon patching for verification/debugging with high-level models and programmable logic., und . ASP-DAC, Seite 232-237. IEEE, (2012)Investigation of Comfort of Uniform Shirt Made of Cellulose Considering Environmental Load., , , und . CISIM, Volume 9339 von Lecture Notes in Computer Science, Seite 527-538. Springer, (2015)Deep generative model super-resolves spatially correlated multiregional climate data., , , und . CoRR, (2022)Some set partition statistics in non-crossing partitions and generating functions., und . Discret. Math., 307 (24): 3147-3160 (2007)Phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations., , , , , und . ICSE (Companion Volume), Seite 53-56. ACM, (2020)Optimal Transport-based Coverage Control for Swarm Robot Systems: Generalization of the Voronoi Tessellation-based Method., , und . ACC, Seite 3032-3037. IEEE, (2021)VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks., , , , und . ASE, Seite 129-141. IEEE, (2021)SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions., , , , , , , , und . ICSE, Seite 1932-1944. ACM, (2022)Simultaneous Circuit Transformation and Routing., , , und . ASP-DAC/VLSI Design, Seite 479-483. IEEE Computer Society, (2002)