托拜厄斯·弗里茨;法比奥·加杜奇;戴维·特罗塔;安德烈亚·科拉迪尼 从gs-单体范畴到oplax-cartesian范畴：结构和函数完备性。 （英语） Zbl 07751676号 申请。类别。结构。 31，第5号，第42号论文，第31页（2023年）。MSC公司：2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{T.Fritz}等人，应用。类别。结构。31，第5号，第42号文件，第31页（2023；Zbl 07751676） 全文： 内政部 arXiv公司
安德烈亚·科拉迪尼;玛丽亚姆·加法里·萨达特;瑞科·赫克尔 使用补码在安全图文法中对增量NAC进行编码。 （英语） Zbl 07456052号 Hoffmann，Berthold（ed.）等人，第十一届图形计算模型国际研讨会论文集，GCM 2020，在线车间，2020年6月24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）330、88-107（2020）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}等人，《电子》。程序。西奥。计算。科学。（EPTCS）330、88--107（2020；Zbl 07456052） 全文： arXiv公司 链接
安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特，弗雷德里克;莱拉·里贝罗 控制嵌入的代数图重写。 （英语） Zbl 1436.68155号 西奥。计算。科学。 802, 19-37 (2020)。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Corradini｝等人，Theor。计算。科学。802、19-37（2020年；Zbl 1436.68155） 全文： 内政部
吉尔赫梅·格罗肖·阿兹（Guilherme Grochau Azzi）;安德烈亚·科拉迪尼;莱拉·里贝罗 关于（mathcal{M}）-粘合剂转化系统中冲突的本质和初始性。 （英语） Zbl 1435.68131号 J.日志。阿尔盖布。方法计划。 109，文章ID 100482，32 p.（2019）。MSC公司：2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.G.Azzi}等人，J.Log。阿尔盖布。方法计划。109，文章ID 100482，32 p.（2019；Zbl 1435.68131） 全文： 内政部