default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Joëlle Despeyroux
@article{DBLP:journals/corr/abs-2007-07571,
author = {Abdorrahim Bahrami and
Elisabetta De Maria and
Jo{\"{e}}lle Despeyroux and
Amy P. Felty and
Pietro Li{\'{o}} and
Carlos Olarte},
title = {Computational Logic for Biomedicine and Neurosciences},
journal = {CoRR},
volume = {abs/2007.07571},
year = {2020},
url = {https://arxiv.org/abs/2007.07571},
eprinttype = {arXiv},
eprint = {2007.07571},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-07571.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ChaudhuriDOP19,
author = {Kaustuv Chaudhuri and
Jo{\"{e}}lle Despeyroux and
Carlos Olarte and
Elaine Pimentel},
title = {Hybrid linear logic, revisited},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {8},
pages = {1151--1176},
year = {2019},
url = {https://doi.org/10.1017/S0960129518000439},
doi = {10.1017/S0960129518000439},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ChaudhuriDOP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlcsb/DespeyrouxFLO18,
author = {Jo{\"{e}}lle Despeyroux and
Amy P. Felty and
Pietro Li{\`{o}} and
Carlos Olarte},
editor = {Madalena Chaves and
Manuel A. Martins},
title = {A Logical Framework for Modelling Breast Cancer Progression},
booktitle = {Molecular Logic and Computational Synthetic Biology - First International
Symposium, {MLCSB} 2018, Santiago, Chile, December 17-18, 2018, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11415},
pages = {121--141},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-19432-1\_8},
doi = {10.1007/978-3-030-19432-1\_8},
timestamp = {Wed, 21 Apr 2021 08:53:39 +0200},
biburl = {https://dblp.org/rec/conf/mlcsb/DespeyrouxFLO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Despeyroux17,
author = {Jo{\"{e}}lle Despeyroux},
title = {(Mathematical) Logic for Systems Biology (Invited Paper)},
journal = {CoRR},
volume = {abs/1701.05063},
year = {2017},
url = {http://arxiv.org/abs/1701.05063},
eprinttype = {arXiv},
eprint = {1701.05063},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Despeyroux17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/Despeyroux16,
author = {Jo{\"{e}}lle Despeyroux},
editor = {Ezio Bartocci and
Pietro Li{\`{o}} and
Nicola Paoletti},
title = {(Mathematical) Logic for Systems Biology (Invited Paper)},
booktitle = {Computational Methods in Systems Biology - 14th International Conference,
{CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9859},
pages = {3--12},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45177-0\_1},
doi = {10.1007/978-3-319-45177-0\_1},
timestamp = {Sun, 02 Jun 2019 21:13:15 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/Despeyroux16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DespeyrouxOP17,
author = {Jo{\"{e}}lle Despeyroux and
Carlos Olarte and
Elaine Pimentel},
editor = {Vivek Nigam and
M{\'{a}}rio Florido},
title = {Hybrid and Subexponential Linear Logics},
booktitle = {11th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2016, Porto, Portugal, January 1, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {332},
pages = {95--111},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.04.007},
doi = {10.1016/J.ENTCS.2017.04.007},
timestamp = {Wed, 05 Feb 2020 13:50:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DespeyrouxOP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DespeyrouxC16,
author = {Jo{\"{e}}lle Despeyroux and
Kaustuv Chaudhuri},
title = {A Hybrid Linear Logic for Constrained Transition Systems},
journal = {CoRR},
volume = {abs/1603.02641},
year = {2016},
url = {http://arxiv.org/abs/1603.02641},
eprinttype = {arXiv},
eprint = {1603.02641},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DespeyrouxC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DespeyrouxOP16,
author = {Jo{\"{e}}lle Despeyroux and
Carlos Olarte and
Elaine Pimentel},
title = {Hybrid and Subexponential Linear Logics Technical Report},
journal = {CoRR},
volume = {abs/1608.08779},
year = {2016},
url = {http://arxiv.org/abs/1608.08779},
eprinttype = {arXiv},
eprint = {1608.08779},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DespeyrouxOP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmmb/MariaDF14,
author = {Elisabetta De Maria and
Jo{\"{e}}lle Despeyroux and
Amy P. Felty},
editor = {Fran{\c{c}}ois Fages and
Carla Piazza},
title = {A Logical Framework for Systems Biology},
booktitle = {Formal Methods in Macro-Biology - First International Conference,
{FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8738},
pages = {136--155},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10398-3\_10},
doi = {10.1007/978-3-319-10398-3\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmmb/MariaDF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MariaDF14,
author = {Elisabetta De Maria and
Jo{\"{e}}lle Despeyroux and
Amy P. Felty},
title = {A Logical Framework for Systems Biology},
journal = {CoRR},
volume = {abs/1404.5439},
year = {2014},
url = {http://arxiv.org/abs/1404.5439},
eprinttype = {arXiv},
eprint = {1404.5439},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MariaDF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/DespeyrouxC13,
author = {Jo{\"{e}}lle Despeyroux and
Kaustuv Chaudhuri},
editor = {Ralph Matthes and
Aleksy Schubert},
title = {A Hybrid Linear Logic for Constrained Transition Systems},
booktitle = {19th International Conference on Types for Proofs and Programs, {TYPES}
2013, April 22-26, 2013, Toulouse, France},
series = {LIPIcs},
volume = {26},
pages = {150--168},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2013.150},
doi = {10.4230/LIPICS.TYPES.2013.150},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/types/DespeyrouxC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChaudhuriD13c,
author = {Kaustuv Chaudhuri and
Jo{\"{e}}lle Despeyroux},
title = {A Hybrid Linear Logic for Constrained Transition Systems with Applications
to Molecular Biology},
journal = {CoRR},
volume = {abs/1310.4310},
year = {2013},
url = {http://arxiv.org/abs/1310.4310},
eprinttype = {arXiv},
eprint = {1310.4310},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChaudhuriD13c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DespeyrouxL01,
author = {Jo{\"{e}}lle Despeyroux and
Pierre Leleu},
title = {Recursion over objects of functional type},
journal = {Math. Struct. Comput. Sci.},
volume = {11},
number = {4},
pages = {555--572},
year = {2001},
url = {https://doi.org/10.1017/S0960129501003346},
doi = {10.1017/S0960129501003346},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DespeyrouxL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SchurmannDP01,
author = {Carsten Sch{\"{u}}rmann and
Jo{\"{e}}lle Despeyroux and
Frank Pfenning},
title = {Primitive recursion for higher-order abstract syntax},
journal = {Theor. Comput. Sci.},
volume = {266},
number = {1-2},
pages = {1--57},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00418-7},
doi = {10.1016/S0304-3975(00)00418-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SchurmannDP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/DespeyrouxL00,
author = {Jo{\"{e}}lle Despeyroux and
Pierre Leleu},
title = {Metatheoretic Results for a Modal lambda-Calculus},
journal = {J. Funct. Log. Program.},
volume = {2000},
number = {1},
year = {2000},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2000/A2000-01/A2000-01.html},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/DespeyrouxL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Despeyroux00,
author = {Jo{\"{e}}lle Despeyroux},
editor = {Jan van Leeuwen and
Osamu Watanabe and
Masami Hagiya and
Peter D. Mosses and
Takayasu Ito},
title = {A Higher-Order Specification of the pi-Calculus},
booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical
Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan,
August 17-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1872},
pages = {425--439},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44929-9\_30},
doi = {10.1007/3-540-44929-9\_30},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/Despeyroux00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/DespeyrouxL98,
author = {Jo{\"{e}}lle Despeyroux and
Pierre Leleu},
editor = {Thorsten Altenkirch and
Wolfgang Naraschewski and
Bernhard Reus},
title = {A Modal Lambda Calculus with Iteration and Case Constructs},
booktitle = {Types for Proofs and Programs, International Workshop {TYPES} '98,
Kloster Irsee, Germany, March 27-31, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1657},
pages = {47--61},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48167-2\_4},
doi = {10.1007/3-540-48167-2\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/DespeyrouxL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/DespeyrouxPS97,
author = {Jo{\"{e}}lle Despeyroux and
Frank Pfenning and
Carsten Sch{\"{u}}rmann},
editor = {Philippe de Groote},
title = {Primitive Recursion for Higher-Order Abstract Syntax},
booktitle = {Typed Lambda Calculi and Applications, Third International Conference
on Typed Lambda Calculi and Applications, {TLCA} '97, Nancy, France,
April 2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1210},
pages = {147--163},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62688-3\_34},
doi = {10.1007/3-540-62688-3\_34},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/DespeyrouxPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/DespeyrouxFH95,
author = {Jo{\"{e}}lle Despeyroux and
Amy P. Felty and
Andr{\'{e}} Hirschowitz},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Higher-Order Abstract Syntax in Coq},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {124--138},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014049},
doi = {10.1007/BFB0014049},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/DespeyrouxFH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DespeyrouxH94,
author = {Jo{\"{e}}lle Despeyroux and
Andr{\'{e}} Hirschowitz},
editor = {Frank Pfenning},
title = {Higher-Order Abstract Syntax with Induction in Coq},
booktitle = {Logic Programming and Automated Reasoning, 5th International Conference,
LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {822},
pages = {159--173},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58216-9\_36},
doi = {10.1007/3-540-58216-9\_36},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DespeyrouxH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bit/Despeyroux92,
author = {Jo{\"{e}}lle Despeyroux},
title = {Theo: An Interactive Proof Development System},
journal = {{BIT}},
volume = {32},
number = {1},
pages = {15--29},
year = {1992},
url = {https://doi.org/10.1007/BF01995105},
doi = {10.1007/BF01995105},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bit/Despeyroux92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ClementDDK86,
author = {Dominique Cl{\'{e}}ment and
Jo{\"{e}}lle Despeyroux and
Th. Despeyroux and
Gilles Kahn},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {A Simple Applicative Language: Mini-ML},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {13--27},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319847},
doi = {10.1145/319838.319847},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/ClementDDK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Despeyroux86,
author = {Jo{\"{e}}lle Despeyroux},
title = {Proof of Translation in Natural Semantics},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'86), Cambridge, Massachusetts, USA, June 16-18, 1986},
pages = {193--205},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Despeyroux86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Despeyroux83,
author = {Jo{\"{e}}lle Despeyroux},
title = {An algebraic specification of a Pascal compiler},
journal = {{ACM} {SIGPLAN} Notices},
volume = {18},
number = {12},
pages = {34--48},
year = {1983},
url = {https://doi.org/10.1145/988193.988197},
doi = {10.1145/988193.988197},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Despeyroux83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
