Béatrice Bérard, Olivier Carton. Channel synthesis revisited. [Research Report] lip6.2013.001, LIP6. 2013. ⟨hal-02545987⟩

Trinh Minh Tri Do, Thierry Artières. Méthode de Plans Sécants Régularisée pour l'Optimisation Non convexe : Annexe à l'article dans JMLR. [Rapport de recherche] lip6.2012.001, LIP6. 2012. ⟨hal-02545985⟩

Zeinab Movahedi, Rami Langar, Guy Pujolle. A learning packet-based autonomic network architecture. [Research Report] lip6.2011.002, LIP6. 2011. ⟨hal-02545982⟩

Béatrice Bérard, John Mullins, Mathieu Sassolas. Quantifying Opacity. [Research Report] lip6.2011.001, LIP6. 2011. ⟨hal-02545978⟩

Claire Hanen, Yakov Zinder. The worst case analysis of the Garey-Johnson algorithm. [Research Report] lip6.2008.002, LIP6. 2008. ⟨hal-02545977⟩

Wafa Rekik, Dominique Béréziat, Séverine Dubuisson. Fusion de données spatiales (3D) et temporelles (2D+t) pour la reconstruction de scènes 3D+t : deux approches. [Rapport de recherche] lip6.2008.001, LIP6. 2008. ⟨hal-02545972⟩

Michèle Nogueira Lima, Aldri Luiz dos Santos, Guy Pujolle. A Survey of Survivability in Mobile Ad Hoc Networks. [Research Report] lip6.2007.001, LIP6. 2007. ⟨hal-02545698⟩

Souheib Baarir, Alexandre Duret-Lutz. Emptiness Check of Powerset Büchi Automata using Inclusion Tests. [Technical Report] lip6.2006.003, LIP6. 2006. ⟨hal-02545696⟩

Fabienne Jezequel. Dynamical strategies using Discrete Stochastic Arithmetic for approximation methods. [Research Report] lip6.2006.001, LIP6. 2006. ⟨hal-02545690⟩

Stéphane Fechter. Une nouvelle extension de ML avec des traits orientés objets de FOCAL. [Rapport de recherche] lip6.2005.011, LIP6. 2005. ⟨hal-02545687⟩

Alessandro Luna Almeida, Samir Aknine, Jean-Pierre Briot, Jacques Malenfant. Méthode de réplication basée sur les plans pour la tolérance aux pannes des systèmes multi-agents. [Rapport de recherche] lip6.2005.010, LIP6. 2005. ⟨hal-02545686⟩

Nabil Absi, Safia Kedad-Sidhoum. Multi-Item capacitated lot-Sizing problem with setup times and shortage costs : Polyhedral results.. [Research Report] lip6.2005.009, LIP6. 2005. ⟨hal-02545684⟩

Vincent Beaudenon, Emmanuelle Encrenaz, Sami Taktak. Data Decision Diagrams for ProMeLa Systems Analysis. [Research Report] lip6.2005.008, LIP6. 2005. ⟨hal-02545683⟩

Anind Dey, Boicho Kokinov, David Leake, Roy Turner, Patrick Brézillon. Brevia and Demonstrations Presentations. Anind DEY; Boicho KOKINOV; David LEAKE; Roy TURNER; Patrick BRÉZILLON. 5th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-05), Jul 2005, Paris, France. lip6.2005.007, LIP6, 2005. ⟨hal-02549803⟩

Chiara Ghidini, Bich-Liên Doan, Patrick Brézillon. Proceedings of the Doctoral Consortium (CONTEXT-05). Chiara GHIDINI; Bich-Liên DOAN; Patrick BRÉZILLON. 1er Consortium d'Étudiants associé avec la 5ème Conférence Internationale et Interdisciplinaire sur la Modélisation et l'Utilisation du Contexte (CONTEXT-05), Jul 2005, Paris, France. lip6.2005.006, LIP6, 2005. ⟨hal-02549779⟩

Olivier Marchetti, Alix Munier-Kordon. Minimizing Places Storage Capacities of a Weighted Event Graph.. [Research Report] lip6.2005.005, LIP6. 2005. ⟨hal-02545681⟩

Cécile Braunstein, Emmanuelle Encrenaz. CTL-property transformations along an incremental design process. [Research Report] lip6.2005.003, LIP6. 2005. ⟨hal-02545676⟩

Olivier Marchetti, Alix Munier-Kordon. A Sufficient Condition for the Liveness of Weighted Event Graphs. [Research Report] lip6.2005.004, LIP6. 2005. ⟨hal-02545677⟩

Sebastien Orange, Guénaël Renault, Annick Valibouze. A new tools for computing Galois Groups and Galois Ideals. [Research Report] lip6.2006.002, LIP6. 2005. ⟨hal-02545692⟩

Annick Valibouze. Corps de décomposition de groupe de Galois PSL(2,7). [Rapport de recherche] lip6.2005.001, LIP6. 2005. ⟨hal-02545672⟩

Claire Hanen, Dalila Tayachi. A dynamic programming algorithm for minimizing the total duplication cost in scheduling an outtree with communication delays. [Research Report] lip6.2004.008, LIP6. 2004. ⟨hal-02545670⟩

Claire Hanen, Alix Munier-Kordon. Ordonnancements périodiques pour contraintes de précédence linéaires. [Rapport de recherche] lip6.2004.007, LIP6. 2004. ⟨hal-02545669⟩

Stéphane Fechter, Olivier Boite. BBFoc. [Rapport de recherche] lip6.2004.002, LIP6. 2004. ⟨hal-02545666⟩

