dblp.uni-trier.dewww.uni-trier.de

Christian Prehofer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
39EEGerd Kortuem, Henk Eertink, Christian Prehofer, Martin Strohbach: Introduction. Euro-Par 2009: 1103
2008
38EEVarvana 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
37EEFilip Suba, Christian Prehofer, Jilles van Gurp: Towards a Common Sensor Network API: Practical Experiences. SAINT 2008: 185-188
36EECristiano di Flora, Christian Prehofer: Leveraging GIS Technologies for Web-Based Smart Places Services. SEUS 2008: 256-267
2007
35EEZheng Yan, Christian Prehofer: An Adaptive Trust Control Model for a Trustworthy Component Software Platform. ATC 2007: 226-238
34EESasu Tarkoma, Christian Prehofer, Anna V. Zhdanova, Klaus Moessner, Ernö Kovacs: SPICE: Evolving IMS to Next Generation Service Platforms. SAINT Workshops 2007: 6
2006
33EEChristian Prehofer: Semantic reasoning about feature composition via multiple aspect-weavings. GPCE 2006: 237-242
32EEElena 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
31EEMona 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
30EEQing Wei, Károly Farkas, Christian Prehofer, Paulo Mendes, Bernhard Plattner: Context-aware handover using active network technology. Computer Networks 50(15): 2855-2872 (2006)
29EEE. 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)
28EEPhilipp 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
26EEPhilipp Hofmann, Christian Bettstetter, Jeremie Wehren, Christian Prehofer: Performance Impact of Mobility in an Emulated IP-Based Multihop Radio Access Network. MWCN 2004: 395-406
25EESrisakul Thakolsri, Christian Prehofer, Wolfgang Kellerer: Transition Mechanism in IP-Based Wireless Networks. SAINT Workshops 2004: 112-119
24EECornelia Kappler, Paulo Mendes, Christian Prehofer, Petteri Pöyhönen, Di Zhou: A Framework for Self-organized Network Composition. WAC 2004: 139-151
23EEChristian 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
21EEQing 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
20EEChristian Prehofer, Qing Wei: Active Networks for 4G Mobile Communication: Motivation, Architecture, and Application Scenarios. IWAN 2002: 132-145
19EEChristian 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
17EEBerthold 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
15EEChristian 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
11EEHenrik Linnestad, Christian Prehofer, Olav Lysne: Higher-Order Proof by Consistency. FSTTCS 1996: 274-285
10EEMichael 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
6EEChristian Prehofer: Decidable Higher-Order Unification Problems. CADE 1994: 635-649
5 Christian Prehofer: On Modularity in Term Rewriting and Narrowing. CCL 1994: 253-268
4EEManfred 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
1EEChristian Prehofer: An Efficient Constraint Language for Polymorphic Order-sorted Resoluton. JELIA 1992: 319-338

Coauthor Index

1Hamid Aghvami (A. Hamid Aghvami) [31]
2Hendrik Berndt [19]
3Christian Bettstetter [26] [28] [29]
4Manfred Broy [4]
5E. Carlson [29]
6Henk Eertink [39]
7Károly Farkas [21] [30]
8Elena Fasolo [32]
9Cristiano di Flora [36]
10Vasilis Friderikos [31]
11Mona Ghassemian [31]
12Jilles van Gurp [37] [38]
13Michael Hanus [10] [16]
14Ursula Hinkel [4]
15Robert Hirschfeld [19]
16Philipp Hofmann [26] [28] [31]
17Martin Johnsson [27]
18Cornelia Kappler [24]
19Holger Karl [29]
20Katsuya Kawamura [19]
21Wolfgang Kellerer [19] [25]
22Cornel Klein [14]
23Berthold F. Koch [17]
24Gerd Kortuem (Gerd Kortüm) [39]
25Ernö Kovacs [34]
26Henrik Linnestad [11]
27Olav Lysne [11]
28Tomi Männistö [38]
29Paulo Mendes [21] [24] [30]
30Klaus Moessner [34]
31Varvana Myllärniemi [38]
32Nima Nafisi [21]
33Tobias Nipkow [2] [4] [7]
34Nick Papadoglou [27]
35Bernhard Plattner [21] [30]
36Petteri Pöyhönen [24]
37Mikko Raatikainen [38]
38Michele Rossi [32]
39Bernhard Rumpe [14]
40Birgit Schieder [4]
41Martin Strohbach [39]
42Filip Suba [37]
43Sasu Tarkoma [34]
44Srisakul Thakolsri [25]
45Jeremie Wehren [26]
46Qing Wei [20] [21] [30] [32]
47Jörg Widmer [32]
48Adam Wolisz [29]
49Zheng Yan [35]
50Andrea Zanella [32]
51Anna V. Zhdanova [34]
52Di Zhou [24]
53Michele Zorzi [32]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)