Ein Bild von Prof. Dr. Janis Voigtländer
Anschrift
Lotharstr. 65 (LF)
47057 Duisburg
Raum
LF 233

Funktionen

  • Universitätsprofessor/in, Formale Methoden der Informatik

Die folgenden Publikationen sind in der Online-Universitätsbibliographie der Universität Duisburg-Essen verzeichnet. Weitere Informationen finden Sie gegebenenfalls auch auf den persönlichen Webseiten der Person.

    Artikel in Zeitschriften

  • Grohne, Helmut; Voigtländer, Janis
    Formalizing semantic bidirectionalization and extensions with dependent types
    In: Journal of Logical and Algebraic Methods in Programming Jg. 86 (2017) Nr. 1, S. 319 - 348
    ISSN: 2352-2208; 2352-2216
  • Voigtländer, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng
    Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
    In: Journal of Functional Programming Jg. 23 (2013) Nr. 5, S. 515 - 551
    ISSN: 1469-7653; 0956-7968
  • Seidel, Daniel; Voigtländer, Janis
    Refined typing to localize the impact of forced strictness on free theorems
    In: Acta Informatica Jg. 48 (2011) Nr. 3, S. 191 - 211
    ISSN: 1432-0525; 0001-5903
  • Johann, Patricia; Voigtländer, Janis
    A family of syntactic logical relations for the semantics of Haskell-like languages
    In: Information and Computation Jg. 207 (2009) Nr. 2, S. 341 - 368
    ISSN: 0890-5401; 1090-2651
  • Giesl, Jürgen; Kühnemann, Armin; Voigtländer, Janis
    Deaccumulation techniques for improving provability
    In: The Journal of Logic and Algebraic Programming Jg. 71 (2007) Nr. 2, S. 79 - 113
    ISSN: 1567-8326; 1873-5940
  • Voigtländer, Janis
    Formal efficiency analysis for tree transducer composition
    In: Theory of Computing Systems Jg. 41 (2007) Nr. 4, S. 619 - 689
    ISSN: 1432-4350; 1433-0490; 0025-5661
  • Voigtländer, Janis; Johann, Patricia
    Selective strictness and parametricity in structural operational semantics, inequationally
    In: Theoretical Computer Science Jg. 388 (2007) Nr. 1-3, S. 290 - 318
    ISSN: 0304-3975; 1879-2294
  • Johann, Patricia; Voigtländer, Janis
    The Impact of seq on Free Theorems-Based Program Transformations
    In: Fundamenta Informaticae Jg. 69 (2006) Nr. 1-2, S. 63 - 102
    ISSN: 1875-8681; 0169-2968
  • Voigtländer, Janis; Kühnemann, Armin
    Composition of functions with accumulating parameters
    In: Journal of Functional Programming Jg. 14 (2004) Nr. 3, S. 317 - 363
    ISSN: 1469-7653; 0956-7968
  • Voigtländer, Janis
    Using circular programs to deforest in accumulating parameters
    In: Higher-Order and Symbolic Computation Jg. 17 (2004) Nr. 1-2, S. 129 - 163
    ISSN: 1388-3690; 0892-4635; 1573-0557
  • Beiträge in Sammelwerken und Tagungsbänden

  • 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; (Hrsg.) 2020, S. 19 - 36
    ISSN: 2075-2180
  • 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, JanGruner, Stefan (Hrsg.) 2020, S. 112 - 128
    ISBN: 978-3-030-35628-6; 978-3-030-35629-3
  • 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, PetraAbreu, SalvadorJohn, UlrichKuchen, HerbertSeipel, Dietmar (Hrsg.) 2020, S. 247 - 267
    ISBN: 978-3-030-46713-5; 978-3-030-46714-2
  • 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 C-2020, 19.-21.02.2020, Wien; / Michael, JudithBork, DominikRehse, Jana-RebeccaStriewe, MichaelUllrich, Meike (Hrsg.) 2020 pages 89 - 100
    ISSN: 1613-0073
  • 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, KeisukeSagonas, Konstantinos (Hrsg.) 2020, S. 179 - 197
    ISBN: 978-3-030-59024-6; 978-3-030-59025-3
  • 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 (Hrsg.) 2019, S. 19 - 26
  • Gödderz, Tobias; Voigtländer, Janis
    Automatic testing of operation invariance
    In: WLP 2014: 28th Workshop on (Constraint) Logic Programming, WFLP 2014 - 23rd International Workshop on Functional and (Constraint) Logic Programming : September 15-17, 2014, Wittenberg : Proceedings / WFLP 2014 - 23rd International Workshop on Functional and (Constraint) Logic Programming; / Brass, StefanWaldmann, Johannes (Hrsg.) 2015, S. 172 - 186
    ISSN: 1613-0073
  • Grohne, Helmut; Löh, Andres; Voigtländer, Janis
    Formalizing Semantic Bidirectionalization with Dependent Types
    In: Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference / EDBT/ICDT 2014 - Workshop on Bidirectional Transformations; March 28, 2014; Athens, Greece; 2014, S. 75 - 81
  • 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; (Hrsg.) 2014, S. 19 - 30
    ISBN: 978-1-4503-2947-7
  • 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; (Hrsg.) 2013, S. 25 - 36
    ISBN: 978-145-032-383-3
  • 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, S. 39 - 42
    ISBN: 9781450311182
  • 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, AnthonyAndova, Suzana (Hrsg.) 2012, S. 1 - 2
    ISBN: 978-1-4503-1536-4
  • 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, TillKreowski, Hans-Jörg (Hrsg.) 2012, S. 270 - 286
    ISBN: 978-3-642-28412-0; 978-3-642-28411-3
  • 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; (Hrsg.) 2012, S. 1 - 46
    ISBN: 978-3-642-32202-0; 978-3-642-32201-3
  • 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; (Hrsg.) 2011, S. 119 - 136
    ISBN: 978-3-642-20775-4; 978-3-642-20774-7
  • 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, MiekeNorman, Gethin (Hrsg.) 2011, S. 89 - 103
    ISSN: 2075-2180
  • 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, S. 131 - 140
    ISBN: 9781450304856
  • 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, S. 209 - 218
    ISBN: 978-1-4244-7589-6; 978-1-4244-7588-9
  • 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, NaokiVidal, Germán (Hrsg.) 2010, S. 175 - 190
    ISBN: 978-3-642-12250-7; 978-3-642-12251-4
  • 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, S. 181 - 192
    ISBN: 9781605587943
  • 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, S. 39 - 48
    ISBN: 9781605588902
  • 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, S. 165 - 176
    ISBN: 9781605583792
  • 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, S. 173 - 184
    ISBN: 9781605583327
  • 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 (Hrsg.) 2009, S. 294 - 308
    ISBN: 978-3-642-02272-2; 978-3-642-02273-9
  • 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, StefanMaehle, ErikReischuk, Rüdiger (Hrsg.) 2009, S. 2916 - 2930
    ISBN: 978-3-88579-248-2
  • 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, PhilippePaulin-Mohring, Christine (Hrsg.) 2008, S. 388 - 403
    ISBN: 978-3-540-70593-2; 978-3-540-70594-9
  • 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, S. 29 - 35
  • 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, S. 13 - 20
    ISBN: 9781595939777
  • 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, JacquesHermenegildo, Manuel V. (Hrsg.) 2008, S. 163 - 179
    ISBN: 978-3-540-78969-7; 978-3-540-78968-0
  • 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, S. 99 - 110
  • 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.; (Hrsg.) 2003, S. 146 - 160
    ISBN: 978-3-540-20632-3; 978-3-540-40965-6
  • 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, S. 14 - 25
  • 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 (Hrsg.) 2002, S. 222 - 236
    ISBN: 978-3-540-43916-5; 978-3-540-45610-0
  • 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 (Hrsg.) 2002, S. 126 - 137
    ISBN: 1-58113-458-4
  • Bücher/Sammelwerke/Tagungsbände

  • Schwarz, Sibylle; Voigtländer, Janis; (Hrsg.)
    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,
    Waterloo (2017)
    (Electronic Proceedings in Theoretical Computer Science ; 234)
  • Hinze, Ralf; Voigtländer, Janis (Hrsg.)
    Mathematics of Program Construction : Proceedings
    12th International Conference on the Mathematics of Program Construction, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015,
    Cham [u.a.] (2015)
    (Lecture Notes in Computer Science ; 9129)
    ISBN: 978-3-319-19796-8; 978-3-319-19797-5
  • Voigtländer, Janis; (Hrsg.)
    Proceedings of the 2012 Haskell Symposium
    Haskell’12 - 5th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP’12,
    (2012) 162 Seiten 162 Seiten
    (ACM Digital Library)
    ISBN: 978-1-4503-1574-6
  • Gallagher, John P.; Voigtländer, Janis; (Hrsg.)
    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 160 Seiten
    ISBN: 978-1-60558-727-1
  • Voigtländer, Janis
    Types for Programming and Reasoning
    Dresden (2009) 84 Seiten, kumulative Habilitation 84 Seiten, kumulative Habilitation
  • Dissertation

  • Voigtländer, Janis
    Tree Transducer Composition as Program Transformation
    Lübeck (2005) 168 S. : graph. Darst. 168 S. : graph. Darst.
    ISBN: 978-3-89959-369-3
  • Vorworte / Nachworte

  • 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 / Arbeitstagung Programmiersprachen 2013 ; ATPS 2013 ; Software Engineering 2013 ; 26.02.-01.03.2013, Aachen; / Wagner, StefanLichter, Horst (Hrsg.) (2013) S. 17 - 20
    ISBN: 978-3-88579-609-1
  • Huch, Frank; Voigtländer, Janis
    5. Arbeitstagung Programmiersprachen (ATPS 2012)
    In: Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik ; 27. Februar - 2. März 2012 in Berlin / Arbeitstagung Programmiersprachen 2012 ; ATPS 2012 ; Software Engineering 2012 ; 27.02.-02.03.2012, Berlin; / Jähnichen, StefanKüpper, AxelAlbayrak, Sahin (Hrsg.) (2012) S. 195
    ISBN: 978-3-88579-292-5
  • 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 Jg. 49, Bidirectional Transformations 2012 (2012)
    ISSN: 1863-2122
  • Gallagher, John P.; Voigtländer, Janis
    Editorial
    In: Higher-Order and Symbolic Computation Jg. 23 (2010) Nr. 3, S. 273 - 274
    ISSN: 1388-3690; 0892-4635; 1573-0557