Correctness-by-Construction: An Overview of the CorC Ecosystem von Bordis, Tabea, Runge, Tobias, Kittelmann, Alexander, Schaefer, Ina

Volltext

Information Flow Control-by-Construction for an Object-Oriented Language von Runge, Tobias, Kittelmann, Alexander, Servetto, Marco, Potanin, Alex, Schaefer, Ina

Volltext

Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers von Runge, Tobias, Kittelmann, Alexander, Servetto, Marco, Potanin, Alex, Schaefer, Ina

Volltext bestellen

Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers von Runge, Tobias, Kittelmann, Alexander, Servetto, Marco, Potanin, Alex, Schaefer, Ina

Volltext

Runtime Verification of Correct-by-Construction Driving Maneuvers von Kittelmann, Alexander, Runge, Tobias, Bordis, Tabea, Schaefer, Ina

Volltext

Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY von Bordis, Tabea, Cleophas, Loek, Kittelmann, Alexander, Runge, Tobias, Schaefer, Ina, Watson, Bruce W.

Volltext

Loss of ALS-associated TDP-43 in zebrafish causes muscle degeneration, vascular dysfunction, and reduced motor neuron axon outgrowth von Schmid, Bettina, Hruscha, Alexander, Hogl, Sebastian, Banzhaf-Strathmann, Julia, Strecker, Katrin, van der Zee, Julie, Teucke, Mathias, Eimer, Stefan, Hegermann, Jan, Kittelmann, Maike, Kremmer, Elisabeth, Cruts, Marc, Solchenberger, Barbara, Hasenkamp, Laura, van Bebber, Frauke, Van Broeckhoven, Christine, Edbauer, Dieter, Lichtenthaler, Stefan F., Haass, Christian

Volltext

In vivo synaptic recovery following optogenetic hyperstimulation von Kittelmann, Maike, Liewald, Jana F, Hegermann, Jan, Schultheis, Christian, Brauner, Martin, Steuer Costa, Wagner, Wabnig, Sebastian, Eimer, Stefan, Gottschalk, Alexander

Volltext

Peptide-Targeted Polyplexes for Aerosol-Mediated Gene Delivery to CD49f-Overexpressing Tumor Lesions in Lung von Taschauer, Alexander, Polzer, Wolfram, Alioglu, Fatih, Billerhart, Magdalena, Decker, Simon, Kittelmann, Theresa, Geppl, Emanuela, Elmenofi, Salma, Zehl, Martin, Urban, Ernst, Sami, Haider, Ogris, Manfred

Volltext

Catecholamine Metabolism Induces Mitochondrial DNA Deletions and Leads to Severe Adrenal Degeneration during Aging von Neuhaus, Johannes Friedrich Georg, Baris, Olivier Richard, Kittelmann, Anne, Becker, Katrin, Rothschild, Markus Alexander, Wiesner, Rudolf Josef

Volltext

General considerations for effective thermal neutron shielding in detector applications von Backis, Alexander, Al Jebali, Ramsey, Fissum, Kevin, Bentley, Phillip, Hall-Wilton, Richard, Kanaki, Kalliopi, Kittelmann, Thomas, Livingston, Kenneth

Volltext

tartan underlies the evolution of Drosophila male genital morphology von Hagen, Joanna F. D., Mendes, Cláudia C., Blogg, Amber, Payne, Alexander, Tanaka, Kentaro M., Gaspar, Pedro, Jimenez, Javier Figueras, Kittelmann, Maike, McGregor, Alistair P., Nunes, Maria D. S.

Volltext

Die Geschichtlichkeit des Briefs: Kontinuität und Wandel einer Kommunikationsform

Volltext

Die Geschichtlichkeit des Briefs: Kontinuität und Wandel einer Kommunikationsform von Norman Kasper, Jana Kittelmann, Jochen Strobel, Robert Vellusig, Norman Kasper, Jana Kittelmann, Jochen Strobel, Robert Vellusig

Volltext

Syk inhibitors with high potency in presence of blood von Thoma, Gebhard, Blanz, Joachim, Bühlmayer, Peter, Drückes, Peter, Kittelmann, Matthias, Smith, Alexander B., van Eis, Maurice, Vangrevelinghe, Eric, Zerwes, Hans-Günter, Che, Jianwei (John), He, Xiaohui, Jin, Yunho, Lee, Christian C., Michellys, Pierre-Yves, Uno, Tetsuo, Liu, Hong

Volltext

In vivo synaptic recovery following optogenetic hyperstimulation von Kittelmann, Maike, Liewald, Jana F., Hegermann, Jan, Schultheis, Christian, Brauner, Martin, Costa, Wagner Steuer, Wabnig, Sebastian, Eimer, Stefan, Gottschalk, Alexander

Volltext

Widerstrebende Modernität. Die Brief- und Arbeitsbeziehung zwischen Rainer Maria Rilke und seinem Verleger Anton Kippenberg von Honold, Alexander

Volltext

Laserspaltlampe mit Laserstrahlungsquelle von WIECHMANN, MARTIN, KITTELMANN, OLAF, KEMPE, MICHAEL, ZIMARE, DIEGO, MUEHLHOFF, DIRK, KALIES, ALEXANDER, GERLACH, MARIO

Volltext bestellen

Laser slit lamp with laser radiation source von MUEHLHOFF DIRK, KITTELMANN OLAF, KEMPE MICHAEL, KALIES ALEXANDER, WIECHMANN MARTIN, ZIMARE DIEGO, GERLACH MARIO

Volltext bestellen

Laser slit lamp with laser radiation source von Gerlach, Mario, Wiechmann, Martin, Kittelmann, Olaf, Zimare, Diego, Kempe, Michael, Muehlhoff, Dirk, Kalies, Alexander

Volltext bestellen