德扬·约瓦诺维奇;布鲁诺·杜特雷 非线性算法的插值和模型检查。 （英语） Zbl 1493.68212号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 266-288 (2021).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Jovanović}和\textit{B.Dutertre}，莱克特。注释计算。科学。12760266--288（2021年；Zbl 1493.68212） 全文： 内政部 arXiv公司
圣菲省格拉汉·伦格兰德;德扬·约瓦诺维奇;布鲁诺·杜特雷 用MCSAT求解位向量：从位和块中进行解释。 （英语） Zbl 07614509号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。2020年7月1日至4日，法国巴黎，第十届国际联合会议，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 103-121 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Graham-Lengrand}等人，莱克特。注释计算。科学。12166，103-121（2020；Zbl 07614509） 全文： 内政部 arXiv公司
德扬·约瓦诺维奇;莱昂纳多·德·莫拉 切入正题。求解线性整数算法。 （英语） Zbl 1314.90053号 J.汽车。推理 51，第1期，79-108（2013）.MSC公司：90立方厘米 90C05（二氧化碳） 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Jovanović}和\textit{L.De Moura}，J.Autom。推理51，No.1，79--108（2013；Zbl 1314.90053） 全文： 内政部
德扬·约瓦诺维奇;克拉克·巴雷特 注意理论结合。 （英语） Zbl 1284.68518号 形式方法系统。设计。 42，No.1，67-90（2013）.MSC公司：68吨15 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Jovanović}和textit{C.Barrett}，《形式方法系统》。设计。42，第1号，67-90（2013年；兹bl 1284.68518） 全文： 内政部
德扬·约瓦诺维奇;克拉克·巴雷特 分享就是关怀：理论的结合。 （英语） Zbl 1348.68220号 Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。《人工智能课堂讲稿》，195-210（2011）。MSC公司：68吨15 03B25号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{D.Jovanović}和\textit{C.Barrett}，莱克特。注释计算。科学。6989195-210（2011；Zbl 1348.68220） 全文： 内政部
德扬·约瓦诺维奇;莱昂纳多·德·莫拉 切入正题。求解线性整数算法。 （英语） Zbl 1314.90054号 Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-642-22438-6/ebook）。计算机科学课程讲稿6803。人工智能课堂讲稿，338-353（2011）。MSC公司：90立方厘米 90C05（二氧化碳） 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Jovanović}和\textit{L.de Moura}，莱克特。注释计算。科学。6803338--353（2011；Zbl 1314.90054） 全文： 内政部