索姆·班纳吉；苏马纳州戈什；安苏曼·班纳吉；Swarup K.莫哈利。 基于SMT的尖峰神经网络建模与验证：案例研究。 （英语） Zbl 1529.68151号 Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 25-43 (2023).MSC公司：60年第68季度 2007年第68季度 92秒20 PDF格式BibTeX公司 XML格式引用 \textit{S.Banerjee}等人，Lect。注释计算。科学。13881，25-43（2023；Zbl 1529.68151） 全文： 内政部
伊丽莎白·德·玛丽亚；辛齐亚·迪·朱斯托；莱蒂蒂亚·拉弗萨 建模为时间自动机的尖峰神经网络：具有参数学习。 （英语） Zbl 1530.68086号 自然计算。 19，第1期，135-155（2020年）.MSC公司：2007年第68季度 03B44号 65年第68季度 60年第68季度 68T05型 92秒20 92C20美元 PDF格式BibTeX公司 XML格式引用 \textit｛E.De Maria｝等人，《自然计算》。19，第1号，135--155（2020；Zbl 1530.68086） 全文： 内政部 arXiv公司 哈尔
阿尔夫·罗查，蒂亚戈；阿娜·特蕾莎·马丁斯；弗朗西科尔·马丁斯·费雷尔 用最小量词秩的一级句区分结构集。 （英语） Zbl 1434.03090号 Accattoli，Beniamino（编辑）等人，《逻辑和语义框架与应用第13次研讨会论文集》，LSFA 18，巴西福塔莱萨，2018年9月26日至28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。344, 189-208 (2019).MSC公司：03C13号机组 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit｛T.Alves Rocha｝等人，电子。注释Theor。计算。科学。344189-208（2019年；Zbl 1434.03090） 全文： 内政部
卡洛斯·奥拉特；伊莱恩·皮门特尔 关于并发行为和关注线性逻辑。 （英语） Zbl 1371.68197号 西奥。计算。科学。 685, 46-64 (2017).MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}和\textit{E.Pimentel}，Theor。计算。科学。685、46-64（2017年；Zbl 1371.68197） 全文： 内政部
C·奥尔特。；Chiarugi，D。；M.法拉斯基。；D.赫米思。 生物化学系统中空间和时间依赖性的证明理论观点。 （英语） Zbl 1344.68140号 西奥。计算。科学。 641, 25-42 (2016).MSC公司：60年第68季度 03楼52 2005年第68季度 2010年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，Theor。计算。科学。641、25-42（2016年；Zbl 1344.68140） 全文： 内政部 链接