MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Christian Prehofer" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

37 documents found, showing 1 through 10. Next 10 →

ATOM

From Inheritance to Feature Interaction (Extended Abstract)
by Christian Prehofer — 1997
…From Inheritance to Feature Interaction Christian Prehofer --- Extended Abstract --- 1…
Add To MetaCart

Plug-and-Play Composition of Features and Feature Interactions with Statechart Diagrams
by Christian Prehofer — 2003 — In: FIW
…Plug-and-Play Composition of Features and Feature Interactions with Statechart Diagrams Christian…
Cited by 5 (0 self) – Add To MetaCart

Graphical Composition of Components with Feature Interactions
by Christian Prehofer — 2002 — in Workshop on Aspect-Oriented Modeling with UML (held with AOSD-2002
…Graphical Composition of Components with Feature Interactions Christian Prehofer ∗ In this paper…
Cited by 1 (0 self) – Add To MetaCart

Some Applications of Functional-Logic Programming
by Christian Prehofer — 1996
…Multi-Paradigm Logic Programming Some Applications of Functional-Logic Programming Christian…
Cited by 1 (0 self) – Add To MetaCart

Higher-order narrowing
by Christian Prehofer — 1994 — PROC. NINTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
…Higher-Order Narrowing Christian Prehofer Institut fur Informatik, TU Munchen, 80290 Munchen…
Cited by 18 (8 self) – Add To MetaCart

A Call-by-Need Strategy for Higher-Order Functional-Logic Programming
by Christian Prehofer — 1995 — LOGIC PROGRAMMING. PROC. OF THE 1995 INTERNATIONAL SYMPOSIUM
…A Call-by-Need Strategy for Higher-Order Functional-Logic Programming Christian Prehofer…
Cited by 11 (4 self) – Add To MetaCart

Higher-Order Narrowing with Convergent Systems
by Christian Prehofer — 1995 — In 4th Int. Conf. Algebraic Methodology and Software Technology, AMAST '95. Springer LNCS 936
…Higher-Order Narrowing with Convergent Systems Christian Prehofer ? Technische Universitat Munchen…
Cited by 6 (6 self) – Add To MetaCart

Higher-Order Functional-Logic Programming: A Systematic Development
by Christian Prehofer — 1997 — In Proc. of the Second Fuji International Workshop on Functional and Logic Programming. World Scientific
…Higher-Order Functional-Logic Programming: A Systematic Development Christian Prehofer Institut…
Cited by 1 (1 self) – Add To MetaCart

Higher-Order Equational Logic
by Christian Prehofer — 1997
…C. Prehofer, 6/97 Higher-Order Equational Logic 1 Higher-Order Equational Logic Christian Prehofer…
Add To MetaCart

An Object-Oriented Approach to Feature Interaction
by Christian Prehofer — 1997 — In Fourth IEEE Workshop on Feature Interactions in Telecommunications networks and distributed systems
…An Object-Oriented Approach to Feature Interaction Christian Prehofer, Institut f ur Informatik…
Cited by 10 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB