• 布隆丁M,莱伊斯T,马佐维耶基F,Offtermatt P公司和佩雷斯·G. 连续单计数器自动机第36届ACM/IEEE计算机科学逻辑年会论文集。(1-13).

    https://doi.org/10.109/LICS52264.2021.9470525

  • 布隆丁M. （2020年）。 petri网可达性松弛的基本知识.ACM SIGLOG新闻.7:3.(29-43).在线发布日期：2020年11月16日.

    https://doi.org/10.1145/3436980.3436984

  • 布隆丁M和拉斯金·M. 状态仿射向量加法系统可达性的复杂性第35届ACM/IEEE计算机科学逻辑年会论文集。(224-236).

    https://doi.org/10.1145/3373718.3394741