机译:细胞自动机自同构分类的一般化:扩展摘要(代数,语言,代数系统和计算中的算法)
机译:细胞自动机自同构分类的一般化
机译:vonNeumann代数的紧同构同构群的Galois对应关系,推广到Kac代数
机译:扩展代数建模语言以支持求解随机规划模型的算法开发
机译:XS-Systems:扩展S系统和代数差动自动机,用于建模蜂窝行为
机译:算法代数模型检查:混合自动机和系统生物学。
机译:智能破译难以理解的设计:系统生物学中的算法代数模型检查
机译:关于元胞自动机邻域增长的注记(代数,语言和计算系统中的算法问题)
机译:走向自动机的同调代数I:1。抽象自动机类别的表示和完备性定理