Philipp Hieronymi

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 21

Top Topics

Query Answering

Quantifier Elimination

Scalar Multiplication

Top Venues

Ann. Pure Appl. Log.

Log. Methods Comput. Sci.

Publications

Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit
Decidability for Sturmian words. Log. Methods Comput. Sci. 20 (3) (2024)
Philipp Hieronymi, Sven Manthe, Christian Schulz
A Cobham theorem for scalar multiplication. CoRR (2024)
Eion Blanchard, Philipp Hieronymi
Decidability bounds for Presburger arithmetic extended by sine. Ann. Pure Appl. Log. 175 (10) (2024)
Philipp Hieronymi
Fractals and the monadic second order theory of one successor. J. Log. Anal. 15 (2023)
Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit
Decidability for Sturmian Words. CSL (2022)
Philipp Hieronymi, Christian Schulz
A strong version of Cobham's theorem. STOC (2022)
Eion Blanchard, Philipp Hieronymi
Decidability bounds for Presburger arithmetic extended by sine. CoRR (2022)
Philipp Hieronymi, Danny Nguyen, Igor Pak
Presburger Arithmetic with algebraic scalar multiplications. Log. Methods Comput. Sci. 17 (3) (2021)
Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi
Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata. CoRR (2021)
Philipp Hieronymi, Christian Schulz
A strong version of Cobham's theorem. CoRR (2021)
Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit
Decidability for Sturmian words. CoRR (2021)
Alexi Block Gorman, Erin Caulfield, Philipp Hieronymi
Pathological examples of structures with o-minimal open core. Math. Log. Q. 67 (3) (2021)
Alexi Block Gorman, Philipp Hieronymi, Elliot Kaplan, Ruoyu Meng, Erik Walsberg, Zihe Wang, Ziqin Xiong, Hongru Yang
Continuous Regular Functions. Log. Methods Comput. Sci. 16 (1) (2020)
Pantelis E. Eleftheriou, Ayhan Günaydin, Philipp Hieronymi
The choice property in tame expansions of o-minimal structures. Math. Log. Q. 66 (2) (2020)
Alexi Block Gorman, Philipp Hieronymi, Elliot Kaplan, Ruoyu Meng, Erik Walsberg, Zihe Wang, Ziqin Xiong, Hongru Yang
Continuous Regular Functions. CoRR (2019)
Philipp Hieronymi
When is scalar multiplication decidable? Ann. Pure Appl. Log. 170 (10) (2019)
Philipp Hieronymi, Travis Nell, Erik Walsberg
Wild theories with o-minimal open core. Ann. Pure Appl. Log. 169 (2) (2018)
Philipp Hieronymi, Alonza Terry Jr.
Ostrowski Numeration Systems, Addition, and Finite Automata. Notre Dame J. Formal Log. 59 (2) (2018)
Philipp Hieronymi, Danny Nguyen, Igor Pak
Presburger Arithmetic with algebraic scalar multiplications. CoRR (2018)
Philipp Hieronymi, Travis Nell
Distal and non-distal Pairs. J. Symb. Log. 82 (1) (2017)
Philipp Hieronymi
Expansions of the Ordered additive Group of Real numbers by two discrete Subgroups. J. Symb. Log. 81 (3) (2016)
Antongiulio Fornasiero, Philipp Hieronymi
A Fundamental Dichotomy for definably Complete expansions of Ordered Fields. J. Symb. Log. 80 (4) (2015)
Philipp Hieronymi
An analogue of the Baire category theorem. J. Symb. Log. 78 (1) (2013)
Ayhan Günaydin, Philipp Hieronymi
Dependent pairs. J. Symb. Log. 76 (2) (2011)
Philipp Hieronymi
The real field with an irrational power function and a dense multiplicative subgroup. J. Lond. Math. Soc. 83 (1) (2011)