Analyzing Functional Coverage in Bounded Model Checking von Grosse, D., Kuhne, U., Drechsler, R.

Volltext

Dosage of highly disperse powders by ultrasound agitated tube modules von Kühne, U., Fritsching, U.

Volltext

Assessing Trustworthy AI in Times of COVID-19: Deep Learning for Predicting a Multiregional Score Conveying the Degree of Lung Compromise in COVID-19 Patients von Allahabadi, Himanshi, Amann, Julia, Balot, Isabelle, Beretta, Andrea, Binkley, Charles, Bozenhard, Jonas, Bruneault, Frederick, Brusseau, James, Candemir, Sema, Cappellini, Luca Alessandro, Chakraborty, Subrata, Cherciu, Nicoleta, Cociancig, Christina, Coffee, Megan, Ek, Irene, Espinosa-Leal, Leonardo, Farina, Davide, Fieux-Castagnet, Genevieve, Frauenfelder, Thomas, Gallucci, Alessio, Giuliani, Guya, Golda, Adam, van Halem, Irmhild, Hildt, Elisabeth, Holm, Sune, Kararigas, Georgios, Krier, Sebastien A, Kuhne, Ulrich, Lizzi, Francesca, Madai, Vince I, Markus, Aniek F, Masis, Serg, Mathez, Emilie Wiinblad, Mureddu, Francesco, Neri, Emanuele, Osika, Walter, Ozols, Matiss, Panigutti, Cecilia, Parent, Brendan, Pratesi, Francesca, Moreno-Sanchez, Pedro A, Sartor, Giovanni, Savardi, Mattia, Signoroni, Alberto, Sormunen, Hanna-Maria, Spezzatti, Andy, Srivastava, Adarsh, Stephansen, Annette F, Theng, Lau Bee, Tithi, Jesmin Jahan, Tuominen, Jarno, Umbrello, Steven, Vaccher, Filippo, Vetter, Dennis, Westerlund, Magnus, Wurth, Renee, Zicari, Roberto V

Volltext

Formation of the energetic doubly charged Ne ion by irradiation of large neon clusters using intense EUV-FEL pulses at 52 nm von Nagaya, K, Sugishima, A, Iwayama, H, Murakami, H, Yao, M, Fukuzawa, H, Liu, X-J, Motomura, K, Ueda, K, Saito, N, Rudenko, A, Kurka, M, Kühne, K-U, Ullrich, J, Foucar, L, Czasch, A, Dörner, R, Feifel, R, Nagasono, M, Higashiya, A, Togashi, T, Yabashi, M, Ishikawa, T, Kimura, H, Ohashi, H

Volltext

Application of the IFN-γ ELISPOT assay to quantify T cell responses against proteins von Schmittel, Alexander, Keilholz, Ulrich, Bauer, Sandra, Kuhne, Ulrike, Stevanovic, Stefan, Thiel, Eckhard, Scheibenbogen, Carmen

Volltext

WoLFram- A Word Level Framework for Formal Verification von Sulflow, A., Kuhne, U., Fey, G., Grosse, D., Drechsler, R.

Volltext

Estimating Functional Coverage in Bounded Model Checking von Grobe, D., Kuhne, U., Drechsler, R.

Volltext

Finite controlled invariants for sampled switched systems von Fribourg, L., Kühne, U., Soulat, R.

Volltext

Property analysis and design understanding von Kuhne, U., Grosse, D., Drechsler, R.

Volltext

Safety and performance of cohesive polydensified matrix hyaluronic acid fillers with lidocaine in the clinical setting - an open-label, multicenter study von Kühne, Ulrich, Esmann, Jørgen, von Heimburg, Dennis, Imhof, Matthias, Weissenberger, Petra, Sattler, Gerhard

Volltext

Generating an Efficient Instruction Set Simulator from a Complete Property Suite von Kuhne, U., Beyer, S., Pichler, C.

Volltext

Increasing the accuracy of SAT-based debugging von Sulflow, A., Fey, G., Braunstein, C., Kuhne, U., Drechsler, R.

Volltext

Late results of cystectomy in carcinoma of the urinary bladder von Stadie, G, Kuhne, U

Volltext

The kinetics of cubic boron nitride formation in the system Bn-Mg3N2 von LORENZ, H, LORENZ, B, KÜHNE, U, HOHFELD, C

Volltext

Update in Epilation 2007: Laser und IPL – therapeutische Möglichkeiten von Kühne, U

Volltext

Episodic angioedema with eosinophilia : precursor lesions and relevance of histology : a case report von KUÊHNE, U, MARSCH, W. C

Volltext

Automatic property generation for the formal verification of bus bridges von Soeken, M, Kuhne, U, Freibothe, M, Fe, G, Drechsler, R

Volltext bestellen

Methylation of nicotinamide in rat liver cytosol and its correlation with hepatocellular proliferation von Hoshino, Jiro, Kühne, Uta, Kröger, Hans

Volltext

Distributed and coupled electrothermal model of power semiconductor devices von Belkacem, G., Labrousse, D., Lefebvre, S., Joubert, P., Kuhne, U., Fribourg, L., Soulat, R., Florentin, E., Rey, C.

Volltext

Towards Dependability-Aware Design of Hardware Systems Using Extended Program State Machines von Gruttner, K, Herrholz, A, Kuhne, U, Grosse, D, Rettberg, A, Nebel, W, Drechsler, R

Volltext bestellen