Continuous Markovian Logics - Axiomatization and Quantified Metatheory by Radu Mardare, Luca Cardelli, Kim G. Larsen

Get full text

Model Checking One-clock Priced Timed Automata by Patricia Bouyer, Kim G. Larsen, Nicolas Markey

Get full text

Compositional bisimulation metric reasoning with Probabilistic Process Calculi by Daniel Gebler, Kim G. Larsen, Simone Tini

Get full text

Asymmetric total synthesis of (+)-bermudenynol, a C15 Laurencia metabolite with a vinyl chloride containing oxocene skeleton, through intramolecular amide enolate alkylation. by Kim, G, Sohn, T, Kim, D, Paton, R

Production parameters of the therapeutic Rh-105 Radionuclide using medium energy cyclotron by Khandaker, Mayeen Uddin, Kim, G., Kim, K.

Production cross sections of short-lived silver radionuclides from Pd-nat(p,xn) nuclear processes by Khandaker, Mayeen Uddin, Kim, G., Kim, K.

Quantitative 99mTc-albumin colloid nasal mucociliary clearance as an outcome in primary ciliary dyskinesia by June K. Marthin, Kim G. Nielsen, Jann Mortensen

Get full text

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains by Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare

Get full text

Migration, movements, and survival in a partially migratory elk (Cervus canadensis) population by Kim G. Poole, Clayton T. Lamb, Sam Medcalf, Lanny Amos

Get full text

Refinement and Difference for Probabilistic Automata by Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay

Get full text

Pulmonary radioaerosol mucociliary clearance assessment: searching for genotype-specific differences and potential as an outcome measure in primary ciliary dyskinesia by June K. Marthin, Mathias G. Holgersen, Kim G. Nielsen, Jann Mortensen

Get full text

Construction of 6,10-syn- and -anti-2,5-dioxabicyclo[2.2.1]heptane skeletons via oxonium ion formation/fragmentation: Prediction of structure of (E)-ocellenyne by NMR calculation. by Jeong, D, Sohn, T, Kim, J, Kim, G, Kim, D, Paton, R

Measurements of the proton-induced reaction cross-sections of Mo-nat by using the MC50 cyclotron at the Korea Institute of Radiological and Medical Sciences by Khandaker, Mayeen Uddin, Kim, G., Meaze, A., Kim, K., Son, D.

Excitation functions of (p,x) reactions on natural Nickel up to 40 MeV by Khandaker, Mayeen Uddin, Kim, G., Kim, K., Lee, M., Kim, K.S.

Developing and Implementing a Blended Faculty Teaching Mentorship Program: A Canadian Pilot Project by Kim G. C. Hellemans, Wayne Horn, Vincent Kazmierski, Martha Mullally, Eileen Harris

Get full text

Erratum to “Measurement of cross-sections for the (p, xn) reactions in natural molybdenum” [Nucl. Instr. and Meth. B 262 (2007) 171] by Khandaker, Mayeen Uddin, Kim, G.N., Lee, Y.S., Kim, K.S., Uddin, M.S.

Excitation functions of the proton induced nuclear reactions on Zn-nat up to 40 MeV by Uddin, M.S., Kim, G.N., Lee, Y.S., Kim, K.S., Khandaker, Mayeen Uddin

Measurement of cross-sections for the (p, xn) reactions in natural molybdenum by Khandaker, Mayeen Uddin, Uddin, M.S., Kim, K.S., Lee, Y.S., Kim, G.N.

Excitation functions of the proton induced nuclear reactions on Zn-nat up to 40 MeV by Khandaker, Mayeen Uddin, Kim, G.N., Uddin, M.S., Kim, K.S., Lee, Y.S.

Multi-modality imaging for assessment of the microcirculation in peripheral artery disease: Bench to clinical practice by Santiago Callegari, Attila Feher, Kim G. Smolderen, Carlos Mena-Hurtado, Albert J. Sinusas

Get full text