Travelled to:1 × Cyprus
2 × Finland
3 × France
4 × USA
Collaborated with:∅ M.Hanus T.Nipkow A.Wagner Y.Jin V.Myllärniemi M.Raatikainen J.v.Gurp T.Männistö Md Rakibul Alam I.Gerostathopoulos Alessandro Attanasi T.Bures
Talks about:higher (4) order (4) approach (2) program (2) narrow (2) featur (2) type (2) decentralis (1) architectur (1) constraint (1)
Person: Christian Prehofer
DBLP: Prehofer:Christian
Contributed to:
2013
2008
2006
1997
1996
1995
1994
1994
1993
2016
2019Wrote 11 papers:
- IFM-2013-Prehofer #behaviour #diagrams #refinement #specification
- Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement (CP), pp. 31–45.
- ECSA-2008-MyllarniemiPRGM #approach #architecture #constraints #distributed
- Approach for Dynamically Composing Decentralised Service Architectures with Cross-Cutting Constraints (VM, CP, MR, JvG, TM), pp. 180–195.
- GPCE-2006-Prehofer #composition #multi #reasoning #semantics
- Semantic reasoning about feature composition via multiple aspect-weavings (CP), pp. 237–242.
- ECOOP-1997-Prehofer #feature model #fresh look #programming
- Feature-Oriented Programming: A Fresh Look at Objects (CP), pp. 419–443.
- RTA-1996-HanusP #higher-order
- Higher-Order Narrowing with Definitional Trees (MH, CP), pp. 138–152.
- ILPS-1995-Prehofer #call-by #functional #higher-order #logic programming
- A Call-by-Need Strategy for Higher-Order Functional-Logic Programming (CP), pp. 147–161.
- CADE-1994-Prehofer #decidability #higher-order #problem #unification
- Decidable Higher-Order Unification Problems (CP), pp. 635–649.
- LICS-1994-Prehofer #higher-order
- Higher-Order Narrowing (CP), pp. 507–516.
- POPL-1993-NipkowP #type checking
- Type Checking Type Classes (TN, CP), pp. 409–418.
- MoDELS-2016-PrehoferWJ #approach #interactive #modelling #multi
- A model-based approach for multi-device user interactions (CP, AW, YJ), pp. 13–23.
- ICSA-2019-AlamGPAB #detection #framework
- A Framework for Tunable Anomaly Detection (MRA, IG, CP, AA, TB), pp. 201–210.