Johann Deneux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2004–2005
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ICALP | Decidability and Complexity Results for Timed Automata via Channel Machines. | Parosh Aziz Abdulla, Johann Deneux, Jol Ouaknine, James Worrell |
| 2004 | ISoLA | Designing Safe, Reliable Systems Using Scade. | Parosh Aziz Abdulla, Johann Deneux, Gunnar Stlmarck, Herman gren, Ove kerlund |
| 2004 | ISoLA | Designing Safe, Reliable Systems using Scade. | Parosh Aziz Abdulla, Johann Deneux, Gunnar Stlmarck, Herman gren, Ove kerlund |
| 2004 | LICS | Multi-Clock Timed Networks. | Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata |