Monotonicity in shared-memory program verification by Kaiser, A

Efficient coverability analysis by proof minimization by Kaiser, A, Kroening, D, Wahl, T

Lost in abstraction: monotonicity in multi-threaded programs by Kaiser, A, Kroening, D, Wahl, T

Lost in abstraction: monotonicity in multi-threaded programs by Kaiser, A, Kroening, D, Wahl, T

A widening approach to multithreaded program verification by Kaiser, A, Kroening, D, Wahl, T

Counterexample-guided abstraction refinement for symmetric concurrent programs by Donaldson, A, Kaiser, A, Kroening, D

Vitamin D Metabolites and Sex Steroid Indices in Postmenopausal Women with and without Low Bone Mass by Nasser M. Al-Daghri, Sobhy M. Yakout, Mohammed G.A. Ansari, Syed D. Hussain, Kaiser A. Wani, Shaun Sabico

Get full text

Vitamin D Receptor Gene Variants Susceptible to Osteoporosis in Arab Post-Menopausal Women by Mohammed. G. A. Ansari, Abdul Khader Mohammed, Kaiser A. Wani, Syed D. Hussain, Abdullah M. Alnaami, Saba Abdi, Naji J. Aljohani, Nasser M. Al-Daghri

Get full text

Gut-Derived Endotoxin and Telomere Length Attrition in Adults with and without Type 2 Diabetes by Nasser M. Al-Daghri, Saba Abdi, Shaun Sabico, Abdullah M. Alnaami, Kaiser A. Wani, Mohammed G. A. Ansari, Malak Nawaz Khan Khattak, Nasiruddin Khan, Gyanendra Tripathi, George P. Chrousos, Philip G. McTernan

Get full text

Magnetic activity in the photosphere of CoRoT-Exo-2a Active longitudes and short-term spot cycle in a young Sun-like star by Lanza, A, Pagano, I, Leto, G, Messina, S, Aigrain, S, Alonso, R, Auvergne, M, Baglin, A, Barge, P, Bonomo, A, Boumier, P, Cameron, A, Comparato, M, Cutispoto, G, Medeiros, D, Foing, B, Kaiser, A, Moutou, C, Parihar, P, Silva-Valio, A, Weiss, W

Development, behaviour and sensory processing in Marshall-Smith syndrome and Malan syndrome: phenotype comparison in two related syndromes by Mulder, PA, van Balkom, IDC, Landlust, AM, Priolo, M, Menke, LA, Acero, IH, Alkuraya, FS, Arias, P, Bernardini, L, Bijlsma, EK, Cole, T, Coubes, C, Dapia, I, Davies, S, Di Donato, N, Elcioglu, NH, Fahrner, JA, Foster, A, González, NG, Huber, I, Iascone, M, Kaiser, A-S, Kamath, A, Kooblall, KG, Lapunzina, P, Liebelt, J, Lynch, SA, Maas, SM, Mammì, C, Mathijssen, IB, McKee, S, Mirzaa, GM, Montgomery, T, Neubauer, D, Neumann, TE, Pintomalli, L, Pisanti, MA, Plomp, AS, Price, S, Salter, C, Santos-Simarro, F, Sarda, P, Schanze, D, Segovia, M, Shaw-Smith, C, Smithson, S, Suri, M, Tatton-Brown, K, Tenorio, J, Thakker, RV