Association between the number of symptomatic mpox cases and the detection of mpox virus DNA in wastewater in Switzerland: an observational surveillance study von Bagutti, Claudia, Alt Hug, Monica, Heim, Philippe, Ilg Hampe, Evelyn, Hübner, Philipp, Julian, Timothy R, Koch, Katrin N, Grosheintz, Kerstin, Kraus, Melanie, Schaubhut, Carla, Tarnutzer, Rahel, Würfel, Eva, Fuchs, Simon, Tschudin-Sutter, Sarah

Volltext

Wastewater monitoring of SARS-CoV-2 shows high correlation with COVID-19 case numbers and allowed early detection of the first confirmed B.1.1.529 infection in Switzerland: results... von Bagutti, Claudia, Alt Hug, Monica, Heim, Philippe, Maurer Pekerman, Laura, Ilg Hampe, Evelyn, Hübner, Philipp, Fuchs, Simon, Savic, Miodrag, Stadler, Tanja, Topolsky, Ivan, Icer Baykal, Pelin, Dreifuss, David, Beerenwinkel, Niko, Tschudin Sutter, Sarah

Volltext

Solving Infinite-State Games via Acceleration von Heim, Philippe, Dimitrova, Rayna

Volltext

Cardiac mTOR complex 2 preserves ventricular function in pressure-overload hypertrophy von Shende, Pankaj, Xu, Lifen, Morandi, Christian, Pentassuglia, Laura, Heim, Philippe, Lebboukh, Sonia, Berthonneche, Corinne, Pedrazzini, Thierry, Kaufmann, Beat A., Hall, Michael N., Rüegg, Markus A., Brink, Marijke

Volltext

Neuregulin-1 triggers GLUT4 translocation and enhances glucose uptake independently of insulin receptor substrate and ErbB3 in neonatal rat cardiomyocytes von Heim, Philippe, Morandi, Christian, Brouwer, Gian R., Xu, Lifen, Montessuit, Christophe, Brink, Marijke

Volltext

Neuregulin-1β promotes glucose uptake via PI3K/Akt in neonatal rat cardiomyocytes von Pentassuglia, Laura, Heim, Philippe, Lebboukh, Sonia, Morandi, Christian, Xu, Lifen, Brink, Marijke

Volltext

Cardiac mTOR complex 2 preserves ventricular function in pressure-overload hypertrophy von Shende, Pankaj, Xu, Lifen, Morandi, Christian, Pentassuglia, Laura, Heim, Philippe, Lebboukh, Sonia, Berthonneche, Corinne, Pedrazzini, Thierry, Kaufmann, Beat A, Hall, Michael N, Rüegg, Markus A, Brink, Marijke

Volltext

Neuregulin-1[Beta] promotes glucose uptake via PI3K/Akt in neonatal rat cardiomyocytes von Pentassuglia, Laura, Heim, Philippe, Lebboukh, Sonia, Morandi, Christian, Xu, Lifen, Brink, Marijke

Volltext

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version) von Heim, Philippe, Dimitrova, Rayna

Volltext bestellen

Solving Infinite-State Games via Acceleration (Full Version) von Heim, Philippe, Dimitrova, Rayna

Volltext bestellen

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version) von Heim, Philippe, Dimitrova, Rayna

Volltext bestellen

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version) von Heim, Philippe, Dimitrova, Rayna

Volltext

Solving Infinite-State Games via Acceleration (Full Version) von Heim, Philippe, Dimitrova, Rayna

Volltext

Localized Attractor Computations for Infinite-State Games (Full Version) von Schmuck, Anne-Kathrin, Heim, Philippe, Dimitrova, Rayna, Nayak, Satya Prakash

Volltext bestellen

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version) von Heim, Philippe, Dimitrova, Rayna

Volltext

Temporal Stream Logic modulo Theories (Full Version) von Finkbeiner, Bernd, Heim, Philippe, Passing, Noemi

Volltext bestellen

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications von Geier, Gideon, Heim, Philippe, Klein, Felix, Finkbeiner, Bernd

Volltext bestellen

Localized Attractor Computations for Infinite-State Games (Full Version) von Schmuck, Anne-Kathrin, Heim, Philippe, Dimitrova, Rayna, Nayak, Satya Prakash

Volltext

Temporal Stream Logic modulo Theories (Full Version) von Finkbeiner, Bernd, Heim, Philippe, Passing, Noemi

Volltext

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications von Geier, Gideon, Heim, Philippe, Klein, Felix, Finkbeiner, Bernd

Volltext