Invariant Generation for Multi-Path Loops with Polynomial Assignments von Humenberger, Andreas, Jaroschek, Maximilian, Kovács, Laura

Volltext

Algebra-Based Reasoning for Loop Synthesis von Humenberger, Andreas, Amrollahi, Daneshvar, Bjørner, Nikolaj, Kovács, Laura

Volltext

Aligator.jl – A Julia Package for Loop Invariant Generation von Humenberger, Andreas, Jaroschek, Maximilian, Kovács, Laura

Volltext

Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper) von Humenberger, Andreas, Kovács, Laura

Volltext

Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases von Calimeri, Francesco, Fink, Michael, Germano, Stefano, Humenberger, Andreas, Ianni, Giovambattista, Redl, Christoph, Stepanova, Daria, Tucci, Andrea, Wimmer, Anton

Volltext

Algebra-Based Loop Synthesis von Humenberger, Andreas, Bjørner, Nikolaj, Kovács, Laura

Volltext

Algebra-based Synthesis of Loops and their Invariants (Invited Paper) von Humenberger, Andreas, Kovacs, Laura

Volltext

Algebra-based Loop Synthesis von Humenberger, Andreas, Kovács, Laura

Volltext bestellen

Algebra-Based Reasoning for Loop Synthesis von Humenberger, Andreas, Amrollahi, Daneshvar, Bjørner, Nikolaj, Kovács, Laura

Volltext

Algebra-based Loop Synthesis von Humenberger, Andreas, Kovács, Laura

Volltext

Aligator.jl - A Julia Package for Loop Invariant Generation von Humenberger, Andreas, Jaroschek, Maximilian, Kovács, Laura

Volltext

Invariant Generation for Multi-Path Loops with Polynomial Assignments von Humenberger, Andreas, Jaroschek, Maximilian, Kovács, Laura

Volltext

Invariant Generation for Multi-Path Loops with Polynomial Assignments von Kovacs, Laura, Humenberger, Andreas, Jaroschek, Maximillian

Volltext

Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences von Humenberger, Andreas, Jaroschek, Maximilian, Kovács, Laura

Volltext

Adherence to inhaled therapy and its impact on chronic obstructive pulmonary disease (COPD) von Humenberger, Magdalena, Horner, Andreas, Labek, Anna, Kaiser, Bernhard, Frechinger, Rupert, Brock, Constanze, Lichtenberger, Petra, Lamprecht, Bernd

Volltext

Peri-interventional endothelin-A receptor blockade improves long-term outcome in patients with ST-elevation acute myocardial infarction von Adlbrecht, Christopher, Wurm, Raphael, Humenberger, Michael, Andreas, Martin, Redwan, Bassam, Distelmaier, Klaus, Klappacher, Günter, Lang, Irene M.

Volltext

Endothelin-A receptor blockade and long-term outcome in patients with ST-elevation acute coronary syndrome von Adlbrecht, C., Wurm, R., Humenberger, M., Redwan, B., Andreas, M., Distelmaier, K., Lang, I. M.

Volltext

Endothelin A receptor blockade and long term outcome in patients with ST elevation acute coronary syndrome von Wurm, Raphael, Adlbrecht, Christopher, Humenberger, Michael, Redwan, Bassam, Andreas, Martin, Distelmaier, Klaus, Lang, Irene M.

Volltext

Flexible Hardware-Based Stereo Matching von Ambrosch, Karina, Kubinger, Wilfried, Humenberger, Martin, Steininger, Andreas

Volltext

Basic studies on bioadhesive delivery systems for peptide and protein drugs von Bernkop-Schnürch, Andreas, Humenberger, Claudia, Valenta, Claudia

Volltext