The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Johann Deneux: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén
    Forward Reachability Analysis of Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:343-362 [Conf]
  2. Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell
    Decidability and Complexity Results for Timed Automata via Channel Machines. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1089-1101 [Conf]
  3. Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund
    Designing Safe, Reliable Systems Using Scade. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:115-129 [Conf]
  4. Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata
    Multi-Clock Timed Networks. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:345-354 [Conf]
  5. Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Marcus Nilsson
    Minimization of Non-deterministic Automata with Large Alphabets. [Citation Graph (0, 0)][DBLP]
    CIAA, 2005, pp:31-42 [Conf]
  6. Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata
    Closed, Open, and Robust Timed Networks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:3, pp:117-151 [Journal]

Search in 0.002secs, Finished in 0.003secs
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