Autor der Publikation

Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search.

, , , , , , und . CP, Volume 9892 von Lecture Notes in Computer Science, Seite 650-665. Springer, (2016)

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

Static asynchronous component misuse detection for Android applications., , , , , , und . ESEC/SIGSOFT FSE, Seite 952-963. ACM, (2020)Dynamic Detection of AsyncTask Related Defects., , , , und . QRS, Seite 357-366. IEEE, (2021)Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search., , , , , , und . CP, Volume 9892 von Lecture Notes in Computer Science, Seite 650-665. Springer, (2016)Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation., , , , und . COMPSAC (1), Seite 67-74. IEEE Computer Society, (2017)Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment., , , , , , und . CP, Volume 10416 von Lecture Notes in Computer Science, Seite 405-413. Springer, (2017)LAND: a user-friendly and customizable test generation tool for Android apps., , , , und . ISSTA, Seite 360-363. ACM, (2018)Application of 3D-LiDAR & Camera Extrinsic Calibration in Urban Rail Transit., , , , , , und . ICITE, Seite 456-460. IEEE, (2020)Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android., , , , , und . ISSTA, Seite 394-397. ACM, (2019)Multiple-entry testing of Android applications by constructing activity launching contexts., , , , , und . ICSE, Seite 457-468. ACM, (2020)