Autor der Publikation

Fast Restoration of Connectivity for Wireless Sensor Networks.

, , , und . NEW2AN, Volume 7469 von Lecture Notes in Computer Science, Seite 401-412. Springer, (2012)

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

Innocuous Double Rounding of Basic Arithmetic Operations.. J. Formaliz. Reason., 7 (1): 131-142 (2014)Architectures for IP-based network-assisted mobility management across heterogeneous networks., , , , , und . IEEE Wirel. Commun., 15 (2): 18-25 (2008)A novel scheme for congestion notification in IoT low power networks., , , und . IM, Seite 932-937. IEEE, (2021)Formal Proofs of Rounding Error Bounds - With Application to an Automatic Positive Definiteness Check.. J. Autom. Reason., 57 (2): 135-156 (2016)Verifying the Mathematical Library of an UAV Autopilot with Frama-C., , , , und . FMICS, Volume 12863 von Lecture Notes in Computer Science, Seite 167-173. Springer, (2021)Fast Restoration of Connectivity for Wireless Sensor Networks., , , und . NEW2AN, Volume 7469 von Lecture Notes in Computer Science, Seite 401-412. Springer, (2012)Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants., , und . SAS, Volume 9837 von Lecture Notes in Computer Science, Seite 424-446. Springer, (2016)A Formal Link Between Response Time Analysis and Network Calculus (Artifact)., , und . Dagstuhl Artifacts Ser., 8 (1): 03:1-03:3 (2022)A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus., , , und . ECRTS, Volume 196 von LIPIcs, Seite 14:1-14:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A Formal Link Between Response Time Analysis and Network Calculus., , und . ECRTS, Volume 231 von LIPIcs, Seite 5:1-5:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)