( en | de | ru )

 

Disambiguierung von "Owicki, Susan S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Competitive Randomized Algorithms for Nonuniform Problems.

, , , und . Algorithmica, 11 (6): 542-571 (1994)

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.

Astrid Sunarti Susanto-Sunario

Yeni Susanti

Timotius Susantija

Heru Susanto

Alfonsus Budi Susanto

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving Liveness Properties of Concurrent Programs., und . ACM Trans. Program. Lang. Syst., 4 (3): 455-495 (1982)Competitive Randomized Algorithms for Nonuniform Problems., , , und . Algorithmica, 11 (6): 542-571 (1994)A Model and Temporal Proof System for Networks of Processes., , und . POPL, Seite 121-131. ACM Press, (1985)On the Use of Optimistic Methods for Concurrency Control in Distributed Databases., und . Berkeley Workshop, Seite 117-129. Technical Information Department, Lawrence Berkeley Laboratory, University of California, Berkeley CA, (1982)GEM: A Tool for Concurrency Specification and Verification., und . PODC, Seite 198-212. ACM, (1983)Behavior: A Temporal Approach to Process Modelling., , , und . Logic of Programs, Volume 193 von Lecture Notes in Computer Science, Seite 237-254. Springer, (1985)Verifying Concurrent Programs With Shared Data Classes.. Formal Description of Programming Concepts, Seite 279-300. North-Holland, (1977)Making the World Safe for Garbage Collection.. POPL, Seite 77-86. ACM Press, (1981)Competitive Randomized Algorithms for Non-Uniform Problems., , , und . SODA, Seite 301-309. SIAM, (1990)Factors in the Performance of the AN1 Computer Network., und . SIGMETRICS, Seite 167-180. ACM, (1992)