Hasil Pencarian - Jaco van de Pol

  • Menampilkan 1 - 8 hasil dari 8
Perbaiki Hasil
  1. 1
    Generating and Solving Symbolic Parity Games

    Generating and Solving Symbolic Parity Games oleh Gijs Kant, Jaco van de Pol

    Diterbitkan 2014-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Distributed Branching Bisimulation Minimization by Inductive Signatures

    Distributed Branching Bisimulation Minimization by Inductive Signatures oleh Stefan Blom, Jaco van de Pol

    Diterbitkan 2009-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Operations on Fixpoint Equation Systems

    Operations on Fixpoint Equation Systems oleh Thomas Neele, Jaco van de Pol

    Diterbitkan 2024-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Variations on Multi-Core Nested Depth-First Search

    Variations on Multi-Core Nested Depth-First Search oleh Alfons Laarman, Jaco van de Pol

    Diterbitkan 2011-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games

    Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games oleh Gijs Kant, Jaco van de Pol

    Diterbitkan 2012-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Modeling and Verification of the Bitcoin Protocol

    Modeling and Verification of the Bitcoin Protocol oleh Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Marielle Stoelinga

    Diterbitkan 2015-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Setting Parameters for Biological Models With ANIMO

    Setting Parameters for Biological Models With ANIMO oleh Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak

    Diterbitkan 2014-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  8. 8
    An ECHO of Cartilage: In Silico Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With Ex Vivo Validation

    An ECHO of Cartilage: In Silico Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With Ex Vivo Validation oleh Sakshi Khurana, Stefano Schivo, Stefano Schivo, Jacqueline R. M. Plass, Nikolas Mersinis, Jetse Scholma, Johan Kerkhofs, Leilei Zhong, Jaco van de Pol, Jaco van de Pol, Rom Langerak, Liesbet Geris, Marcel Karperien, Janine N. Post

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

Alat Pencarian: