Search - Université de Rennes Access content directly

Filter your results

9 Results
Structure: Internal structure identifier : 175568
Image document

Pushdown Module Checking with Imperfect Information

Benjamin Aminof , Axel Legay , Aniello Murano , Olivier Serre , Moshe Vardi et al.
2010
Preprints, Working Papers, ... hal-00479839v2

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
Ecological Modelling, 2012, 234 (SI), pp.38-50. ⟨10.1016/j.ecolmodel.2011.05.028⟩
Journal articles istex hal-00716031v1

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

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.
Ecological Modelling, 2012, 234, pp.1-2. ⟨10.1016/j.ecolmodel.2012.03.013⟩
Journal articles istex hal-00717348v1

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

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

Large scale parameter study of an individual-based model of clonal plant with volunteer computing.

Cendrine Mony , Marc Garbey , Malek Smaoui , Marie-Lise Benot
Ecological Modelling, 2011, 222 (4), pp.935-946. ⟨10.1016/j.ecolmodel.2010.10.014⟩
Journal articles istex hal-00592147v1

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
Image document

Pushdown Module Checking with Imperfect Information

Benjamin Aminof , Axel Legay , Aniello Murano , Olivier Serre , Moshe Vardi et al.
Information and Computation, 2013, 223, pp.18. ⟨10.1016/j.ic.2012.11.005⟩
Journal articles hal-01260664v1