%   Joëlle Despeyroux's list of publications 

% @String{entcs = "Electronic Notes in Theoretical Computer Science"}
@String{entcs = "Electronic Notes in TCS"}

% @String{lnai =   "Lecture Notes in Artificial Intelligence"}
@String{lnai =   "LNAI"}

% @String{lncs =   "Lecture Notes in Computer Science"}
@String{lncs =   "LNCS"}

% @String{tcs = "Theoretical Computer Science"}
@String{tcs = "TCS"}

@String{tocl =   "ACM Trans.\ on Computational Logic"}

@techreport{CleDesDHK85tr,
  author = {Dominique Clement and Joëlle Despeyroux and 
     Thierry Despeyroux and Laurent Hascoet and Gilles Kahn},
  title = {Natural {S}emantics on the computer},
  institution =	{INRIA},
  type = {Research Report},
  year = {1985},
  month = jun,
  number = {RR-416}
}

@inproceedings{Des86lics,
   author = {Joëlle Despeyroux},
   title = {Proof of translation in {N}atural {S}emantics},
   booktitle = {proceedings of the first Symp. on Logic In Computer Science,
         {LICS}'86},
   publisher = {IEEE Computer Society},
   note = {Preliminary version available as INRIA Research Report {RR}-514, April 1986},
   location = {Cambridge, MA},
   month = {June},
   year = {1986}
} 

@inproceedings{CleDesDK86lfp,
   author = {Dominique Clement and Joëlle Despeyroux and Thierry Despeyroux 
      and Gilles Kahn},
   title = {A Simple Applicative Language: {M}ini-{ML}},
   booktitle = {proceedings of the conference Lisp and Functional 
         Programming, {LFP}'86},
   publisher = {ACM Press},
   note = {Preliminary version available as INRIA Research Report {RR}-529, May 1986},
   location = {Cambridge, MA},
   month = {August},
   year = {1986}
} 

@Unpublished{Des87un,
  author = {Joëlle Despeyroux},
  title = {Proof of translation in {N}atural {S}emantics},
  note = {polished and extended version of the LICS'86 paper, 
      largely distributed, although never published},
  month = nov,
  year = 1987}
		  
@Unpublished{Des88un,
  author = {Joëlle Despeyroux},
  title = {First experiments with theorem proving in {C}entaur: the 
    {C}alculus of {C}onstructions, the {E}dinburgh {L}ogical {F}ramework, 
    and {T}heo},
  note = {Esprit project 348 GIPE. Third annual review report},
  month = jan,
  year = 1988}
		  
@techreport{Des90tr,
  author = {Joëlle Despeyroux},
  title = {Theo: an interactive proof development system. {U}ser's manual},
  institution = {INRIA},
  year = {1990},
  month = feb,
  number = {RT 116}}

@article{Des92bit,
   author = {Joëlle Despeyroux},
   journal = {The Scandinavian Journal on Computer Science and Numerical 
     Analysis ({BIT}), special issue on `Programming Logic'},
   editor = {Pr. Carl-Erik Fr\"oberg},
   title = {Theo: an interactive proof development system},
   volume={32},
   pages={15--29},
   year = {1992},
  note = {Preliminary version available as INRIA Research Report no. 887, 
      August 1988}
}

@inproceedings{DesHir94lpar,
   author = {Joëlle Despeyroux and André Hirschowitz},
   title = {Higher-Order Syntax and Induction in {C}oq},
   booktitle = {proceedings of the fifth Int. Conf. on Logic Programming 
     and Automated Reasoning ({LPAR} 94)},
   editor={F. Pfenning},
   publisher={Springer-Verlag LNAI},
   volume= {822},
   pages={159--173},
   note = {Preliminary version available as INRIA Research Report {RR}-2292 (June 1994)},
   location = {Kiev},
   month = {July},
   year = 1994
} 

@misc{BouDesM95un,
   author = {Mouloud Bourbel and Joëlle Despeyroux and Eric Madelaine},
   title = {Environnement interactif de développement de preuves pour des
      langages parallèles},
   howpublished = {Rapport de Dea, ENS Lyon},
   month = sep,
   year = {1995}
}
	  
@inproceedings{DesFelH95tlca,
   author = {Joëlle Despeyroux and Amy Felty and André Hirschowitz},
   title = {Higher-order abstract syntax in {C}oq},
   booktitle = {proceedings of the {TLCA} 95 Int. Conference
      on Typed Lambda Calculi and Applications},
   location = {Edinburgh},
   editor={M. Dezani and G. Plotkin},
   publisher={Springer-Verlag LNCS},
   volume= {902},
   year = {1995},
   month = {April},
   pages={124--138},
   note = {Preliminary version available as INRIA Research Report {RR}-2556}
}

@techreport{DesPfeS96tr,
   author = {Joëlle Despeyroux and Frank Pfenning and Carsten Schürmann},
   title = {Primitive recursion for higher-order abstract syntax},
   institution = {Carnegie Mellon University},
   address = {Pittsburgh, Pennsylvania},
   number = {{CMU}-{CS}-96-172},
   month = {August},
   year = {1996},

}

@inproceedings{DesPfeS97tlca,
  author = {Joëlle Despeyroux and Frank Pfenning and Carsten Schürmann},
  title = {Primitive Recursion for Higher-Order Abstract Syntax},
  booktitle = {proceedings of the {TLCA} 97 Int. Conference
      on Typed Lambda Calculi and Applications,
      Nancy, France, April 2--4},
  publisher= {Springer-Verlag LNCS 1210},
  editor = {Philippe de Groote and J. Roger Hindley},
  pages = {147--163},
  year = 1997,
  month = {April}
}

@techreport{Des98lnotes,
  author = {Joëlle Despeyroux}, 
  title = {Sémantique {N}aturelle: {S}pécifications et {P}reuves},
  institution =	{INRIA},
  type = {Research Report},
  number = {RR-3359}, 
  month = feb,
  year = 1998,
  note = {Lecture notes for a graduate course in the "DEA"
    ``Mathématiques Discrètes et Fondements de l'Informatique'' (MDFI), 
    Marseille, 1995-1999 (80 pages, in french)}, 
  url= {ftp://zenon.inria.fr:/pub/rapports/RR-3359.ps}
}
		  
@inproceedings{DesLel98types,
  author = {Joëlle Despeyroux and Pierre Leleu},
  title = {A modal $\lambda$-calcul with iteration and case constructs},
  booktitle = {proceedings of the annual Types for Proofs and Programs seminar},
  series = {Springer-Verlag {LNCS} 1657},
  location = {Kloster Irsee, Deutschland, 27-31 March},
  month = mar,
  year = {1998}
}

@inproceedings{Des99nacsa,
   author = {Joëlle Despeyroux},
   title = {Specifications and proofs of properties of programming languages},
   booktitle = {proceedings of the eighth int. colloquium on 
    Numerical Analysis and Computer Sciences with Applications ({NACSA}'99)},
   editor={},
   publisher={},
   location = {Plovdiv},
   month = aug,
   year = 1999
} 

@inproceedings{DesLel99floc-imla,
  author = {Joëlle Despeyroux and Pierre Leleu},
  title = {Primitive recursion for higher-order abstract syntax with 
     dependant types},
  booktitle = {Informal proceedings of the {FLoC}'99 {IMLA} Workshop on 
     Intuitionistic Modal Logics and Applications},
  location = {Trento, Italy},
  month = jun,
  year = {1999}
}

@article{DesLel00jflp,
   author={Joelle Despeyroux and Pierre Leleu},
   title={Metatheoretic Results for a Modal lambda-Calculus},
   journal={Journal of Functional and Logic Programming (JFLP)},
   volume={2000},
   number={1},
   publisher={The MIT Press},
   month={January},
   year={2000}
}

@inproceedings{Des00tcs-ifip,
  author = {Joëlle Despeyroux},
  title = {A Higher-order specification of the pi-calculus},
  booktitle = {Proc. of the IFIP International Conference on 
    Theoretical Computer Science, IFIP TCS'2000, Sendai, Japan, 
    August 17-19, 2000.},
  month = aug,
  year = {2000}
%  note = {A preliminary version was presented at the 
%     Modelisation and Verification seminar, Marseille, Dec 1998.},
}

@article{DesPfeS01tcs,
  author = {Joëlle Despeyroux and Frank Pfenning and Carsten Schürmann},
  title = {Primitive Recursion for Higher-Order Abstract Syntax},
  journal = {Theoretical Computer Science (TCS)},
  note = {Extended and revised version of the TLCA'97 paper},
  volume = {266}, 
  number = {1-2},
  pages = {1--57},
  month = {September},
  year = {2001}
}

@article{DesLel01mscs,
  author={Joelle Despeyroux and Pierre Leleu},
  title = {Recursion over Objects of Functional Type},
  journal = {Special issue of MSCS on "Modalities in Type Theory"},
  volume={11},
  number={4},
  month={August},
  year={2001}
}

@TechReport{ChaudhuriDespeyroux:13tr,
  author =       {Kaustuv Chaudhuri and Jo{\"{e}}lle Despeyroux},
  title =        {A Hybrid Linear Logic for Constrained Transition Systems 
    with Applications to Molecular Biology},
  institution =  {INRIA-HAL},
  year =         2013,
  month =        {October},
  number =       {inria-00402942},
}

@inProceedings{ChaudhuriDespeyroux:14,
  author =       {Jo{\"{e}}lle Despeyroux and Kaustuv Chaudhuri},
  title =        {A Hybrid Linear Logic for Constrained Transition Systems}, 
  year =         2014,
  booktitle =  {Post-Proceedings of the 9th Intl. Conference on Types for Proofs and Programs (TYPES 2013)},
  series = {Leibniz Intl. Proceedings in Informatics},
  volume = 26,
  pages = {150--168},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
}
%  url ={http://dx.doi.org/10.4230/LIPIcs.TYPES.2013.150}

@inProceedings{deMaria-Despeyroux-Felty:14-fmmb,
  author =       {Elisabetta de Maria and Jo{\"{e}}lle Despeyroux and Amy Felty},
  title =        {A Logical Framework for Systems Biology},
  year =         {2014},
  booktitle =    {Proceedings of the 1st Intl. Conference on Formal Methods in 
    Macro-Biology (FMMB)},
  publisher =    {Springer},
  series = 	 lncs,
  volume =       {8738},
  pages = {136--155},
  notes = {Extended version available as an HAL hal-00981409 and ArXiv report}
}

@inProceedings{Despeyroux-Olarte-Pimentel:lsfa-16,
  author = {Jo{\"e}lle Despeyroux and Carlos Olarte and Elaine Pimentel},
  title = {Hybrid and subexponential linear logics},
  year = 2016,
  booktitle = {Proceedings of the 11th workshop on 
      Logical and Semantic Frameworks, with Applications (LSFA)}
}

@inProceedings{Despeyroux:cmsb-16,
  author    = {Jo{\"{e}}lle Despeyroux},
  title     = {(Mathematical) Logic for Systems Biology (Invited Paper)},
  booktitle = {Proceedings of the 14th Intl. Conference on 
               Computational Methods in Systems Biology (CMSB'2016)},
  series = lncs,
  volume = 9859,
  pages     = {3--12},
  year      = {2016},
  publisher = {Springer},
  url       = {http://dx.doi.org/10.1007/978-3-319-45177-0_1},
  doi       = {10.1007/978-3-319-45177-0_1},
  note   = {Also appears as an HAL hal-01433682 and ArXiv report},
}

@article{Despeyroux-Olarte-Pimentel:entcs-17,
  author = {Jo{\"e}lle Despeyroux and Carlos Olarte and Elaine Pimentel},
  title = {Hybrid and subexponential linear logics},
  journal = entcs,
  note = {A preliminary version is available as an HAL hal-01358057 and ArXiv report},
  volume={332},
  month={June},
  pages={95--111},
  year = 2017
}
% Post-Proceedings of LSFA 2016.

@inProceedings{Despeyroux-Felty-Lio-Olarte:mlcsb18,
  author    = {Jo{\"{e}}lle Despeyroux and Amy Felty and Pietro Lio and Carlos Olarte},
  title     = {A Logical Framework for Modelling Breast Cancer Progression},
  booktitle = {Proceedings of the 1st Intl. Symposium on Molecular Logic and Computational Synthetic Biology (MLCSB'2018)},
  series = lncs,
  volume = {11415},
  year      = {2019},
  publisher = {Springer},
  note = {Also available as an HAL and ArXiv report},
}

@article{Chaudhuri-Despeyroux-Olarte-Pimentel:mscs-19,
  author = {Kaustuv Chaudhuri and Jo{\"e}lle Despeyroux and Carlos Olarte and Elaine Pimentel},
  title = {Hybrid linear logics, revisited},
  journal={Mathematical Structures in Computer Science},
  publisher={Cambridge University Press},
  DOI={10.1017/S0960129518000439},
  note = {A preliminary version is available as an HAL hal-01968154 and ArXiv report},
  pages={1--26},
  year = 2019
}

@book{iste19,
  author    = {C\'edric Lhoussaine and \'Elisabeth Remy}, 
  title     = {Formal Modelisation and Analysis of Biological Systems},
  publisher = {ISTE-Wiley},
  year      = 2021,
  note      = {To appear},
}

@inbook{DMarDesFelLioOlar20hal,
   author = {Elisabetta De Maria and Jo{\"e}lle Despeyroux and Amy Felty 
             and Pietro Li{\`o} and Carlos Olarte and Abdorrahim Bahrami},
   title = {Computational Logic for Biomedicine and Neuroscience},
   booktitle = {Formal Modelisation and Analysis of Biological Systems},
   publisher = {ISTE-Wiley},
   howpublished = {HAL report hal-02895930},
   month = Oct,
   year = {2020},
   url = {https://hal.archives-ouvertes.fr/hal-02895930},
   note = {Book to appear},
}