Page 1 from 3,847 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.  

    Single layer graphene induces load-bearing molecular layering at the hexadecane-steel interface

    Free access
    Krämer, G. / Kim, C. / Kim, K.-S. et al. | DataCite | 2019
  3.  

    Hardness and Microstructure of Mixed Al-CNF Powder Extrusion

    Free access
    Kim D.-H. / Kim T.-J. / Lim S.-G. | DOAJ | 2017
  4.  

    Strong linkages between surface and deep-water dissolved organic matter in the East/Japan Sea

    Free access
    T.-H. Kim / G. Kim / Y. Shen et al. | DOAJ | 2017
  5.  

    High-throughput live-imaging of embryos in microwell arrays using a modular specimen mounting system

    Free access
    Seth Donoughe / Chiyoung Kim / Cassandra G. Extavour | DOAJ | 2018
  6.  

    Data driven flexible backbone protein design.

    Free access
    Mark G F Sun / Philip M Kim | DOAJ | 2017
  7.  

    Co-operation between Polymerases and Nucleotide Synthetases in the RNA World.

    Free access
    Ye Eun Kim / Paul G Higgs | DOAJ | 2016
  8.  

    WNetKAT: A Weighted SDN Programming and Verification Language

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

    Limit Your Consumption! Finding Bounds in Average-energy Games

    Free access
    Kim G. Larsen / Simon Laursen / Martin Zimmermann | DOAJ | 2016
  10.  

    Probabilistic Mu-Calculus: Decidability and Complete Axiomatization

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

Number of results: 10 | 20 | 50