Symbolic types for lenient symbolic execution von Chang, Stephen, Knauth, Alex, Torlak, Emina

Volltext

Rhombus: A New Spin on Macros without All the Parentheses von Flatt, Matthew, Allred, Taylor, Angle, Nia, De Gabrielle, Stephen, Findler, Robert Bruce, Firth, Jack, Gopinathan, Kiran, Greenman, Ben, Kasivajhula, Siddhartha, Knauth, Alex, McCarthy, Jay, Phillips, Sam, Porncharoenwase, Sorawee, Søgaard, Jens Axel, Tobin-Hochstadt, Sam

Volltext

Type systems as macros von Chang, Stephen, Knauth, Alex, Greenman, Ben

Volltext

One-Stop Management of 230 Consecutive Acute Stroke Patients: Report of Procedural Times and Clinical Outcome von Psychogios, Marios-Nikos, Maier, Ilko L, Tsogkas, Ioannis, Hesse, Amélie Carolina, Brehm, Alex, Behme, Daniel, Schnieder, Marlena, Schregel, Katharina, Papageorgiou, Ismini, Liebeskind, David S, Goyal, Mayank, Bähr, Mathias, Knauth, Michael, Liman, Jan

Volltext

Free Radical-Mediated Damage to Barrier Function is not Associated with Altered Brain Morphology in High-Altitude Headache von Bailey, Damian M, Roukens, Robin, Knauth, Michael, Kallenberg, Kai, Christ, Stefan, Mohr, Alex, Genius, Just, Storch-Hagenlocher, Birgitte, Meisel, Fabien, McEneny, Jane, Young, Ian S, Steiner, Thorsten, Hess, Klaus, Baärtsch, Peter

Volltext

LEGAL PROBLEMS OF UPPER SPACE von Cooper, John Cobb, Roy, P. K., Meyer, Alex, Colclaser, H. Alberta, Knauth, Arnold W.

Volltext