Applied Algebra Group

Publications

@article{TillmannJA2023,
  author = {andreas M. Tillmann and Imke Joormann and Sabrina C. L. Ammann},
  title  = {Reproducible air passenger demand estimation},
  journal = {{Journal of Air Transport Management}},
  volume = {112},
  note = {Art. No. 102462},
  year = {2023},
  url = {https://doi.org/10.1016/j.jairtraman.2023.102462},
  doi = {10.1016/j.jairtraman.2023.102462}
}

@misc{ammann2023realistic,
      title={Realistic Runtime Analysis for Quantum Simplex Computation}, 
      author={Sabrina C. L. Ammann and Maximilian Hess and Debora Ramacciotti and Sándor P. Fekete and Paulina L. A. Goedicke and David Gross and andreea Lefterovici and Tobias J. Osborne and Michael Perk and Antonio Rotundo and S. E. Skelton and Sebastian Stiller and Timo de Wolff},
      year={2023},
      howpublished = {Preprint (arXiv)},
      eprint={2311.09995},
      archivePrefix={arXiv},
      primaryClass={quant-ph},
      url={https://arxiv.org/abs/2311.09995}
}

@misc{ammann2024speedup,
      title={A Speed-up for Helsgaun's TSP Heuristic by Relaxing the Positive Gain Criterion}, 
      author={Sabrina C. L. Ammann and Birte Ostermann and Sebastian Stiller and Timo de Wolff},
      year={2024},
      howpublished = {Preprint (arXiv)},
      eprint={2401.16149},
      archivePrefix={arXiv},
      primaryClass={math.OC},
      url={https://arxiv.org/abs/2401.16149}
}

@article{ammann2024near,
  title={Near-Optimal Auctions on Independence Systems},
  author={Sabrina C. L. Ammann and Sebastian Stiller},
  journal={Theory of Computing Systems},
  pages={1--20},
  year={2024},
  publisher={Springer},
  url = {https://doi.org/10.1007/s00224-024-10189-5}
}

@misc{ostermann2025benchmarkingquantumclassicalsdp,
      title={Benchmarking of quantum and classical SDP relaxations for QUBO formulations of real-world logistics problems}, 
      author={Birte Ostermann and Taylor Garnowski and Fabian Henze and Vaibhavnath Jha and Asra Dia and Frederik Fiand and David Gross and Wendelin Gross and Julian Nowak and Timo de Wolff},
      year={2025},
      eprint={2503.10801},
      archivePrefix={arXiv},
      primaryClass={math.OC},
      url={https://arxiv.org/abs/2503.10801}, 
}

@misc{henze2025solvingquadraticbinaryoptimization,
      title={Solving quadratic binary optimization problems using quantum SDP methods: Non-asymptotic running time analysis}, 
      author={Fabian Henze and Viet Tran and Birte Ostermann and Richard Kueng and Timo de Wolff and David Gross},
      year={2025},
      eprint={2502.15426},
      archivePrefix={arXiv},
      primaryClass={quant-ph},
      url={https://arxiv.org/abs/2502.15426}, 
}

@article{PhysRevLett.134.030201,
  title = {Revealing Hidden Physical Nonclassicality with Non-negative Polynomials},
  author = {Ohst, Ties-A. and Yadin, Benjamin and Ostermann, Birte and de Wolff, Timo and G\"uhne, Otfried and Nguyen, Hai-Chau},
  journal = {Phys. Rev. Lett.},
  volume = {134},
  issue = {3},
  pages = {030201},
  numpages = {9},
  year = {2025},
  month = {Jan},
  publisher = {American Physical Society},
  doi = {10.1103/PhysRevLett.134.030201},
  url = {https://link.aps.org/doi/10.1103/PhysRevLett.134.030201}
}

@Article{Cai2025,
author={Cai, May
and Himmelmann, Matthias
and Ostermann, Birte},
title={Empirically exploring the space of monostationarity in dual phosphorylation},
journal={Journal of Mathematical Chemistry},
year={2025},
month={Mar},
day={01},
volume={63},
number={3},
pages={666-692},
abstract={The dual phosphorylation network provides an essential component of intracellular signaling, affecting the expression of phenotypes and cell metabolism. For particular choices of kinetic parameters, this system exhibits multistationarity, a property that is relevant in the decision-making of cells. Determining which reaction rate constants correspond to monostationarity and which produce multistationarity is an open problem. The system's monostationarity is linked to the nonnegativity of a specific polynomial. A previous study by Feliu et al. provides a sufficient condition for monostationarity via a decomposition of this polynomial into nonnegative circuit polynomials. However, this decomposition is not unique. We extend their work by a systematic approach to classifying such decompositions in the dual phosphorylation network. Using this classification, we provide a qualitative comparison of the decompositions into nonnegative circuit polynomials via empirical experiments and improve on previous conditions for the region of monostationarity.},
issn={1572-8897},
doi={10.1007/s10910-024-01687-5},
url={https://doi.org/10.1007/s10910-024-01687-5}
}

@inproceedings{Naumann.May19222025,
author = {Naumann, Jonas and Appels, Jonas and Sämann, Philipp and de Wolff, Timo and Brauer, Christoph},
title = {Enhancing Composite Micrograph Analysis with Semantic Segmentation},
publisher = {{Society for the Advancement of Material and Process Engineering}},
isbn = {9781934551486},
booktitle = {SAMPE 2025 Technical Proceedings},
year = {2025},
doi = {10.33599/nasampe/s.25.0098},
url = {https://doi.org/10.33599/nasampe/s.25.0098}
}

@inproceedings{Appels.May19222025,
author = {Appels, Jonas and Sämann, Philipp and Naumann, Jonas and Brauer, Christoph and Stefaniak, Daniel and Atli-Veltin, Bilim and Dransfeld, Clemens},
title = {Investigation of Fiber Volume Fraction as Key Parameter in Cryogenic Hydrogen Tank Development},
publisher = {{Society for the Advancement of Material and Process Engineering}},
isbn = {9781934551486},
booktitle = {SAMPE 2025 Technical Proceedings},
year = {2025},
doi = {10.33599/nasampe/s.25.0109},
url = {https://doi.org/10.33599/nasampe/s.25.0109}
}

@article{EH19desc,
  title           = {Describing the {J}elonek set of polynomial maps via Newton
                  polytopes},
  author          = {El Hilany, Boulos},
  journal         = {arXiv preprint arXiv:1909.07016},
  year            = 2019,
  url = {https://doi.org/10.48550/arXiv.1909.07016}
}

@article{EHT23,
  title={Computing the Non-properness Set of Real Polynomial Maps in the Plane},
  author={El Hilany, Boulos and Tsigaridas, Elias},
  journal={Vietnam J. Math.},
  fjournal={Vietnam Journal of Mathematics},
  year={2023},
  ISSN = {2305-2228},
  DOI = {10.1007/s10013-023-00652-0},
  URL = {https://doi.org/10.1007/s10013-023-00652-0},
  publisher={Springer}
}

@article{Hilany+2022,
author = {El Hilany, Boulos},
doi = {doi:10.1515/advgeom-2021-0042},
url = {https://doi.org/10.1515/advgeom-2021-0042},
title = {Counting isolated points outside the image of a polynomial map},
journal = {Adv. Geom.},
fjournal = {Advances in Geometry},
number = {3},
volume = {22},
year = {2022}
}

@article{grasegger2024coupler,
  title={Coupler curves of moving graphs and counting realizations of rigid graphs},
  author={Grasegger, Georg and El Hilany, Boulos and Lubbes, Niels},
  journal={Mathematics of Computation},
  volume={93},
  number={345},
  pages={459--504},
  year={2024},
  url = {https://doi.org/10.1090/mcom/3886}
}

@Article{ER19,
author="El Hilany, Boulos
and Rau, Johannes",
title="Signed counts of real simple rational functions",
journal="Journal of Algebraic Combinatorics",
year="2019",
month="Oct",
day="09",
abstract="We study the problem of counting real simple rational functions {\$}{\$}{\backslash}varphi {\$}{\$}$\phi$with prescribed ramification data (i.e. a particular class of oriented real Hurwitz numbers of genus 0). We introduce a signed count of such functions which is independent of the position of the branch points, thus providing a lower bound for the actual count (which does depend on the position). We prove (non-)vanishing theorems for these signed counts and study their asymptotic growth when adding further simple branch points. The approach is based on Itenberg and Zvonkine (Comment Math Helv 93(2), 441--474, 2018) which treats the polynomial case.",
issn="1572-9192",
doi="10.1007/s10801-019-00906-6",
url="https://doi.org/10.1007/s10801-019-00906-6"
}

@article {EH2024tropinon,
    AUTHOR = {El Hilany, Boulos},
     TITLE = {Tropical non-properness set of a polynomial map},
  FJOURNAL = {Discrete & Computational Geometry},
   JOURNAL = {DCG},
      YEAR = {2024},
      ISSN = {1432-0444},
       DOI = {10.1007/s00454-024-00684-4},
       URL = {https://doi.org/10.1007/s00454-024-00684-4},
}

@article{hilany2024polyhedral,
  title={The polyhedral type of a polynomial map on the plane},
  author={El Hilany, Boulos and Rose, Kemal},
  journal={arXiv preprint arXiv:2402.08993},
  year={2024},
url =  { 	
https://doi.org/10.48550/arXiv.2402.08993
}
}

@inproceedings{el2021note,
  title={A note on polynomial maps having fibers of maximal dimension},
  author={El Hilany, Boulos},
  booktitle={Colloquium Mathematicum},
  volume={166},
  pages={129--136},
  year={2021},
  organization={Instytut Matematyczny Polskiej Akademii Nauk},
  url =  {https://doi.org/10.4064/cm8162-8-2020}
}

@article{hilany2024bounds,
  title={Bounds on the infimum of polynomials over a generic semi-algebraic set using asymptotic critical values},
  author={El Hilany, Boulos and Tsigaridas, Elias},
  journal={arXiv preprint arXiv:2407.17093},
  year={2024},
  url = {https://doi.org/10.48550/arXiv.2407.17093}
}

@article{hilany2024improved,
  title={Improved fewnomial upper bounds from Wronskians and dessins d'enfant},
  author={Hilany, Boulos El and Tavenas, S{\'e}bastien},
  journal={arXiv preprint arXiv:2409.01651},
  year={2024},
  url = {https://doi.org/10.48550/arXiv.2409.01651}
}

@article{hilany2025around,
  title={Around the topological classification problem of polynomial maps: A survey},
  author={Hilany, Boulos El},
  journal={arXiv preprint arXiv:2501.03828},
  year={2025},
  url = {https://doi.org/10.48550/arXiv.2501.03828}
}

@article{hilany2024stratification,
  title={Stratification of Projection Maps From Toric Varieties},
  author={Hilany, Boulos El and Helmer, Martin and Tsigaridas, Elias},
  journal={arXiv preprint arXiv:2408.08991},
  year={2024},
url = {https://doi.org/10.48550/arXiv.2408.08991}
}

@article{Himmelmann:Evans:robustmodelingcylinderpackings,
    author = {Himmelmann, Matthias and Evans, Myfanwy E.},
    title = {{Robust Geometric Modeling of 3-Periodic Tensegrity Frameworks Using Riemannian Optimization}},
    journal = {SIAM Journal on Applied Algebra and Geometry},
    volume = {8},
    number = {2},
    year = {2024},
    doi = {10.1137/23M1559075},
    keywords = {Cylinder Packings, auxeticity, tensegrity framework, modeling, Riemannian Optimization},
	url = {https://doi.org/10.1137/23M1559075}
}

@article{Himmelmann:Pedersen:Evans:Klatt:Schoenhoefer:Schroeder-Turk:amorphousminimalsurfaces,
	author = {Matthias Himmelmann and Martin C. Pedersen and Myfanwy E. Evans and Michael A. Klatt and Philipp W. A. Schönhöfer and Gerd E.
	Schröder-Turk},
	title = {Amorphous bicontinuous minimal surface models and the superior Gaussian curvature uniformity of Diamond, Primitive and Gyroid surfaces},
	keywords = {Himmelmannother},
	journal = {Research Square},
	doi = {10.21203/rs.3.rs-6098054/v1},
	year = {2025},
	keywords = {minimal surfaces, geometric models, sponge phases, disorder, Gaussian curvature, isotropy},
	url = {https://doi.org/10.21203/rs.3.rs-6098054/v1}
}

@article{Himmelmann:Schulze:Winter:rigiditypolytopes,
	year = {2025},
	author = {Himmelmann, Matthias and Schulze, Bernd and Winter, Martin},
	journal = {arXiv},    
	title = {Rigidity of Polytopes with edge length and coplanarity constraints},
	doi = {10.48550/arXiv.2505.00874},
	keywords = {rigidity, flexibility, polytopes, generic},
	url = {https://doi.org/10.48550/arXiv.2505.00874}
}

@article{Gallet:Grasegger:Himmelmann:Legersky:pyrigi,
	year = {2025},
	author = {Gallet, Matteo and Grasegger, Georg, and Himmelmann, Matthias and Legerský, Jan},
	journal = {arXiv},    
	title = {PyRigi <span>–</span> a general-purpose Python package for the rigidity and flexibility of bar-and-joint frameworks},
	doi = {10.48550/arXiv.2505.22652},
	keywords = {rigidity, flexibility, software package, frameworks, graph theory},
	url = {https://doi.org/10.48550/arXiv.2505.22652}
}

@article{Heaton:Himmelmann:Euclideandistanceretraction,
  author = {Heaton, Alexander and Himmelmann, Matthias},
  keywords = {Statistics Theory (math.ST), Optimization and Control (math.OC), FOS: Mathematics, FOS: Mathematics},
  title = {{Computing Euclidean distance and maximum likelihood retraction maps for constrained optimization}},
  journal = {Computational Geometry},
  year = {2025},
  doi = {10.1016/j.comgeo.2024.102147},
  url = {https://doi.org/10.1016/j.comgeo.2024.102147},
  volume = {126}
}

@article{Lopsided:Amoeba,
    AUTHOR = {Forsg{\aa}rd, Jens and Matusevich, Laura and Mehlhop, Nathan and de Wolff, Timo},
     TITLE = {Lopsided approximation of amoebas},
   JOURNAL = {Mathematics of Computation},
    VOLUME = {88},
    NUMBER = {315},
      YEAR = {2019},
      url = {https://www.jstor.org/stable/pdf/90025045.pdf},
     PAGES = {485--500}
}

@article{Dressler:Iliman:deWolff:FirstConstrained,
  author    = {Dressler, Mareike and Iliman, Sadik and de Wolff, Timo},
  title     = {An Approach to Constrained Polynomial Optimization via Nonnegative Circuit Polynomials and Geometric Programming},
  journal   = {Journal of Symbolic Computation},
  volume    = {91},
  pages     = {149--172},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.jsc.2018.06.018},
  doi       = {10.1016/j.jsc.2018.06.018},
  timestamp = {Mon, 12 Nov 2018 14:55:41 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/DresslerIW19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{:deWolff:FirstConstrained,
  author    = {Thorsten J{\"o}rgens and Thorsten Theobald and Timo de Wolff},
  title     = {Imaginary projections of polynomials},
  journal   = {Journal of Symbolic Computation},
  volume    = {91},
  pages     = {181--199},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.jsc.2018.06.020},
  doi       = {10.1016/j.jsc.2018.06.020}
}

@inproceedings{Tang:deWolff:Zhao:EliminationIdeals,
  author    = {Xiaoxiang Tang and Timo de Wolff and Rukhai Zhao},
  title     = {A New Method for Computing Elimination Ideals of Likelihood Equations},
  booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019.},
  pages     = {339--346},
  year      = {2019},
  crossref  = {DBLP:conf/issac/2019},
  url       = {https://doi.org/10.1145/3326229.3326241},
  doi       = {10.1145/3326229.3326241}
}

@inproceedings{Kurpisz:deWolff:NewDependenciesPolyOpt,
  author    = {Adam Kurpisz and Timo de Wolff},
  title     = {New Dependencies of Hierarchies in Polynomial Optimization},
  booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019.},
  pages     = {251--258},
  year      = {2019},
  crossref  = {DBLP:conf/issac/2019},
  url       = {https://doi.org/10.1145/3326229.3326269},
  doi       = {10.1145/3326229.3326269},
  timestamp = {Tue, 30 Jul 2019 08:05:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/KurpiszW19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{Magron:Seidler:deWolff,
  author    = {Magron, Victor and Seidler, Henning and de Wolff, Timo},
  title     = {Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials},
  booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019.},
  pages     = {291--298},
  year      = {2019},
  crossref  = {DBLP:conf/issac/2019},
  url       = {https://doi.org/10.1145/3326229.3326271},
  doi       = {10.1145/3326229.3326271},
  timestamp = {Tue, 30 Jul 2019 08:05:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/MagronSW19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/issac/2019,
  editor    = {J.H. Davenport and D. Wang and M. Kauers and R.J. Bradford},
  title     = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, {B}eijing, {C}hina, {J}uly 15-18, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3326229},
  doi       = {10.1145/3326229},
  isbn      = {978-1-4503-6084-5},
  timestamp = {Tue, 30 Jul 2019 08:05:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{Dressler:Heuer:Naumann:deWolff:DualSONCLP,
  author       = {Dressler, Mareike and Heuer, Janin and Naumann, Helen and de Wolff, Timo},
  editor       = {I.Z. Emiris and L. Zhi},
  title        = {Global optimization via the dual {SONC} cone and linear programming},
  booktitle    = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
                  Kalamata, Greece, July 20-23, 2020},
  pages        = {138--145},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3373207.3404043},
  doi          = {10.1145/3373207.3404043},
  timestamp    = {Tue, 04 Aug 2020 17:31:25 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/DresslerHNW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{Le:SafeyElDin:deWolff:AuxeticInitial,
  author = {Huu Phuoc Le and Mohab Safey El Din and Timo de Wolff},
  editor       = {I.Z. Emiris and L. Zhi},
  title     = {Computing the real isolated points of an algebraic hypersurface},
  booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
               Kalamata, Greece, July 20-23, 2020},
  pages     = {297--304},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3373207.3404049},
  doi       = {10.1145/3373207.3404049},
  timestamp = {Thu, 20 Aug 2020 15:24:44 +0200},
  biburl    = {https://dblp.org/rec/conf/issac/LeDW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{GroupTesting:COVID19,
	author = {Timo de Wolff and Dirk Pf{\"u}ger and Markus Rehme and Janin Heuer and Martin-Imanuel Bittner},
	title = {Evaluation of Pool-based Testing Approaches to Enable Population-wide Screening for COVID-19},
	JOURNAL = {PLoS ONE},
	VOLUME = {15},
	NUMBER = {12},
	year = {2020},
	doi  = {https://doi.org/10.1371/journal.pone.0243692},
}

@article{Dressler:Kurpisz:deWolff:SONCHypercube,
  author    = {Dressler, Mareike and Kurpisz, Adam and de Wolff, Timo},
  title     = {Optimization over the Boolean Hypercube via Sums of Nonnegative Circuit Polynomials},
  year = {2022},
   Volume = {22},
 Number = {2},
 Pages = {365--387},
  Journal = {Foundations of Comp. Math.},
  doi = {https://doi.org/10.1007/s10208-021-09496-x}
}

@Article{deWolff:Yueruek:et:al:InitialMMS,
 Author = {Hartzer, Jacob and R{\"o}hrig, Olivia and de Wolff, Timo and Y{\"u}r{\"u}k, Oguzhan},
 Title = {{Initial steps in the classification of maximal mediated sets}},
 Journal = {{Journal of Symbolic Computation}},
 Volume = {109},
 Pages = {404--425},
 Year = {2022},
 DOI = {10.1016/j.jsc.2020.07.013}
}

@misc{Heuer:Tran:deWolff,
      title={A Generalized Muirhead Inequality and Symmetric Sums of Nonnegative Circuits}, 
      author={Janin Heuer and Ngoc Mai Tran and Timo de Wolff},
      year={2022},
      howpublished = {Preprint (arXiv)},
      eprint={2211.07266},
      archivePrefix={arXiv},
      primaryClass={math-co},
      url={https://arxiv.org/abs/2211.07266}
}

@article{Feliu:Kaihnsa:Yueruek:deWolff,
	author = {Feliu, Elisenda and Kaihnsa, Nidhi and Y{\"u}r{\"uk}, Oguzhan and de Wolff, Timo},
	title = {The kinetic space of multistationarity in dual phosphorylation},
   JOURNAL = {J. Dynam. Differential Equations},
  FJOURNAL = {Journal of Dynamics and Differential Equations},
    VOLUME = {34},
      YEAR = {2022},
    NUMBER = {2},
     PAGES = {825--852},
      ISSN = {1040-7294},
       DOI = {10.1007/s10884-020-09889-6}
}

@Article{Ergur:deWolff:RealHomotopy,
 Author = {Alperen Erg{\"u}r and de Wolff, Timo},
 Title = {{A polyhedral homotopy algorithm for real zeros}},
 Journal = {Arnold Mathematical Journal},
 Volume = {9},
 Pages = {305--338},
 Year = {2023},
 url = {https://doi.org/10.1007/s40598-022-00219-w},
 DOI = {10.1007/s40598-022-00219-w}
}

@article{Feliu:Kaihnsa:Yueruek:deWolff:nSite,
author = {Feliu, Elisenda and Kaihnsa, Nidhi and Y{\"u}r{\"uk}, Oguzhan and de Wolff, Timo},
title = {Parameter Region for Multistationarity in n-Site Phosphorylation Networks},
journal = {SIAM Journal on Applied Dynamical Systems},
volume = {22},
number = {3},
pages = {2024-2053},
year = {2023},
doi = {10.1137/22M1504548}
}

@article{Forsgaard:deWolff:BoundarySONCCone,
 Author = {Forsg{\aa}rd, Jens and de Wolff, Timo},
 Title = {The algebraic boundary of the sonc-cone},
 FJournal = {SIAM Journal on Applied Algebra and Geometry},
 Journal = {SIAM J. Appl. Algebra Geom.},
 ISSN = {2470-6566},
 Volume = {6},
 Number = {3},
 Pages = {468--502},
 Year = {2022},
 DOI = {10.1137/20M1325484}
}

@article{Oster:et:al:3DAuxetic,
	author  = "Oster, Matthias and Diaz, Marcelo and de Wolff, Timo and Evans, Myfanwy",
	title	= "Re-entrant tensegrity: A three-periodic, chiral, tensegrity structure that is auxetic",
	year	= "2021",
	Journal = "Science Advvances",
	Volume = "7",
	number = "50",
	DOI = "doi: 10.1126/sci-adv.abj6737"
}

@article{Brauer:Breustedt:Lorenz:deWolff:LearningBilevelOpt,
 author = {Brauer, Christoph and Breustedt, Niklas and Lorenz, Dirk and de Wolff, Timo},
 Title = {Learning variational models with unrolling and bilevel optimization},
 Journal = {Analysis and Applications},
 Volume = {22},
 Issue = {03},
 Pages = {569--617},
 Year = {2024},
 url = {https://doi.org/10.1142/S0219530524400037},
 doi = {10.1142/S0219530524400037}
}

@article{Rosenblum:et:al:AmyloidBeta,
author = {Rosenblum, Yevgenia and Pereira, Mariana and Stange, Oliver and Weber, Frederik D. and Bovy, Leonore and Tzioridou, Sofia and Lancini, Elisa and Neville, David A. and Klein, Nadja and de Wolff, Timo and Stritzke, Mandy and Kersten, Iris and Uhr, Manfred and Claassen, Jurgen A. H. R. and Steiger, Axel and Verbeek, Marcel M. and Dresler, Martin},
title = {Divergent Associations of Slow-Wave Sleep versus Rapid Eye Movement Sleep with Plasma Amyloid-Beta},
journal = {Annals of Neurology},
volume = {96},
number = {1},
pages = {46-60},
doi = {https://doi.org/10.1002/ana.26935},
url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/ana.26935},
eprint = {https://onlinelibrary.wiley.com/doi/pdf/10.1002/ana.26935},
abstract = {Objective Recent evidence shows that during slow-wave sleep (SWS), the brain is cleared from potentially toxic metabolites, such as the amyloid-beta protein. Poor sleep or elevated cortisol levels can worsen amyloid-beta clearance, potentially leading to the formation of amyloid plaques, a neuropathological hallmark of Alzheimer disease. Here, we explored how nocturnal neural and endocrine activity affects amyloid-beta fluctuations in the peripheral blood. Methods We acquired simultaneous polysomnography and all-night blood sampling in 60 healthy volunteers aged 20–68 years. Nocturnal plasma concentrations of amyloid-beta-40, amyloid-beta-42, cortisol, and growth hormone were assessed every 20 minutes. Amyloid-beta fluctuations were modeled with sleep stages, (non)oscillatory power, and hormones as predictors while controlling for age and participant-specific random effects. Results Amyloid-beta-40 and amyloid-beta-42 levels correlated positively with growth hormone concentrations, SWS proportion, and slow-wave (0.3–4Hz) oscillatory and high-band (30–48Hz) nonoscillatory power, but negatively with cortisol concentrations and rapid eye movement sleep (REM) proportion measured 40–100 minutes previously (all t values > |3|, p values < 0.003). Older participants showed higher amyloid-beta-40 levels. Interpretation Slow-wave oscillations are associated with higher plasma amyloid-beta levels, whereas REM sleep is related to decreased amyloid-beta plasma levels, possibly representing changes in central amyloid-beta production or clearance. Strong associations between cortisol, growth hormone, and amyloid-beta presumably reflect the sleep-regulating role of the corresponding releasing hormones. A positive association between age and amyloid-beta-40 may indicate that peripheral clearance becomes less efficient with age. ANN NEUROL 2024;96:46–60},
year = {2024}
}

@inproceedings{Heuer:deWolff:InitialLyapunov,
author = {de Wolff, Timo and Heuer, Janin},
title = {Initial Application of SONC to Lyapunov Stability of Dynamical Systems},
year = {2024},
isbn = {9798400706967},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3666000.3669709},
doi = {10.1145/3666000.3669709},
abstract = {Certifying the stability of dynamical systems is a central and challenging task in control theory and systems analysis. To tackle these problems we present an algorithmic approach to finding polynomial Lyapunov functions. Our method relies on sums of nonnegative circuit functions (SONC), a certificate of nonnegativity of real polynomials. We show that both the problem of verifying as well as the more difficult task of finding Lyapunov functions can be carried out via relative entropy programming when using SONC certificates. This approach is analogue yet independent to finding Lyapunov functions via sums of squares (SOS) certificates and semidefinite programming. We construct an algorithm for our results, and examples computed on its implementation showing its applicability.},
booktitle = {Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation},
pages = {361–370},
numpages = {10},
keywords = {Lyapunov stability, SONC, certificate of nonnegativity, circuit polynomial, dynamical systems, nonnegative polynomial},
location = {Raleigh, NC, USA},
series = {ISSAC '24}
}

@article{Seifert:et:al:Chirality,
author = {Seifert, Tim J. and Stritzke, Mandy and Kasten, Peer and Möller, Björn and Fingscheidt, Tim and Etzkorn, Markus and de Wolff, Timo and Schlickum, Uta},
title = {Chirality Detection in Scanning Tunneling Microscopy Data Using Artificial Intelligence},
journal = {Small Methods},
volume = {8},
number = {12},
pages = {2400549},
keywords = {chiral networks, molecular self-assembly, machine learning, object detection, scanning probe microscopy, synthetic training data},
doi = {https://doi.org/10.1002/smtd.202400549},
url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/smtd.202400549},
eprint = {https://onlinelibrary.wiley.com/doi/pdf/10.1002/smtd.202400549},
abstract = {Abstract Enantiospecific effects play an uprising role in chemistry and technical applications. Chiral molecular networks formed by self-assembly processes at surfaces can be imaged by scanning probe microscopy (SPM). Low contrast and high noise in the topography map often interfere with the automatic image analysis using classical methods. The long SPM image acquisition times restrain Artificial Intelligence-based methods requiring large training sets, leaving only tedious manual work, inducing human-dependent errors and biased labeling. By generating realistic looking synthetic images, the acquisition of real datasets is avoided. Two state-of-the-art object detection architectures are trained to localize and classify chiral unit-cells in a regular molecular chiral network formed by self-assembly of linear molecular bricks. The comparison of different architectures and datasets demonstrates that the training on purely synthetic data outperforms models trained using augmented datasets. A Faster R-CNN model trained solely on synthetic data achieved an excellent mean average precision of 99\% on real data. Hence this approach and the transfer to real data show high success, also highlighting the high robustness against experimental noise and different zoom levels across the full experimentally reasonable parameter range. The generalizability of this idea is demonstrated by achieving equally high performance on a different structure, too.},
year = {2024}
}

@article{Heuer:deWolff:Duality,
title = {The duality of SONC: Advances in circuit-based certificates},
journal = {Journal of Symbolic Computation},
volume = {132},
pages = {102479},
year = {2026},
doi = {https://doi.org/10.1016/j.jsc.2025.102479},
url = {https://www.sciencedirect.com/science/article/pii/S0747717125000616},
author = {Janin Heuer and Timo {de Wolff}}
}

@misc{Ellwanger:Theobald:deWolff,
      title={Nonnegativity of signomials with Newton simplex over convex sets}, 
      author={Jonas Ellwanger and Thorsten Theobald and Timo de Wolff},
      year={2025},
      howpublished = {Preprint (arXiv)},
      eprint={2504.10302},
      archivePrefix={arXiv},
      primaryClass={math-co},
      url={https://arxiv.org/abs/2504.10302}
}

. . In: (eds.), , , (), , , (view online)