Hasil Pencarian - Giorgio Bacci

  • Menampilkan 1 - 7 hasil dari 7
Perbaiki Hasil
  1. 1
    Measurable Stochastics for Brane Calculus

    Measurable Stochastics for Brane Calculus oleh Giorgio Bacci, Marino Miculan

    Diterbitkan 2010-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Bigraphical models for protein and membrane interactions

    Bigraphical models for protein and membrane interactions oleh Giorgio Bacci, Davide Grohmann, Marino Miculan

    Diterbitkan 2009-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    A framework for protein and membrane interactions

    A framework for protein and membrane interactions oleh Giorgio Bacci, Davide Grohmann, Marino Miculan

    Diterbitkan 2009-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    A Faster-Than Relation for Semi-Markov Decision Processes

    A Faster-Than Relation for Semi-Markov Decision Processes oleh Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen

    Diterbitkan 2020-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    On-the-Fly Computation of Bisimilarity Distances

    On-the-Fly Computation of Bisimilarity Distances oleh Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare

    Diterbitkan 2017-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains

    A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains oleh Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare

    Diterbitkan 2018-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

    Computing Probabilistic Bisimilarity Distances for Probabilistic Automata oleh Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel

    Diterbitkan 2021-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: