A Molecular Switch Driving Inactivation in the Cardiac K+ Channel hERG David A. Ko¨pfer1, Ulrike Hahn2, Iris Ohmert2, Gert Vriend3, Olaf Pongs2, Bert L. de Groot1, Ulrich Zachariae1,3,4* 1 Computational Biomolecular Dyn

Source URL: www3.mpibpc.mpg.de

CALI A REDUCE Package for Commutative Algebra VersionHans-Gert Gr¨abe Universit¨at Leipzig

Source URL: www.reduce-algebra.com

Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification Gert Smolka1 and Tobias Tebbi1 1 Saarland University, Saarbrücken, Germany

Source URL: www.ps.uni-saarland.de

Completeness and Decidability Results for CTL in Coq Christian Doczkal Gert Smolka

Source URL: www.ps.uni-saarland.de

Completeness and Decidability Results for CTL in Constructive Type Theory Christian Doczkal Gert Smolka

Source URL: www.ps.uni-saarland.de

Finalplatz in Holland Gert Faustmann – Alexandra Kley erreichten einen hervorragenden 4. Platz im Finale des hochrangig mit 36 Paaren besetzten Feldes am 4. Oktober 2015 beim WDSF Open Senioren II Standard Turniers in

Source URL: www.blau-silber-berlin.de

A Linear First-Order Functional Intermediate Language for Verified Compilers Sigurd Schneider, Gert Smolka, Sebastian Hack Saarland University, Saarbr¨ ucken, Germany

Source URL: www.ps.uni-saarland.de

European Meteorological Society Introduction to the Weather Research and Forecasting (WRF) model Training Workshop, 11 September 2016, Trieste: 9:00 – 18:00 Gert-Jan Steeneveld (Wageningen Univ.), Hugo Hartmann (MeteoG

Source URL: www.ems2016.eu

• Simulation software
• Weather Research and Forecasting Model

World Digital Mathematics Library IMU-Panel, Seoul ICM 2014, August 20 What do we need? What can reference databases provide? Gert-Martin Greuel

Source URL: www.mathunion.org

Completeness and Decidability of de Bruijn Substitution Algebra in Coq Steven Sch¨afer Gert Smolka

Source URL: www.ps.uni-saarland.de