Stefan Kuhlmann

15 papers A 2B 3Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation.
CoRR
Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck, Jeremy Feusi, Tim Gehrunger, Raphael Appenzeller, Jim Bryan, Niklas Canova, Timo de Wolff, Filippo Gaia, Michel van Garrel, Baran Hashemi, David Holmes, Aitor Iribar Lopez, Victor Jaeck, Martina Jørgensen, Steven Kelk, Stefan Kuhlmann, Adam Kurpisz, Chiara Meroni, Ingmar Metzler, Martin Möller, Samuel Muñoz-Echániz, Robert Nowak, Georg Oberdieck, Daniel Platt, Dylan Possamaï, Gabriel Ribeiro, Raul Sanchez Galan, Zheming Sun, Josef Teichmann, Richard P. Thomas, Charles Vial
2025 B conf
Sparse Approximation in Lattices and Semigroups.
IPCO
Stefan Kuhlmann, Timm Oertel, Robert Weismantel
2024 J jnl
New Bounds for the Integer Carathéodory Rank.
SIAM J. Optim.
Iskander Aliev, Martin Henk, Mark Hogan, Stefan Kuhlmann, Timm Oertel
2024 B conf
On Matrices over a Polynomial Ring with Restricted Subdeterminants.
IPCO
Marcel Celaya, Stefan Kuhlmann, Robert Weismantel
2024 J jnl
Proximity and Flatness Bounds for Linear Integer Optimization.
Math. Oper. Res.
Marcel Celaya, Stefan Kuhlmann, Joseph Paat, Robert Weismantel
2024 J jnl
Sparse Approximation in Lattices and Semigroups.
CoRR
Stefan Kuhlmann, Timm Oertel, Robert Weismantel
2023 J jnl
On Matrices over a Polynomial Ring with Restricted Subdeterminants.
CoRR
Marcel Celaya, Stefan Kuhlmann, Robert Weismantel
2022 B conf
Improving the Cook et al. Proximity Bound Given Integral Valued Constraints.
IPCO
Marcel Celaya, Stefan Kuhlmann, Joseph Paat, Robert Weismantel
2022 J jnl
On Lattice Width of Lattice-Free Polyhedra and Height of Hilbert Bases.
SIAM J. Discret. Math.
Martin Henk, Stefan Kuhlmann, Robert Weismantel
2014 A conf
Gentoo package dependencies over time.
MSR
Remco Bloemen, Chintan Amrit, Stefan Kuhlmann, Gonzalo Ordóñez-Matamoros
2014 A conf
Innovation diffusion in open source software: preliminary analysis of dependency changes in the gentoo portage package database.
MSR
Remco Bloemen, Chintan Amrit, Stefan Kuhlmann, Gonzalo Ordóñez-Matamoros
2007 J jnl
Identifying creative research accomplishments: Methodology and results for nanotechnology and human genetics.
Scientometrics
Thomas Heinze, Philip Shapira, Jacqueline Senker, Stefan Kuhlmann
2003 J jnl
Evaluation of research and innovation policies: a discussion of trends with examples from Germany.
Int. J. Technol. Manag.
Stefan Kuhlmann
1995 J jnl
German Government Department's experience of RT & D programme evaluation and methodology.
Scientometrics
Stefan Kuhlmann
1987 — conf
Spinne oder Opfer im "neuen Netz"? Registratur und Postlauf in öffentlichen Verwaltungen.
GI Jahrestagung
Stefan Kuhlmann