Hasil Pencarian - Taolue Chen

  • Menampilkan 1 - 7 hasil dari 7
Perbaiki Hasil
  1. 1
    Making Agents’ Abilities Explicit

    Making Agents’ Abilities Explicit oleh Yedi Zhang, Fu Song, Taolue Chen

    Diterbitkan 2019-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    On the Axiomatizability of Impossible Futures

    On the Axiomatizability of Impossible Futures oleh Taolue Chen, Wan Fokkink, Rob van Glabbeek

    Diterbitkan 2015-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

    Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications oleh Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

    Diterbitkan 2011-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits

    SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits oleh Huiyu Tan, Pengfei Gao, Fu Song, Taolue Chen, Zhilin Wu

    Diterbitkan 2024-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Incremental equilibrium assignment and applications to traffic network model

    Incremental equilibrium assignment and applications to traffic network model oleh Chao Sun, Haodong Jing, Taolüe Chen, Menghui Li, Peng Zhang

    Diterbitkan 2023-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Rolling Time Domain Charging Allocation of Electric Vehicles Under Time Varying Demand

    Rolling Time Domain Charging Allocation of Electric Vehicles Under Time Varying Demand oleh Taolue Chen, Chao Sun, Haowei Yin, Peizheng Wu, Jiangdong Tian

    Diterbitkan 2024-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Global soil respiration predictions with associated uncertainties from different spatio-temporal data subsets

    Global soil respiration predictions with associated uncertainties from different spatio-temporal data subsets oleh Junjie Jiang, Lingxia Feng, Junguo Hu, Haoqi Liu, Chao Zhu, Baitong Chen, Taolue Chen

    Diterbitkan 2024-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: