Travelled to:1 × Finland
1 × France
1 × Portugal
Collaborated with:P.A.Abdulla P.Mahata L.Kaati M.Nilsson J.Ouaknine J.Worrell
Talks about:automata (2) time (2) determinist (1) alphabet (1) network (1) complex (1) channel (1) result (1) machin (1) multi (1)
Person: Johann Deneux
DBLP: Deneux:Johann
Contributed to:
2005
2005
2004Wrote 3 papers:
- CIAA-2005-AbdullaDKN #automaton #nondeterminism #scalability
- Minimization of Non-deterministic Automata with Large Alphabets (PAA, JD, LK, MN), pp. 31–42.
- ICALP-2005-AbdullaDOW #automaton #complexity #decidability
- Decidability and Complexity Results for Timed Automata via Channel Machines (PAA, JD, JO, JW), pp. 1089–1101.
- LICS-2004-AbdullaDM #multi #network
- Multi-Clock Timed Networks (PAA, JD, PM), pp. 345–354.