劳拉·科瓦奇 基于代数的回路分析。 （英语） Zbl 07760745号 Dickenstein，Alicia（编辑）等人，第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆索，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。41-42 (2023).MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.Kovács}，in：第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆瑟，2023年7月24-27日。纽约州纽约市：计算机协会（ACM）。41-42（2023年；Zbl 07760745） 全文： 内政部
劳拉·科瓦奇 自动程序推理中的符号计算。 （英语） Zbl 1529.68080号 Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 3-9 (2023).MSC公司：68号30 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.Kovács}，莱克特。注释计算。科学。14000，3--9（2023；Zbl 1529.68080） 全文： 内政部
达内什瓦·阿姆罗拉希;埃齐奥·巴托西;乔治·凯尼森;劳拉·科瓦奇;马塞尔·穆斯布鲁克;米罗斯拉夫斯坦科维奇 求解不可解循环的不变量生成。 （英语） Zbl 1524.68070号 Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 19-43 (2022).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Amrollahi}等人，Lect。注释计算。科学。13790，19-43（2022；Zbl 1524.68070） 全文： 内政部 arXiv公司
安德烈亚斯·休姆伯格;劳拉·科瓦奇 循环及其不变量的基于代数的合成（特邀论文）。 （英语） Zbl 1472.68036号 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 17-28 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Humenberger}和\textit{L.Kovács}，莱克特。注释计算。科学。12597，17-28（2021；Zbl 1472.68036） 全文： 内政部 arXiv公司
埃齐奥·巴托西;劳拉·科瓦奇;米罗斯拉夫·斯坦科维奇 基于矩的不变量的自动生成，用于prob-solved循环。 （英语） Zbl 1437.68041号 Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 255-276 (2019).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，Lect。注释计算。科学。11781255-276（2019年；Zbl 1437.68041） 全文： 内政部 arXiv公司