Analyzing Functional Coverage in Bounded Model Checking
Grosse, D., Kuhne, U., Drechsler, R.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.2008)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.2008)
Get full text
Journal Article
Formation of the energetic doubly charged Ne ion by irradiation of large neon clusters using intense EUV-FEL pulses at 52 nm
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
Published in Journal of physics. Conference series (01.06.2010)
Published in Journal of physics. Conference series (01.06.2010)
Get full text
Journal Article
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
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
Published in IEEE transactions on technology and society (01.12.2022)
Published in IEEE transactions on technology and society (01.12.2022)
Get full text
Journal Article
WoLFram- A Word Level Framework for Formal Verification
Sulflow, A., Kuhne, U., Fey, G., Grosse, D., Drechsler, R.
Published in 2009 IEEE/IFIP International Symposium on Rapid System Prototyping (01.06.2009)
Published in 2009 IEEE/IFIP International Symposium on Rapid System Prototyping (01.06.2009)
Get full text
Conference Proceeding
Estimating Functional Coverage in Bounded Model Checking
Grobe, D., Kuhne, U., Drechsler, R.
Published in 2007 Design, Automation & Test in Europe Conference & Exhibition (01.04.2007)
Published in 2007 Design, Automation & Test in Europe Conference & Exhibition (01.04.2007)
Get full text
Conference Proceeding
Property analysis and design understanding
Kuhne, U., Grosse, D., Drechsler, R.
Published in 2009 Design, Automation & Test in Europe Conference & Exhibition (01.04.2009)
Published in 2009 Design, Automation & Test in Europe Conference & Exhibition (01.04.2009)
Get full text
Conference Proceeding
Generating an Efficient Instruction Set Simulator from a Complete Property Suite
Kuhne, U., Beyer, S., Pichler, C.
Published in 2009 IEEE/IFIP International Symposium on Rapid System Prototyping (01.06.2009)
Published in 2009 IEEE/IFIP International Symposium on Rapid System Prototyping (01.06.2009)
Get full text
Conference Proceeding
Increasing the accuracy of SAT-based debugging
Sulflow, A., Fey, G., Braunstein, C., Kuhne, U., Drechsler, R.
Published in 2009 Design, Automation & Test in Europe Conference & Exhibition (01.04.2009)
Published in 2009 Design, Automation & Test in Europe Conference & Exhibition (01.04.2009)
Get full text
Conference Proceeding
Safety and performance of cohesive polydensified matrix hyaluronic acid fillers with lidocaine in the clinical setting - an open-label, multicenter study
Kühne, Ulrich, Esmann, Jørgen, von Heimburg, Dennis, Imhof, Matthias, Weissenberger, Petra, Sattler, Gerhard
Published in Clinical, cosmetic and investigational dermatology (01.01.2016)
Published in Clinical, cosmetic and investigational dermatology (01.01.2016)
Get full text
Journal Article
Update in Epilation 2007: Laser und IPL – therapeutische Möglichkeiten
Get full text
Conference Proceeding