索姆·班纳吉;苏马纳州戈什;安苏曼·班纳吉;Mohalik，Swarup K。 基于SMT的尖峰神经网络建模与验证：案例研究。 （英语） Zbl 1529.68151号 Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 25-43 (2023).MSC公司：60年第68季度 2007年第68季度 92B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Banerjee}等人，Lect。注释计算。科学。13881，25-43（2023；Zbl 1529.68151） 全文： 内政部
伊丽莎白·德·玛丽亚;辛齐亚·迪·朱斯托;莱蒂蒂亚·拉弗萨 建模为时间自动机的尖峰神经网络：具有参数学习。 （英语） Zbl 07802741号 自然计算。 19，第1期，135-155（2020年）.MSC公司：2007年第68季度 03B44号 65年第68季度 60年第68季度 68T05型 92B20型 92C20美元 PDF格式BibTeX公司 XML格式引用 \textit{E.De Maria}等人，《自然计算》。19，第1号，135--155（2020；Zbl 07802741） 全文： 内政部 arXiv公司 哈尔
Alves Rocha，蒂亚戈;阿娜·特蕾莎·马丁斯;弗朗西科尔·马丁斯·费雷尔 用最小量词秩的一级句区分结构集。 （英语） 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 1456.03095号 数学。结构。计算。科学。 29，第8期，1151-1176（2019）.MSC公司：第03页 PDF格式BibTeX公司 XML格式引用 \textit{K.Chaudhuri}等人，《数学》。结构。计算。科学。29，第8号，1151--1176（2019；Zbl 1456.03095） 全文： 内政部
乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 混合和次指数线性逻辑。 （英语） Zbl 1395.03034号 Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第十一次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记33295-111（2017）。MSC公司：第03页 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Despeyroux}等人，《电子》。注释Theor。计算。科学。33295--111（2017；Zbl 1395.03034） 全文： 内政部 arXiv公司
卡洛斯·奥拉特;伊莱恩·皮门特尔 关于并发行为和关注线性逻辑。 （英语） 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） 全文： 内政部
阿贡·朱利叶斯;张嘉祥;乔，魏;Wen，John T。 用于昼夜相位估计的多输入自适应陷波滤波器和观测器。 （英语） Zbl 1348.93254号 国际期刊改编。控制信号处理。 30，编号8-10，1375-1388（2016）.MSC公司：93E11号机组 93E10型 93E15型 94A08型 PDF格式BibTeX公司 XML格式引用 \textit{A.Julius}等人，《国际期刊》改编。控制信号处理。30、编号8--10、1375--1388（2016；Zbl 1348.93254） 全文： 内政部
奥拉特，C。;Chiarugi，D。;M.法拉斯基。;D.赫米思。 生物化学系统中空间和时间依赖性的证明理论观点。 （英语） Zbl 1344.68140号 西奥。计算。科学。 641, 25-42 (2016).MSC公司：60年第68季度 第03页 2005年第68季度 2010年第68季度 92碳40 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，Theor。计算。科学。641、25-42（2016年；Zbl 1344.68140） 全文： 内政部 链接
伊丽莎白·德·玛丽亚;安吉洛·蒙塔纳里;尼古拉·维塔科隆纳 具有有限顺序关系的字符串上的游戏。 （英语） 兹比尔1211.03050 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2009年1月3日至6日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2009国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92686-3/pbk）。计算机科学课堂讲稿5407164-179（2009）。MSC公司：03C13号机组 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.De Maria}等人，Lect。注释计算。科学。5407164--179（2009年；Zbl 1211.03050） 全文： 内政部