Formal Sequential Equivalence Checking of Digital Systems by Symbolic Simulation

by Ritter, Gerd
Published 2001

Defining the critical hurdles in cancer immunotherapy

by Fox Bernard A, Schendel Dolores J, Butterfield Lisa H, Aamdal Steinar, Allison James P, Ascierto Paolo, Atkins Michael B, Bartunkova Jirina, Bergmann Lothar, Berinstein Neil, Bonorino Cristina C, Borden Ernest, Bramson Jonathan L, Britten Cedrik M, Cao Xuetao, Carson William E, Chang Alfred E, Characiejus Dainius, Choudhury A Raja, Coukos George, de Gruijl Tanja, Dillman Robert O, Dolstra Harry, Dranoff Glenn, Durrant Lindy G, Finke James H, Galon Jerome, Gollob Jared A, Gouttefangeas Cécile, Grizzi Fabio, Guida Michele, Håkansson Leif, Hege Kristen, Herberman Ronald B, Hodi F Stephen, Hoos Axel, Huber Christoph, Hwu Patrick, Imai Kohzoh, Jaffee Elizabeth M, Janetzki Sylvia, June Carl H, Kalinski Pawel, Kaufman Howard L, Kawakami Koji, Kawakami Yutaka, Keilholtz Ulrich, Khleif Samir N, Kiessling Rolf, Kotlan Beatrix, Kroemer Guido, Lapointe Rejean, Levitsky Hyam I, Lotze Michael T, Maccalli Cristina, Maio Michele, Marschner Jens-Peter, Mastrangelo Michael J, Masucci Giuseppe, Melero Ignacio, Melief Cornelius, Murphy William J, Nelson Brad, Nicolini Andrea, Nishimura Michael I, Odunsi Kunle, Ohashi Pamela S, O'Donnell-Tormey Jill, Old Lloyd J, Ottensmeier Christian, Papamichail Michael, Parmiani Giorgio, Pawelec Graham, Proietti Enrico, Qin Shukui, Rees Robert, Ribas Antoni, Ridolfi Ruggero, Ritter Gerd, Rivoltini Licia, Romero Pedro J, Salem Mohamed L, Scheper Rik J, Seliger Barbara, Sharma Padmanee, Shiku Hiroshi, Singh-Jasuja Harpreet, Song Wenru, Straten Per, Tahara Hideaki, Tian Zhigang, van Der Burg Sjoerd H, von Hoegen Paul, Wang Ena, Welters Marij JP, Winter Hauke, Withington Tara, Wolchok Jedd D, Xiao Weihua, Zitvogel Laurence, Zwierzina Heinz, Marincola Francesco M, Gajewski Thomas F, Wigginton Jon M, Disis Mary L
Published 2011-12-01