Search the dblp DataBase
Johann Deneux: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - 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] - 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] - Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata
Multi-Clock Timed Networks. [Citation Graph (0, 0)][DBLP]
LICS, 2004, pp:345-354 [Conf] - 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] - 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.001secs, Finished in 0.002secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002