Model-based software engineering for an optical navigation system for spacecraft von Franz, T., Lüdtke, D., Maibaum, O., Gerndt, A.

Volltext

A methodology for model-based development and automated verification of software for aerospace systems von Martin, L., Schatalov, M., Hagner, M., Goltz, U., Maibaum, O.

Volltext

Rosetta Lander – Landing and operations on comet 67P/Churyumov–Gerasimenko von Ulamec, Stephan, Fantinati, Cinzia, Maibaum, Michael, Geurts, Koen, Biele, Jens, Jansen, Sven, Küchemann, Oliver, Cozzoni, Barbara, Finke, Felix, Lommatsch, Valentina, Moussi-Soffys, Aurelie, Delmas, Cedric, O´Rourke, Laurence

Volltext

Decoupling of exchange and persistence times in atomistic models of glass formers von Hedges, Lester O, Maibaum, Lutz, Chandler, David, Garrahan, Juan P

Volltext

The CATH Domain Structure Database and related resources Gene3D and DHS provide comprehensive domain family information for genome analysis von Pearl, Frances, Todd, Annabel, Sillitoe, Ian, Dibley, Mark, Redfern, Oliver, Lewis, Tony, Bennett, Christopher, Marsden, Russell, Grant, Alistair, Lee, David, Akpor, Adrian, Maibaum, Michael, Harrison, Andrew, Dallman, Timothy, Reeves, Gabrielle, Diboun, Ilhem, Addou, Sarah, Lise, Stefano, Johnston, Caroline, Sillero, Antonio, Thornton, Janet, Orengo, Christine

Volltext

Crystal Structure of Human BACE2 in Complex with a Hydroxyethylamine Transition-state Inhibitor von Ostermann, Nils, Eder, Jörg, Eidhoff, Ulf, Zink, Florence, Hassiepen, Ulrich, Worpenberg, Susanne, Maibaum, Jürgen, Simic, Oliver, Hommel, Ulrich, Gerhartz, Bernd

Volltext

Survey of current protein family databases and their application in comparative, structural and functional genomics von Redfern, Oliver, Grant, Alastair, Maibaum, Michael, Orengo, Christine

Volltext

Exploiting protein structure data to explore the evolution of protein function and biological complexity von Marsden, Russell L, Ranea, Juan A.G, Sillero, Antonio, Redfern, Oliver, Yeats, Corin, Maibaum, Michael, Lee, David, Addou, Sarah, Reeves, Gabrielle A, Dallman, Timothy J, Orengo, Christine A

Volltext

Decoupling of exchange and persistence times in atomistic modelsof glass formers von Hedges, Lester O., Maibaum, Lutz, Chandler, David, Garrahan, Juan P.

Volltext

De-coupling of exchange and persistence times in atomistic modelsof glass formers von Hedges, Lester O., Maibaum, Lutz, Chandler, David, Garrahan, Juan P.

Volltext

Ready-Simulation Is Not Ready to Express a Modular Refinement Relation von Bellegarde, Françoise, Julliand, Jacques, Kouchnarenko, Olga

Volltext

System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches von Dondossola, Giovanna, Botti, Oliver

Volltext

On Software Certification: We Need Product-Focused Approaches von Wassyng, Alan, Maibaum, Tom, Lawford, Mark

Volltext

Detection of urinary drug metabolite (Xenometabolome) signatures in molecular epidemiology studies via statistical total correlation (NMR) spectroscopy von Holmes, E, Loo, RL, Cloarec, O, Coen, M, Tang, H, Maibaum, E, Bruce, S, Chan, Q, Elliott, P, Stamler, J, Wilson, ID, Lindon, JC, Nicholson, JK

Volltext

6-6 FUSED BICYCLIC HETEROARYL COMPOUNDS AND THEIR USE AS LATS INHIBITORS von JIN, Qihui, PAN, Jianfeng, LIU, Yahu, MAIBAUM, Juergen Klaus, TCHORZ, Jan, YAN, Shanshan, XIE, Yun Feng, LACOSTE, Arnaud, HAO, Xueshi, ZOU, Yefen, MO, Tingting, BEHNKE, Dirk, HOFFMAN, Timothy, BERENSHTEYN, Frada, LIU, Jun, QU, Xin, LEE, Cameron

Volltext bestellen

6-6 Fused Bicyclic Heteroaryl Compounds and their Use as LATS Inhibitors von HOFFMAN, Timothy Z, JIN, Qihui, PAN, Jianfeng, MAIBAUM, Juergen Klaus, TCHORZ, Jan, YAN, Shanshan, LIU, Yahu A, XIE, Yun Feng, LACOSTE, Arnaud, HAO, Xueshi, ZOU, Yefen, MO, Tingting, BEHNKE, Dirk, BERENSHTEYN, Frada, LIU, Jun, QU, Xin, LEE, Cameron

Volltext bestellen

6-6 Fused Bicyclic Heteroaryl Compounds and their use as LATS inhibitors von JIN, Qihui, PAN, Jianfeng, LIU, Yahu, MAIBAUM, Juergen Klaus, TCHORZ, Jan, YAN, Shanshan, XIE, Yun Feng, LACOSTE, Arnaud, HAO, Xueshi, ZOU, Yefen, MO, Tingting, BEHNKE, Dirk, HOFFMAN, Timothy, BERENSHTEYN, Frada, LIU, Jun, QU, Xin, LEE, Cameron

Volltext bestellen

Formal modeling of electronic commerce von Wu, D J, Zong, Fang, Kimbrough, Steven O, Fang, Christina, Valluri, Annapurna, Zheng, Zhiqiang, Pace, Stefano, Daskalopulu, Aspassia, Dimitrakos, Theo, Maibaum, Tom, Abrahams, Alan S, Bacon, Jean M

Volltext

6-6 FUSED BICYCLIC HETEROARYL COMPOUNDS AND THEIR USE AS LATS INHIBITORS von JIN, Qihui, PAN, Jianfeng, LIU, Yahu, MAIBAUM, Juergen Klaus, TCHORZ, Jan, YAN, Shanshan, XIE, Yun Feng, LACOSTE, Arnaud, HAO, Xueshi, ZOU, Yefen, MO, Tingting, BEHNKE, Dirk, HOFFMAN, Timothy, BERENSHTEYN, Frada, LIU, Jun, QU, Xin, LEE, Cameron

Volltext bestellen

6-6 FUSED BICYCLIC HETEROARYL COMPOUNDS AND THEIR USE AS LATS INHIBITORS von JIN, Qihui, PAN, Jianfeng, LIU, Yahu, MAIBAUM, Juergen Klaus, TCHORZ, Jan, YAN, Shanshan, XIE, Yun Feng, LACOSTE, Arnaud, HAO, Xueshi, ZOU, Yefen, MO, Tingting, BEHNKE, Dirk, HOFFMAN, Timothy, BERENSHTEYN, Frada, LIU, Jun, QU, Xin, LEE, Cameron

Volltext bestellen