<?xml version="1.0"?>
<dblpperson name="Simon Helsen" pid="72/5366" n="13">
<person key="homepages/72/5366" mdate="2009-06-10">
<author pid="72/5366">Simon Helsen</author>
</person>
<r><article key="journals/software/HelsenRS08" mdate="2020-06-08">
<author pid="72/5366">Simon Helsen</author>
<author pid="81/6041">Arthur G. Ryman</author>
<author orcid="0000-0003-4231-1897" pid="s/DiomidisSpinellis">Diomidis Spinellis</author>
<title>Where's My Jetpack?</title>
<pages>18-21</pages>
<year>2008</year>
<volume>25</volume>
<journal>IEEE Softw.</journal>
<number>5</number>
<ee>https://doi.org/10.1109/MS.2008.138</ee>
<ee>http://doi.ieeecomputersociety.org/10.1109/MS.2008.138</ee>
<ee>https://www.wikidata.org/entity/Q58220005</ee>
<url>db/journals/software/software25.html#HelsenRS08</url>
</article>
</r>
<r><book key="books/daglib/0016398" mdate="2011-10-14">
<author pid="41/8060">Thomas Stahl</author>
<author pid="73/741">Markus V&#246;lter</author>
<author pid="41/2004">Jorn Bettin</author>
<author pid="08/10257">Arno Haase</author>
<author pid="72/5366">Simon Helsen</author>
<title>Model-driven software development - technology, engineering, management.</title>
<pages>I-XVI, 1-428</pages>
<publisher>Pitman</publisher>
<year>2006</year>
<isbn>978-0-470-02570-3</isbn>
<ee>http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470025700.html</ee>
</book>
</r>
<r><article key="journals/ibmsj/CzarneckiH06" mdate="2022-12-30">
<author pid="72/6806">Krzysztof Czarnecki 0001</author>
<author pid="72/5366">Simon Helsen</author>
<title>Feature-based survey of model transformation approaches.</title>
<pages>621-646</pages>
<year>2006</year>
<volume>45</volume>
<journal>IBM Syst. J.</journal>
<number>3</number>
<ee>https://doi.org/10.1147/sj.453.0621</ee>
<ee>https://www.wikidata.org/entity/Q67224807</ee>
<url>db/journals/ibmsj/ibmsj45.html#CzarneckiH06</url>
</article>
</r>
<r><article key="journals/sopr/CzarneckiHE05" mdate="2022-12-30">
<author pid="72/6806">Krzysztof Czarnecki 0001</author>
<author pid="72/5366">Simon Helsen</author>
<author pid="08/6765">Ulrich W. Eisenecker</author>
<title>Formalizing cardinality-based feature models and their specialization.</title>
<pages>7-29</pages>
<year>2005</year>
<volume>10</volume>
<journal>Softw. Process. Improv. Pract.</journal>
<number>1</number>
<ee>https://doi.org/10.1002/spip.213</ee>
<url>db/journals/sopr/sopr10.html#CzarneckiHE05</url>
</article>
</r>
<r><article key="journals/sopr/CzarneckiHE05a" mdate="2022-12-30">
<author pid="72/6806">Krzysztof Czarnecki 0001</author>
<author pid="72/5366">Simon Helsen</author>
<author pid="08/6765">Ulrich W. Eisenecker</author>
<title>Staged configuration through specialization and multilevel configuration of feature models.</title>
<pages>143-169</pages>
<year>2005</year>
<volume>10</volume>
<journal>Softw. Process. Improv. Pract.</journal>
<number>2</number>
<ee>https://doi.org/10.1002/spip.225</ee>
<url>db/journals/sopr/sopr10.html#CzarneckiHE05a</url>
</article>
</r>
<r><article key="journals/lisp/Helsen04" mdate="2020-03-05">
<author pid="72/5366">Simon Helsen</author>
<title>Bisimilarity for the Region Calculus.</title>
<pages>347-394</pages>
<year>2004</year>
<volume>17</volume>
<journal>High. Order Symb. Comput.</journal>
<number>4</number>
<ee>https://doi.org/10.1007/s10990-004-4868-x</ee>
<url>db/journals/lisp/lisp17.html#Helsen04</url>
</article>
</r>
<r><article key="journals/toplas/HelsenT04" mdate="2020-03-23">
<author pid="72/5366">Simon Helsen</author>
<author pid="t/PeterThiemann">Peter Thiemann 0001</author>
<title>Polymorphic specialization for ML.</title>
<pages>652-701</pages>
<year>2004</year>
<volume>26</volume>
<journal>ACM Trans. Program. Lang. Syst.</journal>
<number>4</number>
<ee>https://doi.org/10.1145/1011508.1011510</ee>
<url>db/journals/toplas/toplas26.html#HelsenT04</url>
</article>
</r>
<r><inproceedings key="conf/splc/CzarneckiHE04" mdate="2022-12-30">
<author pid="72/6806">Krzysztof Czarnecki 0001</author>
<author pid="72/5366">Simon Helsen</author>
<author pid="08/6765">Ulrich W. Eisenecker</author>
<title>Staged Configuration Using Feature Models.</title>
<pages>266-283</pages>
<ee>https://doi.org/10.1007/978-3-540-28630-1_17</ee>
<year>2004</year>
<crossref>conf/splc/2004</crossref>
<booktitle>SPLC</booktitle>
<url>db/conf/splc/splc2004.html#CzarneckiHE04</url>
</inproceedings>
</r>
<r><phdthesis key="phd/dnb/Helsen02" mdate="2021-07-17">
<author pid="72/5366">Simon Helsen</author>
<title>Region based program specialization: an operational approach to polymorphic offline partial evaluation for ML-like languages.</title>
<year>2002</year>
<pages>1-174</pages>
<school>University of Freiburg, Freiburg im Breisgau, Germany</school>
<ee>http://www.freidok.uni-freiburg.de/volltexte/538</ee>
<ee>https://nbn-resolving.org/urn:nbn:de:bsz:25-opus-5387</ee>
<ee>https://d-nb.info/96552079X</ee>
<ee>https://d-nb.info/96561297X</ee>
</phdthesis>
</r>
<r><article key="journals/iandc/CalcagnoHT02" mdate="2021-02-12">
<author pid="93/6299">Cristiano Calcagno</author>
<author pid="72/5366">Simon Helsen</author>
<author pid="t/PeterThiemann">Peter Thiemann 0001</author>
<title>Syntactic Type Soundness Results for the Region Calculus.</title>
<pages>199-221</pages>
<year>2002</year>
<volume>173</volume>
<journal>Inf. Comput.</journal>
<number>2</number>
<ee type="oa">https://doi.org/10.1006/inco.2001.3112</ee>
<url>db/journals/iandc/iandc173.html#CalcagnoHT02</url>
</article>
</r>
<r><inproceedings key="conf/saig/HelsenT00" mdate="2020-03-23">
<author pid="72/5366">Simon Helsen</author>
<author pid="t/PeterThiemann">Peter Thiemann 0001</author>
<title>Fragmental Specialization.</title>
<pages>51-71</pages>
<ee>https://doi.org/10.1007/3-540-45350-4_7</ee>
<year>2000</year>
<crossref>conf/saig/2000</crossref>
<booktitle>SAIG</booktitle>
<url>db/conf/saig/saig2000.html#HelsenT00</url>
</inproceedings>
</r>
<r><inproceedings key="journals/entcs/HelsenT00" mdate="2022-12-01">
<author pid="72/5366">Simon Helsen</author>
<author pid="t/PeterThiemann">Peter Thiemann 0001</author>
<title>Syntactic Type Soundness for the Region Calculus.</title>
<year>2000</year>
<crossref>conf/hoots/2000</crossref>
<booktitle>HOOTS</booktitle>
<ee type="oa">https://doi.org/10.1016/S1571-0661(04)80870-3</ee>
<url>db/conf/hoots/hoots2000.html#HelsenT00</url>
<pages>1-19</pages>
</inproceedings>
</r>
<r><inproceedings key="conf/asian/HelsenT98" mdate="2020-03-23">
<author pid="72/5366">Simon Helsen</author>
<author pid="t/PeterThiemann">Peter Thiemann 0001</author>
<title>Two Flavors of Offline Partial Evaluation.</title>
<pages>188-205</pages>
<year>1998</year>
<crossref>conf/asian/1998</crossref>
<booktitle>ASIAN</booktitle>
<ee>https://doi.org/10.1007/3-540-49366-2_15</ee>
<url>db/conf/asian/asian98.html#HelsenT98</url>
</inproceedings>
</r>
<coauthors n="10" nc="3">
<co c="0"><na f="b/Bettin:Jorn" pid="41/2004">Jorn Bettin</na></co>
<co c="1"><na f="c/Calcagno:Cristiano" pid="93/6299">Cristiano Calcagno</na></co>
<co c="0"><na f="c/Czarnecki_0001:Krzysztof" pid="72/6806">Krzysztof Czarnecki 0001</na></co>
<co c="0"><na f="e/Eisenecker:Ulrich_W=" pid="08/6765">Ulrich W. Eisenecker</na></co>
<co c="0"><na f="h/Haase:Arno" pid="08/10257">Arno Haase</na></co>
<co c="2"><na f="r/Ryman:Arthur_G=" pid="81/6041">Arthur G. Ryman</na></co>
<co c="2"><na f="s/Spinellis:Diomidis" pid="s/DiomidisSpinellis">Diomidis Spinellis</na></co>
<co c="0"><na f="s/Stahl:Thomas" pid="41/8060">Thomas Stahl</na></co>
<co c="1"><na f="t/Thiemann_0001:Peter" pid="t/PeterThiemann">Peter Thiemann 0001</na></co>
<co c="0"><na f="v/V=ouml=lter:Markus" pid="73/741">Markus V&#246;lter</na></co>
</coauthors>
</dblpperson>

