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