Haar, Stefan, 1965-....
Stefan Haar researcher
VIAF ID: 210179871 (Personal)
Permalink: http://viaf.org/viaf/210179871
Preferred Forms
-
100 1 _ ‡a Haar, Stefan, ‡d 1965-....
-
100 0 _ ‡a Stefan Haar ‡c researcher
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Algorithmes pour la prédiction de stratégies de reprogrammation cellulaire dans les réseaux Booléens. |
![]() |
Algorithms For Cell Reprogramming Strategies in Boolean Networks. |
![]() |
Analyse Causale d'Ecosystèmes par dépliages. |
![]() |
La concurrence dans les systèmes temps-réel distribués. |
![]() |
Dépliages et interprétation abstraite pour réseaux de régulation biologiques paramétrés. |
![]() |
Distributed algorithms for quality of service negotiation in multi-domain networks. |
![]() |
Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets |
![]() |
Ecosystem Causal Analysis Using Petri Net Unfoldings |
![]() |
Factorisation of discrete dynamical systems. |
![]() |
Markov nets probabilistic models for distributed and concurrent systems |
![]() |
Méthodes d'apprentissage machine pour la protection de la vie privée : mesure de leakage et design des mécanismes |
![]() |
Net systems semantics of web services orchestrations modeled in Orc |
![]() |
Numerical and statistical approaches for model checking of stochastic processes |
![]() |
Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes |
![]() |
Opinions, Mensonges et Connaissance. Une Approche Algébrique à la Mobilité de l’Information et des Processus.. |
![]() |
Performance and stability analysis in telecommunication networks. |
![]() |
Probabilistic Cluster Unfoldings for Petri Nets |
![]() |
Random generation of executions of concurrent systems |
![]() |
Reconciling qualitative, abstract, and scalable modeling of biological networks |
![]() |
SAT-based diagnosability and predictability analysis in centralized and distributed discrete event systems. |
![]() |
Sémantique en structures d'évènements pour Orc, français |
![]() |
Sémantique opérationnelle des interactions pour la vérification d'exécutions partiellement observées de systèmes distribués. |
![]() |
Study of concurrency in real-time distributed systems |
![]() |
Supervision de systèmes répartis utilisant des dépliages avec contraintes de modèles temporisés. |
![]() |
Supervision in Multi-Modal Transportation System. |
![]() |
Supervision of distributed systems using constrained unfoldings of timed models |
![]() |
Testing concurrent systems through event structures |
![]() |
Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks |
![]() |
Vérification à l'aide de dépliages de réseaux de Petri étendus avec des arcs de lecture. |
![]() |
Verification based on unfoldings of Petri nets with read arcs |
![]() |
Workflows centrés sur les données pour l'application crowdsourcing. |
![]() |