The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roni Rosner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roni Rosner, Avi Mendelson, Ronny Ronen
    Filtering Techniques to Improve Trace-Cache Efficiency. [Citation Graph (0, 0)][DBLP]
    IEEE PACT, 2001, pp:37-48 [Conf]
  2. Yoav Almog, Roni Rosner, Naftali Schwartz, Ari Schmorak
    Specialized Dynamic Optimizations for High-Performance Energy-Efficient Microarchitecture. [Citation Graph (0, 0)][DBLP]
    CGO, 2004, pp:137-150 [Conf]
  3. Amir Pnueli, Roni Rosner
    A Framework for the Synthesis of Reactive Modules. [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:4-17 [Conf]
  4. Amir Pnueli, Roni Rosner
    Distributed Reactive Systems Are Hard to Synthesize [Citation Graph (0, 0)][DBLP]
    FOCS, 1990, pp:746-757 [Conf]
  5. Amir Pnueli, Roni Rosner
    On the Synthesis of an Asynchronous Reactive Module. [Citation Graph (0, 0)][DBLP]
    ICALP, 1989, pp:652-671 [Conf]
  6. Roni Rosner, Micha Moffie, Yiannakis Sazeides, Ronny Ronen
    Selecting long atomic traces for high coverage. [Citation Graph (0, 0)][DBLP]
    ICS, 2003, pp:2-11 [Conf]
  7. Roni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson
    Power Awareness through Selective Dynamically Optimized Traces. [Citation Graph (0, 0)][DBLP]
    ISCA, 2004, pp:162-175 [Conf]
  8. David Harel, Roni Rosner, Moshe Y. Vardi
    On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:478-488 [Conf]
  9. Roni Rosner, Amir Pnueli
    A Choppy Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:306-313 [Conf]
  10. Roni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson
    PARROT: Power Awareness Through Selective Dynamically Optimized Traces. [Citation Graph (0, 0)][DBLP]
    PACS, 2003, pp:196-214 [Conf]
  11. Amir Pnueli, Roni Rosner
    On the Synthesis of a Reactive Module. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:179-190 [Conf]

  12. TAO: two-level atomicity for dynamic binary optimizations. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002