The institute
FEMTO-ST
Directory

You are here

Jean-Michel Hufflen

Jean-Michel Hufflen's publications

2017 (1)

  • inproceedings - Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems
    14th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2017) / Uppsala, Sweden (Volume 245, Series Electronic Proceedings in Theoretical Computer Science (EPTCS), 2017, Pages pages 52 - 66)
    Hufflen, Jean-Michel
    pdf | doi | bibtex

2015 (1)

  • inproceedings - Using Model-Checking Techniques for Component-Based Systems with Reconfigurations
    12th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2015) / London, United Kingdom (Volume 178, Series Electronic Proceedings in Theoretical Computer Science (EPTCS), 2015, Pages pages 33 - 46)
    Hufflen, Jean-Michel
    pdf | doi | bibtex

2014 (1)

  • inproceedings - A Framework for Handling Non-Functional Properties within a Component-Based Approach
    FACS 2013, 10th Int. Symposium on Formal Aspects of Component Software, Revised Selected Papers / Nanchang, China (Publisher : Springer, Volume 8348, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 196--214)
    Hufflen, Jean-Michel
    pdf | doi | bibtex

2010 (5)

  • article - Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles
    Génie Logiciel (Volume 95, dec 2010, Pages :13--18)
    Chouali, Samir | Dormoy, Julien | Hammad, Ahmed | Hufflen, Jean-Michel | Mouelhi, Sebti | Kouchnarenko, Olga | Mountassir, Hassan | Tatibouet, Bruno
    bibtex
  • inproceedings - Introduction to XQuery and XPath Full Text
    BachoTeX 2010 Conference (2010, Pages pages 25--28)
    Hufflen, Jean-Michel
    bibtex
  • inproceedings - Recycling Previous Documents for Distance Education
    csedu 2010 / Valencia, Spain (Volume 1, 2010, Pages pages 469--472)
    Hufflen, Jean-Michel
    bibtex
  • inproceedings - When Typography Meets Programming
    BachoTeX 2010 Conference (2010, Pages pages 29--32)
    Hufflen, Jean-Michel
    bibtex
  • inproceedings - Using mlBibTeX to Populate Open Archives
    BachoTeX 2010 Conference (2010, Pages pages 45--48)
    Hufflen, Jean-Michel
    bibtex

2009 (8)

  • article - Processing Computed Texts
    ArsTeXnica (Volume 8, oct 2009, Pages :102--109)
    Hufflen, Jean-Michel
    bibtex
  • inproceedings - A Framework for Managing Components Using Non-Functional Properties
    keod 2009 / Funchal, Madeira, Portugal (2009, Pages pages 460--463)
    Hufflen, Jean-Michel
    bibtex
  • article - Introducing New French-Speaking Users to LaTeX Quickly and Convincingly
    maps (Volume 39, aug 2009, Pages :99--104)
    Hufflen, Jean-Michel | Aebischer, Anne-Marie | Aebischer, Bruno | Pétiard, François
    bibtex
  • article - Using TeX's Language within a Course about Functional Programming
    maps (Volume 39, aug 2009, Pages :92--98)
    Hufflen, Jean-Michel
    bibtex
  • article - Managing Languages within mlBibTeX
    TUGboat (Volume 30, Issue (1), jul 2009, Pages :49--57)
    Hufflen, Jean-Michel
    bibtex
  • inproceedings - Introduction to XQuery
    BachoTeX 2009 Conference / Bachotek, Poland (2009, Pages pages 17--25)
    Hufflen, Jean-Michel
    bibtex
  • inproceedings - How mlBibTeX's Documentation Is Organised
    BachoTeX 2009 Conference / Bachotek, Poland (2009, Pages pages 26--30)
    Hufflen, Jean-Michel
    bibtex
  • inproceedings - Multidirectional Typesetting in xsl-fo
    BachoTeX 2009 Conference / Bachotek, Poland (2009, Pages pages 37--40)
    Hufflen, Jean-Michel
    bibtex

