Knowledge Tree

researcher / Stefan Haar

Stefan Haar

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks

Algorithmes pour la prédiction de stratégies de reprogrammation cellulaire dans les réseaux Booléens.

Supervision en transport multimodal

Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes

Testing concurrent systems through event structures

Study of concurrency in real-time distributed systems

Algorithmes distribués pour la négociation de contrats de qualité de service dans les réseaux multi-domaines