Autor der Publikation

A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs.

, , , , und . IEEE Trans. Reliab., 70 (4): 1455-1467 (2021)

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

Target Q-Coverage Problem with Bounded Service Delay in Directional Sensor Networks., , , , und . IJDSN, (2012)Joint Topology Control and Power Conservation for Wireless Sensor Networks Using Transmit Power Adjustment., , , und . COCOON, Volume 5092 von Lecture Notes in Computer Science, Seite 541-550. Springer, (2008)Building Up Knowledge through Meta-analysis: A Review and Reinterpretation., , und . J. Inf. Technol. Theory Appl., 19 (3): 2 (2018)Minimum Connected Dominating Set Under Routing Cost Constraint in Wireless Sensor Networks With Different Transmission Ranges., , , , und . IEEE/ACM Trans. Netw., 27 (2): 546-559 (2019)A temporal logic programming approach to planning., , , , und . J. Comb. Optim., 38 (2): 402-420 (2019)Collaborative Service Placement for Mobile Edge Computing Applications., , , , , und . GLOBECOM, Seite 1-6. IEEE, (2018)Detecting Overlapping Community in Social Networks Based on Fuzzy Membership Degree., , , und . CSoNet, Volume 9795 von Lecture Notes in Computer Science, Seite 99-110. Springer, (2016)An approximation algorithm for dominating nodes selection in multi-channel multi-radio wireless sensor networks., , und . Int. J. Sens. Networks, 11 (1): 57-65 (2012)Optimal gateway placement for hybrid BANETs-sensor networks in urban areas., , , und . Int. J. Sens. Networks, 26 (4): 243-251 (2018)A greedy approximation for minimum connected dominating sets., , , , , und . Theor. Comput. Sci., 329 (1-3): 325-330 (2004)