A methodolgy for programming with concurrency. - Christian Lengauer; Eric C. R. Hehner (CONPAR, 1981)

A Methodology for Programming with Concurrency: The Formalism. - Christian Lengauer (Sci. Comput. Program., 1982)

A Methodology for Programming with Concurrency: An Informal Presentation. - Christian Lengauer; Eric C. R. Hehner (Sci. Comput. Program., 1982)

A methodology for programming with concurrency. - Christian Lengauer (1982)

The Static Derivation of Concurrency and its Mechanzed Certification. - Christian Lengauer; Chua-Huang Huang (Seminar on Concurrency, 1984)

On the Role of Automated Theorem Proving in the Compile-Time Derivation of Concurrency. - Christian Lengauer (J. Autom. Reason., 1985)

A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. - Christian Lengauer; Chua-Huang Huang (POPL, 1986)

The automated proof of a trace transformation for a bitonic sort. - Chua-Huang Huang; Christian Lengauer (Theor. Comput. Sci., 1986)

An Implemented Method for Incremmental Systolic Design. - Chua-Huang Huang; Christian Lengauer (PARLE (1), 1987)

The Derivation of Systolic Implementations of Programs. - Chua-Huang Huang; Christian Lengauer (Acta Informatica, 1987)

A Mechanically Derived Systolic Implementation of Pyramid Initialization. - Christian Lengauer; Bikash Sabata; Farshid Arman (Hardware Specification, Verification and Synthesis, 1989)

Towards Systolizing Compilation: An Overview. - Christian Lengauer (PARLE (2), 1989)

An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem. - Chua-Huang Huang; Christian Lengauer (Acta Informatica, 1989)

Semantic Independence. - Eike Best; Christian Lengauer (Sci. Comput. Program., 1989)

Wie kann man imperative Programme auf eine Systolisierung vorbereiten? - Christian Lengauer (GI Jahrestagung (2), 1990)

The Projection of Systolic Programs. - Christian Lengauer; Jeff W. Sanders (Formal Aspects Comput., 1990)

Code Generation for a Systolic Computer. - Christian Lengauer (Softw. Pract. Exp., 1990)

Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations. - Jingling Xue; Christian Lengauer (Algorithms and Parallel VLSI Architectures, 1991)

The Synthesis of Systolic Programs. - Michael Barnett 001; Christian Lengauer (Research Directions in High-Level Parallel Programming Languages, 1991)

A Systolizing Compilation Scheme: Abstract. - Michael Barnett 001; Christian Lengauer (ICPP (2), 1991)

Towards Systolizing Compilation. - Christian Lengauer; Michael Barnett 001; Duncan G. Hudson III (Distributed Comput., 1991)

On Denotational versus Predicative Semantics. - Manfred Broy; Christian Lengauer (J. Comput. Syst. Sci., 1991)

A systolic array for pyramidal algorithms. - Christian Lengauer; Jingling Xue (J. VLSI Signal Process., 1991)

Unimodularity Considered Non-Essential. - Michael Barnett 001; Christian Lengauer (CONPAR, 1992)

The synthesis of control signals for one-dimensional systolic arrays. - Jingling Xue; Christian Lengauer (Integr., 1992)

Unimodularity and the Prallelization of Loops. - Michael Barnett 001; Christian Lengauer (Parallel Process. Lett., 1992)

Loop Parallelization in the Polytope Model. - Christian Lengauer (CONCUR, 1993)

A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. - Michael Barnett 001; Christian Lengauer (Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993)

An Object-Oriented Airport: Specification and Refinement in Maude. - Ulrike Lechner; Christian Lengauer; Martin Wirsing (COMPASS/ADT, 1994)

On Scanning Space-Time Mapped While Loops. - Martin Griebl; Christian Lengauer (CONPAR, 1994)

Systematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer Specifications. - Sergei Gorlatch; Christian Lengauer (IPPS, 1994)

On the Space-Time Mapping of While-Loops. - Martin Griebl; Christian Lengauer (Parallel Process. Lett., 1994)

Modal-µ-Maude: Specification and Properties of Concurrent Objects. - Ulrike Lechner; Christian Lengauer (Object Orientation with Parallelism and Persistence, 1995)

Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism. - Sergei Gorlatch; Christian Lengauer (Formal Aspects Comput., 1995)

