1. P. A. Abdulla, K. Cerāns, B. Jonsson, and Y.-K. Tsay. General Decidability Theorems for Infinite-State Systems. In Proceedings 11th Annual International Symposium on Logic on Computer Science (LICS'96), pages 313–321, New Brunswick, New Jersey, 1996. IEEE Computer Society Press.
2. P. A. Abdulla and B. Jonsson. Verifying Networks of Timed Processes. In B. Steffen, editor, Proceedings 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'98), volume 1384 of LNCS, pages 298–312, Lisbon, Portugal, 1998. Springer-Verlag.
3. P. A. Abdulla, B. Jonsson. Channel Representations in Protocol Verification In Proc. CONCUR 2001, LNCS 2154, pages 1–15. Springer, 2001.
4. P. A. Abdulla and A. Nylén. Better is Better than Well: On Efficient Verification of Infinite-State Systems. In Proceedings 15th Annual International Symposium on Logic in Computer Science (LICS'00), pages 132–140, Santa Barbara, California, 2000. IEEE Computer Society Press.
5. T. Arons, A. Pnueli, S. Ruah, Y. Xu, and L. D. Zuck. Parameterized Verification with Automatically Computer Inductive Assertions. In G. Berry, H. Comon, and A. Finkel, editors, Proceedings 13th International Conference on Computer Aided Verification (CAV'01), volume 2102 of LNCS, pages 221–234, Paris, France, 2001. Springer-Verlag.