Page 1 from 2,829 hits

Sort by: Relevancy | Currentness | Title

Filter results

Type of material

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.  

    In search of dialogue and discourse in applied clinical informatics

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

    Concentration Photovoltaic Module Manufacturing and its Performance

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

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

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

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

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

    Skin Ulceration of Eyelids in Atopic Dermatitis

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

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

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

    Tissue Engineering Strategies for Fetal Myelomeningocele Repair in Animal Models

    Watanabe, Miho / Kim, Aimee G. / Flake, Alan W. | Karger Verlag | 2015
  12.  

    Tandem Divergent Catalysis using Nitriles

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

    A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic

    Larsen, Kim G. / Fahrenberg, Uli / Thrane, Claus | DataCite | 2009

Number of results: 10 | 20 | 50