作 者:Andrew J. Waters ;Paolo Capriotti ;David C. A. Gaboriau 等
出 处:Scientific Reports. 2018 ;8(1):13125.doi:10.1038/s41598-018-31433-2
出 版 社:Springer Nature
文 章 ID:218190036
作 者:Benedikt Ahrens ;Paolo Capriotti ;R{\'e}gis Spadotti
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:17-30.doi:10.4230/LIPIcs.TLCA.2015.17
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846853
作 者:Paolo Capriotti ;Nicolai Kraus ;Andrea Vezzosi
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:359-373.doi:10.4230/LIPIcs.CSL.2015.359
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847057
作 者:Thorsten Altenkirch ;Paolo Capriotti ;Nicolai Kraus
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:21:1-21:17.doi:10.4230/LIPIcs.CSL.2016.21
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847938