Janis Voigtländer 个人学术档案

引用次数

	总计	2019 年至今
引用	939	195
h 指数	17	7
i10 指数	24	5

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202417 11 20 16 25 31 26 62 58 68 58 78 55 70 32 42 52 44 47 35 28 28 13

开放获取的出版物数量

查看全部

18 篇文章

0 篇文章

可查看的文章

无法查看的文章

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

合著作者

Patricia JohannAppalachian State University在 appstate.edu 的电子邮件经过验证
Kazutaka MatsudaTohoku University在 ecei.tohoku.ac.jp 的电子邮件经过验证
Zhenjiang HuProfessor, School of Computer Science, Peking University在 pku.edu.cn 的电子邮件经过验证
Meng WangReader in Computer Science, University of Bristol在 bristol.ac.uk 的电子邮件经过验证
Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of Ljubljana在 fmf.uni-lj.si 的电子邮件经过验证
Nate FosterProfessor of Computer Science, Cornell University在 cs.cornell.edu 的电子邮件经过验证
Jürgen GieslProfessor of Computer Science, RWTH Aachen University在 informatik.rwth-aachen.de 的电子邮件经过验证
Jeremy GibbonsProfessor of Computing, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
Tom SchrijversProfessor of Computer Science, KU Leuven在 cs.kuleuven.be 的电子邮件经过验证
João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TEC在 di.uminho.pt 的电子邮件经过验证
João Paulo FernandesVisiting Associate Professor, NYUAD在 fe.up.pt 的电子邮件经过验证
John P GallagherRoskilde University在 ruc.dk 的电子邮件经过验证
Lutz StraßburgerInria在 lix.polytechnique.fr 的电子邮件经过验证
Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of Porto在 inesctec.pt 的电子邮件经过验证
Nuno MacedoDEI @ FEUP & HASLab @ INESC TEC在 inesctec.pt 的电子邮件经过验证
Alcino CunhaHASLab, INESC TEC and Universidade do Minho在 di.uminho.pt 的电子邮件经过验证
Ralf HinzeProfessor of Software Engineering, TU Kaiserslautern在 cs.uni-kl.de 的电子邮件经过验证
Andres LöhHaskell Consultant, Well-Typed LLP在 well-typed.com 的电子邮件经过验证
Frank HermannProduct Owner; CARIAD在 frank-hermann.de 的电子邮件经过验证

关注

Janis Voigtländer

Associate Professor, Formal Methods in Computer Science, University of Duisburg-Essen

在 uni-due.de 的电子邮件经过验证 - 首页

Programming Languages Functional Programming Software Modelling Model Generation E-Learning


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Bidirectionalization for free!(Pearl) J Voigtländer ACM SIGPLAN Notices 44 (1), 165-176, 2009	115	2009
Free theorems in the presence of seq P Johann, J Voigtländer Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004	69	2004
A generic operational metatheory for algebraic effects P Johann, A Simpson, J Voigtländer Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on, 209-218, 2010	67	2010
Asymptotic improvement of computations over free monads J Voigtländer International Conference on Mathematics of Program Construction, 388-403, 2008	63	2008
Three complementary approaches to bidirectional programming N Foster, K Matsuda, J Voigtländer Generic and Indexed Programming, 1-46, 2012	50	2012
Free theorems involving type constructor classes: functional pearl J Voigtländer ACM Sigplan Notices 44 (9), 173-184, 2009	46	2009
The Impact of seq on Free Theorems-Based Program Transformations P Johann, J Voigtländer Fundamenta informaticae 69, 63-102, 2006	45	2006
Combining syntactic and semantic bidirectionalization J Voigtländer, Z Hu, K Matsuda, M Wang ACM Sigplan Notices 45 (9), 181-192, 2010	43	2010
Concatenate, reverse and map vanish for free J Voigtländer ACM SIGPLAN Notices 37 (9), 14-25, 2002	35	2002
Composition of functions with accumulating parameters J Voigtländer, A Kühnemann Journal of Functional Programming 14 (3), 317-363, 2004	34	2004
Understanding Idiomatic Traversals Backwards and Forwards R Bird, J Gibbons, S Mehner, T Schrijvers, J Voigtländer Haskell Symposium, 25-36, 2013	32	2013
Using circular programs to deforest in accumulating parameters J Voigtländer Asian Symposium on Partial Evaluation and Semantics-Based Program …, 2002	31	2002
Semantics and pragmatics of new shortcut fusion rules J Voigtländer International Symposium on Functional and Logic Programming, 163-179, 2008	22	2008
Much ado about two (pearl): a pearl on parallel prefix computation J Voigtländer Principles of Programming Languages, 29-35, 2008	21	2008
Selective strictness and parametricity in structural operational semantics, inequationally J Voigtländer, P Johann Theoretical Computer Science 388 (1-3), 290-318, 2007	21	2007
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins J Voigtländer, Z Hu, K Matsuda, M Wang Journal of Functional Programming, 2013	17	2013
Free theorems for functional logic programs J Christiansen, D Seidel, J Voigtländer Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets …, 2010	17	2010
Strictification of circular programs JP Fernandes, J Saraiva, D Seidel, J Voigtländer Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011	16	2011
Proving correctness via free theorems: The case of the destroy/build-rule J Voigtländer Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008	16	2008
Tree transducer composition as program transformation J Voigtländer PhD thesis, Technische Universität Dresden, 2005	11	2005

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用