作　　者：Daniel R. Licata ;Robert Harper

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;34:69-83.doi:10.4204/EPTCS.34.7

出 版 社：Open Publishing Association

文 章 ID：83120007

作　　者：Lauren R. Hepworth ;Fiona J. Rowe ;Robert Harper 等

出　　处：Health and Quality of Life Outcomes. 2015 ;13(1):146.doi:10.1186/s12955-015-0338-x

出 版 社：BioMed Central

文 章 ID：112564112

作　　者：Heather Waterman ;Claire Ballinger ;Caroline Brundle 等

出　　处：Trials. 2016 ;17(1):464.doi:10.1186/s13063-016-1565-0

出 版 社：BioMed Central

文 章 ID：185387977

作　　者：Evan Cavallo ;Robert Harper

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-17.doi:10.4230/LIPIcs.CSL.2020.13

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

文 章 ID：243494214

作　　者：Aaron Wang ;Allison Meiwald ;Robert Harper 等

出　　处：Canadian Medical Education Journal. 2020 ;11(5):44-49.doi:10.36834/cmej.68753

出 版 社：Canadian Medical Education Journal

文 章 ID：256308452

作　　者：Carlo Angiuli ;Kuen-Bang {Hou ;Robert Harper

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-17.doi:10.4230/LIPIcs.CSL.2018.6

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

文 章 ID：230213281

作　　者：Kuen-Bang {Hou ;Robert Harper

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;97:1-16.doi:10.4230/LIPIcs.TYPES.2016.11

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

文 章 ID：230213695

作　　者：Evan Cavallo ;Robert Harper

出　　处：Logical Methods in Computer Science. 2021 ;17(4):1-60.doi:10.46298/lmcs-17(4:5)2021

出 版 社：Technical University of Braunschweig

文 章 ID：1038046917

作　　者：Ed Tarlton ;Robert Harper ;Brandi Blessett 等

出　　处：Journal of Public Management & Social Policy. 2020 ;27(1):1-20.

出 版 社：Texas Southern University

文 章 ID：1037771040