Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers

por Giannakopoulou, Dimitra, Kroening, Daniel
Publicado 2014

Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part II

por Kroening, Daniel, Păsăreanu, Corina S
Publicado 2015

Program synthesis: challenges and opportunities

por David, Cristina, Kroening, Daniel
Publicado 2017

Validation of evolving software

por Chockler, Hana, Kroening, Daniel, Mariani, Leonardo
Publicado 2015

Analysis of matrix-dependent cell migration by a barrier migration assay

por Kroening, S, Streiff, C, Goppelt-Struebe, M
Publicado 2009

Under-approximating loops in C programs for fast counterexample detection

por Kroening, Daniel, Lewis, Matt, Weissenbacher, Georg
Publicado 2015

Non-small Cell Lung Cancer with EGFR or HER2 Exon 20 Insertion Mutations: Diagnosis and Treatment Options

por Brazel, Danielle, Kroening, Gianna, Nagasaka, Misako
Publicado 2022

Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration

por Cattaruzza, Dario, Abate, Alessandro, Schrammel, Peter, Kroening, Daniel
Publicado 2020

QRISK3® stratification during the Coronavirus pandemic and the evolution of a health promotion opportunity in NHS hospital employees

por Giri, Prosenjit, Kroening, Dr Helen, Hoare, Mr Jonathan
Publicado 2022

Epstein–Barr virus latent membrane protein 1 trans-activates miR-155 transcription through the NF-κB pathway

por Gatto, Graziana, Rossi, Annalisa, Rossi, Daniela, Kroening, Sven, Bonatti, Stefano, Mallardo, Massimo
Publicado 2008

Distinct Mesenchymal Alterations in N-Cadherin and E-Cadherin Positive Primary Renal Epithelial Cells

por Keller, Christof, Kroening, Sven, Zuehlke, Jonathan, Kunath, Frank, Krueger, Bettina, Goppelt-Struebe, Margarete
Publicado 2012

Automated formal synthesis of provably safe digital controllers for continuous plants

por Abate, Alessandro, Bessa, Iury, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth
Publicado 2019

Synthesising Programs with Non-trivial Constants

por Abate, Alessandro, Barbosa, Haniel, Barrett, Clark, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth, Reynolds, Andrew, Tinelli, Cesare
Publicado 2023

BRCA-Mutated Pancreatic Cancer: From Discovery to Novel Treatment Paradigms

por Devico Marciano, Naomie, Kroening, Gianna, Dayyani, Farshid, Zell, Jason A., Lee, Fa-Chyi, Cho, May, Valerin, Jennifer Goldstein
Publicado 2022

S5. Proffered paper: Maintenance therapy of metastatic colorectal carcinoma with the TLR-9 agonist MGN1703: clinical and immunological predictive pretreatment factors of activity i...

por Schmoll, H, Wittig, BW, Arnold, DA, Riera-Knorrenschild, JRK, Nietsche, DN, Kroening, HK, Mayer, FM, Andel, JA, Ziebermayr, RZ, Scheithauer, WS
Publicado 2014

Maintenance treatment with the immunomodulator MGN1703, a Toll-like receptor 9 (TLR9) agonist, in patients with metastatic colorectal carcinoma and disease control after chemothera...

por Schmoll, Hans-Joachim, Wittig, Burghardt, Arnold, Dirk, Riera-Knorrenschild, Jorge, Nitsche, Dieter, Kroening, Hendrik, Mayer, Frank, Andel, Johannes, Ziebermayr, Reinhard, Scheithauer, Werner
Publicado 2014

The UBX domain in UBXD1 organizes ubiquitin binding at the C-terminus of the VCP/p97 AAA-ATPase

por Blueggel, Mike, Kroening, Alexander, Kracht, Matthias, van den Boom, Johannes, Dabisch, Matthias, Goehring, Anna, Kaschani, Farnusch, Kaiser, Markus, Bayer, Peter, Meyer, Hemmo, Beuck, Christine
Publicado 2023

Targeting Eukaryotic Translation in Mesothelioma Cells with an eIF4E-Specific Antisense Oligonucleotide

por Jacobson, Blake A., Thumma, Saritha C., Jay-Dixon, Joseph, Patel, Manish R., Dubear Kroening, K., Kratzke, Marian G., Etchison, Ryan G., Konicek, Bruce W., Graff, Jeremy R., Kratzke, Robert A.
Publicado 2013

Infantile epileptic spasms syndrome in children with cardiofaciocutanous syndrome: Clinical presentation and associations with genotype

por Kenney‐Jung, Daniel L., Rogers, Dante J., Kroening, Samuel J., Zatkalik, Abigail L., Whitmarsh, Ashley E., Roberts, Amy E., Zenker, Martin, Gambardella, Maria Luigia, Contaldo, Ilaria, Leoni, Chiara, Onesimo, Roberta, Zampino, Giuseppe, Tartaglia, Marco, Battaglia, Domenica I., Pierpont, Elizabeth I.
Publicado 2022

First-line trifluridine/tipiracil + bevacizumab in patients with unresectable metastatic colorectal cancer: final survival analysis in the TASCO1 study

por Van Cutsem, E., Danielewicz, I., Saunders, M. P., Pfeiffer, P., Argilés, G., Borg, C., Glynne-Jones, R., Punt, C. J. A., Van de Wouw, A. J., Fedyanin, M., Stroyakovskiy, D., Kroening, H., Garcia-Alfonso, P., Wasan, H., Falcone, A., Fougeray, R., Egorov, A., Amellal, N., Moiseyenko, V.
Publicado 2022