1. ASYMPTOTIC ANALYSIS OF SKOLEM’S EXPONENTIAL FUNCTIONS;The Journal of Symbolic Logic;2020-09-04
2. Non-standard analysis in dynamic geometry;Journal of Symbolic Computation;2020-03
3. Axioms and decidability for type isomorphism in the presence of sums;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
4. POWER CIRCUITS, EXPONENTIAL ALGEBRA, AND TIME COMPLEXITY;International Journal of Algebra and Computation;2012-08-31
5. Skolem + Tetration Is Well-Ordered;Mathematical Theory and Computational Practice;2009