%
% This file was created by the TYPO3 extension
% publications
% --- Timezone: CEST
% Creation date: 2026-05-16
% Creation time: 01:06:20
% --- Number of references
% 8
%


@Techreport { rechenberger2025refined,
    author = {Rechenberger, Sascha and Fr\"{u}hwirth, Thom},
    title = {A refined operational semantics for FreeCHR},
    status = {1},
    year = {2025},
    month = {9},
    booktitle = {41st International Conference on Logic Programming},
    journal = {Electronic Proceedings in Theoretical Computer Science},
    file_url = {https://arxiv.org/abs/2504.04962}
}

@Techreport { rechenberger2025optimized,
    author = {Rechenberger, Sascha and Fr\"{u}hwirth, Thom},
    title = {Optimized Execution of FreeCHR},
    year = {2025},
    month = {9},
    booktitle = {39th Workshop on (Constraint and Functional) Logic Programming},
    file_url = {https://arxiv.org/abs/2506.14485}
}

@Article { rechenberger2025freechr,
    author = {Rechenberger, Sascha and Fr\"{u}hwirth, Thom},
    title = {FreeCHR – An Algebraic Framework for Constraint Handling Rules Embeddings},
    year = {2025},
    month = {5},
    DOI = {10.1017/S1471068425000043},
    journal = {Theory and Practice of Logic Programming},
    volume = {25},
    pages = {340–373},
    number = {3}
}

@Article { rechenberger2025instance,
    author = {Rechenberger, Sascha and Fr\"{u}hwirth, Thom},
    title = {An instance of FreeCHR with refined operational semantics},
    status = {3},
    year = {2025},
    DOI = {10.48550/arXiv.2505.22155},
    file_url = {https://arxiv.org/abs/2505.22155}
}

@Inproceedings { rechenberger2023freechr,
    author = {Rechenberger, Sascha and Fr\"{u}hwirth, Thom},
    title = {FreeCHR: An Algebraic Framework for CHR Embeddings},
    year = {2023},
    month = {10},
    isbn = {978-3-031-45072-3},
    DOI = {10.1007/978-3-031-45072-3\_14},
    booktitle = {7th International Joint Conference on Rules and Reasoning (RuleML+RR '23), Oslo, Norway},
    keywords = {category theory
constraint handling rules
declarative programming languages
embedded domain-specific languages
initial algebra semantics
operational semantics},
    web_url = {https://link.springer.com/chapter/10.1007/978-3-031-45072-3\_14}
}

@Thesis { Rechenberger2019,
    author = {Rechenberger, Sascha},
    title = {Informationstheoretische Analyse von SLS-Solvern},
    type = {Masterarbeit},
    year = {2019},
    month = {1},
    school = {Universit\"{a}t Ulm},
    institute = {Institut f\"{u}r Theoretische Informatik}
}

@Inproceedings { KogelTGSGR2018,
    author = {K\"{o}gel, Stefan and Tichy, Matthias and Groner, Raffaela and Stegmaier, Michael and G\"{o}tz, Stefan and Rechenberger, Sascha},
    title = {Developing an Optimizing Compiler for the Game Boy as a Software Engineering Project},
    year = {2018},
    month = {5},
    DOI = {10.1145/3183377.3183388},
    booktitle = {Software Engineering Education and Training Track of the 40th International Conference on Software Engineering (ICSE SEET 2018), Gothenburg, Sweden},
    file_url = {t3://file?uid=477498}
}

@Thesis { Rechenberger2015,
    author = {Rechenberger, Sascha},
    title = {Monadische Interpretation multiparadigmatischer Sprachkonstrukte},
    type = {Bachelorarbeit},
    year = {2015},
    month = {1},
    school = {Universit\"{a}t Ulm},
    editor = {Alexander Breckel (Betreuer)},
    tags = {Breckel}
}