1. ABDULLA P. NYLÉN A. “Better is better than well: on efficient verification of infinite-state systems” Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science (LICS'00) 132 140 2000
2. LNCS;ABDULLA,2001
3. “Dense-timed Petri nets: checking Zenoness, token liveness and boundedness”;ABDULLA;Logical Methods in Computer Science,2007
4. “Is your model checker on time? On the complexity of model checking for timed modal logics”;ACETO;Journal of Logic and Algebraic Programming,2002