hal-00548756v1  Pré-publication, Document de travail
Nicolas Dobigeon, Said Moussaoui, Jean-Yves Tourneret, Cedric Carteret. Bayesian separation of spectral sources under non-negativity and full additivity constraints
Signal Processing, 2009. 2009

hal-00759725v1  Communication dans un congrès
Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi et al.  The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
Cormac Flanagan and Barbara Konig. Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Mar 2012, Tallinn, Estonia. Springer, 7214, pp.267-282, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-28756-5_19>

hal-01246022v1  Chapitre d'ouvrage
Fabrice Bouquet, David Sheeren, Nicolas Becu, Benoit Gaudou, Christophe Lang et al.  Formalismes de description des modèles agent
Simulation spatiale ~A  base d'agents avec NetLogo, partie 1, ISTE, pp.37--72, 2015

hal-00743810v1  Communication dans un congrès
Yamine Ait Ameur, Dominique Méry. Handling Heterogeneity in Formal Developments of Hardware and Software Systems
Tiziana Margaria and Bernhard Steffen. ISoLA - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - 2012, Oct 2012, Amirandes, Heraklion, Greece. Springer, 7610, pp.327-328, 2012, Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. <10.1007/978-3-642-34032-1_33>

hal-00871830v1  Communication dans un congrès
Hans Van Ditmarsch, Tiago De Lima, Emiliano Lorini. Intention change via local assignments
Third international Workshop on Language, Methodologies and Development Tools for Multi-Agent Systems (LADS'010), 2011, Lyon, France. Springer, 6822, pp.136-151, 2011, Lecture Notes in Computer Science (LNCS)

hal-01271837v1  Chapitre d'ouvrage
Béatrice Fuchs, Jean Lieber, Laurent Miclet, Alain Mille, Amedeo Napoli et al.  Raisonnement à partir de cas, raisonnement et apprentissage par analogie, gradualité et interpolation
Pierre Marquis, Odile Papini, Henri Prade. Panorama de l’intelligence artificielle. Ses bases méthodologiques, ses développements, Cépaduès, pp.239-263, 2014

hal-01273578v1  Communication dans un congrès
Hans Van Ditmarsch, Jerome Lang, Abdallah Saffidine. Strategic voting and the logic of knowledge
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013, 2013, Unknown, Unknown or Invalid Region. 2013

hal-01076444v1  Direction d'ouvrage, Proceedings
Chihab Hanachi, Frédérick Bénaben, François Charoy. Information Systems for Crisis Response and Management in Mediterranean Countries
Chihab Hanachi; Frédérick Bénaben; François Charoy. ISCRAM-Med 2014, Oct 2014, Toulouuse, France. Springer, 2014, 978-3-319-11817-8. <10.1007/978-3-319-11818-5>. <http://irit.fr/ISCRAMMED2014/>

hal-01097624v1  Communication dans un congrès
Yamine Aït Ameur, J. Paul Gibson, Dominique Méry. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
Tiziana Margaria and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium,, Oct 2014, Corfu, Greece. Springer, 8803, pp.604-618, 2014, Lectures Notes in Computer Science. <http://link.springer.com/chapter/10.1007%2F978-3-662-45231-8_50>

hal-01245994v1  Communication dans un congrès
Dominique Méry, Neeraj Kumar Singh. Analyzing Requirements Using Environment Modelling
Vincent G. Duffy. Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference, DHM 2015, Aug 2015, Los Angeles, United States. Springer, Lecture Notes in Computer Science 9185,, 2015, Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference, DHM 2015, Held as Part of HCI International 2015,. <http://link.springer.com/book/10.1007%2F978-3-319-21070-4>

hal-00914778v1  Communication dans un congrès
Walid Belkhir, Yannick Chevalier, Michael Rusinowitch. Fresh-Variable Automata for Service Composition
SYNASC 2013 -15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2013, Timisoara, Romania. IEEE, 2013

hal-00914779v1  Pré-publication, Document de travail
Walid Belkhir, Yannick Chevalier, Michael Rusinowitch. Guarded Variable Automata over Infinite Alphabets
29 pages. arXiv admin note: text overlap with arXiv:1302.4205. 2013

hal-00755947v1  Communication dans un congrès
Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, Mathieu Turuani. Towards the Orchestration of Secured Services under Non-disclosure Policies.
Igor V. Kotenko and Victor A. Skormin. 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, Oct 2012, St. Petersburg, Russia. Springer, 7531, pp.130-145, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-33704-8_12>

hal-01093579v1  Article dans une revue
Guillaume Bonfante, Florian Deloup, Antoine Henrot. Real or Natural numbers interpretations and their effect on complexity
Theoretical Computer Science, Elsevier, 2015, pp.23

hal-01262808v1  Article dans une revue
Christopher J L Murray, Ryan M Barber, Kyle J Foreman, Ayse Abbasoglu Ozgoren, Foad Abd-Allah et al.  Global, regional, and national disability-adjusted life years (DALYs) for 306 diseases and injuries and healthy life expectancy (HALE) for 188 countries, 1990-2013: quantifying the epidemiological transition.
Lancet, Elsevier, 2015, 386 (10009), pp.2145-91