Autor der Publikation

Memory Efficient Algorithms for the Verification of Temporal Properties.

, , , und . CAV, Volume 531 von Lecture Notes in Computer Science, Seite 233-242. Springer, (1990)

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

A Fair and Budget-Balanced Incentive Mechanism for Energy Management in Buildings., , , , , und . IEEE Trans. Smart Grid, 9 (4): 3143-3153 (2018)A study of simple usage-based charging schemes for broadband networks., , , und . Telecommun. Syst., 15 (3-4): 323-343 (2000)Fair background data transfers of minimal delay impact., und . INFOCOM, Seite 1053-1061. IEEE, (2012)Service differentiation and performance of weighted window-based congestion control and packet marking algorithms in ECN networks., , und . Comput. Commun., 26 (4): 314-326 (2003)An auction mechanism for allocating the bandwidth of networks to their users., , und . Comput. Networks, 51 (18): 4979-4996 (2007)Measurement-Based Usage Charges in Comminucations Networks., , und . Operations Research, 48 (4): 535-548 (2000)Inter-domain Coordination Models., , , , und . Networking Workshops, Volume 7291 von Lecture Notes in Computer Science, Seite 113-120. Springer, (2012)Differentiated Services in the GPRS Wireless Access Environment., , und . IWDC, Volume 2170 von Lecture Notes in Computer Science, Seite 108-119. Springer, (2001)Minimum and Maximum Delay Problems in Real-Time Systems.. CAV, Volume 575 von Lecture Notes in Computer Science, Seite 399-409. Springer, (1991)A Framework for Analyzing the Economics of a Market for Grid Services., , und . GECON, Volume 5745 von Lecture Notes in Computer Science, Seite 28-45. Springer, (2009)