The real field with an irrational power function and a dense multiplicative subgroup. - Philipp Hieronymi (J. Lond. Math. Soc., 2011)

Dependent pairs. - Ayhan Günaydin; Philipp Hieronymi (J. Symb. Log., 2011)

An analogue of the Baire category theorem. - Philipp Hieronymi (J. Symb. Log., 2013)

A Fundamental Dichotomy for definably Complete expansions of Ordered Fields. - Antongiulio Fornasiero; Philipp Hieronymi (J. Symb. Log., 2015)

Expansions of the Ordered additive Group of Real numbers by two discrete Subgroups. - Philipp Hieronymi (J. Symb. Log., 2016)

Distal and non-distal Pairs. - Philipp Hieronymi; Travis Nell (J. Symb. Log., 2017)

Wild theories with o-minimal open core. - Philipp Hieronymi; Travis Nell; Erik Walsberg (Ann. Pure Appl. Log., 2018)

Ostrowski Numeration Systems, Addition, and Finite Automata. - Philipp Hieronymi; Alonza Terry Jr. (Notre Dame J. Formal Log., 2018)

When is scalar multiplication decidable? - Philipp Hieronymi (Ann. Pure Appl. Log., 2019)

Continuous Regular Functions. - Alexi Block Gorman; Philipp Hieronymi; Elliot Kaplan; Ruoyu Meng; Erik Walsberg; Zihe Wang; Ziqin Xiong; Hongru Yang (Log. Methods Comput. Sci., 2020)

The choice property in tame expansions of o-minimal structures. - Pantelis E. Eleftheriou; Ayhan Günaydin; Philipp Hieronymi (Math. Log. Q., 2020)

Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata. - Reed Oei; Dun Ma; Christian Schulz 013; Philipp Hieronymi (CoRR, 2021)

Presburger Arithmetic with algebraic scalar multiplications. - Philipp Hieronymi; Danny Nguyen; Igor Pak (Log. Methods Comput. Sci., 2021)

Pathological examples of structures with o-minimal open core. - Alexi Block Gorman; Erin Caulfield; Philipp Hieronymi (Math. Log. Q., 2021)

A strong version of Cobham's theorem. - Philipp Hieronymi; Christian Schulz 013 (STOC, 2022)

Fractals and the monadic second order theory of one successor. - Philipp Hieronymi (J. Log. Anal., 2023)

Decidability bounds for Presburger arithmetic extended by sine. - Eion Blanchard; Philipp Hieronymi (Ann. Pure Appl. Log., 2024)

A Cobham theorem for scalar multiplication. - Philipp Hieronymi; Sven Manthe; Christian Schulz 013 (CoRR, 2024)

Decidability for Sturmian words. - Philipp Hieronymi; Dun Ma; Reed Oei; Luke Schaeffer; Christian Schulz 013; Jeffrey O. Shallit (Log. Methods Comput. Sci., 2024)