Stéphane Fechter, Catherine Dubois. Towards a formal definition of the Foc language. [Research Report] lip6.2004.001, LIP6. 2004. ⟨hal-02545623⟩

Grégory Haïk. Introduction of Mobility for Distributed Numerical Simulation Frameworks : a Formal Study. [Research Report] lip6.2003.008, LIP6. 2004. ⟨hal-02545665⟩

Emmanuel Gureghian, Thérèse Hardin, Mathieu Jaume. A full formalisation of the Bell and La Padula security model. [Research Report] lip6.2003.006, LIP6. 2003. ⟨hal-02545660⟩

Fabienne Jézéquel. Dynamical control of converging sequences using Discrete Stochastic Arithmetic. [Research Report] lip6.2003.012, LIP6. 2003. ⟨hal-02545506⟩

Thérèse Hardin, Renaud Rioboo. CALCULEMUS-2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, September 10-12 2003, Roma, Italy. Thérèse Hardin; Renaud Rioboo. CALCULEMUS-2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Sep 2003, Rome, Italy. lip6.2003.010, LIP6; Aracne Editrici, 2003. ⟨hal-02549766⟩

Sébastien Orange, Guénaël Renault, Annick Valibouze. Corps de décomposition d'un polynôme réductible. [Rapport de recherche] lip6.2003.004, LIP6. 2003. ⟨hal-02545651⟩

Annick Valibouze. Généralisation de résultats sur les idéaux de Galois. [Rapport de recherche] lip6.2003.006, LIP6. 2003. ⟨hal-02545655⟩

Sébastien Orange, Guénaël Renault, Annick Valibouze. Calcul efficace de corps de décomposition. [Rapport de recherche] lip6.2003.005, LIP6. 2003. ⟨hal-02545653⟩

Patrick Brézillon. Représentation des procédures et pratiques par les graphes contextuels. [Rapport de recherche] lip6.2003.013, LIP6. 2003. ⟨hal-02545622⟩

Valérie Ménissier-Morain. Arbitrary precision real arithmetic: design and algorithms. [Research Report] lip6.2003.003, LIP6. 2003. ⟨hal-02545650⟩

Michel Grabisch, Christophe Labreuche. The Shapley value and the interaction indices for bi-cooperative games. [Research Report] lip6.2003.001, LIP6. 2003. ⟨hal-02545647⟩

Michel Grabisch, Christophe Labreuche. Bi-capacities. [Research Report] lip6.2003.002, LIP6. 2003. ⟨hal-02545648⟩

Vincent Beaudenon, Emmanuelle Encrenaz, Jean-Lou Desbarbieux. Design Validation of ZCSP with SPIN. [Research Report] lip6.2002.025, LIP6. 2003. ⟨hal-02545640⟩

Angelica Munoz-Melendez, François Sempé, Alexis Drogoul. Sharing a Charging Station in Collective Robotics. [Technical Report] lip6.2002.026, LIP6. 2003. ⟨hal-02545646⟩

Alix Munier-Kordon, Jean-Baptiste Note. A Buffer Minimization Problem for the Design of Embedded Systems. [Research Report] lip6.2002.024, LIP6. 2002. ⟨hal-02545638⟩

Mikal Ziane. Redécouvrir les Solutions des Design Patterns. [Rapport de recherche] lip6.2002.017, LIP6. 2002. ⟨hal-02545624⟩

Francis Sourd. The continuous assignment problem and its application to preemptive and non-preemptive scheduling with irregular cost functions. [Research Report] lip6.2002.019, LIP6. 2002. ⟨hal-02545629⟩

Francis Sourd. Scheduling a sequence of tasks with general completion costs. [Research Report] lip6.2002.013, LIP6. 2002. ⟨hal-02545618⟩

Patrick Brézillon. Modeling and using context: Past, present and future. [Research Report] lip6.2002.010, LIP6. 2002. ⟨hal-02545615⟩

Samuel Landau, Sébastien Picault. Stack-Based Gene Expression. [Research Report] LIP6.2002.011, LIP6. 2002. ⟨hal-02545617⟩

Patrick Brezillon. The SEPT application: Appraisal of an experiment. [Research Report] lip6.2002.008, LIP6. 2002. ⟨hal-02545608⟩

Laurent-Stephane Didier, Fabien Rico. High Radix BKM algorithm with Selection by Rounding. [Research Report] lip6.2002.009, LIP6. 2002. ⟨hal-02545612⟩

Jacques Pitrat, Basile Starynkevitch, Tristan Pannerec, Jacques Duma, Hélène Giroire, et al.. Colloque Metaconnaissance de Berder, 19-21 septembre 2001. Pannérec, Tristan. Colloque Metaconnaissance de Berder, Sep 2001, Ile de Berder, France. lip6.2002.006, LIP6, 2002. ⟨hal-02549744⟩

Renaud Rioboo. Infinitesimals and real closure. [Research Report] lip6.2001.027, LIP6. 2001. ⟨hal-02545605⟩

Lionel Seinturier, Renaud Pawlak, Laurence Duchien, Gérard Florin. JAC Milestone 2001. [Research Report] lip6.2001.025, LIP6. 2001. ⟨hal-02545601⟩

Marie-Pierre Gervais. Méthodologie ODAC : Le guide de spécification comportementale. [Rapport de recherche] lip6.2001.024, LIP6. 2001. ⟨hal-02545596⟩

Yann Bajot, Habib Mehrez. Les systèmes de traitement numérique du signal. [Rapport de recherche] lip6.2001.021, LIP6. 2001. ⟨hal-02545594⟩