Roni Rosner (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

6 Amir Pnueli, Roni Rosner: Distributed Reactive Systems Are Hard to Synthesize FOCS 1990: 746-757

4 Amir Pnueli, Roni Rosner: On the Synthesis of an Asynchronous Reactive Module. ICALP 1989: 652-671

3 Amir Pnueli, Roni Rosner: On the Synthesis of a Reactive Module. POPL 1989: 179-190

2 Amir Pnueli, Roni Rosner: A Framework for the Synthesis of Reactive Modules. Concurrency 1988: 4-17

1 Roni Rosner, Amir Pnueli: A Choppy Logic LICS 1986: 306-313

Selection of 5 from 11 records - Roni Rosner has 10 coauthors

6		Amir Pnueli, Roni Rosner: Distributed Reactive Systems Are Hard to Synthesize FOCS 1990: 746-757
4		Amir Pnueli, Roni Rosner: On the Synthesis of an Asynchronous Reactive Module. ICALP 1989: 652-671
3		Amir Pnueli, Roni Rosner: On the Synthesis of a Reactive Module. POPL 1989: 179-190
2		Amir Pnueli, Roni Rosner: A Framework for the Synthesis of Reactive Modules. Concurrency 1988: 4-17
1		Roni Rosner, Amir Pnueli: A Choppy Logic LICS 1986: 306-313