![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Janis Voigtländer
Person information
- affiliation: Universtät Duisburg-Essen, Germany
- affiliation (former): University of Bonn, Institute of Computer Science
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2005
- [b1]Janis Voigtländer:
Tree transducer composition as program transformation. Dresden University of Technology, 2005, ISBN 3-89959-369-3, pp. 1-168
Journal Articles
- 2017
- [j13]Helmut Grohne, Janis Voigtländer:
Formalizing semantic bidirectionalization and extensions with dependent types. J. Log. Algebraic Methods Program. 86(1): 319-348 (2017) - 2013
- [j12]Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
:
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. J. Funct. Program. 23(5): 515-551 (2013) - 2012
- [j11]Frank Hermann, Janis Voigtländer:
First International Workshop on Bidirectional Transformations (BX 2012): Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012) - 2011
- [j10]Daniel Seidel, Janis Voigtländer:
Refined typing to localize the impact of forced strictness on free theorems. Acta Informatica 48(3): 191-211 (2011) - 2010
- [j9]John P. Gallagher
, Janis Voigtländer:
Editorial. High. Order Symb. Comput. 23(3): 273-274 (2010) - 2009
- [j8]Patricia Johann, Janis Voigtländer:
A family of syntactic logical relations for the semantics of Haskell-like languages. Inf. Comput. 207(2): 341-368 (2009) - [j7]Jan Christiansen, Daniel Seidel, Janis Voigtländer:
Free theorems for functional logic programs: (abstract only). ACM SIGPLAN Notices 44(11): 7 (2009) - 2007
- [j6]Jürgen Giesl
, Armin Kühnemann, Janis Voigtländer:
Deaccumulation techniques for improving provability. J. Log. Algebraic Methods Program. 71(2): 79-113 (2007) - [j5]Janis Voigtländer:
Formal Efficiency Analysis for Tree Transducer Composition. Theory Comput. Syst. 41(4): 619-689 (2007) - [j4]Janis Voigtländer, Patricia Johann:
Selective strictness and parametricity in structural operational semantics, inequationally. Theor. Comput. Sci. 388(1-3): 290-318 (2007) - 2006
- [j3]Patricia Johann, Janis Voigtländer:
The Impact of seq on Free Theorems-Based Program Transformations. Fundam. Informaticae 69(1-2): 63-102 (2006) - 2004
- [j2]Janis Voigtländer, Armin Kühnemann:
Composition of functions with accumulating parameters. J. Funct. Program. 14(3): 317-363 (2004) - [j1]Janis Voigtländer:
Using Circular Programs to Deforest in Accumulating Parameters. High. Order Symb. Comput. 17(1-2): 129-163 (2004)
Conference and Workshop Papers
- 2023
- [c38]Leon Koth, Janis Voigtländer:
Parametrisierung von Haskell-Programmieraufgaben. ABP 2023: 51-58 - 2022
- [c37]André Brandt, Marcellus Siegburg, Janis Voigtländer, Ke Wang:
A Report on Automatic Generation of Petri Net Exercise and Exam Task Instances. Modellierung (Workshops) 2022: 197-204 - 2020
- [c36]Oliver Westphal, Janis Voigtländer:
Implementing, and Keeping in Check, a DSL Used in E-Learning. FLOPS 2020: 179-197 - [c35]Marcellus Siegburg, Janis Voigtländer:
Generating Diverse Exercise Tasks on UML Class and Object Diagrams, Using Formalisations in Alloy. Modellierung (Companion) 2020: 89-100 - [c34]Oliver Westphal, Janis Voigtländer:
Describing Console I/O Behavior for Testing Student Submissions in Haskell. TFPIE 2020: 19-36 - 2019
- [c33]Marcellus Siegburg, Janis Voigtländer, Oliver Westphal:
Automatische Bewertung von Haskell-Programmieraufgaben. ABP 2019: 19-26 - [c32]Janis Voigtländer:
Free Theorems Simply, via Dinaturality. DECLARE 2019: 247-267 - 2014
- [c31]Helmut Grohne, Andres Löh, Janis Voigtländer:
Formalizing Semantic Bidirectionalization with Dependent Types. EDBT/ICDT Workshops 2014: 75-81 - [c30]Stefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer:
Parametricity and Proving Free Theorems for Functional-Logic Languages. PPDP 2014: 19-30 - [c29]Tobias Gödderz, Janis Voigtländer:
Automatic Testing of Operation Invariance. WLP/WFLP 2014: 172-186 - 2013
- [c28]Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers
:
Understanding idiomatic traversals backwards and forwards. Haskell 2013: 25-36 - [c27]Jens Knoop, Janis Voigtländer:
Vorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013). Software Engineering (Workshops) 2013: 17-20 - [c26]Jens Knoop, Janis Voigtländer:
6. Arbeitstagung Programmiersprachen (ATPS 2013). Software Engineering 2013: 369 - 2012
- [c25]Janis Voigtländer:
Programming language approaches to bidirectional transformation. LDTA 2012: 1 - [c24]Janis Voigtländer:
Ideas for connecting inductive program synthesis and bidirectionalization. PEPM 2012: 39-42 - [c23]Frank Huch, Janis Voigtländer:
5. Arbeitstagung Programmiersprachen (ATPS 2012). Software Engineering 2012: 195 - 2011
- [c22]João Paulo Fernandes
, João Saraiva
, Daniel Seidel, Janis Voigtländer:
Strictification of circular programs. PEPM 2011: 131-140 - [c21]Daniel Seidel, Janis Voigtländer:
Improvements for Free. QAPL 2011: 89-103 - 2010
- [c20]Daniel Seidel, Janis Voigtländer:
Automatically Generating Counterexamples to Naive Free Theorems. FLOPS 2010: 175-190 - [c19]Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
:
Combining syntactic and semantic bidirectionalization. ICFP 2010: 181-192 - [c18]Patricia Johann, Alex Simpson, Janis Voigtländer:
A Generic Operational Metatheory for Algebraic Effects. LICS 2010: 209-218 - [c17]Jan Christiansen, Daniel Seidel, Janis Voigtländer:
Free theorems for functional logic programs. PLPV 2010: 39-48 - [c16]Nate Foster, Kazutaka Matsuda, Janis Voigtländer:
Three Complementary Approaches to Bidirectional Programming. SSGIP 2010: 1-46 - [c15]Daniel Seidel, Janis Voigtländer:
Proving Properties about Functions on Lists Involving Element Tests. WADT 2010: 270-286 - [c14]Jan Christiansen, Daniel Seidel, Janis Voigtländer:
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. WFLP 2010: 119-136 - 2009
- [c13]Daniel Seidel, Janis Voigtländer:
Taming Selective Strictness. GI Jahrestagung 2009: 2916-2930 - [c12]Janis Voigtländer:
Free theorems involving type constructor classes: functional pearl. ICFP 2009: 173-184 - [c11]Janis Voigtländer:
Bidirectionalization for free! (Pearl). POPL 2009: 165-176 - [c10]Florian Stenger, Janis Voigtländer:
Parametricity for Haskell with Imprecise Error Semantics. TLCA 2009: 294-308 - 2008
- [c9]Janis Voigtländer:
Semantics and Pragmatics of New Shortcut Fusion Rules. FLOPS 2008: 163-179 - [c8]Janis Voigtländer:
Asymptotic Improvement of Computations over Free Monads. MPC 2008: 388-403 - [c7]Janis Voigtländer:
Proving correctness via free theorems: the case of the destroy/build-rule. PEPM 2008: 13-20 - [c6]Janis Voigtländer:
Much ado about two (pearl): a pearl on parallel prefix computation. POPL 2008: 29-35 - 2004
- [c5]Patricia Johann, Janis Voigtländer:
Free theorems in the presence of seq. POPL 2004: 99-110 - 2003
- [c4]Jürgen Giesl, Armin Kühnemann, Janis Voigtländer:
Deaccumulation - Improving Provability. ASIAN 2003: 146-160 - 2002
- [c3]Janis Voigtländer:
Concatenate, reverse and map vanish for free. ICFP 2002: 14-25 - [c2]Janis Voigtländer:
Using circular programs to deforest in accumulating parameters. ASIA-PEPM 2002: 126-137 - [c1]Janis Voigtländer:
Conditions for Efficiency Improvement by Tree Transducer Composition. RTA 2002: 222-236
Editorship
- 2017
- [e4]Sibylle Schwarz, Janis Voigtländer:
Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, WLP 2015 / WLP 2016 / WFLP 2016, Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016. EPTCS 234, 2017 [contents] - 2015
- [e3]Ralf Hinze, Janis Voigtländer:
Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings. Lecture Notes in Computer Science 9129, Springer 2015, ISBN 978-3-319-19796-8 [contents] - 2012
- [e2]Janis Voigtländer:
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012. ACM 2012, ISBN 978-1-4503-1574-6 [contents] - 2010
- [e1]John P. Gallagher, Janis Voigtländer:
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010. ACM 2010, ISBN 978-1-60558-727-1 [contents]
Informal and Other Publications
- 2019
- [i2]Janis Voigtländer:
Free Theorems Simply, via Dinaturality. CoRR abs/1908.07776 (2019) - 2013
- [i1]Hugo Pacheco, Nuno Macedo
, Alcino Cunha
, Janis Voigtländer:
A Generic Scheme and Properties of Bidirectional Transformations. CoRR abs/1306.4473 (2013)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-26 20:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint