@inproceedings{GrieblLW98,
  title = {Code Generation in the Polytope Model},
  author = {Martin Griebl and Christian Lengauer and Sabine Wetzel},
  year = {1998},
  url = {http://dlib.computer.org/conferen/pact/8591/pdf/85910106.pdf},
  tags = {meta-model, code generation, Meta-Environment},
  researchr = {https://researchr.org/publication/GrieblLW98},
  cites = {0},
  citedby = {0},
  pages = {106-111},
  booktitle = {IEEEpact},
}

@inproceedings{LiebigALL09,
  title = {RobbyDBMS: a case study on hardware/software product line engineering},
  author = {Jörg Liebig and Sven  Apel and Christian Lengauer and Thomas Leich},
  year = {2009},
  doi = {10.1145/1629716.1629729},
  url = {http://doi.acm.org/10.1145/1629716.1629729},
  tags = {case study, software engineering, software product line, product line},
  researchr = {https://researchr.org/publication/LiebigALL09},
  cites = {0},
  citedby = {0},
  pages = {63-68},
  booktitle = {MoDELS},
}

@article{LengauerH82,
  title = {A Methodology for Programming with Concurrency: An Informal Presentation},
  author = {Christian Lengauer and Eric C. R. Hehner},
  year = {1982},
  tags = {C++, programming},
  researchr = {https://researchr.org/publication/LengauerH82},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {2},
  number = {1},
  pages = {1-18},
}

@inproceedings{ApelKL08,
  title = {Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement},
  author = {Sven  Apel and Christian Kästner and Christian Lengauer},
  year = {2008},
  doi = {10.1145/1449913.1449931},
  url = {http://doi.acm.org/10.1145/1449913.1449931},
  tags = {object-oriented programming, Java, program analysis, Variability-Aware Analysis, refinement, analysis, programming, subject-oriented programming, context-aware, feature-oriented programming},
  researchr = {https://researchr.org/publication/ApelKL08},
  cites = {0},
  citedby = {0},
  pages = {101-112},
  booktitle = {GPCE},
}

@inproceedings{GorlatchWL99,
  title = {Optimization Rules for Programming with Collective Operations},
  author = {Sergei Gorlatch and Christoph Wedler and Christian Lengauer},
  year = {1999},
  url = {http://computer.org/proceedings/ipps/0143/01430492abs.htm},
  tags = {optimization, rule-based, rules, programming, program optimization},
  researchr = {https://researchr.org/publication/GorlatchWL99},
  cites = {0},
  citedby = {0},
  pages = {492-499},
  booktitle = {ipps},
}

@inproceedings{BarnettL92,
  title = {Unimodularity Considered Non-Essential},
  author = {Michael Barnett and Christian Lengauer},
  year = {1992},
  researchr = {https://researchr.org/publication/BarnettL92},
  cites = {0},
  citedby = {0},
  pages = {659-664},
  booktitle = {conpar},
}

@inproceedings{Lengauer93:0,
  title = {Loop Parallelization in the Polytope Model},
  author = {Christian Lengauer},
  year = {1993},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Lengauer93%3A0},
  cites = {0},
  citedby = {0},
  pages = {398-416},
  booktitle = {concur},
}

@article{BestL89,
  title = {Semantic Independence},
  author = {Eike Best and Christian Lengauer},
  year = {1989},
  researchr = {https://researchr.org/publication/BestL89},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {13},
  number = {1},
  pages = {23-50},
}

@inproceedings{ApelKL09:0,
  title = {FeatureHouse: Language-independent, automated software composition},
  author = {Sven  Apel and Christian Kästner and Christian Lengauer},
  year = {2009},
  doi = {10.1109/ICSE.2009.5070523},
  url = {http://dx.doi.org/10.1109/ICSE.2009.5070523},
  tags = {FeatureHouse, fosd, composition, software composition, superimposition, physical separation},
  researchr = {https://researchr.org/publication/ApelKL09%3A0},
  cites = {0},
  citedby = {0},
  pages = {221-231},
  booktitle = {ICSE},
}

@inproceedings{FaberGL03,
  title = {Replicated Placements in the Polyhedron Model},
  author = {Peter Faber and Martin Griebl and Christian Lengauer},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2790&spage=303},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/FaberGL03},
  cites = {0},
  citedby = {0},
  pages = {303-308},
  booktitle = {europar},
}

@article{GrosslingerGL06,
  title = {Quantifier elimination in automatic loop parallelization},
  author = {Armin Größlinger and Martin Griebl and Christian Lengauer},
  year = {2006},
  doi = {10.1016/j.jsc.2005.09.012},
  url = {http://dx.doi.org/10.1016/j.jsc.2005.09.012},
  researchr = {https://researchr.org/publication/GrosslingerGL06},
  cites = {0},
  citedby = {0},
  journal = {JSC},
  volume = {41},
  number = {11},
  pages = {1206-1221},
}

@article{BougeL09,
  title = {Special Issue: Euro-Par 2007},
  author = {Luc Bougé and Christian Lengauer},
  year = {2009},
  doi = {10.1002/cpe.1390},
  url = {http://dx.doi.org/10.1002/cpe.1390},
  researchr = {https://researchr.org/publication/BougeL09},
  cites = {0},
  citedby = {0},
  journal = {concurrency},
  volume = {21},
  number = {7},
  pages = {855-857},
}

@inproceedings{BacciGLP99,
  title = {Skeletons and Transformations in an Integrated Parallel Programming Environment},
  author = {Bruno Bacci and Sergei Gorlatch and Christian Lengauer and Susanna Pelagatti},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1662/16620013.htm},
  tags = {model-to-model transformation, meta programming, meta-model, parallel programming, model transformation, programming, Meta-Environment, meta-objects, transformation, program transformation},
  researchr = {https://researchr.org/publication/BacciGLP99},
  cites = {0},
  citedby = {0},
  pages = {13-27},
  booktitle = {pact},
}

@inproceedings{STAL:FOSD11,
  title = {Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience Report},
  author = {Scholz, Wolfgang and Thomas Thüm and Sven  Apel and Christian Lengauer},
  year = {2011},
  month = {AUG},
  url = {http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/STSL:FOSD11.pdf},
  tags = {programming languages, interaction design, object-oriented programming, Java, operating system, meta programming, contracts, meta-model, modeling language, modeling, design complexity, language modeling, composition, language design, model-driven development, object-role modeling, subject-oriented programming, Meta-Environment, software contracts, design, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/STAL%3AFOSD11},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the International SPLC Workshop Feature-Oriented Software Development (FOSD)},
}

@article{GorlatchL00,
  title = {Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach},
  author = {Sergei Gorlatch and Christian Lengauer},
  year = {2000},
  url = {http://link.springer.de/link/service/journals/00236/bibs/0036009/00360761.htm},
  tags = {parallel programming, abstraction, design, systematic-approach},
  researchr = {https://researchr.org/publication/GorlatchL00},
  cites = {0},
  citedby = {0},
  journal = {ACTA},
  volume = {36},
  number = {9/10},
  pages = {761-803},
}

@inproceedings{WongCGLM07,
  title = {07361 Introduction -- Programming Models for Ubiquitous Parallelism},
  author = {David Chi-Leung Wong and Albert Cohen and María Jesús Garzarán and Christian Lengauer and Samuel P. Midkiff},
  year = {2007},
  url = {http://drops.dagstuhl.de/opus/volltexte/2008/1373},
  tags = {programming},
  researchr = {https://researchr.org/publication/WongCGLM07},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@article{GorlatchL95,
  title = {Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism},
  author = {Sergei Gorlatch and Christian Lengauer},
  year = {1995},
  researchr = {https://researchr.org/publication/GorlatchL95},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {7},
  number = {6},
  pages = {663-682},
}

@inproceedings{HerrmannL01:0,
  title = {A Transformational Approach which Combines Size Inference and Program Optimization},
  author = {Christoph A. Herrmann and Christian Lengauer},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2196/21960199.htm},
  tags = {optimization, program optimization, systematic-approach, transformation, program transformation},
  researchr = {https://researchr.org/publication/HerrmannL01%3A0},
  cites = {0},
  citedby = {0},
  pages = {199-218},
  booktitle = {saig},
}

@inproceedings{GrieblL94:0,
  title = {On Scanning Space-Time Mapped While Loops},
  author = {Martin Griebl and Christian Lengauer},
  year = {1994},
  researchr = {https://researchr.org/publication/GrieblL94%3A0},
  cites = {0},
  citedby = {0},
  pages = {677-688},
  booktitle = {conpar},
}

@techreport{AKGL:Passau09,
  title = {Type-Safe Feature-Oriented Product Lines},
  author = {Sven  Apel and Christian Kästner and Armin Gr{\"o}{\ss}linger and Christian Lengauer},
  year = {2009},
  month = {JUN},
  tags = {programming languages, object-oriented programming, rule-based, Java, program analysis, completeness, meta programming, model checking, meta-model, modeling language, Variability-Aware Analysis, refinement, language engineering, language modeling, composition, analysis, language design, type system, requirements engineering, model-driven engineering, object-role modeling, type checking, subject-oriented programming, context-aware, Meta-Environment, safe composition, design, product line, systematic-approach, feature-oriented programming},
  researchr = {https://researchr.org/publication/AKGL%3APassau09},
  cites = {0},
  citedby = {0},
  institution = {Department of Informatics and Mathematics, University of Passau},
  number = {MIP-0909},
  address = {Germany},
}

@inproceedings{GrieblL96:0,
  title = {The Loop Parallelizer LooPo-Announcement},
  author = {Martin Griebl and Christian Lengauer},
  year = {1996},
  researchr = {https://researchr.org/publication/GrieblL96%3A0},
  cites = {0},
  citedby = {0},
  pages = {603-604},
  booktitle = {lcpc},
}

@inproceedings{BarnettL91:0,
  title = {The Synthesis of Systolic Programs},
  author = {Michael Barnett and Christian Lengauer},
  year = {1991},
  researchr = {https://researchr.org/publication/BarnettL91%3A0},
  cites = {0},
  citedby = {0},
  pages = {309-325},
  booktitle = {hlppp},
}

@inproceedings{HuangL87:0,
  title = {An Implemented Method for Incremmental Systolic Design},
  author = {Chua-Huang Huang and Christian Lengauer},
  year = {1987},
  tags = {design},
  researchr = {https://researchr.org/publication/HuangL87%3A0},
  cites = {0},
  citedby = {0},
  pages = {160-177},
  booktitle = {parle},
}

@inproceedings{LengauerH86,
  title = {A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks},
  author = {Christian Lengauer and Chua-Huang Huang},
  year = {1986},
  researchr = {https://researchr.org/publication/LengauerH86},
  cites = {0},
  citedby = {0},
  pages = {307-317},
  booktitle = {POPL},
}

@inproceedings{GrieblFL99,
  title = {On Index Set Splitting},
  author = {Martin Griebl and Paul Feautrier and Christian Lengauer},
  year = {1999},
  url = {http://www.computer.org/proceedings/pact/0425/04250274abs.htm},
  researchr = {https://researchr.org/publication/GrieblFL99},
  cites = {0},
  citedby = {0},
  pages = {274-282},
  booktitle = {IEEEpact},
}

@inproceedings{ApelLMK08,
  title = {An Algebra for Features and Feature Composition},
  author = {Sven  Apel and Christian Lengauer and Bernhard Möller and Christian Kästner},
  year = {2008},
  doi = {10.1007/978-3-540-79980-1_4},
  url = {http://dx.doi.org/10.1007/978-3-540-79980-1_4},
  tags = {composition,  algebra},
  researchr = {https://researchr.org/publication/ApelLMK08},
  cites = {0},
  citedby = {0},
  pages = {36-50},
  booktitle = {amast},
}

@article{LengauerBH91,
  title = {Towards Systolizing Compilation},
  author = {Christian Lengauer and Michael Barnett and Duncan G. Hudson III},
  year = {1991},
  researchr = {https://researchr.org/publication/LengauerBH91},
  cites = {0},
  citedby = {0},
  journal = {dc},
  volume = {5},
  pages = {7-24},
}

@inproceedings{LengauerH81,
  title = {A methodolgy for programming with concurrency},
  author = {Christian Lengauer and Eric C. R. Hehner},
  year = {1981},
  tags = {C++, programming},
  researchr = {https://researchr.org/publication/LengauerH81},
  cites = {0},
  citedby = {0},
  pages = {259-270},
  booktitle = {conpar},
}

@article{BarnettL92:0,
  title = {Unimodularity and the Prallelization of Loops},
  author = {Michael Barnett and Christian Lengauer},
  year = {1992},
  researchr = {https://researchr.org/publication/BarnettL92%3A0},
  cites = {0},
  citedby = {0},
  journal = {ppl},
  volume = {2},
  pages = {273-281},
}

@inproceedings{BarnettL93,
  title = {A Systolizing Compilation Scheme for Nested Loops with Linear Bounds},
  author = {Michael Barnett and Christian Lengauer},
  year = {1993},
  researchr = {https://researchr.org/publication/BarnettL93},
  cites = {0},
  citedby = {0},
  pages = {374-398},
  booktitle = {mcmaster},
}

@inproceedings{EllmenreichLG99,
  title = {Application of the Polytope Model to Functional Programs},
  author = {Nils Ellmenreich and Christian Lengauer and Martin Griebl},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1863/18630219.htm},
  tags = {functional programming},
  researchr = {https://researchr.org/publication/EllmenreichLG99},
  cites = {0},
  citedby = {0},
  pages = {219-235},
  booktitle = {lcpc},
}

@inproceedings{EllmenreichL02,
  title = {PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines},
  author = {Nils Ellmenreich and Christian Lengauer},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=118},
  tags = {refinement, parallel programming, programming, abstract machine},
  researchr = {https://researchr.org/publication/EllmenreichL02},
  cites = {0},
  citedby = {0},
  pages = {118-133},
  booktitle = {IFL},
}

@article{LengauerX91,
  title = {A systolic array for pyramidal algorithms},
  author = {Christian Lengauer and Jingling Xue},
  year = {1991},
  doi = {10.1007/BF00925834},
  url = {http://dx.doi.org/10.1007/BF00925834},
  researchr = {https://researchr.org/publication/LengauerX91},
  cites = {0},
  citedby = {0},
  journal = {vlsisp},
  volume = {3},
  number = {3},
  pages = {237-257},
}

@inproceedings{LechnerL95,
  title = {Modal-µ-Maude: Specification and Properties of Concurrent Objects},
  author = {Ulrike Lechner and Christian Lengauer},
  year = {1995},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/LechnerL95},
  cites = {0},
  citedby = {0},
  pages = {43-62},
  booktitle = {Dagstuhl},
}

@article{GrieblFL00,
  title = {Index Set Splitting},
  author = {Martin Griebl and Paul Feautrier and Christian Lengauer},
  year = {2000},
  researchr = {https://researchr.org/publication/GrieblFL00},
  cites = {0},
  citedby = {0},
  journal = {ijpp},
  volume = {28},
  number = {6},
  pages = {607-631},
}

@article{GeiglGL99,
  title = {Termination detection in parallel loop nests with while loops},
  author = {Max Geigl and Martin Griebl and Christian Lengauer},
  year = {1999},
  tags = {termination},
  researchr = {https://researchr.org/publication/GeiglGL99},
  cites = {0},
  citedby = {0},
  journal = {pc},
  volume = {25},
  number = {12},
  pages = {1489-1510},
}

@inproceedings{ApelL08,
  title = {Superimposition: A Language-Independent Approach to Software Composition},
  author = {Sven  Apel and Christian Lengauer},
  year = {2008},
  doi = {10.1007/978-3-540-78789-1_2},
  url = {http://dx.doi.org/10.1007/978-3-540-78789-1_2},
  tags = {composition, systematic-approach},
  researchr = {https://researchr.org/publication/ApelL08},
  cites = {0},
  citedby = {0},
  pages = {20-35},
  booktitle = {SC},
}

@inproceedings{HerrmannLLS99,
  title = {Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining},
  author = {Christoph A. Herrmann and Jan Laitenberger and Christian Lengauer and Christian Schaller},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1685/16850930.htm},
  tags = {optimization, functional programming, parallel programming, program optimization},
  researchr = {https://researchr.org/publication/HerrmannLLS99},
  cites = {0},
  citedby = {0},
  pages = {930-934},
  booktitle = {europar},
}

@article{LengauerGH97,
  title = {The Static Parallelization of Loops and Recursions},
  author = {Christian Lengauer and Sergei Gorlatch and Christoph A. Herrmann},
  year = {1997},
  doi = {10.1023/A:1007904422322},
  url = {http://dx.doi.org/10.1023/A:1007904422322},
  researchr = {https://researchr.org/publication/LengauerGH97},
  cites = {0},
  citedby = {0},
  journal = {tjs},
  volume = {11},
  number = {4},
  pages = {333-353},
}

@inproceedings{HerrmannL97,
  title = {Transformation of Divide & Conquer to Nested Parallel Loops},
  author = {Christoph A. Herrmann and Christian Lengauer},
  year = {1997},
  tags = {transformation},
  researchr = {https://researchr.org/publication/HerrmannL97},
  cites = {0},
  citedby = {0},
  pages = {95-109},
  booktitle = {plilp},
}

@article{HerrmannL96,
  title = {On the Space-Time Mapping of a Class of Divide-and-Conquer Recursions},
  author = {Christoph Armin Herrmann and Christian Lengauer},
  year = {1996},
  doi = {10.1142/S0129626496000479},
  url = {http://dx.doi.org/10.1142/S0129626496000479},
  researchr = {https://researchr.org/publication/HerrmannL96},
  cites = {0},
  citedby = {0},
  journal = {ppl},
  volume = {6},
  number = {4},
  pages = {525-537},
}

@article{WedlerL01,
  title = {On the parallel implementation of a generalized broadcast},
  author = {Christoph Wedler and Christian Lengauer},
  year = {2001},
  researchr = {https://researchr.org/publication/WedlerL01},
  cites = {0},
  citedby = {0},
  journal = {paapp},
  volume = {16},
  number = {1},
  pages = {65-82},
}

@article{AldinucciGLP01,
  title = {Towards parallel programming by transformation: the FAN skeleton framework},
  author = {Marco Aldinucci and Sergei Gorlatch and Christian Lengauer and Susanna Pelagatti},
  year = {2001},
  tags = {parallel programming, programming, transformation, program transformation},
  researchr = {https://researchr.org/publication/AldinucciGLP01},
  cites = {0},
  citedby = {0},
  journal = {paapp},
  volume = {16},
  number = {2-3},
  pages = {87-121},
}

@article{PancakeL01,
  title = {High-performance Java - introduction},
  author = {Cherri M. Pancake and Christian Lengauer},
  year = {2001},
  tags = {Java},
  researchr = {https://researchr.org/publication/PancakeL01},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {44},
  number = {10},
  pages = {98-101},
}

@inproceedings{BarnettL91,
  title = {A Systolizing Compilation Scheme: Abstract},
  author = {Michael Barnett and Christian Lengauer},
  year = {1991},
  researchr = {https://researchr.org/publication/BarnettL91},
  cites = {0},
  citedby = {0},
  pages = {296-297},
  booktitle = {icpp},
}

@article{LengauerX92,
  title = {A systolic array for pyramidal algorithms},
  author = {Christian Lengauer and Jingling Xue},
  year = {1992},
  doi = {10.1007/BF00930620},
  url = {http://dx.doi.org/10.1007/BF00930620},
  researchr = {https://researchr.org/publication/LengauerX92},
  cites = {0},
  citedby = {0},
  journal = {vlsisp},
  volume = {4},
  number = {1},
  pages = {89},
}

@inproceedings{Lengauer03,
  title = {Program Optimization in the Domain of High-Performance Parallelism},
  author = {Christian Lengauer},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3016&spage=73},
  tags = {optimization, program optimization},
  researchr = {https://researchr.org/publication/Lengauer03},
  cites = {0},
  citedby = {0},
  pages = {73-91},
  booktitle = {Dagstuhl},
}

@article{HerrmannL99,
  title = {Parallelization of Divide-and-Conquer by Translation to Nested Loops},
  author = {Christoph A. Herrmann and Christian Lengauer},
  year = {1999},
  tags = {translation},
  researchr = {https://researchr.org/publication/HerrmannL99},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {9},
  number = {3},
  pages = {279-310},
}

@inproceedings{FaberGL01,
  title = {Loop-Carried Code Placement},
  author = {Peter Faber and Martin Griebl and Christian Lengauer},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2150/21500230.htm},
  researchr = {https://researchr.org/publication/FaberGL01},
  cites = {0},
  citedby = {0},
  pages = {230-234},
  booktitle = {europar},
}

@inproceedings{GrieblL96,
  title = {Classifying Loops for Space-Time Mapping},
  author = {Martin Griebl and Christian Lengauer},
  year = {1996},
  researchr = {https://researchr.org/publication/GrieblL96},
  cites = {0},
  citedby = {0},
  pages = {467-474},
  booktitle = {europar},
}

@article{GrieblL94,
  title = {On the Space-Time Mapping of While-Loops},
  author = {Martin Griebl and Christian Lengauer},
  year = {1994},
  researchr = {https://researchr.org/publication/GrieblL94},
  cites = {0},
  citedby = {0},
  journal = {ppl},
  volume = {4},
  pages = {221-232},
}

@article{HuangL87,
  title = {The Derivation of Systolic Implementations of Programs},
  author = {Chua-Huang Huang and Christian Lengauer},
  year = {1987},
  researchr = {https://researchr.org/publication/HuangL87},
  cites = {0},
  citedby = {0},
  journal = {ACTA},
  volume = {24},
  number = {6},
  pages = {595-632},
}

@article{HerrmannL02,
  title = {Using Metaprogramming to Parallelize Functional Specifications},
  author = {Christoph A. Herrmann and Christian Lengauer},
  year = {2002},
  doi = {10.1142/S0129626402000926},
  url = {http://dx.doi.org/10.1142/S0129626402000926},
  researchr = {https://researchr.org/publication/HerrmannL02},
  cites = {0},
  citedby = {0},
  journal = {ppl},
  volume = {12},
  number = {2},
  pages = {193-210},
}

@article{Lengauer90,
  title = {Code Generation for a Systolic Computer},
  author = {Christian Lengauer},
  year = {1990},
  tags = {code generation},
  researchr = {https://researchr.org/publication/Lengauer90},
  cites = {0},
  citedby = {0},
  journal = {SPE},
  volume = {20},
  number = {3},
  pages = {261-282},
}

@inproceedings{GorlatchL94,
  title = {Systematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer Specifications},
  author = {Sergei Gorlatch and Christian Lengauer},
  year = {1994},
  tags = {XML, XML Schema, systematic-approach},
  researchr = {https://researchr.org/publication/GorlatchL94},
  cites = {0},
  citedby = {0},
  pages = {368-375},
  booktitle = {ipps},
}

@inproceedings{FaberGL00,
  title = {Issues of the Automatic Generation of HPF Loop Programs},
  author = {Peter Faber and Martin Griebl and Christian Lengauer},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/2017/20170359.htm},
  researchr = {https://researchr.org/publication/FaberGL00},
  cites = {0},
  citedby = {0},
  pages = {359-362},
  booktitle = {lcpc},
}

@inproceedings{XueL91,
  title = {Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations},
  author = {Jingling Xue and Christian Lengauer},
  year = {1991},
  researchr = {https://researchr.org/publication/XueL91},
  cites = {0},
  citedby = {0},
  pages = {181-186},
  booktitle = {ccc},
}

@article{Lengauer82:1,
  title = {A Methodology for Programming with Concurrency: The Formalism},
  author = {Christian Lengauer},
  year = {1982},
  tags = {programming},
  researchr = {https://researchr.org/publication/Lengauer82%3A1},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {2},
  number = {1},
  pages = {19-52},
}

@inproceedings{LechnerLNW96,
  title = {(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly},
  author = {Ulrike Lechner and Christian Lengauer and Friederike Nickl and Martin Wirsing},
  year = {1996},
  url = {http://link.springer.de/link/service/series/0558/bibs/1098/10980232.htm},
  tags = {meta-model, reuse, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/LechnerLNW96},
  cites = {0},
  citedby = {0},
  pages = {232-247},
  booktitle = {ECOOP},
}

@article{GrieblFL04,
  title = {Space-time mapping and tiling: a helpful combination},
  author = {Martin Griebl and Peter Faber and Christian Lengauer},
  year = {2004},
  doi = {10.1002/cpe.772},
  url = {http://dx.doi.org/10.1002/cpe.772},
  researchr = {https://researchr.org/publication/GrieblFL04},
  cites = {0},
  citedby = {0},
  journal = {concurrency},
  volume = {16},
  number = {2-3},
  pages = {221-246},
}

@inproceedings{LiuBL06,
  title = {Feature oriented refactoring of legacy applications},
  author = {Jia Liu and Don S. Batory and Christian Lengauer},
  year = {2006},
  doi = {10.1145/1134303},
  url = {http://doi.acm.org/10.1145/1134303},
  tags = {refactoring},
  researchr = {https://researchr.org/publication/LiuBL06},
  cites = {0},
  citedby = {0},
  pages = {112-121},
  booktitle = {ICSE},
}

@inproceedings{AKGL:SC09,
  title = {Feature (De)composition in Functional Programming},
  author = {Sven  Apel and Christian Kästner and Armin Größlinger and Christian Lengauer},
  year = {2009},
  month = {JUL},
  doi = {10.1007/978-3-642-02655-3_3},
  url = {http://www.springerlink.com/content/m0q4530571t18042/},
  tags = {programming languages, object-oriented programming, FeatureHouse, fosd, rule-based, meta programming, case study, separation of concerns, language engineering, software language engineering, composition, functional programming, Haskell, software engineering, programming paradigms, programming, subject-oriented programming, context-aware, Meta-Environment, feature-oriented programming, meta-objects, CIDE},
  researchr = {https://researchr.org/publication/AKGL%3ASC09},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 8th International Conference on Software Composition (SC)},
}

@article{HerrmannL00,
  title = {HDC: A Higher-Order Language for Divide-and-Conquer},
  author = {Christoph A. Herrmann and Christian Lengauer},
  year = {2000},
  researchr = {https://researchr.org/publication/HerrmannL00},
  cites = {0},
  citedby = {0},
  journal = {ppl},
  volume = {10},
  number = {2/3},
  pages = {239-250},
}

@inproceedings{ApelKL09,
  title = {Vergleich und Integration von Komposition und Annotation zur Implementierung von Produktlinien},
  author = {Sven  Apel and Christian Kästner and Christian Lengauer},
  year = {2009},
  tags = {FeatureHouse, fosd, CIDE},
  researchr = {https://researchr.org/publication/ApelKL09},
  cites = {0},
  citedby = {0},
  pages = {101-112},
  booktitle = {se},
}

@inproceedings{LengauerSA89,
  title = {A Mechanically Derived Systolic Implementation of Pyramid Initialization},
  author = {Christian Lengauer and Bikash Sabata and Farshid Arman},
  year = {1989},
  researchr = {https://researchr.org/publication/LengauerSA89},
  cites = {0},
  citedby = {0},
  pages = {90-105},
  booktitle = {msiw},
}

@article{BroyL91,
  title = {On Denotational versus Predicative Semantics},
  author = {Manfred Broy and Christian Lengauer},
  year = {1991},
  tags = {semantics, denotational semantics},
  researchr = {https://researchr.org/publication/BroyL91},
  cites = {0},
  citedby = {0},
  journal = {jcss},
  volume = {42},
  number = {1},
  pages = {1-29},
}

@article{HuangL89a,
  title = {An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem},
  author = {Chua-Huang Huang and Christian Lengauer},
  year = {1989},
  tags = { algebra, incremental},
  researchr = {https://researchr.org/publication/HuangL89a},
  cites = {0},
  citedby = {0},
  journal = {ACTA},
  volume = {27},
  number = {2},
  pages = {97-124},
}

@inproceedings{LengauerH84,
  title = {The Static Derivation of Concurrency and its Mechanzed Certification},
  author = {Christian Lengauer and Chua-Huang Huang},
  year = {1984},
  tags = {certification},
  researchr = {https://researchr.org/publication/LengauerH84},
  cites = {0},
  citedby = {0},
  pages = {131-150},
  booktitle = {concur},
}

@article{Lengauer85,
  title = {On the Role of Automated Theorem Proving in the Compile-Time Derivation of Concurrency},
  author = {Christian Lengauer},
  year = {1985},
  tags = {compiler},
  researchr = {https://researchr.org/publication/Lengauer85},
  cites = {0},
  citedby = {0},
  journal = {JAR},
  volume = {1},
  number = {1},
  pages = {75-101},
}

@inproceedings{Lengauer89,
  title = {Towards Systolizing Compilation: An Overview},
  author = {Christian Lengauer},
  year = {1989},
  researchr = {https://researchr.org/publication/Lengauer89},
  cites = {0},
  citedby = {0},
  pages = {253-272},
  booktitle = {parle},
}

@inproceedings{WongCGLM07a,
  title = {07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism},
  author = {David Chi-Leung Wong and Albert Cohen and María Jesús Garzarán and Christian Lengauer and Samuel P. Midkiff},
  year = {2007},
  url = {http://drops.dagstuhl.de/opus/volltexte/2008/1377},
  tags = {programming},
  researchr = {https://researchr.org/publication/WongCGLM07a},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@article{LengauerT06,
  title = {Preface},
  author = {Christian Lengauer and Walid Taha},
  year = {2006},
  doi = {10.1016/j.scico.2006.05.001},
  url = {http://dx.doi.org/10.1016/j.scico.2006.05.001},
  researchr = {https://researchr.org/publication/LengauerT06},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {62},
  number = {1},
  pages = {1-2},
}

@inproceedings{LengauerS89,
  title = {The Projection of Systolic Programs},
  author = {Christian Lengauer and Jeff W. Sanders},
  year = {1989},
  researchr = {https://researchr.org/publication/LengauerS89},
  cites = {0},
  citedby = {0},
  pages = {307-324},
  booktitle = {mpc},
}

@article{WedlerL98,
  title = {On Linear List Recursion in Parallel},
  author = {Christoph Wedler and Christian Lengauer},
  year = {1998},
  url = {http://link.springer.de/link/service/journals/00236/bibs/8035010/80350875.htm},
  researchr = {https://researchr.org/publication/WedlerL98},
  cites = {0},
  citedby = {0},
  journal = {ACTA},
  volume = {35},
  number = {10},
  pages = {875-909},
}

@inproceedings{LechnerLW94,
  title = {An Object-Oriented Airport: Specification and Refinement in Maude},
  author = {Ulrike Lechner and Christian Lengauer and Martin Wirsing},
  year = {1994},
  tags = {meta-model, refinement, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/LechnerLW94},
  cites = {0},
  citedby = {0},
  pages = {351-367},
  booktitle = {compass},
}

@inproceedings{Lengauer90:0,
  title = {Wie kann man imperative Programme auf eine Systolisierung vorbereiten?},
  author = {Christian Lengauer},
  year = {1990},
  researchr = {https://researchr.org/publication/Lengauer90%3A0},
  cites = {0},
  citedby = {0},
  pages = {527-536},
  booktitle = {gi},
}

@article{LengauerS90,
  title = {The Projection of Systolic Programs},
  author = {Christian Lengauer and Jeff W. Sanders},
  year = {1990},
  researchr = {https://researchr.org/publication/LengauerS90},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {2},
  number = {3},
  pages = {273-293},
}

@inproceedings{Lopez-HerrejonBL06,
  title = {A disciplined approach to aspect composition},
  author = {Roberto E. Lopez-Herrejon and Don S. Batory and Christian Lengauer},
  year = {2006},
  doi = {10.1145/1111542.1111554},
  url = {http://doi.acm.org/10.1145/1111542.1111554},
  tags = {composition, e-science, systematic-approach},
  researchr = {https://researchr.org/publication/Lopez-HerrejonBL06},
  cites = {0},
  citedby = {0},
  pages = {68-77},
  booktitle = {PEPM},
}
@proceedings{europar:1997,
  title = {Euro-Par  97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings},
  year = {1997},
  researchr = {https://researchr.org/publication/europar%3A1997},
  cites = {0},
  citedby = {0},
  booktitle = {Euro-Par  97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings},
  conference = {europar},
  editor = {Christian Lengauer and Martin Griebl and Sergei Gorlatch},
  volume = {1300},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63440-1},
}

@proceedings{dagstuhl:2003dspg,
  title = {Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers},
  year = {2004},
  researchr = {https://researchr.org/publication/dagstuhl%3A2003dspg},
  cites = {0},
  citedby = {0},
  booktitle = {Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers},
  conference = {Dagstuhl},
  editor = {Christian Lengauer and Don S. Batory and Charles Consel and Martin Odersky},
  volume = {3016},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22119-0},
}

@proceedings{dagstuhl:2007P7361,
  title = {Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007},
  year = {2008},
  tags = {programming},
  researchr = {https://researchr.org/publication/dagstuhl%3A2007P7361},
  cites = {0},
  citedby = {0},
  booktitle = {Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007},
  conference = {Dagstuhl},
  editor = {Albert Cohen and María Jesús Garzarán and Christian Lengauer and Samuel P. Midkiff},
  volume = {07361},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}