Pushdown Module Checking with Imperfect Information
Benjamin Aminof
,
Axel Legay
,
Aniello Murano
,
Olivier Serre
,
Moshe Vardi
et al.
2010
Preprints, Working Papers, ...
hal-00479839v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Modeling competition between plants using an Individual Based Model: Methods and effects on the growth of two species with contrasted growth forms
Anne‐kristel Bittebière
,
Cendrine Mony
,
Bernard Clément
,
Marc Garbey
Journal articles
istex
hal-00716031v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Large scale simulation of virtual prairies with volunteer computing
Marc Garbey
,
Malek Smaoui
,
W. Rinsurongkawong
,
Anne‐kristel Bittebière
,
Bernard Clement
et al.
54th Symposium IAVS , International Association for Vegetation Science, Jun 2011, Lyon, France
Conference papers
hal-01090501v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Introduction to the special issue of Ecological Modelling: "Modelling clonal plant growth: From ecological concepts to mathematics
J. M. van Groenendael
,
Cendrine Mony
,
Marc Garbey
,
Fabien Campillo
,
Abdallah El Hamidi
et al.
Journal articles
istex
hal-00717348v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
La guerre des clones : Utilisation du modèle Virtual Prairie pour étudier la dynamique d’assemblages de plantes clonales
Cendrine Mony
,
S. Pennings
,
Anne‐kristel Bittebière
,
Marc Garbey
Colloque d’Ecologie , Sep 2010, Montpellier, France
Conference poster
hal-01090570v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Role of clonal traits in the response of clonal fragments to constrasted patterns of defoliation: A modeling approach
Marie-Lise Benot
,
Cendrine Mony
,
Marc Garbey
,
Malek Smaoui
,
Anne Bonis
et al.
54th Symposium IAVS , Jun 2011, Lyon, France
Conference poster
hal-01090528v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Large scale parameter study of an individual-based model of clonal plant with volunteer computing.
Cendrine Mony
,
Marc Garbey
,
Malek Smaoui
,
Marie-Lise Benot
Journal articles
istex
hal-00592147v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Chattering-Free Simulation for Hybrid Dynamical Systems
Ayman Aljarbouh
,
Adam Duracz
,
Yingfu Zeng
,
Benoît Caillaud
,
Walid Taha
et al.
2016 IEEE International Conference on Computational Science and Engineering, IEEE International Conference on Embedded and Ubiquitous Computing, and International Symposium on Distributed Computing and Applications to Business, Engineering and Science , Aug 2016, Paris, France.
⟨10.1109/CSE-EUC-DCABES.2016.217⟩
Conference papers
hal-01365875v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Pushdown Module Checking with Imperfect Information
Benjamin Aminof
,
Axel Legay
,
Aniello Murano
,
Olivier Serre
,
Moshe Vardi
et al.
Journal articles
hal-01260664v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More