作　　者：Luca Cardelli ;Luca Cardelli ;Mirco Tribastone 等

出　　处：Proceedings of the National Academy of Sciences. 2017 ;114(38):10029-10034.doi:10.1073/pnas.1702697114

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

文 章 ID：201926986

作　　者：Ozan Kahramanoğulları ;Luca Cardelli ;Emmanuelle Caron

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;9:73-86.doi:10.4204/EPTCS.9.9

出 版 社：Open Publishing Association

文 章 ID：83119762

作　　者：Luca Cardelli

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;26:47-61.doi:10.4204/EPTCS.26.5

出 版 社：Open Publishing Association

文 章 ID：83119921

作　　者：Luca Cardelli ;Attila Csikász-Nagy

出　　处：Scientific Reports. 2012 ;2.doi:10.1038/srep00656

出 版 社：Springer Nature

文 章 ID：86144162

作　　者：Radu Mardare ;Luca Cardelli ;Kim Larsen

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

出 版 社：Technical University of Braunschweig

文 章 ID：264691887

作　　者：Luca Cardelli ;Kim G. Larsen ;Radu Mardare

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:144-158.doi:10.4230/LIPIcs.CSL.2011.144

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

文 章 ID：186845980

作　　者：Luca Cardelli ;Mirco Tribastone ;Max Tschaikowski 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:226-239.doi:10.4230/LIPIcs.CONCUR.2015.226

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

文 章 ID：186847012

作　　者：Luca Cardelli ;Attila Csikász-Nagy ;Neil Dalchau 等

出　　处：Scientific Reports. 2016 ;6(1).doi:10.1038/srep20214

出 版 社：Springer Nature

文 章 ID：235854555

作　　者：Luca Cardelli ;Attila Csikász-Nagy

出　　处：Scientific Reports. 2012 ;2(1).doi:10.1038/srep00656

出 版 社：Springer Nature

文 章 ID：235845185

作　　者：Emmanouil Alexis ;Carolin C.M. Schulte ;Luca Cardelli 等

出　　处：iScience. 2021 ;24(12):1-32.doi:10.1016/j.isci.2021.103462

出 版 社：Elsevier

文 章 ID：1036194064