Page 1 from 2,674 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.  

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

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

    A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic

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

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

    Yu, B.G. / Kim, E. / Kang, G.-H. et al. | DataCite | 2008
  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.  

    On the Metric-Based Approximate Minimization of Markov Chains

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

    Complete Axiomatization for the Bisimilarity Distance on Markov Chains

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

    Front Matter, Table of Contents, Preface, Conference Organization

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

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

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

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

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

    Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata

    David, Alexandre / Larsen, Kim G. / Legay, Axel et al. | DataCite | 2014
  15.  

    Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata

    David, Alexandre / Larsen, Kim G. / Legay, Axel et al. | DataCite | 2014
  16.  

    Power Analysis of the AFD in Anti-Islanding Method

    Lee, K.O. / Hwang, H.M. / Choi, J.Y. et al. | DataCite | 2010

Number of results: 10 | 20 | 50