Janis Voigtländer

Cited by

	All	Since 2019
Citations	962	211
h-index	17	7
i10-index	24	5

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202417 11 20 16 25 31 28 64 61 68 58 78 56 70 31 41 52 44 46 35 29 28 29

Public access

View all

18 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Patricia JohannAppalachian State UniversityVerified email at appstate.edu
Kazutaka MatsudaTohoku UniversityVerified email at ecei.tohoku.ac.jp
Zhenjiang HuProfessor, School of Computer Science, Peking UniversityVerified email at pku.edu.cn
Meng WangReader in Computer Science, University of BristolVerified email at bristol.ac.uk
Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
Nate FosterProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECVerified email at di.uminho.pt
João Paulo FernandesVisiting Associate Professor, NYUADVerified email at fe.up.pt
John P GallagherRoskilde UniversityVerified email at ruc.dk
Lutz StraßburgerInriaVerified email at lix.polytechnique.fr
Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoVerified email at inesctec.pt
Nuno MacedoDEI @ FEUP & HASLab @ INESC TECVerified email at inesctec.pt
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
Frank HermannProduct Owner; CARIADVerified email at frank-hermann.de

Janis Voigtländer

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

Verified email at uni-due.de - Homepage

Programming Languages Functional Programming Software Modelling Model Generation E-Learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Bidirectionalization for free!(Pearl) J Voigtländer ACM SIGPLAN Notices 44 (1), 165-176, 2009	116	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	72	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	71	2010
Asymptotic improvement of computations over free monads J Voigtländer International Conference on Mathematics of Program Construction, 388-403, 2008	65	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	44	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
Using circular programs to deforest in accumulating parameters J Voigtländer Asian Symposium on Partial Evaluation and Semantics-Based Program …, 2002	34	2002
Understanding Idiomatic Traversals Backwards and Forwards R Bird, J Gibbons, S Mehner, T Schrijvers, J Voigtländer Haskell Symposium, 25-36, 2013	32	2013
Semantics and pragmatics of new shortcut fusion rules J Voigtländer International Symposium on Functional and Logic Programming, 163-179, 2008	23	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	19	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
Automatically Generating Counterexamples to Naive Free Theorems D Seidel, J Voigtlander Techn. Univ. Dresden, Fakultät Informatik, 2009	11*	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors