Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography by M. . Anikeev, F. . Madlener, A. . Schlosser, S. A. Huss, C. . Walther

Get full text

The impact of postoperative atrial fibrillation on complications and mortality following Ivor Lewis esophagectomy for esophageal cancer by Saeed Torabi, Philipp Omuro, Fabian Dusse, Naita M. Wirsik, Thomas Schmidt, Wolfgang Schröder, Tobias Kammerer, Andrea U. Steinbicker, Hans A. Schlößer, Christiane J. Bruns, Hans F. Fuchs, Lars M. Schiffmann

Get full text

Long-Term Human Immune Reconstitution, T-Cell Development, and Immune Reactivity in Mice Lacking the Murine Major Histocompatibility Complex: Validation with Cellular and Gene Expr... by Milita Darguzyte, Philipp Antczak, Daniel Bachurski, Patrick Hoelker, Nima Abedpour, Rahil Gholamipoorfard, Hans A. Schlößer, Kerstin Wennhold, Martin Thelen, Maria A. Garcia-Marquez, Johannes Koenig, Andreas Schneider, Tobias Braun, Frank Klawonn, Michael Damrat, Masudur Rahman, Jan-Malte Kleid, Sebastian J. Theobald, Eugen Bauer, Constantin von Kaisenberg, Steven R. Talbot, Leonard D. Shultz, Brian Soper, Renata Stripecke

Get full text