A Calculus of Chaos in Stochastic Compilation: Engineering in the Cause of Mathematics von Breuer, Peter T., Pickin, Simon J.

Volltext

Soundness and Completeness of the NRB Verification Logic von Breuer, Peter T., Pickin, Simon J.

Volltext

Soundness and Completeness of the NRB Verification Logic von Breuer, Peter T, Pickin, Simon J

Volltext

The Oncogenic Transcription Factor RUNX1/ETO Corrupts Cell Cycle Regulation to Drive Leukemic Transformation von Martinez-Soria, Natalia, McKenzie, Lynsey, Draper, Julia, Ptasinska, Anetta, Issa, Hasan, Potluri, Sandeep, Blair, Helen J., Pickin, Anna, Isa, Asmida, Chin, Paulynn Suyin, Tirtakusuma, Ricky, Coleman, Daniel, Nakjang, Sirintra, Assi, Salam, Forster, Victoria, Reza, Mojgan, Law, Ed, Berry, Philip, Mueller, Dorothee, Osborne, Cameron, Elder, Alex, Bomken, Simon N., Pal, Deepali, Allan, James M., Veal, Gareth J., Cockerill, Peter N., Wichmann, Christian, Vormoor, Josef, Lacaud, Georges, Bonifer, Constanze, Heidenreich, Olaf

Volltext

BJS commission on surgery and perioperative care post-COVID-19 von Abubakar, A, Abutaka, A, Al-Asali, N, Amin, K, Anastasopoulos, NA, Jothi, AA, Asif, A, Axiaq, A, Aytac, E, Azhar, B, Aziz, J, Azzam, A, Balachandran, G, Bankhead-Kendall, B, Banwell, Barnett, R, Bergenfeldt, H, Portoles, DC, Caviedes, J, Cayetano, L, Chaudry, H, Cioffi, S, Davletshina, Luis, RDE, Emile, SH, Endalle, G, Ercisli, C, Essangri, H, Alberti, JF, Fingerhut, S, Finlayson, S, Fleming, N, Fowler, H, Ghalige, H, Godula, D, Gutierrez, EG, Guest, R, Hidayat, H, Hossam, A, Howard, P, Ignatavicius, P, Je, J, Jiayan, Y, Kamarajah, S, Singh, HKS, Koh, A, Konig, D, Kramer, F, La, J, Latif, J, Lawal, A, Licardie, E, Lopez, A, Lowe, D, Maccabe, T, Masri, R, McAlinden, J, McGovern, J, Mills, E, Mohammed, TO, Mora-Guzman, Moynihan, A, Munoz, A, Myint, P, Nitschke, C, Novikova, A, Osunronbi, T, Pandarinath, S, Podesta, F, Rattanasirivilai, K, Rodriguez, J, Rommaneh, M, Rutegard, M, Samadov, E, Guerrero, MS, Seishima, R, SerranoNavidad, M, Shankar, B, Shetty, R, Sia, TC, Siragusa, L, Sohrabi, C, Tan, E, YongHui, AT, Tatar, C, Tay, E, Uwins, C, Vadim, P, van der Stok, E, Wadhwa, S, Warner, C, Wijnhoven, BPL, Willis, F, Yuen, S, Yves, B, Zaidi, A, Zbikowska, G, Zhagniyev, Z, Zmuc, J, Zope, M

Volltext

The Oncogenic Transcription Factor RUNX1/ETO Corrupts Cell Cycle Regulation to Drive Leukemic Transformation von Martinez-Soria, Natalia, McKenzie, Lynsey, Draper, Julia, Ptasinska, Anetta, Issa, Hasan, Potluri, Sandeep, Blair, Helen J., Pickin, Anna, Isa, Asmida, Chin, Paulynn Suyin, Tirtakusuma, Ricky, Coleman, Daniel, Nakjang, Sirintra, Assi, Salam, Forster, Victoria, Reza, Mojgan, Law, Ed, Berry, Philip, Mueller, Dorothee, Osborne, Cameron, Elder, Alex, Bomken, Simon N., Pal, Deepali, Allan, James M., Veal, Gareth J., Cockerill, Peter N., Wichmann, Christian, Vormoor, Josef, Lacaud, Georges, Bonifer, Constanze, Heidenreich, Olaf

Volltext

Test Synthesis from UML Models of Distributed Software von Pickin, S., Jard, C., Jeron, T., Jezequel, J.-M., Le Traon, Y.

Volltext

Knowledge model reuse: therapy decision through specialisation of a generic decision model von Manjarrés, Ángeles, Pickin, Simon, Mira, José

Volltext

Automated requirements-based generation of test cases for product families von Nebut, Clémentine, Pickin, Simon, Traon, Yves Le, Jézéquel, Jean-Marc

Volltext

Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code von Breuer, Peter T., Pickin, Simon

Volltext

Using UML Sequence Diagrams as the Basis for a Formal Test Description Language von Pickin, Simon, Jézéquel, Jean-Marc

Volltext

Construction of a Development Environment for GPMs Based on OO Analysis Patterns von Arias, Manuel, Manjarrés, Ángeles, Díez, Francisco J., Pickin, Simon

Volltext

System Test Synthesis from UML Models of Distributed Software von Pickin, Simon, Jard, Claude, Le Traon, Yves, Jéron, Thierry, Jean-Marc, Jézéquel, Le Guennec, Alain

Volltext