作　　者：Addolorata Corrado ;Cinzia Rotondo ;Daniela Cici 等

出　　处：Nutrients. 2021 ;13(2):380.doi:10.3390/nu13020380

出 版 社：MDPI Publishing

文 章 ID：258543741

作　　者：Stefano Berardi ;Ugo de'Liguoro

出　　处：Logical Methods in Computer Science. 2014 ;10(1):1.doi:10.2168/LMCS-10(1:9)2014

出 版 社：Technical University of Braunschweig

文 章 ID：264692207

作　　者：Makoto Tatsuta ;Stefano Berardi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:538-552.doi:10.4230/LIPIcs.CSL.2011.538

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

文 章 ID：186846007

作　　者：Stefano Berardi ;Ugo de'Liguoro

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:77-91.doi:10.4230/LIPIcs.CSL.2012.77

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

文 章 ID：186846152

作　　者：Federico Aschieri ;Stefano Berardi ;Giovanni Birolo

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:45-60.doi:10.4230/LIPIcs.CSL.2013.45

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

文 章 ID：186846330

作　　者：Stefano Berardi ;Silvia Steila

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;26:64-83.doi:10.4230/LIPIcs.TYPES.2013.64

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

文 章 ID：186846498

作　　者：Stefano Berardi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:343-358.doi:10.4230/LIPIcs.CSL.2015.343

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

文 章 ID：186847056