A. Bouajjani

Rewriting Systems over Nested Data Words Invariance checking for systems with dynamic control and data structures

A. Bouajjani, Y. Jurski, M. Sighireanu, 2009 .

On the verification problem of nonregular properties for nonregular processes

A. Bouajjani, R. Echahed, P. Habermehl, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.