 |
 |
|
|
||
|---|---|---|
|
hal-00372911v1
Communication dans un congrès
Nadia Brauner, Rachid Echahed, Gerd Finke, H. Gregor, Frederic Prost. Specializing Narrowing for Timetable Generation: A Case Study C.M. Hermenegildo, D. Cabeza. Seventh International Symposium on Practical Aspects of Declarative Languages (PADL05), 2005, Long Beach, United States. Springer, pp.22-36, 2005, Lecture Notes in Computer Science 3350 |
||
|
hal-00282866v1
Communication dans un congrès
Simon Bliudze, Joseph Sifakis. The Algebra of Connectors — Structuring Interaction in BIP International Conference On Embedded Software (EMSOFT), Oct 2007, Salzbourg, Austria. ACM New York, NY, USA, pp.11-20, 2007, <10.1145/1289927.1289935> |
||
|
tel-00284109v1
HDR
Jean-Louis Auriault. Sur une théorie de la thermodynamique des processus irréversibles dans les milieux continus Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1973 |
||
|
tel-00333065v1
Thèse
Armand Hornik. Contribution à la définition et à la mise en œuvre de NAUTILE Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1989. Français |
||
|
hal-00379074v1
Communication dans un congrès
Myriam Preissmann, Andras Sebo. Minimisation d'une fonction sous-modulaire graphique ou le problème de la coopération optimale 3ème Journée Combinatoire Rhône-Alpes, Jul 2005, Lyon, France |
||
|
hal-00376069v1
Communication dans un congrès
M.-Z. Ouertani, Khadidja Grebici, Lilia Gzara, Dominique Rieu, Eric Blanco. A product data dependencies network to support conflict resolution in design processes 4th CESA Multiconference on Computational Engineering in Systems Applications, Oct 2006, Beijing, China. 2006 |
||
|
tel-00330517v1
Thèse
A.-O. Fernandes. Le test des PLAs optimisés topologiquement Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1988. Français |
||
|
tel-00284097v1
HDR
Jean-Louis Auriault. Contribution à l'étude de la consolidation des sols Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1973 |
||
|
hal-00547466v1
Chapitre d'ouvrage
Cyril Labbé, Dominique Labbé. La modalité verbale en français contemporain. Les hommes politiques et les autres Banks David. La modalité, le mode et le texte spécialisé, L'Harmattan, pp.33-61, 2013 |
||
|
hal-00415333v1
Article dans une revue
Patricia Serrano-Alvarado, Claudia Roncancio, Michel Adiba, Cyril Labbé. An Adaptable Mobile Transaction Model Computer Systems Science and Engineering (IJCSSE), 2005, 20 (3), pp.ISSN 0267-6192 |
||
|
hal-00415604v1
Article dans une revue
Patricia Serrano-Alvarado, Claudia Roncancio, Michel Adiba. A Survey of Mobile Transactions Distributed and Parallel Database (Weston, Conn.)s (DAPD), 2004, 16 (2), pp.193-230. <10.1023/B:DAPD.0000028552.69032.f9> |
||
|
hal-00415821v1
Article dans une revue
Claudia Roncancio, María del Pilar Villamil, Cyril Labbé, Patricia Serrano-Alvarado. Data sharing in DHT based P2P systems Transactions on Large-Scale Data- and Knowledge-Centered Systems I, 2009, 5740, pp.327-352. <10.1007/978-3-642-03722-1_13> |
||
|
halshs-00436351v2
Chapitre d'ouvrage
Cyril Labbé, Dominique Labbé. Existe-t-il un genre épistolaire ? Hugo, Flaubert et Maupassant Banks David. Le texte épistolaire du XVIIe siècle à nos jours, L'Harmattan, pp.53-85, 2013 |
||
|
hal-00340754v1
Autre publication
Gilles Serasset. Recent Trends of Electronic Dictionary Research and Development in Europe EDR TM-038. Japan Electronic Dictionary Research Ltd Technical Memorandum,. 1994 |
||
|
tel-00010674v1
HDR
Beranrd Courtois. Test et LSI Micro et nanotechnologies/Microélectronique. Institut National Polytechnique de Grenoble - INPG, 1981 |
||
|
hal-01102782v1
Communication dans un congrès
Emmanuel Grenier, Marc Hoffmann, Tony Lelièvre, Violaine Louvet, Clémentine Prieur et al. Statistical Inference for Partial Differential Equations SMAI 2013 - 6e Biennale Française des Mathématiques Appliquées et Industrielles, May 2013, Seignosse, France. EDP Science, ESAM: ProcS, 45, pp.178-188, 2014, Congrès SMAI 2013. <10.1051/proc/201445018> |
||
|
hal-01353322v1
Communication dans un congrès
Robin Lamarche-Perrin, Yves Demazeau, Jean Marc Vincent. Organisation, agrégation et visualisation d'informations médiatiques CIST2011 - Fonder les sciences du territoire, Nov 2011, Paris, France. Proceedings du 1er colloque international du CIST, pp.240-246, 2011, <http://www.gis-cist.fr/cist2011-objectifs/> |
||
|
hal-00953480v1
Rapport
Nicolas Balacheff, James L. Crowley, Catherine Garbay, Farid Ouabdesselam, Brigitte Plateau. Proposition d'une unité mixte de recherche 2007-2010, CNRS-INP-INRIA-UJF-UPMF [Research Report] RR-LIG-001, 2009 |
||
|
hal-00953392v1
Communication dans un congrès
Lydie Du Bousquet, Michel Lévy. Proof Process Evaluation with Mutation Analysis Tests and Proofs (TAP 2010), 2010, Malaga, Spain. Springer, 6143, pp.55-60, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-13977-2_6> |
||
|
hal-00275648v1
Communication dans un congrès
Huy Vu Do, Chantal Robach, Michel Delaunay, Jean-Sébastien Cruz. Automatic Testability Analysis for Data-Flow Designs of Reactive Systems The IEEE 1st International Workshop on Testability Assessment, Nov 2004, Rennes, France. page 52-61, 2004 |
||
|
hal-01516700v1
Article dans une revue
Safia Kedad-Sidhoum, Florence Monna, Grégory Mounié, Denis Trystram. A Family of Scheduling Algorithms for Hybrid Parallel Platforms International Journal of Foundations of Computer Science, 2017, To appear |
||
|
halshs-00265358v1
Communication dans un congrès
Cyril Labbé, Dominique Labbé. Peut-on se fier aux arbres ? Serge HEIDEN et Bénédicte PINCEMIN. Journées internationales d'analyse statistique des données textuelles, Mar 2008, Lyon, France. Presses Universitaires de Lyon, 2, pp.635-645, 2008 |
||
|
halshs-00265352v1
Pré-publication, Document de travail
Cyril Labbé, Dominique Labbé. Corneille a écrit 16 pièces représentées sous le nom de Molière Version préliminaire de avril 2007 avec un avertissement de mars 2008. 2007 |
||
|
halshs-00009677v1
Article dans une revue
Dominique Labbé, Denis Monière, Cyril Labbé. Les particularités d'un discours politique : les gouvernements minoritaires de Pierre Trudeau et de Paul Martin au Canada. Corpus, 2005, pp.79-104 |
||
|
hal-00953993v1
Chapitre d'ouvrage
Marie-Christine Fauvet, Marlon Dumas, Pierre-Claude Scholl. Encyclopédie de l'Informatique et des Systèmes d'Information N/A. Section "Bases de données" de l'Encyclopédie de l'Informatique et des Systèmes d'Information, Bases de données temporelles, Vuibert Paris. ISBN 978-7117-4846-4 Ouvrage coordonné par J. Akoka et I. Comyn-Wattiau., pp.577--584, 2006 |
||
|
hal-00953982v1
Communication dans un congrès
Yves Chiaramella, Bruno Defude, Marie-France Bruandet, Dalila Kerkouba. IOTA: a full test information retrieval system ACM conference on research and development in information retrieval., 1986, Pisa, Italy. pp.207--213, 1986 |
||
|
hal-00905797v1
Ouvrage (y compris édition critique et traduction)
Pierre Bessière, Emmanuel Mazer, Juan Manuel Ahuactzin-Larios, Kamel Mekhnacha. Bayesian Programming CRC Press, pp.380, 2013, 9781439880326 |
||
|
hal-00953590v1
Communication dans un congrès
Ylìès Falcone, Jean-Claude Fernandez, Laurent Mounier. Enforcement Monitoring wrt. the Safety-Progress Classification of Properties 24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track (SAC 2009), 2009, Unknown, pp.593-600, 2009, <10.1145/1529282.1529408> |
||
|
hal-00953811v1
Article dans une revue
Marlon Dumas, Marie-Christine Fauvet, Pierre-Claude Scholl. TEMPOS: A Platform for Developing Temporal Applications on top of Object DBMS IEEE Journal on Transactions on Knowledge and Data Engineering, IEEE, 2004, 16 (3), pp.354--374 |
||
|
hal-01164458v1
Communication dans un congrès
Rachid Ait Haddou, Marie-Laurence Mazure. Convergence of dimension elevation in Chebyshev spaces versus approximation by Chebyshevian Bernstein operators MAMERN VI–2015: 6th International Conference on Approximation Methods and Numerical Modelling in Environment and Natural Resources, Jun 2015, Pau, France |
||
|
|
||
