Hsiang-Shang Ko 个人学术档案

引用次数

	总计	2019 年至今
引用	481	292
h 指数	13	10
i10 指数	15	10

20092010201120122013201420152016201720182019202020212022202320245 2 13 5 14 7 10 32 41 58 55 80 52 46 43 16

开放获取的出版物数量

查看全部

4 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Zhenjiang HuProfessor, School of Computer Science, Peking University在 pku.edu.cn 的电子邮件经过验证
Jeremy GibbonsProfessor of Computing, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
Anthony AnjorinZühlke Engineering GmbH在 zuehlke.com 的电子邮件经过验证
Zinovy DiskinMcMaster University在 mcmaster.ca 的电子邮件经过验证
Patrik JanssonProfessor of Computer Science, Chalmers University of Technology and University of Gothenburg在 chalmers.se 的电子邮件经过验证
Bernhard WestfechtelProfessor for Applied Computer Science, University of Bayreuth, Germany在 uni-bayreuth.de 的电子邮件经过验证
Tao ZanLongyan University在 lyun.edu.cn 的电子邮件经过验证
João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TEC在 di.uminho.pt 的电子邮件经过验证
Yongzhe ZhangNational Institute of Informatics在 nii.ac.jp 的电子邮件经过验证
Frédéric JouaultESEO在 eseo.fr 的电子邮件经过验证
Erhan LeblebiciTechnische Universität Darmstadt在 es.tu-darmstadt.de 的电子邮件经过验证
Albert ZündorfKassel University在 uni-kassel.de 的电子邮件经过验证
Romina EramoAssistant Professor, Department of Communication Science, University of Teramo在 unite.it 的电子邮件经过验证
Leila Samimi-DehkordiAssistant Professor of Shahrekord University在 sku.ac.ir 的电子邮件经过验证
Georg HinkelRheinMain University of Applied Sciences在 hs-rm.de 的电子邮件经过验证
Liang-Ting ChenInstitute of Information Science, Academia Sinica在 iis.sinica.edu.tw 的电子邮件经过验证
Yun-Sheng ChangMIT在 mit.edu 的电子邮件经过验证
Yu-Fang ChenResearch Fellow/Professor, Academia Sinica在 iis.sinica.edu.tw 的电子邮件经过验证
Che-Wei Tsao中央研究院資訊科學研究所在 iis.sinica.edu.tw 的电子邮件经过验证
Chun-Feng WuAssistant Professor, National Yang Ming Chiao Tung University在 cs.nycu.edu.tw 的电子邮件经过验证

关注

Hsiang-Shang Ko

Institute of Information Science, Academia Sinica, Taiwan

在 iis.sinica.edu.tw 的电子邮件经过验证 - 首页

Dependently typed programming Datatype-generic programming (Applied) type theory


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
BiGUL: a formally verified core language for putback-based bidirectional programming HS Ko, T Zan, Z Hu Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016	89	2016
Benchmarx Reloaded: A Practical Benchmark Framework for Bidirectional Transformations A Anjorin, Z Diskin, F Jouault, HS Ko, E Leblebici, B Westfechtel International Workshop on Bidirectional Transformations, 15–30, 2017	67	2017
Algebra of Programming in Agda: Dependent types for relational program derivation SC Mu, HS Ko, P Jansson Journal of Functional Programming 19 (05), 545-579, 2009	57	2009
Benchmarking bidirectional transformations: theory, implementation, application, and assessment A Anjorin, T Buchmann, B Westfechtel, Z Diskin, HS Ko, R Eramo, ... Software and systems modeling 19, 647-691, 2020	42	2020
An axiomatic basis for bidirectional programming HS Ko, Z Hu Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017	29	2017
Modularising inductive families HS KO, J GIBBONS Progress in Informatics, 65-88, 2013	26	2013
BiYacc: Roll Your Parser and Reflective Printer into One. Z Zhu, HS Ko, P Martins, J Saraiva, Z Hu Bx@ STAF, 43-50, 2015	22	2015
Parsing and reflective printing, bidirectionally Z Zhu, Y Zhang, HS Ko, P Martins, J Saraiva, Z Hu Software Language Engineering, 2-14, 2016	21	2016
Programming with ornaments HS Ko, J Gibbons Journal of Functional Programming 27, e2, 2017	19	2017
Algebra of Programming using dependent types SC Mu, HS Ko, P Jansson International Conference on Mathematics of Program Construction, 268-283, 2008	18	2008
Relational algebraic ornaments HS Ko, J Gibbons Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed …, 2013	17	2013
Principles and practice of bidirectional programming in BiGUL Z Hu, HS Ko Bidirectional Transformations: International Summer School, Oxford, UK, July …, 2018	14	2018
Brul: A putback-based bidirectional transformation library for updatable views T Zan, L Liu, HS Ko, Z Hu International Workshop on Bidirectional Transformations, 77-89, 2016	14	2016
Palgol: A high-level DSL for vertex-centric graph processing with remote data access Y Zhang, HS Ko, Z Hu Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017	13	2017
Analysis and synthesis of inductive families H Ko Oxford University, UK, 2014	12	2014
Unifying parsing and reflective printing for fully disambiguated grammars Z Zhu, HS Ko, Y Zhang, P Martins, J Saraiva, Z Hu New Generation Computing 38 (3), 423-476, 2020	8	2020
Determinizing Crash Behavior with a Verified {Snapshot-Consistent} Flash Translation Layer YS Chang, Y Hsiao, TC Lin, CW Tsao, CF Wu, YH Chang, HS Ko, ... 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020	5	2020
Realising intensional S4 and GL modalities LT Chen, HS Ko 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022	3	2022
Programming metamorphic algorithms: an experiment in type-driven algorithm design HS Ko arXiv preprint arXiv:2010.16302, 2020	3	2020
Weakly Durable High-Performance Transactions YS Chang, YF Chen, HS Ko arXiv preprint arXiv:2110.01465, 2021	1	2021

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用