| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sven Apel, Christian Lengauer, Julia L. Lawall |
Preface to the special issue on feature-oriented software development (FOSD 2009).  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Bougé, Christian Lengauer |
Special Issue: Euro-Par 2010. |
Concurrency and Computation: Practice and Experience |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Bougé, Christian Lengauer |
Special Issue: Euro-Par 2009. |
Concurrency and Computation: Practice and Experience |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer, Sven Apel |
Feature-Oriented System Design and Engineering. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Paul Feautrier, Christian Lengauer |
Polyhedron Model. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer |
Owicki-Gries Method of Axiomatic Verification. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer |
Monitors, Axiomatic Verification of. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Fränzle, Christian Lengauer |
Semantic Independence. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Scholz, Thomas Thüm, Sven Apel, Christian Lengauer |
Automatic detection of feature interactions using the Java modeling language: an experience report. |
SPLC Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Apel, Jörg Liebig, Benjamin Brandl, Christian Lengauer, Christian Kästner |
Semistructured merge: rethinking merge in revision control systems. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner |
An algebraic foundation for automatic feature-based program synthesis. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer |
Type safety for feature-oriented product lines. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer |
Type-Safe Feature-Oriented Product Lines |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sven Apel, Wolfgang Scholz, Christian Lengauer, Christian Kästner |
Language-independent reference checking in software product lines. |
FOSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Apel, Wolfgang Scholz, Christian Lengauer, Christian Kästner |
Detecting Dependences and Interactions in Feature-Oriented Design. |
ISSRE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Liebig, Sven Apel, Christian Lengauer, Christian Kästner, Michael Schulze |
An analysis of the variability in forty preprocessor-based software product lines. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
C preprocessor, empirical study, software product lines |
| 1 | Sven Apel, Jörg Liebig, Christian Lengauer, Christian Kästner, William R. Cook |
Semistructured Merge in Revision Control Systems. |
VaMoS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luc Bougé, Christian Lengauer |
Special Issue: Euro-Par 2008. |
Concurrency and Computation: Practice and Experience |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Bougé, Christian Lengauer |
Special Issue: Euro-Par 2007. |
Concurrency and Computation: Practice and Experience |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer |
Feature (De)composition in Functional Programming. |
Software Composition |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Liebig, Sven Apel, Christian Lengauer, Thomas Leich |
RobbyDBMS: a case study on hardware/software product line engineering. |
FOSD |
2009 |
DBLP DOI BibTeX RDF |
FeatureC++, hardware product lines, software product lines, domain engineering, feature oriented software development |
| 1 | Sven Apel, Christian Kästner, Christian Lengauer |
Vergleich und Integration von Komposition und Annotation zur Implementierung von Produktlinien. |
Software Engineering |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sven Apel, Christian Kästner, Christian Lengauer |
FEATUREHOUSE: Language-independent, automated software composition. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Apel, Christian Lengauer |
Superimposition: A Language-Independent Approach to Software Composition. |
Software Composition |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner |
An Algebra for Features and Feature Composition. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff (eds.) |
Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007 |
Programming Models for Ubiquitous Parallelism |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sven Apel, Christian Kästner, Christian Lengauer |
Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
safe feature composition, type systems, stepwise refinement, feature-oriented programming, featherweight java |
| 1 | Nils Ellmenreich, Christian Lengauer |
Costing stepwise refinements of parallel programs. |
Computer Languages, Systems & Structures |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chi-Leung Wong, Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff |
07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism. |
Programming Models for Ubiquitous Parallelism |
2007 |
DBLP BibTeX RDF |
|
| 1 | David Chi-Leung Wong, Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff |
07361 Introduction -- Programming Models for Ubiquitous Parallelism. |
Programming Models for Ubiquitous Parallelism |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christian Lengauer, Walid Taha |
Preface. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Größlinger, Martin Griebl, Christian Lengauer |
Quantifier elimination in automatic loop parallelization. |
J. Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer |
A disciplined approach to aspect composition. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Liu, Don S. Batory, Christian Lengauer |
Feature oriented refactoring of legacy applications. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
program algebra, refactoring, features, product lines, program synthesis, feature interactions |
| 1 | Armin Größlinger, Martin Griebl, Christian Lengauer |
Quantifier Elimination in Automatic Loop Parallelization. |
Algorithmic Algebra and Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Martin Griebl, Peter Faber, Christian Lengauer |
Space-time mapping and tiling: a helpful combination. |
Concurrency and Computation: Practice and Experience |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky (eds.) |
Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers |
Domain-Specific Program Generation |
2004 |
DBLP BibTeX RDF |
|
| 1 | Peter Faber, Martin Griebl, Christian Lengauer |
Replicated Placements in the Polyhedron Model. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer |
Program Optimization in the Domain of High-Performance Parallelism. |
Domain-Specific Program Generation |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph A. Herrmann, Christian Lengauer |
Using Metaprogramming to Parallelize Functional Specifications. |
Parallel Processing Letters |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Ellmenreich, Christian Lengauer |
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines. |
IFL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cherri M. Pancake, Christian Lengauer |
High-performance Java - introduction. |
Commun. ACM |
2001 |
DBLP BibTeX RDF |
|
| 1 | Christoph Wedler, Christian Lengauer |
On the parallel implementation of a generalized broadcast. |
Parallel Algorithms Appl. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Aldinucci, Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti |
Towards parallel programming by transformation: the FAN skeleton framework. |
Parallel Algorithms Appl. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Faber, Martin Griebl, Christian Lengauer |
Loop-Carried Code Placement. |
Euro-Par |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph A. Herrmann, Christian Lengauer |
A Transformational Approach which Combines Size Inference and Program Optimization. |
SAIG |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Griebl, Paul Feautrier, Christian Lengauer |
Index Set Splitting. |
International Journal of Parallel Programming |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei Gorlatch, Christian Lengauer |
Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach. |
Acta Inf. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph A. Herrmann, Christian Lengauer |
HDC: A Higher-Order Language for Divide-and-Conquer. |
Parallel Processing Letters |
2000 |
DBLP BibTeX RDF |
|
| 1 | Peter Faber, Martin Griebl, Christian Lengauer |
Issues of the Automatic Generation of HPF Loop Programs. |
LCPC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Geigl, Martin Griebl, Christian Lengauer |
Termination detection in parallel loop nests with while loops. |
Parallel Computing |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph A. Herrmann, Christian Lengauer |
Parallelization of Divide-and-Conquer by Translation to Nested Loops. |
J. Funct. Program. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Christoph A. Herrmann, Jan Laitenberger, Christian Lengauer, Christian Schaller |
Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
parallelization, functional programming, Haskell, skeletons, inlining, higher-order function |
| 1 | Martin Griebl, Paul Feautrier, Christian Lengauer |
On Index Set Splitting. |
IEEE PACT |
1999 |
DBLP DOI BibTeX RDF |
index set splitting, polytope model, Automatic parallelization, loop parallelization |
| 1 | Sergei Gorlatch, Christoph Wedler, Christian Lengauer |
Optimization Rules for Programming with Collective Operations. (PDF / PS) |
IPPS/SPDP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Bacci, Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti |
Skeletons and Transformations in an Integrated Parallel Programming Environment. |
PaCT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Ellmenreich, Christian Lengauer, Martin Griebl |
Application of the Polytope Model to Functional Programs. |
LCPC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Wedler, Christian Lengauer |
On Linear List Recursion in Parallel. |
Acta Inf. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Griebl, Christian Lengauer, Sabine Wetzel |
Code Generation in the Polytope Model. |
IEEE PACT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer, Sergei Gorlatch, Christoph A. Herrmann |
The Static Parallelization of Loops and Recursions. |
The Journal of Supercomputing |
1997 |
DBLP DOI BibTeX RDF |
polytope model, parallelization, skeletons, divide-and-conquer, homomorphism, SPMD, higher-order function, loop nest |
| 1 | Christian Lengauer, Martin Griebl, Sergei Gorlatch (eds.) |
Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings |
Euro-Par |
1997 |
DBLP BibTeX RDF |
|
| 1 | Christoph A. Herrmann, Christian Lengauer |
Transformation of Divide & Conquer to Nested Parallel Loops. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
parallelization, Haskell, skeleton, divide-and-conquer, space-time mapping, equational reasoning |
| 1 | Christoph Armin Herrmann, Christian Lengauer |
On the Space-Time Mapping of a Class of Divide-and-Conquer Recursions. |
Parallel Processing Letters |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Griebl, Christian Lengauer |
Classifying Loops for Space-Time Mapping. |
Euro-Par, Vol. I |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing |
(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. |
ECOOP |
1996 |
DBLP DOI BibTeX RDF |
Concurrent rewriting, parallelism, reusability, Maude, inheritance anomaly |
| 1 | Martin Griebl, Christian Lengauer |
The Loop Parallelizer LooPo-Announcement. |
LCPC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Griebl, Christian Lengauer |
A communication scheme for the distributed execution of loop nests with while loops. |
International Journal of Parallel Programming |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei Gorlatch, Christian Lengauer |
Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism. |
Formal Asp. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrike Lechner, Christian Lengauer |
Modal-µ-Maude: Specification and Properties of Concurrent Objects. |
Object Orientation with Parallelism and Persistence |
1995 |
DBLP BibTeX RDF |
|
| 1 | Martin Griebl, Christian Lengauer |
On the Space-Time Mapping of While-Loops. |
Parallel Processing Letters |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ulrike Lechner, Christian Lengauer, Martin Wirsing |
An Object-Oriented Airport: Specification and Refinement in Maude. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei Gorlatch, Christian Lengauer |
Systematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer Specifications. |
IPPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Martin Griebl, Christian Lengauer |
On Scanning Space-Time Mapped While Loops. |
CONPAR |
1994 |
DBLP DOI BibTeX RDF |
while loop, parallelizing compilation, loop parallelization, space-time mapping |
| 1 | Christian Lengauer |
Loop Parallelization in the Polytope Model. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Barnett, Christian Lengauer |
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Barnett, Christian Lengauer |
Unimodularity and the Prallelization of Loops. |
Parallel Processing Letters |
1992 |
DBLP BibTeX RDF |
|
| 1 | Christian Lengauer, Jingling Xue |
A systolic array for pyramidal algorithms. |
VLSI Signal Processing |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Barnett, Christian Lengauer |
Unimodularity Considered Non-Essential. |
CONPAR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer, Jingling Xue |
A systolic array for pyramidal algorithms. |
VLSI Signal Processing |
1991 |
DBLP DOI BibTeX RDF |
pyramid node linking, systolic design, image processing, image segmentation, systolic array |
| 1 | Christian Lengauer, Michael Barnett, Duncan G. Hudson III |
Towards Systolizing Compilation. |
Distributed Computing |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Christian Lengauer |
On Denotational versus Predicative Semantics. |
J. Comput. Syst. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Barnett, Christian Lengauer |
A Systolizing Compilation Scheme: Abstract. |
ICPP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Michael Barnett, Christian Lengauer |
The Synthesis of Systolic Programs. |
Research Directions in High-Level Parallel Programming Languages |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingling Xue, Christian Lengauer |
Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations. |
Algorithms and Parallel VLSI Architectures |
1991 |
DBLP BibTeX RDF |
|
| 1 | Christian Lengauer, Jeff W. Sanders |
The Projection of Systolic Programs. |
Formal Asp. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer |
Code Generation for a Systolic Computer. |
Softw., Pract. Exper. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer |
Wie kann man imperative Programme auf eine Systolisierung vorbereiten? |
GI Jahrestagung |
1990 |
DBLP BibTeX RDF |
|
| 1 | Eike Best, Christian Lengauer |
Semantic Independence. |
Sci. Comput. Program. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Chua-Huang Huang, Christian Lengauer |
An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem. |
Acta Inf. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer |
Towards Systolizing Compilation: An Overview. |
PARLE |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer, Bikash Sabata, Farshid Arman |
A Mechanically Derived Systolic Implementation of Pyramid Initialization. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer, Jeff W. Sanders |
The Projection of Systolic Programs. |
MPC |
1989 |
DBLP BibTeX RDF |
|
| 1 | Chua-Huang Huang, Christian Lengauer |
The Derivation of Systolic Implementations of Programs. |
Acta Inf. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Chua-Huang Huang, Christian Lengauer |
An Implemented Method for Incremmental Systolic Design. |
PARLE |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer, Chua-Huang Huang |
A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. |
POPL |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer |
On the Role of Automated Theorem Proving in the Compile-Time Derivation of Concurrency. |
J. Autom. Reasoning |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer, Chua-Huang Huang |
The Static Derivation of Concurrency and its Mechanzed Certification. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer |
A Methodology for Programming with Concurrency: The Formalism. |
Sci. Comput. Program. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer, Eric C. R. Hehner |
A Methodology for Programming with Concurrency: An Informal Presentation. |
Sci. Comput. Program. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lengauer, Eric C. R. Hehner |
A methodolgy for programming with concurrency. |
CONPAR |
1981 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")