Integrating SDL and VHDL for System-Level Hardware Design. - Wolfgang Glunz; Thomas Kruse; Torsten Rössel; Dieter Monjau (CHDL, 1993)

A Formal Semantics for a Graphical Model Representation in System Design. - Stefan Kahlert; Thomas Kruse; Dieter Monjau (EUROCAST, 1995)

SystemVerilog: Interface Based Design. - Peter Jensen; Wolfgang Ecker; Thomas Kruse; Martin Zambaldi (FDL, 2004)

The Formal Simulation Semantics of SystemVerilog. - Martin Zambaldi; Wolfgang Ecker; Thomas Kruse; Wolfgang Müller 003 (FDL, 2004)

Development and performance evaluation of an antenna diversity module for industrial communication based on IEEE 802.15.4. - Andreas R. Vedral; Thomas Kruse; Jörg F. Wollert (ETFA, 2007)

Hedging Forward Positions: Basis Risk Versus Liquidity Costs. - Stefan Ankirchner; Peter Kratz; Thomas Kruse (SIAM J. Financial Math., 2013)

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. - Jan-Hendrik Oetjens; Nico Bannow; Markus Becker 001; Oliver Bringmann 001; Andreas Burger; Moomen Chaari; Samarjit Chakraborty; Rolf Drechsler; Wolfgang Ecker; Kim Grüttner; Thomas Kruse; Christoph Kuznik; et al. (DAC, 2014)

BSDEs with Singular Terminal Condition and a Control Problem with Constraints. - Stefan Ankirchner; Monique Jeanblanc; Thomas Kruse (SIAM J. Control. Optim., 2014)

A model-based and simulation-assisted FMEDA approach for safety-relevant E/E systems. - Moomen Chaari; Wolfgang Ecker; Cristiano Novello; Bogdan-Andrei Tabacaru; Thomas Kruse (DAC, 2015)

Optimal stopping with private information. - Thomas Kruse; Philipp Strack (J. Econ. Theory, 2015)

Efficient Checkpointing-Based Safety-Verification Flow Using Compiled-Code Simulation. - Bogdan-Andrei Tabacaru; Moomen Chaari; Wolfgang Ecker; Thomas Kruse; Cristiano Novello (DSD, 2016)

Transformation of Failure Propagation Models into Fault Trees for Safety Evaluation Purposes. - Moomen Chaari; Wolfgang Ecker; Thomas Kruse; Cristiano Novello; Bogdan-Andrei Tabacaru (DSN Workshops, 2016)

Fault-effect analysis on system-level hardware modeling using virtual prototypes. - Bogdan-Andrei Tabacaru; Moomen Chaari; Wolfgang Ecker; Thomas Kruse; Cristiano Novello (FDL, 2016)

Gate-Level-Accurate Fault-Effect Analysis at Virtual-Prototype Speed. - Bogdan-Andrei Tabacaru; Moomen Chaari; Wolfgang Ecker; Thomas Kruse; Cristiano Novello (SAFECOMP Workshops, 2016)

Speeding up safety verification by fault abstraction and simulation to transaction level. - Bogdan-Andrei Tabacaru; Moomen Chaari; Wolfgang Ecker; Thomas Kruse; Cristiano Novello (VLSI-SoC, 2016)

Technical Note - The Joint Impact of F-Divergences and Reference Models on the Contents of Uncertainty Sets. - Thomas Kruse; Judith C. Schneider; Nikolaus Schweizer (Oper. Res., 2019)

On Multilevel Picard Numerical Approximations for High-Dimensional Nonlinear Parabolic Partial Differential Equations and High-Dimensional Nonlinear Backward Stochastic Differential Equations. - Weinan E; Martin Hutzenthaler; Arnulf Jentzen; Thomas Kruse (J. Sci. Comput., 2019)

An Inverse Optimal Stopping Problem for Diffusion Processes. - Thomas Kruse; Philipp Strack (Math. Oper. Res., 2019)

Multilevel Picard approximations for high-dimensional semilinear second-order PDEs with Lipschitz nonlinearities. - Martin Hutzenthaler; Arnulf Jentzen; Thomas Kruse; Tuan Anh Nguyen (CoRR, 2020)

Nonlinear Monte Carlo methods with polynomial runtime for high-dimensional iterated nested expectations. - Christian Beck; Arnulf Jentzen; Thomas Kruse (CoRR, 2020)

Overcoming the curse of dimensionality in the numerical approximation of Allen-Cahn partial differential equations via truncated full-history recursive multilevel Picard approximations. - Christian Beck; Fabian Hornung; Martin Hutzenthaler; Arnulf Jentzen; Thomas Kruse (J. Num. Math., 2020)

Multilevel Picard Approximations of High-Dimensional Semilinear Parabolic Differential Equations with Gradient-Dependent Nonlinearities. - Martin Hutzenthaler; Thomas Kruse (SIAM J. Numer. Anal., 2020)

Multilevel Picard approximations for McKean-Vlasov stochastic differential equations. - Martin Hutzenthaler; Thomas Kruse; Tuan Anh Nguyen (CoRR, 2021)

A Toolkit for Robust Risk Assessment Using F-Divergences. - Thomas Kruse; Judith C. Schneider; Nikolaus Schweizer (Manag. Sci., 2021)

Optimal Trade Execution in an Order Book Model with Stochastic Liquidity Parameters. - Julia Ackermann; Thomas Kruse; Mikhail Urusov (SIAM J. Financial Math., 2021)

Overcoming the Curse of Dimensionality in the Numerical Approximation of Parabolic Partial Differential Equations with Gradient-Dependent Nonlinearities. - Martin Hutzenthaler; Arnulf Jentzen; Thomas Kruse (Found. Comput. Math., 2022)

Deep neural networks with ReLU, leaky ReLU, and softplus activation provably overcome the curse of dimensionality for Kolmogorov partial differential equations with Lipschitz nonlinearities in the Lp-sense. - Julia Ackermann; Arnulf Jentzen; Thomas Kruse; Benno Kuckuck; Joshua Lee Padgett (CoRR, 2023)

Overcoming the curse of dimensionality in the numerical approximation of backward stochastic differential equations. - Martin Hutzenthaler; Arnulf Jentzen; Thomas Kruse; Tuan Anh Nguyen (J. Num. Math., 2023)

Optimal Dynamic Control of an Epidemic. - Thomas Kruse; Philipp Strack (Oper. Res., 2024)

Self-exciting price impact via negative resilience in stochastic order books. - Julia Ackermann; Thomas Kruse; Mikhail Urusov (Ann. Oper. Res., 2024)

Learning Brenier Potentials with Convex Generative Adversarial Neural Networks. - Claudia Drygala; Hanno Gottschalk; Thomas Kruse; Ségolène Martin; Annika Mütze (CoRR, 2025)

Deep neural networks can provably solve Bellman equations for Markov decision processes without the curse of dimensionality. - Arnulf Jentzen; Konrad Kleinberg; Thomas Kruse (CoRR, 2025)