Janis Voigtländer

Hivatkozott rá

	Összes	2020 óta
Hivatkozások	972	173
h-index	17	7
i10-index	24	4

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202517 11 20 16 25 31 29 65 61 67 58 77 56 70 31 41 55 48 41 33 30 29 32 8

Nyilvános hozzáférés

Összes megtekintése

17 cikk

0 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Patricia JohannAppalachian State UniversityE-mail megerősítve itt: appstate.edu
Kazutaka MatsudaTohoku UniversityE-mail megerősítve itt: ecei.tohoku.ac.jp
Zhenjiang HuProfessor, School of Computer Science, Peking UniversityE-mail megerősítve itt: pku.edu.cn
Meng WangReader in Computer Science, University of BristolE-mail megerősítve itt: bristol.ac.uk
Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaE-mail megerősítve itt: fmf.uni-lj.si
Nate FosterProfessor of Computer Science, Cornell UniversityE-mail megerősítve itt: cs.cornell.edu
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityE-mail megerősítve itt: informatik.rwth-aachen.de
Jeremy GibbonsProfessor of Computing, University of OxfordE-mail megerősítve itt: cs.ox.ac.uk
Tom SchrijversProfessor of Computer Science, KU LeuvenE-mail megerősítve itt: cs.kuleuven.be
João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECE-mail megerősítve itt: di.uminho.pt
João Paulo FernandesVisiting Associate Professor, NYUADE-mail megerősítve itt: nyu.edu
John P GallagherRoskilde UniversityE-mail megerősítve itt: ruc.dk
Lutz StraßburgerInriaE-mail megerősítve itt: lix.polytechnique.fr
Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoE-mail megerősítve itt: inesctec.pt
Nuno MacedoDEI @ FEUP & HASLab @ INESC TECE-mail megerősítve itt: inesctec.pt
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoE-mail megerősítve itt: di.uminho.pt
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternE-mail megerősítve itt: cs.uni-kl.de
Andres LöhHaskell Consultant, Well-Typed LLPE-mail megerősítve itt: well-typed.com
Frank HermannProduct Owner; CARIADE-mail megerősítve itt: frank-hermann.de

Követés

Janis Voigtländer

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

E-mail megerősítve itt: uni-due.de - Kezdőlap

Programming Languages Functional Programming Software Modelling Model Generation E-Learning


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
Bidirectionalization for free!(Pearl) J Voigtländer ACM SIGPLAN Notices 44 (1), 165-176, 2009	118	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	71	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	70	2010
Asymptotic improvement of computations over free monads J Voigtländer International Conference on Mathematics of Program Construction, 388-403, 2008	68	2008
Three complementary approaches to bidirectional programming N Foster, K Matsuda, J Voigtländer Generic and Indexed Programming, 1-46, 2012	53	2012
Free theorems involving type constructor classes: functional pearl J Voigtländer ACM Sigplan Notices 44 (9), 173-184, 2009	48	2009
The Impact of seq on Free Theorems-Based Program Transformations P Johann, J Voigtländer Fundamenta informaticae 69, 63-102, 2006	46	2006
Combining syntactic and semantic bidirectionalization J Voigtländer, Z Hu, K Matsuda, M Wang ACM Sigplan Notices 45 (9), 181-192, 2010	45	2010
Concatenate, reverse and map vanish for free J Voigtländer ACM SIGPLAN Notices 37 (9), 14-25, 2002	38	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	31	2013
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	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	15	2008
Automatically Generating Counterexamples to Naive Free Theorems D Seidel, J Voigtlander Techn. Univ. Dresden, Fakultät Informatik, 2009	11*	2009

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők