( en | de | ru )

 

Disambiguierung von "Rosner, Roni"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)

, , und . LICS, Seite 478-488. IEEE Computer Society, (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.

Marcus Rönitz

Roni Ozari

Roni Wieden

Volker Rönick

Raik Rönicke

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Synthesis of a Reactive Module., und . POPL, Seite 179-190. ACM Press, (1989)PARROT: Power Awareness Through Selective Dynamically Optimized Traces., , , , und . PACS, Volume 3164 von Lecture Notes in Computer Science, Seite 196-214. Springer, (2003)On the Synthesis of an Asynchronous Reactive Module., und . ICALP, Volume 372 von Lecture Notes in Computer Science, Seite 652-671. Springer, (1989)A Framework for the Synthesis of Reactive Modules., und . Concurrency, Volume 335 von Lecture Notes in Computer Science, Seite 4-17. Springer, (1988)Specialized Dynamic Optimizations for High-Performance Energy-Efficient Microarchitecture., , , und . CGO, Seite 137-150. IEEE Computer Society, (2004)On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report), , und . LICS, Seite 478-488. IEEE Computer Society, (1990)Power Awareness through Selective Dynamically Optimized Traces., , , , und . ISCA, Seite 162-175. IEEE Computer Society, (2004)Distributed Reactive Systems Are Hard to Synthesize, und . FOCS, Seite 746-757. IEEE Computer Society, (1990)0-8186-2082-X.Selecting long atomic traces for high coverage., , , und . ICS, Seite 2-11. ACM, (2003)A Choppy Logic, und . LICS, Seite 306-313. IEEE Computer Society, (1986)