Synthesis from Infinite-State Generalized Reactivity(1) Specifications. - Benedikt Maderbacher; Felix Windisch; Roderick Bloem (ISoLA (4), 2024)

Synthesis of Controllers for Continuous Blackbox Systems (artifact). - Benedikt Maderbacher; Felix Windisch; Alberto Larrauri; Roderick Bloem (Zenodo, 2024)

Synthesis of Controllers for Continuous Blackbox Systems. - Benedikt Maderbacher; Felix Windisch; Alberto Larrauri; Roderick Bloem (VMCAI (2), 2025)

AAA-Gaussians: Anti-Aliased and Artifact-Free 3D Gaussian Rendering. - Michael Steiner 011; Thomas Köhler 006; Lukas Radl; Felix Windisch; Dieter Schmalstieg; Markus Steinberger (CoRR, 2025)

SOF: Sorted Opacity Fields for Fast Unbounded Surface Reconstruction. - Lukas Radl; Felix Windisch; Thomas Deixelberger; Jozef Hladky; Michael Steiner 011; Dieter Schmalstieg; Markus Steinberger (CoRR, 2025)

A LoD of Gaussians: Unified Training and Rendering for Ultra-Large Scale Reconstruction with External Memory. - Felix Windisch; Lukas Radl; Thomas Köhler 006; Michael Steiner 011; Dieter Schmalstieg; Markus Steinberger (CoRR, 2025)