Michel Weber

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 1

Top Topics

Quantifier Elimination

Decision Procedures

Algebraic Structure

Top Venues

Proc. ACM Program. Lang.

Period. Math. Hung.

Publications

Arjun Pitchanathan, Christian Ulmann, Michel Weber, Torsten Hoefler, Tobias Grosser
FPL: fast Presburger arithmetic through transprecision. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Michel Weber
Instants of small amplitude of brownian motion and application to the Kubilius model. Period. Math. Hung. 67 (1) (2013)
István Berkes, Wolfgang Müller, Michel Weber
On the strong law of large numbers and additive functions. Period. Math. Hung. 62 (1) (2011)
Michel Weber
On a stronger form of Salem-Zygmund's inequality for random trigonometric sums with examples. Period. Math. Hung. 52 (2) (2006)
Michel Weber
Divisors, spin sums and the functional equation of the Zeta-Riemann function. Period. Math. Hung. 51 (1) (2005)