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

Simon Helsen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EESimon Helsen, Arthur G. Ryman, Diomidis Spinellis: Where's My Jetpack? IEEE Software 25(5): 18-21 (2008)
2006
10EEKrzysztof Czarnecki, Simon Helsen: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3): 621-646 (2006)
2005
9EEKrzysztof Czarnecki, Simon Helsen, Ulrich W. Eisenecker: Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice 10(1): 7-29 (2005)
8EEKrzysztof Czarnecki, Simon Helsen, Ulrich W. Eisenecker: Staged configuration through specialization and multilevel configuration of feature models. Software Process: Improvement and Practice 10(2): 143-169 (2005)
2004
7EEKrzysztof Czarnecki, Simon Helsen, Ulrich W. Eisenecker: Staged Configuration Using Feature Models. SPLC 2004: 266-283
6EESimon Helsen, Peter Thiemann: Polymorphic specialization for ML. ACM Trans. Program. Lang. Syst. 26(4): 652-701 (2004)
5EESimon Helsen: Bisimilarity for the Region Calculus. Higher-Order and Symbolic Computation 17(4): 347-394 (2004)
2002
4EECristiano Calcagno, Simon Helsen, Peter Thiemann: Syntactic Type Soundness Results for the Region Calculus. Inf. Comput. 173(2): 199-221 (2002)
2000
3EESimon Helsen, Peter Thiemann: Fragmental Specialization. SAIG 2000: 51-71
2EESimon Helsen, Peter Thiemann: Syntactic Type Soundness for the Region Calculus. Electr. Notes Theor. Comput. Sci. 41(3): (2000)
1998
1EESimon Helsen, Peter Thiemann: Two Flavors of Offline Partial Evaluation. ASIAN 1998: 188-205

Coauthor Index

1Cristiano Calcagno [4]
2Krzysztof Czarnecki [7] [8] [9] [10]
3Ulrich W. Eisenecker [7] [8] [9]
4Arthur G. Ryman [11]
5Diomidis Spinellis [11]
6Peter Thiemann [1] [2] [3] [4] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)