dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Amir Pnueli (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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


152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine: A Framework for Scheduler Synthesis. IEEE Real-Time Systems Symposium 1999: 154-163
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine: Decidable Integration Graphs. Inf. Comput. 150(2): 209-243 (1999)
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOded Maler, Amir Pnueli, Joseph Sifakis: On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). STACS 1995: 229-242
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine: Integration Graphs: A Class of Decidable Hybrid Systems. Hybrid Systems 1992: 179-208

Selection of 4 from 264 records - Amir Pnueli has 142 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page