Max Sagebaum,
Nicolas R. Gauger,
Uwe Naumann,
Johannes Lotz,
and Klaus Leppkes
Algorithmic Differentiation of a Complex C++ Code with Underlying Libraries
Sebastian Junges,
Ulrich Loup,
Florian Corzilius and Erika Ábrahám
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers
Joost-Pieter Katoen,
Thomas Noll,
Thomas Santen,
Dirk Seifert,
and Hao Wu
Performance Analysis of Computing Servers using Stochastic Petri Nets and Markov Automata
![[ps.gz]](../images/ps.gz.gif)
![[pdf]](../images/pdf.gif)