A communication scheme for the distributed execution of loop nests with while loops. - Martin Griebl; Christian Lengauer (Int. J. Parallel Program., 1995)

(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. - Ulrike Lechner; Christian Lengauer; Friederike Nickl; Martin Wirsing (ECOOP, 1996)

Classifying Loops for Space-Time Mapping. - Martin Griebl; Christian Lengauer (Euro-Par, Vol. I, 1996)

The Loop Parallelizer LooPo-Announcement. - Martin Griebl; Christian Lengauer (LCPC, 1996)

On the Space-Time Mapping of a Class of Divide-and-Conquer Recursions. - Christoph Armin Herrmann; Christian Lengauer (Parallel Process. Lett., 1996)

Parallel Implementations of Combinations of Broadcast, Reduction and Scan. - Christoph Wedler; Christian Lengauer (PDSE, 1997)

Transformation of Divide & Conquer to Nested Parallel Loops. - Christoph A. Herrmann; Christian Lengauer (PLILP, 1997)

The Static Parallelization of Loops and Recursions. - Christian Lengauer; Sergei Gorlatch; Christoph A. Herrmann (J. Supercomput., 1997)

Code Generation in the Polytope Model. - Martin Griebl; Christian Lengauer; Sabine Wetzel (IEEE PACT, 1998)

On Linear List Recursion in Parallel. - Christoph Wedler; Christian Lengauer (Acta Informatica, 1998)

Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining. - Christoph A. Herrmann; Jan Laitenberger; Christian Lengauer; Christian Schaller (Euro-Par, 1999)

Optimization Rules for Programming with Collective Operations. - Sergei Gorlatch; Christoph Wedler; Christian Lengauer (IPPS/SPDP, 1999)

Application of the Polytope Model to Functional Programs. - Nils Ellmenreich; Christian Lengauer; Martin Griebl (LCPC, 1999)

Skeletons and Transformations in an Integrated Parallel Programming Environment. - Bruno Bacci; Sergei Gorlatch; Christian Lengauer; Susanna Pelagatti (PaCT, 1999)

Parallelization of Divide-and-Conquer by Translation to Nested Loops. - Christoph A. Herrmann; Christian Lengauer (J. Funct. Program., 1999)

Termination detection in parallel loop nests with while loops. - Max Geigl; Martin Griebl; Christian Lengauer (Parallel Comput., 1999)

Issues of the Automatic Generation of HPF Loop Programs. - Peter Faber; Martin Griebl; Christian Lengauer (LCPC, 2000)

Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach. - Sergei Gorlatch; Christian Lengauer (Acta Informatica, 2000)

Index Set Splitting. - Martin Griebl; Paul Feautrier; Christian Lengauer (Int. J. Parallel Program., 2000)

HDC: A Higher-Order Language for Divide-and-Conquer. - Christoph A. Herrmann; Christian Lengauer (Parallel Process. Lett., 2000)

Loop-Carried Code Placement. - Peter Faber; Martin Griebl; Christian Lengauer (Euro-Par, 2001)

A Transformational Approach which Combines Size Inference and Program Optimization. - Christoph A. Herrmann; Christian Lengauer (SAIG, 2001)

High-performance Java - introduction. - Cherri M. Pancake; Christian Lengauer (Commun. ACM, 2001)

Towards parallel programming by transformation: the FAN skeleton framework. - Marco Aldinucci; Sergei Gorlatch; Christian Lengauer; Susanna Pelagatti (Parallel Algorithms Appl., 2001)

On the parallel implementation of a generalized broadcast. - Christoph Wedler; Christian Lengauer (Parallel Algorithms Appl., 2001)

PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines. - Nils Ellmenreich; Christian Lengauer (IFL, 2002)

Using Metaprogramming to Parallelize Functional Specifications. - Christoph A. Herrmann; Christian Lengauer (Parallel Process. Lett., 2002)

Transforming Rapid Prototypes to Efficient Parallel Programs. - Christoph A. Herrmann; Christian Lengauer (Patterns and Skeletons for Parallel and Distributed Computing, 2003)

Program Optimization in the Domain of High-Performance Parallelism. - Christian Lengauer (Domain-Specific Program Generation, 2003)

Replicated Placements in the Polyhedron Model. - Peter Faber; Martin Griebl; Christian Lengauer (Euro-Par, 2003)

Space-time mapping and tiling: a helpful combination. - Martin Griebl; Peter Faber; Christian Lengauer (Concurr. Comput. Pract. Exp., 2004)

Feature oriented refactoring of legacy applications. - Jia Liu; Don S. Batory; Christian Lengauer (ICSE, 2006)

A disciplined approach to aspect composition. - Roberto E. Lopez-Herrejon; Don S. Batory; Christian Lengauer (PEPM, 2006)

Quantifier elimination in automatic loop parallelization. - Armin Größlinger; Martin Griebl; Christian Lengauer (J. Symb. Comput., 2006)

Preface. - Christian Lengauer; Walid Taha (Sci. Comput. Program., 2006)

07361 Introduction – Programming Models for Ubiquitous Parallelism. - David Chi-Leung Wong; Albert Cohen 001; María Jesús Garzarán; Christian Lengauer; Samuel P. Midkiff (Programming Models for Ubiquitous Parallelism, 2007)

07361 Abstracts Collection – Programming Models for Ubiquitous Parallelism. - David Chi-Leung Wong; Albert Cohen 001; María Jesús Garzarán; Christian Lengauer; Samuel P. Midkiff (Programming Models for Ubiquitous Parallelism, 2007)

Costing stepwise refinements of parallel programs. - Nils Ellmenreich; Christian Lengauer (Comput. Lang. Syst. Struct., 2007)

An Algebra for Features and Feature Composition. - Sven Apel; Christian Lengauer; Bernhard Möller; Christian Kästner (AMAST, 2008)

LooPo-HOC: A Grid Component with Embedded Loop Parallelization. - Johannes Tomasoni; Jan Dünnweber; Sergei Gorlatch; Michael Claßen; Philipp Claßen; Christian Lengauer (CoreGRID Integration Workshop, 2008)

Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement. - Sven Apel; Christian Kästner; Christian Lengauer (GPCE, 2008)

Research challenges in the tension between features and services. - Sven Apel; Christian Kästner; Christian Lengauer (SDSOA@ICSE, 2008)

Superimposition: A Language-Independent Approach to Software Composition. - Sven Apel; Christian Lengauer (SC@ETAPS, 2008)

FEATUREHOUSE: Language-independent, automated software composition. - Sven Apel; Christian Kästner; Christian Lengauer (ICSE, 2009)

RobbyDBMS: a case study on hardware/software product line engineering. - Jörg Liebig; Sven Apel; Christian Lengauer; Thomas Leich (FOSD, 2009)

Vergleich und Integration von Komposition und Annotation zur Implementierung von Produktlinien. - Sven Apel; Christian Kästner; Christian Lengauer (Software Engineering, 2009)

Feature (De)composition in Functional Programming. - Sven Apel; Christian Kästner; Armin Größlinger; Christian Lengauer (SC@TOOLS, 2009)

Special Issue: Euro-Par 2007. - Luc Bougé; Christian Lengauer (Concurr. Comput. Pract. Exp., 2009)

Special Issue: Euro-Par 2008. - Luc Bougé; Christian Lengauer (Concurr. Comput. Pract. Exp., 2009)

Language-independent reference checking in software product lines. - Sven Apel; Wolfgang Scholz; Christian Lengauer; Christian Kästner (FOSD, 2010)

An analysis of the variability in forty preprocessor-based software product lines. - Jörg Liebig; Sven Apel; Christian Lengauer; Christian Kästner; Michael Schulze (ICSE (1), 2010)

Detecting Dependences and Interactions in Feature-Oriented Design. - Sven Apel; Wolfgang Scholz; Christian Lengauer; Christian Kästner (ISSRE, 2010)

Semistructured Merge in Revision Control Systems. - Sven Apel; Jörg Liebig; Christian Lengauer; Christian Kästner; William R. Cook (VaMoS, 2010)

Type safety for feature-oriented product lines. - Sven Apel; Christian Kästner; Armin Größlinger; Christian Lengauer (Autom. Softw. Eng., 2010)

Type-Safe Feature-Oriented Product Lines - Sven Apel; Christian Kästner; Armin Größlinger; Christian Lengauer (CoRR, 2010)

An algebraic foundation for automatic feature-based program synthesis. - Sven Apel; Christian Lengauer; Bernhard Möller; Christian Kästner (Sci. Comput. Program., 2010)

Semistructured merge: rethinking merge in revision control systems. - Sven Apel; Jörg Liebig; Benjamin Brandl; Christian Lengauer; Christian Kästner (SIGSOFT FSE, 2011)

Automatic detection of feature interactions using the Java modeling language: an experience report. - Wolfgang Scholz; Thomas Thüm; Sven Apel; Christian Lengauer (SPLC Workshops, 2011)

Special Issue: Euro-Par 2009. - Luc Bougé; Christian Lengauer (Concurr. Comput. Pract. Exp., 2011)

Special Issue: Euro-Par 2010. - Luc Bougé; Christian Lengauer (Concurr. Comput. Pract. Exp., 2011)

Feature-Oriented System Design and Engineering. - Christian Lengauer; Sven Apel (Int. J. Softw. Informatics, 2011)

Polyhedron Model. - Paul Feautrier; Christian Lengauer (Encyclopedia of Parallel Computing, 2011)

Semantic Independence. - Martin Fränzle; Christian Lengauer (Encyclopedia of Parallel Computing, 2011)

Monitors, Axiomatic Verification of. - Christian Lengauer (Encyclopedia of Parallel Computing, 2011)

Owicki-Gries Method of Axiomatic Verification. - Christian Lengauer (Encyclopedia of Parallel Computing, 2011)

Structured merge with auto-tuning: balancing precision and performance. - Sven Apel; Olaf Leßenich; Christian Lengauer (ASE, 2012)

Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation. - Tobias Grosser; Armin Größlinger; Christian Lengauer (Parallel Process. Lett., 2012)

Preface to the special issue on feature-oriented software development (FOSD 2009). - Sven Apel; Christian Lengauer; Julia Lawall (Sci. Comput. Program., 2012)

The potential of polyhedral optimization: An empirical study. - Andreas Simburger; Sven Apel; Armin Größlinger; Christian Lengauer (ASE, 2013)

Scalable analysis of variable software. - Jörg Liebig; Alexander von Rhein; Christian Kästner; Sven Apel; Jens Dörre; Christian Lengauer (ESEC/SIGSOFT FSE, 2013)

Special Issue: Euro-Par 2011. - Luc Bougé; Christian Lengauer (Concurr. Comput. Pract. Exp., 2013)

Special Issue: Euro-Par 2012. - Luc Bougé; Christian Lengauer (Concurr. Comput. Pract. Exp., 2013)

Language-Independent and Automated Software Composition: The FeatureHouse Experience. - Sven Apel; Christian Kästner; Christian Lengauer (IEEE Trans. Software Eng., 2013)

ExaStencils: Advanced Stencil-Code Engineering. - Christian Lengauer; Sven Apel; Matthias Bolten; Armin Größlinger; Frank Hannig; Harald Köstler; Ulrich Rüde; Jürgen Teich; Alexander Grebhahn; Stefan Kronawitter; Sebastian Kuckuk; Hannah Rittich; et al. (Euro-Par Workshops (2), 2014)

Special issue: Euro-Par 2013. - Christian Lengauer; Luc Bougé; Felix Wolf 001 (Concurr. Comput. Pract. Exp., 2014)

Domain-Specific Optimization of Two Jacobi Smoother Kernels and Their Evaluation in the ECM Performance Model. - Stefan Kronawitter; Holger Stengel; Georg Hager; Christian Lengauer (Parallel Process. Lett., 2014)

Morpheus: Variability-Aware Refactoring in the Wild. - Jörg Liebig; Andreas Janker; Florian Garbe; Sven Apel; Christian Lengauer (ICSE (1), 2015)

Balancing precision and performance in structured merge. - Olaf Leßenich; Sven Apel; Christian Lengauer (Autom. Softw. Eng., 2015)

Modeling and optimizing MapReduce programs. - Jens Dörre; Sven Apel; Christian Lengauer (Concurr. Comput. Pract. Exp., 2015)

Special Issue: Euro-Par 2014. - Christian Lengauer; Luc Bougé; Fernando M. A. Silva (Concurr. Comput. Pract. Exp., 2015)

Advanced Stencil-Code Engineering (Dagstuhl Seminar 15161). - Christian Lengauer; Matthias Bolten; Robert D. Falgout; Olaf Schenk (Dagstuhl Reports, 2015)

Redundancy Elimination in the ExaStencils Code Generator. - Stefan Kronawitter; Sebastian Kuckuk; Christian Lengauer (ICA3PP Workshops, 2016)

Special issue: Euro-Par 2015. - Christian Lengauer; Luc Bougé; Jesper Larsson Träff (Concurr. Comput. Pract. Exp., 2016)

Systems of Partial Differential Equations in ExaSlang. - Christian Schmitt 003; Sebastian Kuckuk; Frank Hannig; Jürgen Teich; Harald Köstler; Ulrich Rüde; Christian Lengauer (Software for Exascale Computing, 2016)

Algebraic description and automatic generation of multigrid methods in SPIRAL. - Matthias Bolten; Franz Franchetti; Paul H. J. Kelly; Christian Lengauer; Marcus Mohr 001 (Concurr. Comput. Pract. Exp., 2017)

Special issue: Advanced stencil-code engineering. - Christian Lengauer; Matthias Bolten; Robert D. Falgout; Olaf Schenk (Concurr. Comput. Pract. Exp., 2017)

Special issue: Euro-Par 2016. - Christian Lengauer; Luc Bougé; Denis Trystram (Concurr. Comput. Pract. Exp., 2017)

A Scala prototype to generate multigrid solver implementations for different problems and target multi-core platforms. - Harald Köstler; Christian Schmitt 003; Sebastian Kuckuk; Stefan Kronawitter; Frank Hannig; Jürgen Teich; Ulrich Rüde; Christian Lengauer (Int. J. Comput. Sci. Eng., 2017)

Iterative Schedule Optimization for Parallelization in the Polyhedron Model. - Stefan Ganser; Armin Größlinger; Norbert Siegmund; Sven Apel; Christian Lengauer (ACM Trans. Archit. Code Optim., 2017)

Loop Optimization (Dagstuhl Seminar 18111). - Sebastian Hack; Paul H. J. Kelly; Christian Lengauer (Dagstuhl Reports, 2018)

Automating the Development of High-Performance Multigrid Solvers. - Christian Schmitt 003; Stefan Kronawitter; Frank Hannig; Jürgen Teich; Christian Lengauer (Proc. IEEE, 2018)

Automatic Data Layout Transformations in the ExaStencils Code Generator. - Stefan Kronawitter; Sebastian Kuckuk; Harald Köstler; Christian Lengauer (Parallel Process. Lett., 2018)

PolyJIT: Polyhedral Optimization Just in Time. - Andreas Simburger; Sven Apel; Armin Größlinger; Christian Lengauer (Int. J. Parallel Program., 2019)

Speeding up Iterative Polyhedral Schedule Optimization with Surrogate Performance Models. - Stefan Ganser; Armin Größlinger; Norbert Siegmund; Sven Apel; Christian Lengauer (ACM Trans. Archit. Code Optim., 2019)

Polyhedral Search Space Exploration in the ExaStencils Code Generator. - Stefan Kronawitter; Christian Lengauer (ACM Trans. Archit. Code Optim., 2019)

Tensor Computations: Applications and Optimization (Dagstuhl Seminar 20111). - Paolo Bientinesi; David A. Ham; Furong Huang; Paul H. J. Kelly; Christian Lengauer; Saday Sadayappan (Dagstuhl Reports, 2020)

ExaStencils: Advanced Multigrid Solver Generation. - Christian Lengauer; Sven Apel; Matthias Bolten; Shigeru Chiba; Ulrich Rüde; Jürgen Teich; Armin Größlinger; Frank Hannig; Harald Köstler; Lisa Claus; Alexander Grebhahn; Stefan Groth; et al. (Software for Exascale Computing, 2020)

A Personal View of Edsger W. Dijkstra and His Stance on Software Construction. - Christian Lengauer (Edsger Wybe Dijkstra, 2022)

Eelco Visser as a Founding Member of the IFIP WG 2.11. - Christian Lengauer; Jacques Carette (Eelco Visser Commemorative Symposium, 2023)