Group Leader

Ein Bild von Prof. Dr. rer. nat. habil. Janis Voigtländer im Profil

Prof. Dr. Janis Voigtländer

Informatik / AI

Address
Lotharstr. 65 (LF)
47057 Duisburg
Room
LF 233
Phone
+49 203 379 2675
Fax
+49 203 379 3557
E-Mail
janis.voigtlaender@uni-due.de
Website
https://www.uni-due.de/fmi/voigtlaender

Functions

  • Mitglied, Prüfungsausschuss Cyber Physical Systems (Master)

  • Mitglied, Prüfungsausschuss Angewandte Informatik - Schwerpunkt Ingenieur- und Medieninformatik (Bachelor/Master)

  • Universitätsprofessor/in, Formale Methoden der Informatik

  • Vorsitzender, Promotionsausschuss

The following publications are listed in the online university bibliography of the University of Duisburg-Essen. Further information may also be found on the person's personal web pages.

    Journal articles

  • Grohne, Helmut; Voigtländer, Janis
    Formalizing semantic bidirectionalization and extensions with dependent types
    In: Journal of Logical and Algebraic Methods in Programming Vol. 86 (2017) Nr. 1, pp. 319 - 348
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng
    Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
    In: Journal of Functional Programming Vol. 23 (2013) Nr. 5, pp. 515 - 551
    Online Full Text: dx.doi.org/
  • Seidel, Daniel; Voigtländer, Janis
    Refined typing to localize the impact of forced strictness on free theorems
    In: Acta Informatica Vol. 48 (2011) Nr. 3, pp. 191 - 211
    Online Full Text: dx.doi.org/
  • Johann, Patricia; Voigtländer, Janis
    A family of syntactic logical relations for the semantics of Haskell-like languages
    In: Information and Computation Vol. 207 (2009) Nr. 2, pp. 341 - 368
    Online Full Text: dx.doi.org/ (Open Access)
  • Giesl, Jürgen; Kühnemann, Armin; Voigtländer, Janis
    Deaccumulation techniques for improving provability
    In: The Journal of Logic and Algebraic Programming Vol. 71 (2007) Nr. 2, pp. 79 - 113
    Online Full Text: dx.doi.org/ (Open Access)
  • Voigtländer, Janis
    Formal efficiency analysis for tree transducer composition
    In: Theory of Computing Systems Vol. 41 (2007) Nr. 4, pp. 619 - 689
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis; Johann, Patricia
    Selective strictness and parametricity in structural operational semantics, inequationally
    In: Theoretical Computer Science Vol. 388 (2007) Nr. 1-3, pp. 290 - 318
    Online Full Text: dx.doi.org/ (Open Access)
  • Johann, Patricia; Voigtländer, Janis
    The Impact of seq on Free Theorems-Based Program Transformations
    In: Fundamenta Informaticae Vol. 69 (2006) Nr. 1-2, pp. 63 - 102
    Online Full Text
  • Voigtländer, Janis; Kühnemann, Armin
    Composition of functions with accumulating parameters
    In: Journal of Functional Programming Vol. 14 (2004) Nr. 3, pp. 317 - 363
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis
    Using circular programs to deforest in accumulating parameters
    In: Higher-Order and Symbolic Computation Vol. 17 (2004) Nr. 1-2, pp. 129 - 163
    Online Full Text: dx.doi.org/

    • Book articles / Proceedings papers

  • Koth, Leon; Voigtländer, Janis
    Parametrisierung von Haskell-Programmieraufgaben
    In: Proceedings of the 6th Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2023) / 6. Workshop "Automatische Bewertung von Programmieraufgaben", 12.–13. Oktober 2023, München / Greubel, André; Strickroth, Sven; Striewe, Michael (Eds.) 2023, pp. 51 - 58
    Online Full Text: dx.doi.org/ Online Full Text (Open Access)
  • Brandt, André; Siegburg, Marcellus; Voigtländer, Janis; Wang, Ke
    A Report on Automatic Generation of Petri Net Exercise and Exam Task Instances
    In: Modellierung 2022 Satellite Events / Workshop zur Modellierung in der Hochschullehre (MoHoL), Juni 2022, Hamburg / Michael, Judith; Pfeiffer, Jérôme; Wortmann, Andreas (Eds.) 2022, pp. 197 - 204
    Online Full Text: dx.doi.org/ Online Full Text (Open Access)
  • Westphal, Oliver; Voigtländer, Janis;
    Describing Console I/O Behavior for Testing Student Submissions in Haskell
    TFPIE 2019 - Trends in Functional Programming in Education, 11. June 2019, Vancouver, Canada,
    In: Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education / Hage, Jurriaan (Eds.) 2020, pp. 19 - 36
    Online Full Text: dx.doi.org/ (Open Access)
  • Kafa, Violet; Siegburg, Marcellus; Voigtländer, Janis
    Exercise Task Generation for UML Class/Object Diagrams, via Alloy Model Instance Finding
    In: ICT Education: Revised Selected Papers / 48th Annual Conference of the Southern African Computer Lecturers’ Association, SACLA 2019, Northern Drakensberg, South Africa, July 15–17, 2019 / Tait, Bobby; Kroeze, Jan; Gruner, Stefan (Eds.) 2020, pp. 112 - 128
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis
    Free Theorems Simply, via Dinaturality
    In: Declarative Programming and Knowledge Management / Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 / Hofstedt, Petra; Abreu, Salvador; John, Ulrich; Kuchen, Herbert; Seipel, Dietmar (Eds.) 2020, pp. 247 - 267
    Online Full Text: dx.doi.org/ (Open Access)
  • Siegburg, Marcellus; Voigtländer, Janis
    Generating diverse exercise tasks on UML class and object diagrams, using formalisations in Alloy
    In: Joint Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers / Modellierung 2020, 19.-21.02.2020, Wien / Michael, Judith; Bork, Dominik; Rehse, Jana-Rebecca; Striewe, Michael; Ullrich, Meike (Eds.) 2020, pp. 89 - 100
    Online Full Text (Open Access)
  • Westphal, Oliver; Voigtländer, Janis
    Implementing, and Keeping in Check, a DSL Used in E-Learning
    In: Functional and Logic Programming: Proceedings / 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020 / Nakano, Keisuke; Sagonas, Konstantinos (Eds.) 2020, pp. 179 - 197
    Online Full Text: dx.doi.org/
  • Siegburg, Marcellus; Voigtländer, Janis; Westphal, Oliver
    Automatische Bewertung von Haskell-Programmieraufgaben
    In: Proceedings of the Fourth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2019), Essen, Germany, October 8-9, 2019 / Fourth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2019), 08.-09.10. 2019, Essen / Strickroth, Sven; Striewe, Michael; Rod, Oliver (Eds.) 2019, pp. 19 - 26
    Online Full Text: dx.doi.org/ (Open Access)
  • Gödderz, Tobias; Voigtländer, Janis
    Automatic testing of operation invariance
    In: (Constraint) Logic Programming and Functional and (Constraint) Logic Programming: Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) ; Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming / 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014), 15-17 September 2014, Wittenberg, Germany / Brass, Stefan; Waldmann, Johannes (Eds.) 2015, pp. 172 - 186
    Online Full Text (Open Access)
  • Grohne, Helmut; Löh, Andres; Voigtländer, Janis
    Formalizing Semantic Bidirectionalization with Dependent Types
    In: EDBT/ICDT 2014 Workshops: Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014) / Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 28. March 2014, Athens, Greece 2014, pp. 75 - 81
    Online Full Text (Open Access)
  • Mehner, Stefan; Seidel, Daniel; Straßburger, Lutz; Voigtländer, Janis
    Parametricity and proving free theorems for functional-logic languages
    In: PPDP 2014 - Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming / PPDP 2014; Canterburry; United Kingdom; 8 - 10 September 2014 / Chitil, Olaf (Eds.) 2014, pp. 19 - 30
    Online Full Text: dx.doi.org/
  • Bird, Richard; Gibbons, Jeremy; Mehner, Stefan; Voigtländer, Janis; Schrijvers, Tom
    Understanding idiomatic traversals backwards and forwards
    In: Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell / Haskell Symposium 2013; Boston, United States; 23 - 24 September 2013 / Shan, Chung-Chieh (Eds.) 2013, pp. 25 - 36
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis
    Ideas for connecting inductive program synthesis and bidirectionalization
    In: Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation / PEPM '12; Philadelphia, United States; 23 - 24 January 2012 2012, pp. 39 - 42
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis
    Programming language approaches to bidirectional transformation : Invited Talk
    In: Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications: LDTA 2012 / 12th International Workshop on Language Descriptions, Tools, and Applications; Tallinn, Estonia; March 31 - April 1, 2012 / Sloane, Anthony; Andova, Suzana (Eds.) 2012, pp. 1 - 2
    Online Full Text: dx.doi.org/
  • Seidel, Daniel; Voigtländer, Janis
    Proving Properties about Functions on Lists Involving Element Tests
    In: Recent Trends in Algebraic Development Techniques / 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 / Mossakowski, Till; Kreowski, Hans-Jörg (Eds.) 2012, pp. 270 - 286
    Online Full Text: dx.doi.org/
  • Foster, Nate; Matsuda, Kazutaka; Voigtländer, Janis
    Three Complementary Approaches to Bidirectional Programming
    In: Generic and Indexed Programming / International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 / Gibbons, Jeremy (Eds.) 2012, pp. 1 - 46
    Online Full Text: dx.doi.org/
  • Christiansen, Jan; Seidel, Daniel; Voigtländer, Janis
    An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
    In: Functional and Constraint Logic Programming / 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 / Mariño, Julio (Eds.) 2011, pp. 119 - 136
    Online Full Text: dx.doi.org/
  • Seidel, Daniel; Voigtländer, Janis
    Improvements for Free
    In: Proceedings of the 9. Workshop on Quantitative Aspects of Programming Languages / QAPL 2011; Saarbrücken, Germany; 1 - 3 April 2011 / Massink, Mieke; Norman, Gethin (Eds.) 2011, pp. 89 - 103
    Online Full Text: dx.doi.org/
  • Fernandes, João Paulo; Saraiva, João; Seidel, Daniel; Voigtländer, Janis
    Strictification of circular programs
    In: PEPM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation / PEPM'11; Austin, United States; 24 January 2011 2011, pp. 131 - 140
    Online Full Text: dx.doi.org/
  • Johann, Patricia; Simpson, Alex; Voigtländer, Janis
    A generic operational metatheory for algebraic effects
    In: Proceedings of the Symposium on Logic in Computer Science: The Computer Society of the IEEE / 25th Annual IEEE Symposium on Logic in Computer Science; LICS 2010; Edinburgh; United Kingdom; 11 -14 July 2010 2010, pp. 209 - 218
    Online Full Text: dx.doi.org/
  • Seidel, Daniel; Voigtländer, Janis
    Automatically Generating Counterexamples to Naive Free Theorems
    In: Functional and Logic Programming: Proceedings / 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 / Blume, Matthias; Kobayashi, Naoki; Vidal, Germán (Eds.) 2010, pp. 175 - 190
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng
    Combining syntactic and semantic bidirectionalization
    In: Proceedings of the 15th ACM SIGPLAN international conference on Functional Programming / ICFP'10; Baltimore, United States; 27 - 29 September 2010 2010, pp. 181 - 192
    Online Full Text: dx.doi.org/
  • Christiansen, Jan; Seidel, Daniel; Voigtländer, Janis
    Free theorems for functional logic programs
    In: Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification / PLPV'10; Madrid; Spain; 19 January 2010 2010, pp. 39 - 48
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis
    Bidirectionalization for free! (Pearl)
    In: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages / POPL'09 ; Savannah, Georgia, USA, January 21 - 23, 2009 2009, pp. 165 - 176
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis
    Free theorems involving type constructor classes : functional pearl
    In: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 / ICFP'09; Edinburgh; United Kingdom; 31 August 2009 through 2 September 2009 2009, pp. 173 - 184
    Online Full Text: dx.doi.org/
  • Stenger, Florian; Voigtländer, Janis
    Parametricity for Haskell with Imprecise Error Semantics
    In: Typed Lambda Calculi and Applications: Proceedings / 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 / Curien, Pierre-Louis (Eds.) 2009, pp. 294 - 308
    Online Full Text: dx.doi.org/
  • Seidel, Daniel; Voigtländer, Janis
    Taming Selective Strictness
    In: GI-Jahrestagung Informatik 2009 - Im Focus das Leben / 4. Arbeitstagung Programmiersprachen, ATPS 2009, Lübeck / Fischer, Stefan; Maehle, Erik; Reischuk, Rüdiger (Eds.) 2009, pp. 2916 - 2930
    Online Full Text
  • Voigtländer, Janis
    Asymptotic Improvement of Computations over Free Monads
    In: Mathematics of Program Construction: Proceedings / 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008 / Audebaud, Philippe; Paulin-Mohring, Christine (Eds.) 2008, pp. 388 - 403
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis
    Much ado about two (pearl) : a pearl on parallel prefix computation
    In: POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages / 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'08; San Francisco, United States; 7 - 12 January 2008 2008, pp. 29 - 35
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis
    Proving correctness via free theorems : The case of the destroy/build-rule
    In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation / PEPM'08; San Francisco, United States; 7 - 8 January 2008 2008, pp. 13 - 20
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis
    Semantics and Pragmatics of New Shortcut Fusion Rules
    In: Functional and Logic Programming: Proceedings / 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 / Garrigue, Jacques; Hermenegildo, Manuel V. (Eds.) 2008, pp. 163 - 179
    Online Full Text: dx.doi.org/
  • Johann, Patricia; Voigtländer, Janis
    Free theorems in the presence of seq
    In: POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages / ACM Sigplan-SIGACT Symposium on Principles of Programming Languages; Venice; Italy; 14 - 16 January 2004 2004, pp. 99 - 110
    Online Full Text: dx.doi.org/
  • Giesl, Jürgen; Kühnemann, Armin; Voigtländer, Janis
    Deaccumulation - Improving provability
    In: Advances in Computing Science – ASIAN 2003: Programming Languages and Distributed Computation / 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 / Saraswat, Vijay A. (Eds.) 2003, pp. 146 - 160
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis
    Concatenate, reverse and map vanish for free
    In: ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming / Seventh ACM SIGPLAN; International Conference on Functional Programming (ICFP'02); Pittsburgh, United States; 4 - 6 October 2002 2002, pp. 14 - 25
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis
    Conditions for Efficiency Improvement by Tree Transducer Composition
    In: Rewriting Techniques and Applications: Proceedings / 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 / Tison, Sophie (Eds.) 2002, pp. 222 - 236
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis
    Using circular programs to deforest in accumulating parameters
    In: ASIA-PEPM '02: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation / ASIA-PEPM '02; Aizu; Japan; 12 - 14 September 2002 / Asai, Kenichi (Eds.) 2002, pp. 126 - 137
    Online Full Text: dx.doi.org/

    • Books, Collections, Proceedings

  • Schwarz, Sibylle; Voigtländer, Janis; (Eds.)
    Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming : Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016
    Workshops on (Constraint) Logic Programming ; International Workshop on Functional and (Constraint) Logic Programming ; 22.09.2015, Dresden ; 12.09.-14.09.2016, Leipzig,
    In: Electronic Proceedings in Theoretical Computer Science Waterloo Vol. 234 (2017)
    Online Full Text: dx.doi.org/ (Open Access)
  • Hinze, Ralf; Voigtländer, Janis (Eds.)
    Mathematics of Program Construction : Proceedings
    12th International Conference on the Mathematics of Program Construction, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015,
    In: Lecture Notes in Computer Science Cham [u.a.] Vol. 9129 (2015)
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis; (Eds.)
    Proceedings of the 2012 Haskell Symposium
    Haskell’12 - 5th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP’12,
    In: ACM Digital Library (2012) 162 Seiten
    Online Full Text: dx.doi.org/
  • Gallagher, John P.; Voigtländer, Janis; (Eds.)
    Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation
    PEPM'10 - ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation, 18-19 January 2010, Madrid,
    (2010) 160 Seiten
    Online Full Text: dx.doi.org/
  • Voigtländer, Janis
    Types for Programming and Reasoning
    Dresden (2009) 84 Seiten, kumulative Habilitation

    • Thesis

  • Voigtländer, Janis
    Tree Transducer Composition as Program Transformation
    Lübeck (2005) 168 S. : graph. Darst.

    • Prefaces/Postfaces

  • Knoop, Jens; Voigtländer, Janis
    Vorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013)
    In: Software Engineering 2013 Workshopband (inkl. Doktorandensymposium): Fachtagung des GI-Fachbereichs Softwaretechnik 26.02. - 01.03.2013 in Aachen / 6. Arbeitstagung Programmiersprachen (ATPS 2013), 26.02.-01.03.2013, Aachen / Wagner, Stefan; Lichter, Horst (Eds.) (2013) pp. 17 - 20
    Online Full Text; Online Full Text (Open Access)
  • Huch, Frank; Voigtländer, Janis
    5. Arbeitstagung Programmiersprachen (ATPS 2012)
    In: Software Engineering 2012 / 5. Arbeitstagung Programmiersprachen (ATPS 2012), 27. Februar - 2. März 2012, Berlin / Jähnichen, Stefan; Küpper, Axel; Albayrak, Sahin (Eds.) (2012) pp. 195
    Online Full Text (Open Access)
  • Hermann, Frank; Voigtländer, Janis;
    First International Workshop on Bidirectional Transformations (BX 2012) : Preface
    First International Workshop on Bidirectional Transformations (BX 2012), 25th March 2012, Tallin, Estonia,
    In: Electronic Communications of the EASST Vol. 49, Bidirectional Transformations 2012 (2012)
    Online Full Text: dx.doi.org/; Online Full Text: dx.doi.org/ (Open Access)
  • Gallagher, John P.; Voigtländer, Janis
    Editorial
    In: Higher-Order and Symbolic Computation Vol. 23 (2010) Nr. 3, pp. 273 - 274
    Online Full Text: dx.doi.org/