Remarks on Compositionality and Weak Axiomatic Theories of Truth. - Günther Eder (J. Philos. Log., 2014)

Formal reconstructions of St. Anselm's ontological argument. - Günther Eder; Esther Ramharter (Synth., 2015)

Parallelized ear clipping for the triangulation and constrained Delaunay triangulation of polygons. - Günther Eder; Martin Held; Peter Palfrader (Comput. Geom., 2018)

Min-/Max-Volume Roofs Induced by Bisector Graphs of Polygonal Footprints of Buildings. - Günther Eder; Martin Held; Peter Palfrader (Int. J. Comput. Geom. Appl., 2018)

Computing positively weighted straight skeletons of simple polygons based on a bisector arrangement. - Günther Eder; Martin Held (Inf. Process. Lett., 2018)

Hilbert, duality, and the Geometrical roots of Model Theory. - Günther Eder; Georg Schiemer (Rev. Symb. Log., 2018)

Weighted Voronoi Diagrams in the Maximum Norm. - Günther Eder; Martin Held (Int. J. Comput. Geom. Appl., 2019)

Recognizing Geometric Trees as Positively Weighted Straight Skeletons and Reconstructing Their Input. - Günther Eder; Martin Held; Peter Palfrader (Int. J. Comput. Geom. Appl., 2019)

Computing Low-Cost Convex Partitions for Planar Point Sets Based on Tailored Decompositions (CG Challenge). - Günther Eder; Martin Held; Stefan de Lorenzo; Peter Palfrader (SoCG, 2020)

On Implementing Straight Skeletons: Challenges and Experiences. - Günther Eder; Martin Held; Peter Palfrader (SoCG, 2020)

Step-By-Step Straight Skeletons (Media Exposition). - Günther Eder; Martin Held; Peter Palfrader (SoCG, 2020)

Projective duality and the Rise of Modern Logic. - Günther Eder (Bull. Symb. Log., 2021)

Implementing straight skeletons with exact arithmetic: Challenges and experiences. - Günther Eder; Martin Held; Peter Palfrader (Comput. Geom., 2021)

Frege and the origins of model theory in nineteenth century geometry. - Günther Eder (Synth., 2021)

2-Opt Moves and Flips for Area-optimal Polygonizations. - Günther Eder; Martin Held; Steinþór Jasonarson; Philipp Mayer; Peter Palfrader (ACM J. Exp. Algorithmics, 2022)

On the recognition and reconstruction of weighted Voronoi diagrams and bisector graphs. - Günther Eder; Martin Held; Stefan de Lorenzo; Peter Palfrader (Comput. Geom., 2023)