| 2007 |
|---|
| 33 | EE | Zheng Yan,
Christian Prehofer:
An Adaptive Trust Control Model for a Trustworthy Component Software Platform.
ATC 2007: 226-238 |
| 32 | EE | Sasu Tarkoma,
Christian Prehofer,
Anna V. Zhdanova,
Klaus Moessner,
Ernö Kovacs:
SPICE: Evolving IMS to Next Generation Service Platforms.
SAINT Workshops 2007: 6 |
| 2006 |
|---|
| 31 | EE | Christian Prehofer:
Semantic reasoning about feature composition via multiple aspect-weavings.
GPCE 2006: 237-242 |
| 30 | EE | Mona Ghassemian,
Philipp Hofmann,
Vasilis Friderikos,
Christian Prehofer,
A. Hamid Aghvami:
An Optimised Gateway Selection Mechanism for Wireless Ad hoc Networks Connected to the Internet.
VTC Spring 2006: 782-787 |
| 29 | EE | Qing Wei,
Károly Farkas,
Christian Prehofer,
Paulo Mendes,
Bernhard Plattner:
Context-aware handover using active network technology.
Computer Networks 50(15): 2855-2872 (2006) |
| 28 | EE | E. Carlson,
Christian Prehofer,
Christian Bettstetter,
Holger Karl,
Adam Wolisz:
A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks.
IEEE Journal on Selected Areas in Communications 24(11): 2018-2027 (2006) |
| 27 | EE | Philipp Hofmann,
Christian Bettstetter,
Christian Prehofer:
Performance impact of multihop handovers in an IP-based multihop radio access network.
Mobile Computing and Communications Review 10(2): 13-25 (2006) |
| 2005 |
|---|
| 26 | | Christian Prehofer,
Nick Papadoglou,
Martin Johnsson:
On the evolution of a naming and addressing architecture in view of dynamic network interconnection.
Communications and Computer Networks 2005: 374-379 |
| 2004 |
|---|
| 25 | EE | Philipp Hofmann,
Christian Bettstetter,
Jeremie Wehren,
Christian Prehofer:
Performance Impact of Mobility in an Emulated IP-Based Multihop Radio Access Network.
MWCN 2004: 395-406 |
| 24 | EE | Srisakul Thakolsri,
Christian Prehofer,
Wolfgang Kellerer:
Transition Mechanism in IP-Based Wireless Networks.
SAINT Workshops 2004: 112-119 |
| 23 | EE | Cornelia Kappler,
Paulo Mendes,
Christian Prehofer,
Petteri Pöyhönen,
Di Zhou:
A Framework for Self-organized Network Composition.
WAC 2004: 139-151 |
| 22 | EE | Christian Prehofer:
Plug-and-play composition of features and feature interactions with statechart diagrams.
Software and System Modeling 3(3): 221-234 (2004) |
| 2003 |
|---|
| 21 | | Christian Prehofer:
Plug-and-Play Composition of Features and Feature Interactions with Statechart Diagrams.
FIW 2003: 43-58 |
| 20 | EE | Qing Wei,
Károly Farkas,
Paulo Mendes,
Christian Prehofer,
Bernhard Plattner,
Nima Nafisi:
Context-Aware Handover Based on Active Network Technology.
IWAN 2003: 280-291 |
| 2002 |
|---|
| 19 | EE | Christian Prehofer,
Qing Wei:
Active Networks for 4G Mobile Communication: Motivation, Architecture, and Application Scenarios.
IWAN 2002: 132-145 |
| 2001 |
|---|
| 18 | | Christian Prehofer:
Feature-oriented programming: A new way of object composition.
Concurrency and Computation: Practice and Experience 13(6): 465-501 (2001) |
| 1999 |
|---|
| 17 | EE | Berthold F. Koch,
Christian Prehofer:
Internet Service Architectures and ATM - The ELISA Approach.
Flexible Working - New Network Technologies 1999: 179-194 |
| 16 | | Michael Hanus,
Christian Prehofer:
Higher-Order Narrowing with Definitional Trees.
J. Funct. Program. 9(1): 33-75 (1999) |
| 1997 |
|---|
| 15 | EE | Christian Prehofer:
Feature-Oriented Programming: A Fresh Look at Objects.
ECOOP 1997: 419-443 |
| 14 | | Cornel Klein,
Christian Prehofer,
Bernhard Rumpe:
Feature Specification and Refinement with State Transition Diagrams.
FIW 1997: 284-297 |
| 13 | | Christian Prehofer:
An Object-Oriented Approach to Feature Interaction.
FIW 1997: 313-325 |
| 12 | | Christian Prehofer:
From Inheritance to Feature Interaction or Composing Monads.
GI Jahrestagung 1997: 562-571 |
| 1996 |
|---|
| 11 | | Henrik Linnestad,
Christian Prehofer,
Olav Lysne:
Higher-Order Proof by Consistency.
FSTTCS 1996: 274-285 |
| 10 | | Michael Hanus,
Christian Prehofer:
Higher-Order Narrowing with Definitional Trees.
RTA 1996: 138-152 |
| 1995 |
|---|
| 9 | | Christian Prehofer:
Higher-Order Narrowing with Convergent Systems.
AMAST 1995: 199-213 |
| 8 | | Christian Prehofer:
A Call-by-Need Strategy for Higher-Order Functional-Logic Programming.
ILPS 1995: 147-161 |
| 7 | | Tobias Nipkow,
Christian Prehofer:
Type Reconstruction for Type Classes.
J. Funct. Program. 5(2): 201-224 (1995) |
| 1994 |
|---|
| 6 | | Christian Prehofer:
Decidable Higher-Order Unification Problems.
CADE 1994: 635-649 |
| 5 | | Christian Prehofer:
On Modularity in Term Rewriting and Narrowing.
CCL 1994: 253-268 |
| 4 | | Manfred Broy,
Ursula Hinkel,
Tobias Nipkow,
Christian Prehofer,
Birgit Schieder:
Interpreter Verification for a Functional Language.
FSTTCS 1994: 77-88 |
| 3 | | Christian Prehofer:
Higher-Order Narrowing
LICS 1994: 507-516 |
| 1993 |
|---|
| 2 | | Tobias Nipkow,
Christian Prehofer:
Type Checking Type Classes.
POPL 1993: 409-418 |
| 1992 |
|---|
| 1 | | Christian Prehofer:
An Efficient Constraint Language for Polymorphic Order-sorted Resoluton.
JELIA 1992: 319-338 |
