The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

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

  31. Introduction. [Citation Graph (, )][DBLP]


  32. Towards a Common Sensor Network API: Practical Experiences. [Citation Graph (, )][DBLP]


  33. Leveraging GIS Technologies for Web-Based Smart Places Services. [Citation Graph (, )][DBLP]


  34. An Optimised Gateway Selection Mechanism for Wireless Ad hoc Networks Connected to the Internet. [Citation Graph (, )][DBLP]


  35. Approach for Dynamically Composing Decentralised Service Architectures with Cross-Cutting Constraints. [Citation Graph (, )][DBLP]


  36. Challenges and new approaches for efficient data gathering and dissemination in pervasive wireless networks. [Citation Graph (, )][DBLP]


Search in 0.019secs, Finished in 0.021secs
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