Page 1 from 2,794 hits

Sort by: Relevancy | Currentness | Title

  1.  

    Priced Timed Automata: Theory and Tools

    Larsen, Kim G. | DataCite | 2009
  2.  

    Prefeasibility study of photovoltaic power potential based on a skew-normal distribution

    Kim, S. Y. / Sapotta, B. / Jang, G. et al. | DataCite | 2020
  3.  

    WNetKAT: A Weighted SDN Programming and Verification Language

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

    Probabilistic Mu-Calculus: Decidability and Complete Axiomatization

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

    Suitability of hemp seed for reproduction of stored-product insects

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

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

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

    Concentration Photovoltaic Module Manufacturing and its Performance

    Kim, K.-S. / Kang, G.-H. / Yu, G.-J. | DataCite | 2009
  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.  

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

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

    A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic

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

    On the Metric-Based Approximate Minimization of Markov Chains

    Bacci, Giovanni / Bacci, Giorgio / Larsen, Kim G. et al. | DataCite | 2017
  12.  

    Analysis and Experiment of Cross-Tied Configuration of Partial Shaded PV Array

    Yu, B.G. / Kim, E. / Kang, G.-H. et al. | DataCite | 2008
  13.  

    Front Matter, Table of Contents, Preface, Conference Organization

    Larsen, Kim G. / Bodlaender, Hans L. / Raskin, Jean-Francois | DataCite | 2017
  14.  

    Complete Axiomatization for the Bisimilarity Distance on Markov Chains

    Bacci, Giorgio / Bacci, Giovanni / G. Larsen, Kim et al. | DataCite | 2016
  15.  

    High temperature stable separator for lithium batteries based on SiO² and hydroxypropyl guar gum

    Carvalho, D.V. / Loeffler, N. / Kim, G.-T. et al. | DataCite | 2015

Number of results: 10 | 20 | 50