publications:
- title: "Permutation rewriting and algorithmic verification"
  author:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Anca Muscholl"
    link: "https://researchr.org/alias/anca-muscholl"
  - name: "Tayssir Touili"
    link: "https://researchr.org/profile/tayssirtouili/publications"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.ic.2005.11.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2005.11.007"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/BouajjaniMT07"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "205"
  number: "2"
  pages: "199-224"
  kind: "article"
  key: "BouajjaniMT07"
- title: "On the Reachability Analysis of Acyclic Networks of Pushdown Systems"
  author:
  - name: "Mohamed Faouzi Atig"
    link: "https://researchr.org/alias/mohamed-faouzi-atig"
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Tayssir Touili"
    link: "https://researchr.org/profile/tayssirtouili/publications"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-85361-9_29"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85361-9_29"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/AtigBT08%3A0"
  cites: 0
  citedby: 0
  pages: "356-371"
  booktitle: "CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings"
  editor:
  - name: "Franck van Breugel"
    link: "https://researchr.org/alias/franck-van-breugel"
  - name: "Marsha Chechik"
    link: "https://researchr.org/alias/marsha-chechik"
  volume: "5201"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85360-2"
  kind: "inproceedings"
  key: "AtigBT08:0"
- title: "Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems"
  author:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Markus Müller-Olm"
    link: "https://researchr.org/alias/markus-m%C3%BCller-olm"
  - name: "Tayssir Touili"
    link: "https://researchr.org/profile/tayssirtouili/publications"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11539452_36"
  links:
    doi: "http://dx.doi.org/10.1007/11539452_36"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/BouajjaniMT05"
  cites: 0
  citedby: 0
  pages: "473-487"
  booktitle: "CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings"
  editor:
  - name: "Martín Abadi"
    link: "https://researchr.org/alias/mart%C3%ADn-abadi"
  - name: "Luca de Alfaro"
    link: "https://researchr.org/alias/luca-de-alfaro"
  volume: "3653"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28309-9"
  kind: "inproceedings"
  key: "BouajjaniMT05"