作　　者：Georges Gonthier ;Assia Mahboubi

出　　处：Journal of Formalized Reasoning. 2010 ;3(2):95-152.doi:10.6092/issn.1972-5787/1979

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：100489246

作　　者：Florent Brhard ;Assia Mahboubi ;Damien Pous 等

出　　处：Proceedings of the National Academy of Sciences. 2019 ;116(42):20817-20819.doi:10.1073/pnas.1913212116

出 版 社：The National Academy of Sciences of the United States of America

文 章 ID：239774940

作　　者：Florent Brhard ;Assia Mahboubi ;Damien Pous

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;141:1-19.doi:10.4230/LIPIcs.ITP.2019.8

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：240116665

作　　者：Assia Mahboubi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:2:1-2:3.doi:10.4230/LIPIcs.CSL.2021.2

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：258514164

作　　者：Marc Bezem ;Assia Mahboubi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;175:1-10.doi:10.4230/LIPIcs.TYPES.2019.0

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：256859669

作　　者：Assia Mahboubi ;Cyril Cohen

出　　处：Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:2)2012

出 版 社：Technical University of Braunschweig

文 章 ID：264691929