Skip to Main content Skip to Navigation


...
tel-00004819v1  Theses
Stéphane Channac. Conception et mise en oeuvre d'un système déclaratif de géométrie dynamique
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1999. Français
...
hal-00319994v1  Journal articles
Brigitte Bidégaray-FesquetFrançois CastellaPierre Degond. From the Bloch model to the rate equations
Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2004, 11 (1), pp.1-26. ⟨10.3934/dcds.2004.11.1⟩
hal-00390051v1  Journal articles
Gérard IoossGuillaume James. Localized waves in nonlinear oscillator chains
Chaos: An Interdisciplinary Journal of Nonlinear Science, American Institute of Physics, 2005, 15 (1), pp.1-15. ⟨10.1063/1.1836151⟩
hal-01441781v1  Poster communications
Mathieu EmilyOlivier François. Estimating the raised mutation rate in a sample of gene with mutators
JOBIM : journées ouvertes de biologie, informatiques et mathématiques, Jul 2005, Lyon, France
...
hal-00521133v2  Conference papers
Olivier DelestreMichel Esteves. Rainfall overland flow simulations and real events in Niger
Summer school & Workshop on Numerical Methods for Interactions between Sediments & Water, Sep 2010, Villetaneuse, France
hal-00967467v1  Book sections
Safa HachaniLilia GzaraHervé Verjus. Business Process Flexibility in Service Composition: Experiment Using a PLM-Based Scenario
Springer. Lecture Notes In Business Information Processing, Springer, pp.158-172, 2011, Volume 82, ISSN 1865-1348. ⟨10.1007/978-3-642-21547-6_13⟩
hal-00765809v1  Book sections
Thao DangGoran FrehseAntoine GirardColas Le Guernic. Outils pour l'analyse des modèles hybrides
Olivier H. Roux, Claude Jard. Approches formelles des systèmes embarqués communicants, Hermès, 2008, Traité IC2, série Informatique et systèmes d'information
hal-00765812v1  Book sections
Thao DangGoran FrehseAntoine GirardColas Le Guernic. Tools for the Analysis of Hybrid Models
Claude Jard, Olivier H. Roux. Communicating Embedded Systems: Software and Design, Hermès, 2009, Wiley-ISTE, 978-1-84821-143-8
hal-00769527v1  Conference papers
Colas Le GuernicAntoine Girard. Reachability Analysis of Hybrid Systems Using Support Functions
CAV 2009 - 21st International Conference on Computer Aided Verification, Jun 2009, Grenoble, France. pp.540-554, ⟨10.1007/978-3-642-02658-4_40⟩
hal-00769672v1  Conference papers
Mohamed Amin Ben SassiRomain TestylierThao DangAntoine Girard. Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations
ATVA 2012 - 10th International Symposium on Automated Technology for Verification and Analysis, Oct 2012, Thiruvananthapuram, India. pp.137-151, ⟨10.1007/978-3-642-33386-6_12⟩
hal-00765598v1  Journal articles
Colas Le GuernicAntoine Girard. Reachability analysis of linear systems using support functions
Nonlinear Analysis: Hybrid Systems, Elsevier, 2010, 4 (2), pp.250-262. ⟨10.1016/j.nahs.2009.03.002⟩
hal-00306968v1  Journal articles
Antoine Girard. Towards a multiresolution approach to linear control
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2006, 51 (8), pp.1261-1270. ⟨10.1109/TAC.2006.878717⟩
...
tel-00007064v1  Theses
Antoine Girard. Analyse Algorithmique des Systèmes Hybrides
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2004. Français
hal-00769608v1  Conference papers
Goran FrehseColas Le GuernicAlexandre DonzéScott CottonRajarshi Ray et al.  SpaceEx: Scalable Verification of Hybrid Systems
CAV 2011 - 23rd International Conference on Computer Aided Verification, Jul 2011, Snowbird, UT, United States. pp.379-395, ⟨10.1007/978-3-642-22110-1_30⟩
hal-00306993v1  Conference papers
Antoine GirardColas Le Guernic. Zonotope/hyperplane intersection for hybrid systems reachability analysis
HSCC 2008 - Hybrid Systems: Computation and Control, Apr 2008, St. Louis, MO, United States. pp.215-228, ⟨10.1007/978-3-540-78929-1_16⟩
hal-00414499v1  Journal articles
Bostjan BresarPaul DorbecSandi KlavzarMichel Mollard. Hamming polynomials and their partial derivatives
European Journal of Combinatorics, Elsevier, 2007, 28 (4), pp.1156-1162
hal-00414504v1  Journal articles
Paul DorbecSandi KlavzarMichel MollardSimon Spacapan. Power domination in product graphs
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2008, 22 (2), pp.554-567
hal-00412652v1  Journal articles
Paul DorbecMichel Mollard. Perfect codes in Cartesian products of 2-paths and infinite paths
The Electronic Journal of Combinatorics, Open Journal Systems, 2006, pp.#65
hal-00412847v1  Journal articles
Paul DorbecSylvain GravierSandi KlavzarSimon Spacapan. Some results on total domination in direct products of graphs
Discussiones Mathematicae Graph Theory, University of Zielona Góra, 2006, 26 (1), pp.103-112
lirmm-00433096v1  Conference papers
Louis EsperetDaniel GonçalvesArnaud Labourel. Coloring a set of touching strings
EuroComb'09: European Conference on Combinatorics, Graph Theory and Applications, Sep 2009, Bordeaux, France. pp.213-217
...
tel-00004699v1  Theses
Philippe Poncet. Méthodes particulaires pour la simulation des sillages tridimensionnels
Mathématiques [math]. Université Joseph-Fourier - Grenoble I, 2001. Français
hal-00496599v1  Book sections
Jana Trgalova. Documentation et décisions didactiques du professeur
Ghislaine Gueudet et Luc Trouche. Ressources vives. Le travail documentaire des professeurs en mathématiques, PUR et INRP, pp.271-301, 2010, Paideia