Oliver Dressler

According to our database, Oliver Dressler authored at least 3 papers between 2002 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

SorryDB: Can AI Provers Complete Real-World Lean Theorems?

Austin Letson, Leopoldo Sarra, Auguste Poiroux, Oliver Dressler, Paul Lezeau, Dhyan Aranha, Frederick Pu, Aaron Hill, Miguel Corredera Hidalgo, Julian Berman, George Tsoukalas, Lenny Taelman

CoRR, March, 2026

2004

Rough Set-Based Classification of EEG-Signals to Detect Intraoperative Awareness: Comparison of Fuzzy and Crisp Discretization of Real Value Attributes.

Michael Ningler, Gudrun Stockmanns, Gerhard Schneider, Oliver Dressler, Eberhard F. Kochs

Proceedings of the Rough Sets and Current Trends in Computing, 2004

2002

A 4 kb/s hybrid MELP/CELP speech coding candidate for ITU standardization.

Alan McCree, Jacek Stachurski, Takahiro Unno, Ali Erdem Ertan, Erdal Paksoy, Vishu Viswanathan, Ari Heikkinen, Anssi Rämö, Sakari Himanen, Peter Blöcher, Oliver Dressler

Proceedings of the IEEE International Conference on Acoustics, 2002