( en | de | ru )

 

Disambiguation of "Courcoubetis, Costas"

Author of the publication

copydeleteadd this publication to your clipboard
Memory Efficient Algorithms for the Verification of Temporal Properties.

, , , and . CAV, volume 531 of Lecture Notes in Computer Science, page 233-242. Springer, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Peter Costas

Costas Averkiou

Costas Higoumenakis

Ilse Costas

Costas Panayotakis

 

Other publications of authors with the same name

Differentiated Services in the GPRS Wireless Access Environment., , and . IWDC, volume 2170 of Lecture Notes in Computer Science, page 108-119. Springer, (2001)Minimum and Maximum Delay Problems in Real-Time Systems.. CAV, volume 575 of Lecture Notes in Computer Science, page 399-409. Springer, (1991)Inter-domain Coordination Models., , , , and . Networking Workshops, volume 7291 of Lecture Notes in Computer Science, page 113-120. Springer, (2012)Strategic Storage Operation in Wholesale Electricity Markets: A Game Theoretic Analysis., , and . CDC, page 2201-2207. IEEE, (2019)Weighted Round-Robin Cell Multiplexing in a General-Purpose ATM Switch Chip., , and . IEEE J. Sel. Areas Commun., 9 (8): 1265-1279 (1991)A Fair and Budget-Balanced Incentive Mechanism for Energy Management in Buildings., , , , , and . IEEE Trans. Smart Grid, 9 (4): 3143-3153 (2018)Measurement-Based Usage Charges in Comminucations Networks., , and . Operations Research, 48 (4): 535-548 (2000)A Framework for Analyzing the Economics of a Market for Grid Services., , and . GECON, volume 5745 of Lecture Notes in Computer Science, page 28-45. Springer, (2009)Service differentiation and performance of weighted window-based congestion control and packet marking algorithms in ECN networks., , and . Comput. Commun., 26 (4): 314-326 (2003)Fair background data transfers of minimal delay impact., and . INFOCOM, page 1053-1061. IEEE, (2012)