The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christian Lengauer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin Griebl, Paul Feautrier, Christian Lengauer
    On Index Set Splitting. [Citation Graph (0, 0)][DBLP]
    IEEE PACT, 1999, pp:274-282 [Conf]
  2. Martin Griebl, Christian Lengauer, Sabine Wetzel
    Code Generation in the Polytope Model. [Citation Graph (0, 0)][DBLP]
    IEEE PACT, 1998, pp:106-111 [Conf]
  3. Jingling Xue, Christian Lengauer
    Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations. [Citation Graph (0, 0)][DBLP]
    Algorithms and Parallel VLSI Architectures, 1991, pp:181-186 [Conf]
  4. Ulrike Lechner, Christian Lengauer, Martin Wirsing
    An Object-Oriented Airport: Specification and Refinement in Maude. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:351-367 [Conf]
  5. Christian Lengauer
    Loop Parallelization in the Polytope Model. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:398-416 [Conf]
  6. Christian Lengauer, Chua-Huang Huang
    The Static Derivation of Concurrency and its Mechanzed Certification. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:131-150 [Conf]
  7. Martin Griebl, Christian Lengauer
    On Scanning Space-Time Mapped While Loops. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1994, pp:677-688 [Conf]
  8. Michael Barnett, Christian Lengauer
    Unimodularity Considered Non-Essential. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1992, pp:659-664 [Conf]
  9. Christian Lengauer, Eric C. R. Hehner
    A methodolgy for programming with concurrency. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1981, pp:259-270 [Conf]
  10. Ulrike Lechner, Christian Lengauer
    Modal-µ-Maude: Specification and Properties of Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    Object Orientation with Parallelism and Persistence, 1995, pp:43-62 [Conf]
  11. Christian Lengauer
    Program Optimization in the Domain of High-Performance Parallelism. [Citation Graph (0, 0)][DBLP]
    Domain-Specific Program Generation, 2003, pp:73-91 [Conf]
  12. Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing
    (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1996, pp:232-247 [Conf]
  13. Peter Faber, Martin Griebl, Christian Lengauer
    Loop-Carried Code Placement. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2001, pp:230-234 [Conf]
  14. Peter Faber, Martin Griebl, Christian Lengauer
    Replicated Placements in the Polyhedron Model. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2003, pp:303-308 [Conf]
  15. Martin Griebl, Christian Lengauer
    Classifying Loops for Space-Time Mapping. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. I, 1996, pp:467-474 [Conf]
  16. Christoph A. Herrmann, Jan Laitenberger, Christian Lengauer, Christian Schaller
    Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1999, pp:930-934 [Conf]
  17. Christian Lengauer
    Wie kann man imperative Programme auf eine Systolisierung vorbereiten? [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 1990, pp:527-536 [Conf]
  18. Michael Barnett, Christian Lengauer
    The Synthesis of Systolic Programs. [Citation Graph (0, 0)][DBLP]
    Research Directions in High-Level Parallel Programming Languages, 1991, pp:309-325 [Conf]
  19. Michael Barnett, Christian Lengauer
    A Systolizing Compilation Scheme: Abstract. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1991, pp:296-297 [Conf]
  20. Jia Liu, Don S. Batory, Christian Lengauer
    Feature oriented refactoring of legacy applications. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:112-121 [Conf]
  21. Nils Ellmenreich, Christian Lengauer
    PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines. [Citation Graph (0, 0)][DBLP]
    IFL, 2002, pp:118-133 [Conf]
  22. Sergei Gorlatch, Christian Lengauer
    Systematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer Specifications. [Citation Graph (0, 0)][DBLP]
    IPPS, 1994, pp:368-375 [Conf]
  23. Sergei Gorlatch, Christoph Wedler, Christian Lengauer
    Optimization Rules for Programming with Collective Operations. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP, 1999, pp:492-499 [Conf]
  24. Nils Ellmenreich, Christian Lengauer, Martin Griebl
    Application of the Polytope Model to Functional Programs. [Citation Graph (0, 0)][DBLP]
    LCPC, 1999, pp:219-235 [Conf]
  25. Peter Faber, Martin Griebl, Christian Lengauer
    Issues of the Automatic Generation of HPF Loop Programs. [Citation Graph (0, 0)][DBLP]
    LCPC, 2000, pp:359-362 [Conf]
  26. Martin Griebl, Christian Lengauer
    The Loop Parallelizer LooPo-Announcement. [Citation Graph (0, 0)][DBLP]
    LCPC, 1996, pp:603-604 [Conf]
  27. Michael Barnett, Christian Lengauer
    A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:374-398 [Conf]
  28. Christian Lengauer, Jeff W. Sanders
    The Projection of Systolic Programs. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:307-324 [Conf]
  29. Christian Lengauer, Bikash Sabata, Farshid Arman
    A Mechanically Derived Systolic Implementation of Pyramid Initialization. [Citation Graph (0, 0)][DBLP]
    Hardware Specification, Verification and Synthesis, 1989, pp:90-105 [Conf]
  30. Bruno Bacci, Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti
    Skeletons and Transformations in an Integrated Parallel Programming Environment. [Citation Graph (0, 0)][DBLP]
    PaCT, 1999, pp:13-27 [Conf]
  31. Christian Lengauer
    Towards Systolizing Compilation: An Overview. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1989, pp:253-272 [Conf]
  32. Chua-Huang Huang, Christian Lengauer
    An Implemented Method for Incremmental Systolic Design. [Citation Graph (0, 0)][DBLP]
    PARLE (1), 1987, pp:160-177 [Conf]
  33. Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer
    A disciplined approach to aspect composition. [Citation Graph (0, 0)][DBLP]
    PEPM, 2006, pp:68-77 [Conf]
  34. Christoph A. Herrmann, Christian Lengauer
    Transformation of Divide & Conquer to Nested Parallel Loops. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:95-109 [Conf]
  35. Christian Lengauer, Chua-Huang Huang
    A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. [Citation Graph (0, 0)][DBLP]
    POPL, 1986, pp:307-317 [Conf]
  36. Christoph A. Herrmann, Christian Lengauer
    A Transformational Approach which Combines Size Inference and Program Optimization. [Citation Graph (0, 0)][DBLP]
    SAIG, 2001, pp:199-218 [Conf]
  37. Sergei Gorlatch, Christian Lengauer
    Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2000, v:36, n:9/10, pp:761-803 [Journal]
  38. Chua-Huang Huang, Christian Lengauer
    The Derivation of Systolic Implementations of Programs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1987, v:24, n:6, pp:595-632 [Journal]
  39. Chua-Huang Huang, Christian Lengauer
    An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1989, v:27, n:2, pp:97-124 [Journal]
  40. Christoph Wedler, Christian Lengauer
    On Linear List Recursion in Parallel. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:10, pp:875-909 [Journal]
  41. Cherri M. Pancake, Christian Lengauer
    High-performance Java - introduction. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2001, v:44, n:10, pp:98-101 [Journal]
  42. Martin Griebl, Peter Faber, Christian Lengauer
    Space-time mapping and tiling: a helpful combination. [Citation Graph (0, 0)][DBLP]
    Concurrency and Computation: Practice and Experience, 2004, v:16, n:2-3, pp:221-246 [Journal]
  43. Christian Lengauer, Michael Barnett, Duncan G. Hudson III
    Towards Systolizing Compilation. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1991, v:5, n:, pp:7-24 [Journal]
  44. Sergei Gorlatch, Christian Lengauer
    Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:6, pp:663-682 [Journal]
  45. Christian Lengauer, Jeff W. Sanders
    The Projection of Systolic Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1990, v:2, n:3, pp:273-293 [Journal]
  46. Martin Griebl, Paul Feautrier, Christian Lengauer
    Index Set Splitting. [Citation Graph (0, 0)][DBLP]
    International Journal of Parallel Programming, 2000, v:28, n:6, pp:607-631 [Journal]
  47. Christian Lengauer
    On the Role of Automated Theorem Proving in the Compile-Time Derivation of Concurrency. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:1, pp:75-101 [Journal]
  48. Manfred Broy, Christian Lengauer
    On Denotational versus Predicative Semantics. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1991, v:42, n:1, pp:1-29 [Journal]
  49. Christoph A. Herrmann, Christian Lengauer
    Parallelization of Divide-and-Conquer by Translation to Nested Loops. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:3, pp:279-310 [Journal]
  50. Armin Größlinger, Martin Griebl, Christian Lengauer
    Quantifier elimination in automatic loop parallelization. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2006, v:41, n:11, pp:1206-1221 [Journal]
  51. Marco Aldinucci, Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti
    Towards parallel programming by transformation: the FAN skeleton framework. [Citation Graph (0, 0)][DBLP]
    Parallel Algorithms Appl., 2001, v:16, n:2-3, pp:87-121 [Journal]
  52. Christoph Wedler, Christian Lengauer
    On the parallel implementation of a generalized broadcast. [Citation Graph (0, 0)][DBLP]
    Parallel Algorithms Appl., 2001, v:16, n:1, pp:65-82 [Journal]
  53. Max Geigl, Martin Griebl, Christian Lengauer
    Termination detection in parallel loop nests with while loops. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1999, v:25, n:12, pp:1489-1510 [Journal]
  54. Michael Barnett, Christian Lengauer
    Unimodularity and the Prallelization of Loops. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1992, v:2, n:, pp:273-281 [Journal]
  55. Martin Griebl, Christian Lengauer
    On the Space-Time Mapping of While-Loops. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1994, v:4, n:, pp:221-232 [Journal]
  56. Christoph A. Herrmann, Christian Lengauer
    HDC: A Higher-Order Language for Divide-and-Conquer. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2000, v:10, n:2/3, pp:239-250 [Journal]
  57. Christoph A. Herrmann, Christian Lengauer
    Using Metaprogramming to Parallelize Functional Specifications. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2002, v:12, n:2, pp:193-210 [Journal]
  58. Eike Best, Christian Lengauer
    Semantic Independence. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1989, v:13, n:1, pp:23-50 [Journal]
  59. Christian Lengauer
    A Methodology for Programming with Concurrency: The Formalism. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1982, v:2, n:1, pp:19-52 [Journal]
  60. Christian Lengauer, Eric C. R. Hehner
    A Methodology for Programming with Concurrency: An Informal Presentation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1982, v:2, n:1, pp:1-18 [Journal]
  61. Christian Lengauer, Walid Taha
    Preface. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:62, n:1, pp:1-2 [Journal]
  62. Christian Lengauer
    Code Generation for a Systolic Computer. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1990, v:20, n:3, pp:261-282 [Journal]
  63. Christian Lengauer, Sergei Gorlatch, Christoph A. Herrmann
    The Static Parallelization of Loops and Recursions. [Citation Graph (0, 0)][DBLP]
    The Journal of Supercomputing, 1997, v:11, n:4, pp:333-353 [Journal]

  64. An Algebra for Features and Feature Composition. [Citation Graph (, )][DBLP]


  65. 07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism. [Citation Graph (, )][DBLP]


  66. 07361 Introduction -- Programming Models for Ubiquitous Parallelism. [Citation Graph (, )][DBLP]


  67. Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement. [Citation Graph (, )][DBLP]


  68. FEATUREHOUSE: Language-independent, automated software composition. [Citation Graph (, )][DBLP]


  69. An analysis of the variability in forty preprocessor-based software product lines. [Citation Graph (, )][DBLP]


  70. RobbyDBMS: a case study on hardware/software product line engineering. [Citation Graph (, )][DBLP]


  71. Vergleich und Integration von Komposition und Annotation zur Implementierung von Produktlinien. [Citation Graph (, )][DBLP]


  72. Superimposition: A Language-Independent Approach to Software Composition. [Citation Graph (, )][DBLP]


  73. Feature (De)composition in Functional Programming. [Citation Graph (, )][DBLP]


  74. Semistructured Merge in Revision Control Systems. [Citation Graph (, )][DBLP]


  75. Type safety for feature-oriented product lines. [Citation Graph (, )][DBLP]


  76. Costing stepwise refinements of parallel programs. [Citation Graph (, )][DBLP]


  77. Special Issue: Euro-Par 2007. [Citation Graph (, )][DBLP]


  78. Special Issue: Euro-Par 2008. [Citation Graph (, )][DBLP]


  79. Type-Safe Feature-Oriented Product Lines [Citation Graph (, )][DBLP]


Search in 0.036secs, Finished in 0.042secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002