Improving Automatic Complexity Analysis of Integer Programs von Giesl, Jürgen, Lommen, Nils, Hark, Marcel, Meyer, Fabian

Volltext

Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs von Lommen, Nils, Giesl, Jürgen

Volltext bestellen

Targeting Completeness: Automated Complexity Analysis of Integer Programs von Lommen, Nils, Meyer, Éléanore, Giesl, Jürgen

Volltext bestellen

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT von Lommen, Nils, Meyer, Éléanore, Giesl, Jürgen

Volltext bestellen

Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs von Lommen, Nils, Giesl, Jürgen

Volltext

Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version) von Lommen, Nils, Meyer, Eleanore, Giesl, Jürgen

Volltext bestellen

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops von Lommen, Nils, Meyer, Fabian, Giesl, Jürgen

Volltext bestellen

Targeting Completeness: Automated Complexity Analysis of Integer Programs von Lommen, Nils, Meyer, Éléanore, Giesl, Jürgen

Volltext

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops von Lommen, Nils, Meyer, Fabian, Giesl, Jürgen

Volltext

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT von Lommen, Nils, Meyer, Éléanore, Giesl, Jürgen

Volltext

Improving Automatic Complexity Analysis of Integer Programs von Giesl, Jürgen, Lommen, Nils, Hark, Marcel, Meyer, Fabian

Volltext bestellen

Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version) von Lommen, Nils, Meyer, Eleanore, Giesl, Jürgen

Volltext

Improving Automatic Complexity Analysis of Integer Programs von Giesl, Jürgen, Lommen, Nils, Hark, Marcel, Meyer, Fabian

Volltext

Evaluation of patient specific care needs during treatment for head and neck cancer von Schorn, Lara, Lommen, Julian, Sproll, Christoph, Krüskemper, Gertrud, Handschel, Jörg, Nitschke, Julia, Prokein, Benjamin, Gellrich, Nils-Claudius, Holtmann, Henrik

Volltext

Trajectory-guided biopsy of orbital tumor – Technology, principal considerations and clinical implementation von Rana, Majeed, Holtmann, Henrik, Lommen, Julian, Rana, Madiha, Zeller, Alexander, Kübler, Norbert, Hufendiek, Karsten, Hermann, Elvis, Gellrich, Nils-Claudius, Sproll, Christoph

Volltext

Determinants for further wishes for cosmetic and reconstructive interventions in 1652 patients with surgical treated carcinomas of the oral cavity von Holtmann, Henrik, Spalthoff, Simon, Gellrich, Nils-Claudius, Handschel, Jörg, Lommen, Julian, Kübler, Norbert R., Krüskemper, Gertrud, Rana, Majeed, Sander, Karoline

Volltext

Determinants for further wishes for cosmetic and reconstructive interventions in 1652 patients with surgical treated carcinomas of the oral cavity von Holtmann, Henrik, Spalthoff, Simon, Gellrich, Nils-Claudius, Handschel, Jorg, Lommen, Julian, Kubler, Norbert R, Kruskemper, Gertrud, Rana, Majeed, Sander, Karoline

Volltext