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. | |
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 | |
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 | |
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. |