2008 |
38 | EE | Varvana Myllärniemi,
Christian Prehofer,
Mikko Raatikainen,
Jilles van Gurp,
Tomi Männistö:
Approach for Dynamically Composing Decentralised Service Architectures with Cross-Cutting Constraints.
ECSA 2008: 180-195 |
37 | EE | Filip Suba,
Christian Prehofer,
Jilles van Gurp:
Towards a Common Sensor Network API: Practical Experiences.
SAINT 2008: 185-188 |
36 | EE | Cristiano di Flora,
Christian Prehofer:
Leveraging GIS Technologies for Web-Based Smart Places Services.
SEUS 2008: 256-267 |
2007 |
35 | EE | Zheng Yan,
Christian Prehofer:
An Adaptive Trust Control Model for a Trustworthy Component Software Platform.
ATC 2007: 226-238 |
34 | 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 |
33 | EE | Christian Prehofer:
Semantic reasoning about feature composition via multiple aspect-weavings.
GPCE 2006: 237-242 |
32 | EE | Elena Fasolo,
Christian Prehofer,
Michele Rossi,
Qing Wei,
Jörg Widmer,
Andrea Zanella,
Michele Zorzi:
Challenges and new approaches for efficient data gathering and dissemination in pervasive wireless networks.
InterSense 2006: 25 |
31 | 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 |
30 | 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) |
29 | 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) |
28 | 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 |
27 | | 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 |
26 | 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 |
25 | EE | Srisakul Thakolsri,
Christian Prehofer,
Wolfgang Kellerer:
Transition Mechanism in IP-Based Wireless Networks.
SAINT Workshops 2004: 112-119 |
24 | EE | Cornelia Kappler,
Paulo Mendes,
Christian Prehofer,
Petteri Pöyhönen,
Di Zhou:
A Framework for Self-organized Network Composition.
WAC 2004: 139-151 |
23 | 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 |
22 | | Christian Prehofer:
Plug-and-Play Composition of Features and Feature Interactions with Statechart Diagrams.
FIW 2003: 43-58 |
21 | 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 |
20 | EE | Christian Prehofer,
Qing Wei:
Active Networks for 4G Mobile Communication: Motivation, Architecture, and Application Scenarios.
IWAN 2002: 132-145 |
19 | EE | Christian Prehofer,
Wolfgang Kellerer,
Robert Hirschfeld,
Hendrik Berndt,
Katsuya Kawamura:
An Architecture Supporting Adaptation and Evolution in Fourth Generation Mobile Communication Systems.
Journal of Communications and Networks 4(4): 336-343 (2002) |
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 |