Philipp Hieronymi

25 papers A* 1B 1Journal 23

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