2008 (7)

  • article - Passer de LaTeX à xsl-fo
    Cahiers GUTemberg (Volume 51, oct 2008, Pages :77-99)
    Hufflen, Jean-Michel
    pdf | bibtex
  • article - Specifying Translated Works in Bibliographies
    ArsTeXnica (Volume 6, oct 2008, Pages :93--97)
    Hufflen, Jean-Michel
    bibtex
  • article - Languages for Bibliography Styles
    TUGboat (Volume 2008, Issue (3), jul 2008, Pages :401--412)
    Hufflen, Jean-Michel
    bibtex
  • article - Extending mlBibTeX to Asian Languages: Some Directions
    The Asian Journal of TeX (Volume 2, Issue (1), apr 2008, Pages :35--42)
    Hufflen, Jean-Michel
    bibtex
  • inproceedings - Revisiting Lexicographic Order Relations on Person Names
    BachoTeX 2008 Conference / Bachotek, Poland (2008, Pages pages 82--90)
    Hufflen, Jean-Michel
    bibtex
  • inproceedings - xslt 2.0 vs xslt 1.0
    BachoTeX 2008 Conference / Bachotek, Poland (2008, Pages pages 67--77)
    Hufflen, Jean-Michel
    pdf | bibtex
  • inproceedings - Asian TeX-like typeset engines
    BachoTeX 2008 Conference / Bachotek, Poland (2008, Pages pages 129--131)
    Hufflen, Jean-Michel
    bibtex

2007 (5)

  • article - Guidelines for Bibliographical Citations in LaTeX
    ArsTeXnica (Volume 4, oct 2007, Pages :103--110)
    Hufflen, Jean-Michel
    bibtex
  • inproceedings - Implementing Language-Dependent Lexicographic Orders in pgScheme
    Proc. of the 8th Workshop on Scheme and Functional Programming / Freiburg, Germany (Volume DIUL--RT--0701, Series University Laval, Technical Report, 2007, Pages pages 139--144)
    Hufflen, Jean-Michel
    bibtex
  • article - Managing Order Relations in mlBibTeX
    TUGboat (Volume 29, Issue (1), 2007, Pages :101--108)
    Hufflen, Jean-Michel
    bibtex
  • article - Introducing LaTeX users to xsl-fo
    TUGboat (Volume 29, Issue (1), 2007, Pages :118--124)
    Hufflen, Jean-Michel
    bibtex
  • article - mlBibTeX: Reporting the Experience
    TUGboat (Volume 29, Issue (1), 2007, Pages :157--162)
    Hufflen, Jean-Michel
    bibtex

2006 (8)

  • article - Names in BibTeX and mlBibTeX
    TUGboat (Volume 27, Issue (2), nov 2006, Pages :243--253)
    Hufflen, Jean-Michel
    bibtex
  • article - mlBibTeX Architecture
    ArsTeXnica (Volume 2, oct 2006, Pages :54--59)
    Hufflen, Jean-Michel
    bibtex
  • inproceedings - Implementing a variant of XSLT in pgScheme
    IFL'06, 18th Int. Symposium on Implementation and Application of Functional Languages / Budapest, Hungary (2006, Pages pages 484--491)
    Hufflen, Jean-Michel
    bibtex
  • article - mlBibTeX Meets ConTeXt
    TUGboat (Volume 27, Issue (1), jul 2006, Pages :76--82)
    Hufflen, Jean-Michel
    bibtex
  • article - Writing Structured and Semantics-Oriented Documents: TeX vs XML
    Biuletyn GUST (Volume 23, apr 2006, Pages :104--108)
    Hufflen, Jean-Michel
    bibtex
  • article - Advanced Techniques in XSLT
    Biuletyn GUST (Volume 23, apr 2006, Pages :69--75)
    Hufflen, Jean-Michel
    bibtex
  • article - BibTeX, mlBibTeX and Bibliography Styles
    Biuletyn GUST (Volume 23, apr 2006, Pages :76--80)
    Hufflen, Jean-Michel
    bibtex
  • unpublished - Sprachen in mlBibTeX (mar 2006)
    Hufflen, Jean-Michel
    bibtex