1. Timed Petri nets and BQOs;ABDULLA;Proc. 22nd International Conference on Application and Theory of Petri Nets (ICATPN’01),2001
2. Dense-timed Petri nets: checking Zenoness, token liveness and boundedness;ABDULLA;Logical Methods in Computer Science,2007
3. Is your model checker on time? On the complexity of model checking for Timed Modal Logics;ACETO;Journal of Logic and Algebraic Programming,2002
4. The power of reachability testing for timed automata;ACETO;Theoretical Computer Science,2003
5. Automata for modeling real-time systems;ALUR;Proc. of ICALP’90,1990