Page 1 from 3,395 hits

Sort by: Relevancy | Currentness | Title

Filter results

External sources

Searching...
  1.  

    Priced Timed Automata: Theory and Tools

    Larsen, Kim G. | DataCite | 2009
  2.  

    WNetKAT: A Weighted SDN Programming and Verification Language

    Larsen, Kim G. / Schmid, Stefan / Xue, Bingtian | DataCite | 2017
  3.  

    Probabilistic Mu-Calculus: Decidability and Complete Axiomatization

    Larsen, Kim G. / Mardare, Radu / Xue, Bingtian | DataCite | 2016
  4.  

    Gentherapie in Deutschland: Von der ersten klinischen Studie bis heute

    Kim, Young / Schmidt-Wolf, Ingo G. H. | Thieme Verlag | 2015
  5.  

    Suitability of hemp seed for reproduction of stored-product insects

    Stadnyk, Kim / White, Noel D. G. / Jian, Fuji et al. | DataCite | 2018
  6.  

    In search of dialogue and discourse in applied clinical informatics

    Kim, G. R. / Lehmann, C. U. | Thieme Verlag | 2009
  7.  

    Concentration Photovoltaic Module Manufacturing and its Performance

    Kim, K.-S. / Kang, G.-H. / Yu, G.-J. | DataCite | 2009
  8.  

    Floating PV Power System Evaluation over Five Years (2011 ~ 2016)

    Won, C.-S. / Lawrence, W. / Kim, D. et al. | DataCite | 2016
  9.  

    Measuring I-V Curve of High and Low Efficiency Photovoltaic Module

    Kim, K.-S. / Kang, G.-H. / Yu, G.-J. et al. | DataCite | 2011
  10.  

    Skin Ulceration of Eyelids in Atopic Dermatitis

    Plattner, Kim David / Tschopp, Markus / Todorova, Margarita G. | Thieme Verlag | 2018
  11.  

    Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

    Cardelli, Luca / Larsen, Kim G. / Mardare, Radu | DataCite | 2011
  12.  

    Tandem Divergent Catalysis using Nitriles

    Kim, J. H. / Bouffard, J. / Lee, S.-G. | Thieme Verlag | 2014

Number of results: 10 | 20 | 50