Ramzi Ben Salah Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamzi Ben Salah, Marius Bozga, Oded Maler: Compositional timing analysis. EMSOFT 2009: 39-48
2007
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrégory Batt, Ramzi Ben Salah, Oded Maler: On Timed Models of Gene Networks. FORMATS 2007: 38-52
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamzi Ben Salah, Marius Bozga, Oded Maler: On timed components and their abstraction. SAVCBS 2007: 63-71
2006
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamzi Ben Salah, Marius Bozga, Oded Maler: On Interleaving in Timed Automata. CONCUR 2006: 465-476
2003
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamzi Ben Salah, Marius Bozga, Oded Maler: On Timing Analysis of Combinational Circuits. FORMATS 2003: 204-219

Coauthor Index

1Grégory Batt [4]
2Marius Bozga [1] [2] [3] [5]
3Oded Maler [1] [2] [3] [4] [5]

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)