Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jean Goubault-Larrecq
@inproceedings{DBLP:conf/csl/FernandezGK24,
author = {Maribel Fern{\'{a}}ndez and
Jean Goubault{-}Larrecq and
Delia Kesner},
editor = {Aniello Murano and
Alexandra Silva},
title = {The Ackermann Award 2023},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {1:1--1:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.1},
doi = {10.4230/LIPICS.CSL.2024.1},
timestamp = {Wed, 07 Feb 2024 14:22:56 +0100},
biburl = {https://dblp.org/rec/conf/csl/FernandezGK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GoubaultLarrecqJT23,
author = {Jean Goubault{-}Larrecq and
Xiaodong Jia and
Cl{\'{e}}ment Th{\'{e}}ron},
title = {A Domain-theoretic Approach to Statistical Programming Languages},
journal = {J. {ACM}},
volume = {70},
number = {5},
pages = {35:1--35:63},
year = {2023},
url = {https://doi.org/10.1145/3611660},
doi = {10.1145/3611660},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GoubaultLarrecqJT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12392,
author = {Jean Goubault{-}Larrecq and
Xiaodong Jia},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Continuous R-valuations},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10351},
doi = {10.46298/ENTICS.10351},
timestamp = {Wed, 03 Jan 2024 15:36:17 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12392.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-14005,
author = {Jean Goubault{-}Larrecq and
Xiaodong Jia},
title = {A cone-theoretic barycenter existence theorem},
journal = {CoRR},
volume = {abs/2209.14005},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.14005},
doi = {10.48550/ARXIV.2209.14005},
eprinttype = {arXiv},
eprint = {2209.14005},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-10400,
author = {Jean Goubault{-}Larrecq},
title = {On Weakly Hausdorff Spaces and Locally Strongly Sober Spaces},
journal = {CoRR},
volume = {abs/2211.10400},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.10400},
doi = {10.48550/ARXIV.2211.10400},
eprinttype = {arXiv},
eprint = {2211.10400},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-10400.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goubault-Larrecq21,
author = {Jean Goubault{-}Larrecq},
title = {Products and projective limits of continuous valuations on {T0} spaces},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {2},
pages = {234--254},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000141},
doi = {10.1017/S0960129521000141},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Goubault-Larrecq21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goubault-Larrecq21a,
author = {Jean Goubault{-}Larrecq and
Xiaodong Jia},
title = {Separating minimal valuations, point-continuous valuations, and continuous
valuations},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {6},
pages = {614--632},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000384},
doi = {10.1017/S0960129521000384},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Goubault-Larrecq21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2021,
editor = {Christel Baier and
Jean Goubault{-}Larrecq},
title = {29th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2021,
January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)},
series = {LIPIcs},
volume = {183},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-175-7},
isbn = {978-3-95977-175-7},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-16190,
author = {Jean Goubault{-}Larrecq and
Xiaodong Jia and
Cl{\'{e}}ment Th{\'{e}}ron},
title = {A Domain-Theoretic Approach to Statistical Programming Languages},
journal = {CoRR},
volume = {abs/2106.16190},
year = {2021},
url = {https://arxiv.org/abs/2106.16190},
eprinttype = {arXiv},
eprint = {2106.16190},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-16190.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-00426,
author = {Jean Goubault{-}Larrecq and
Xiaodong Jia},
title = {Separating minimal valuations, point-continuous valuations and continuous
valuations},
journal = {CoRR},
volume = {abs/2109.00426},
year = {2021},
url = {https://arxiv.org/abs/2109.00426},
eprinttype = {arXiv},
eprint = {2109.00426},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-00426.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Goubault-Larrecq20,
author = {Jean Goubault{-}Larrecq},
title = {29th {EACSL} Annual Conference on Computer Science Logic {(CSL} 2021)},
journal = {Bull. {EATCS}},
volume = {131},
year = {2020},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/622},
timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Goubault-Larrecq20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BlondinFG20,
author = {Michael Blondin and
Alain Finkel and
Jean Goubault{-}Larrecq},
title = {Forward Analysis for WSTS, Part {III:} Karp-Miller Trees},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {2},
year = {2020},
url = {https://doi.org/10.23638/LMCS-16(2:13)2020},
doi = {10.23638/LMCS-16(2:13)2020},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BlondinFG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FinkelG20,
author = {Alain Finkel and
Jean Goubault{-}Larrecq},
title = {Forward analysis for WSTS, part {I:} completions},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {7},
pages = {752--832},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000195},
doi = {10.1017/S0960129520000195},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/FinkelG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2020,
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {Foundations of Software Science and Computation Structures - 23rd
International Conference, {FOSSACS} 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12077},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5},
doi = {10.1007/978-3-030-45231-5},
isbn = {978-3-030-45230-8},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goubault-Larrecq19,
author = {Jean Goubault{-}Larrecq},
title = {A semantics for nabla},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {8},
pages = {1250--1274},
year = {2019},
url = {https://doi.org/10.1017/S0960129518000063},
doi = {10.1017/S0960129518000063},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Goubault-Larrecq19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Goubault-Larrecq19,
author = {Jean Goubault{-}Larrecq},
editor = {M{\'{a}}rio S. Alvim and
Kostas Chatzikokolakis and
Carlos Olarte and
Frank Valencia},
title = {Fooling the Parallel or Tester with Probability 8/27},
booktitle = {The Art of Modelling Computational Systems: {A} Journey from Logic
and Concurrency to Security and Privacy - Essays Dedicated to Catuscia
Palamidessi on the Occasion of Her 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11760},
pages = {313--328},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31175-9\_18},
doi = {10.1007/978-3-030-31175-9\_18},
timestamp = {Sat, 09 Apr 2022 12:46:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Goubault-Larrecq19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Goubault-Larrecq19,
author = {Jean Goubault{-}Larrecq},
title = {A Probabilistic and Non-Deterministic Call-by-Push-Value Language},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785809},
doi = {10.1109/LICS.2019.8785809},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/lics/Goubault-Larrecq19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrechtGJL19,
author = {Matthew de Brecht and
Jean Goubault{-}Larrecq and
Xiaodong Jia and
Zhenchao Lyu},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Domain-complete and LCS-complete Spaces},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {3--35},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.014},
doi = {10.1016/J.ENTCS.2019.07.014},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BrechtGJL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goubault-Larrecq19,
author = {Jean Goubault{-}Larrecq and
Xiaodong Jia},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Algebras of the Extended Probabilistic Powerdomain Monad},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {37--61},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.015},
doi = {10.1016/J.ENTCS.2019.07.015},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Goubault-Larrecq19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-12653,
author = {Jean Goubault{-}Larrecq},
title = {Fooling the Parallel Or Tester with Probability {\textdollar}8/27{\textdollar}},
journal = {CoRR},
volume = {abs/1903.12653},
year = {2019},
url = {http://arxiv.org/abs/1903.12653},
eprinttype = {arXiv},
eprint = {1903.12653},
timestamp = {Tue, 02 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-12653.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-10703,
author = {Jean Goubault{-}Larrecq and
Simon Halfon and
Prateek Karandikar and
K. Narayan Kumar and
Philippe Schnoebelen},
title = {The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering},
journal = {CoRR},
volume = {abs/1904.10703},
year = {2019},
url = {http://arxiv.org/abs/1904.10703},
eprinttype = {arXiv},
eprint = {1904.10703},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-10703.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Goubault-Larrecq18,
author = {Jean Goubault{-}Larrecq and
Jean{-}Philippe Lachance},
title = {On the complexity of monitoring Orchids signatures, and recurrence
equations},
journal = {Formal Methods Syst. Des.},
volume = {53},
number = {1},
pages = {6--32},
year = {2018},
url = {https://doi.org/10.1007/s10703-017-0303-x},
doi = {10.1007/S10703-017-0303-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Goubault-Larrecq18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/HoGJX18,
author = {Weng Kin Ho and
Jean Goubault{-}Larrecq and
Achim Jung and
Xiaoyong Xi},
title = {The Ho-Zhao Problem},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {1},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(1:7)2018},
doi = {10.23638/LMCS-14(1:7)2018},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/HoGJX18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-11573,
author = {Jean Goubault{-}Larrecq},
title = {A Probabilistic and Non-Deterministic Call-by-Push-Value Language},
journal = {CoRR},
volume = {abs/1812.11573},
year = {2018},
url = {http://arxiv.org/abs/1812.11573},
eprinttype = {arXiv},
eprint = {1812.11573},
timestamp = {Wed, 02 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-11573.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/DubutGG17,
author = {J{\'{e}}r{\'{e}}my Dubut and
Eric Goubault and
Jean Goubault{-}Larrecq},
title = {Directed Homology Theories and Eilenberg-Steenrod Axioms},
journal = {Appl. Categorical Struct.},
volume = {25},
number = {5},
pages = {775--807},
year = {2017},
url = {https://doi.org/10.1007/s10485-016-9438-y},
doi = {10.1007/S10485-016-9438-Y},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/DubutGG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Goubault-Larrecq17,
author = {Jean Goubault{-}Larrecq and
Kok Min Ng},
title = {A Few Notes on Formal Balls},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:18)2017},
doi = {10.23638/LMCS-13(4:18)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Goubault-Larrecq17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goubault-Larrecq17,
author = {Jean Goubault{-}Larrecq},
title = {Isomorphism theorems between models of mixed choice},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {6},
pages = {1032--1067},
year = {2017},
url = {https://doi.org/10.1017/S0960129515000547},
doi = {10.1017/S0960129515000547},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Goubault-Larrecq17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BlondinFG17,
author = {Michael Blondin and
Alain Finkel and
Jean Goubault{-}Larrecq},
editor = {Satya V. Lokam and
R. Ramanujam},
title = {Forward Analysis for WSTS, Part {III:} Karp-Miller Trees},
booktitle = {37th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2017, December 11-15, 2017,
Kanpur, India},
series = {LIPIcs},
volume = {93},
pages = {16:1--16:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2017.16},
doi = {10.4230/LIPICS.FSTTCS.2017.16},
timestamp = {Fri, 03 Sep 2021 15:00:19 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BlondinFG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-07258,
author = {Michael Blondin and
Alain Finkel and
Jean Goubault{-}Larrecq},
title = {Forward Analysis for WSTS, Part {III:} Karp-Miller Trees},
journal = {CoRR},
volume = {abs/1710.07258},
year = {2017},
url = {http://arxiv.org/abs/1710.07258},
eprinttype = {arXiv},
eprint = {1710.07258},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-07258.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DubutGG16,
author = {J{\'{e}}r{\'{e}}my Dubut and
Eric Goubault and
Jean Goubault{-}Larrecq},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Bisimulations and Unfolding in P-Accessible Categorical Models},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {25:1--25:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.25},
doi = {10.4230/LIPICS.CONCUR.2016.25},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DubutGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DubutGG16,
author = {J{\'{e}}r{\'{e}}my Dubut and
Eric Goubault and
Jean Goubault{-}Larrecq},
editor = {Jean{-}Marc Talbot and
Laurent Regnier},
title = {The Directed Homotopy Hypothesis},
booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
August 29 - September 1, 2016, Marseille, France},
series = {LIPIcs},
volume = {62},
pages = {9:1--9:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CSL.2016.9},
doi = {10.4230/LIPICS.CSL.2016.9},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/DubutGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Goubault-Larrecq16,
author = {Jean Goubault{-}Larrecq and
Sylvain Schmitz},
editor = {Ioannis Chatzigiannakis and
Michael Mitzenmacher and
Yuval Rabani and
Davide Sangiorgi},
title = {Deciding Piecewise Testable Separability for Regular Tree Languages},
booktitle = {43rd International Colloquium on Automata, Languages, and Programming,
{ICALP} 2016, July 11-15, 2016, Rome, Italy},
series = {LIPIcs},
volume = {55},
pages = {97:1--97:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2016.97},
doi = {10.4230/LIPICS.ICALP.2016.97},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Goubault-Larrecq16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Goubault-Larrecq16,
author = {Jean Goubault{-}Larrecq and
Jean{-}Philippe Lachance},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {On the Complexity of Monitoring Orchids Signatures},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {169--184},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_11},
doi = {10.1007/978-3-319-46982-9\_11},
timestamp = {Wed, 28 Dec 2022 16:42:42 +0100},
biburl = {https://dblp.org/rec/conf/rv/Goubault-Larrecq16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/Goubault-Larrecq16,
author = {Jean Goubault{-}Larrecq and
Monika Seisenberger and
Victor L. Selivanov and
Andreas Weiermann},
title = {Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031)},
journal = {Dagstuhl Reports},
volume = {6},
number = {1},
pages = {69--98},
year = {2016},
url = {https://doi.org/10.4230/DagRep.6.1.69},
doi = {10.4230/DAGREP.6.1.69},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/Goubault-Larrecq16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Goubault-Larrecq15,
author = {Jean Goubault{-}Larrecq},
title = {Full abstraction for non-deterministic and probabilistic extensions
of {PCF} {I:} The angelic cases},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {155--184},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.09.003},
doi = {10.1016/J.JLAMP.2014.09.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Goubault-Larrecq15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goubault-Larrecq15,
author = {Jean Goubault{-}Larrecq},
title = {A short proof of the Schr{\"{o}}der-Simpson Theorem},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {1},
pages = {1--5},
year = {2015},
url = {https://doi.org/10.1017/S0960129513000467},
doi = {10.1017/S0960129513000467},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Goubault-Larrecq15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DubutGG15,
author = {J{\'{e}}r{\'{e}}my Dubut and
Eric Goubault and
Jean Goubault{-}Larrecq},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Natural Homology},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
pages = {171--183},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_14},
doi = {10.1007/978-3-662-47666-6\_14},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DubutGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/Goubault-Larrecq14,
author = {Jean Goubault{-}Larrecq},
title = {Exponentiable Streams and Prestreams},
journal = {Appl. Categorical Struct.},
volume = {22},
number = {3},
pages = {515--549},
year = {2014},
url = {https://doi.org/10.1007/s10485-013-9315-x},
doi = {10.1007/S10485-013-9315-X},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/Goubault-Larrecq14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Goubault-LarrecqS14,
author = {Jean Goubault{-}Larrecq and
Roberto Segala},
editor = {Franck van Breugel and
Elham Kashefi and
Catuscia Palamidessi and
Jan Rutten},
title = {Random Measurable Selections},
booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
to Prakash Panangaden on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8464},
pages = {343--362},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06880-0\_18},
doi = {10.1007/978-3-319-06880-0\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Goubault-LarrecqS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goubault-LarrecqJ14,
author = {Jean Goubault{-}Larrecq and
Achim Jung},
editor = {Bart Jacobs and
Alexandra Silva and
Sam Staton},
title = {QRB, QFS, and the Probabilistic Powerdomain},
booktitle = {Proceedings of the 30th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2014, Ithaca, NY, USA, June 12-15,
2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {308},
pages = {167--182},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2014.10.010},
doi = {10.1016/J.ENTCS.2014.10.010},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Goubault-LarrecqJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0032965,
author = {Jean Goubault{-}Larrecq},
title = {Non-Hausdorff Topology and Domain Theory - Selected Topics in Point-Set
Topology},
series = {New Mathematical Monographs},
volume = {22},
publisher = {Cambridge University Press},
year = {2013},
url = {http://www.cambridge.org/de/academic/subjects/mathematics/geometry-and-topology/non-hausdorff-topology-and-domain-theory-selected-topics-point-set-topology},
isbn = {978-1-107-03413-6},
timestamp = {Wed, 12 Mar 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0032965.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Goubault-LarrecqJ13,
author = {Jean Goubault{-}Larrecq and
Jean{-}Pierre Jouannaud},
editor = {Andrei Voronkov and
Christoph Weidenbach},
title = {The Blossom of Finite Semantic Trees},
booktitle = {Programming Logics - Essays in Memory of Harald Ganzinger},
series = {Lecture Notes in Computer Science},
volume = {7797},
pages = {90--122},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37651-1\_5},
doi = {10.1007/978-3-642-37651-1\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Goubault-LarrecqJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/Goubault-LarrecqO13,
author = {Jean Goubault{-}Larrecq and
Julien Olivain},
editor = {Jean{-}Luc Danger and
Mourad Debbabi and
Jean{-}Yves Marion and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Nur Zincir{-}Heywood},
title = {On the Efficiency of Mathematics in Intrusion Detection: The NetEntropy
Case},
booktitle = {Foundations and Practice of Security - 6th International Symposium,
{FPS} 2013, La Rochelle, France, October 21-22, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8352},
pages = {3--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05302-8\_1},
doi = {10.1007/978-3-319-05302-8\_1},
timestamp = {Fri, 08 Dec 2023 07:53:07 +0100},
biburl = {https://dblp.org/rec/conf/fps/Goubault-LarrecqO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Goubault-Larrecq13,
author = {Jean Goubault{-}Larrecq},
editor = {Krishnendu Chatterjee and
Jir{\'{\i}} Sgall},
title = {A Constructive Proof of the Topological Kruskal Theorem},
booktitle = {Mathematical Foundations of Computer Science 2013 - 38th International
Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8087},
pages = {22--41},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40313-2\_3},
doi = {10.1007/978-3-642-40313-2\_3},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Goubault-Larrecq13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AdjeBGGP13,
author = {Assal{\'{e}} Adj{\'{e}} and
Olivier Bouissou and
Jean Goubault{-}Larrecq and
Eric Goubault and
Sylvie Putot},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Static Analysis of Programs with Imprecise Probabilistic Inputs},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {22--47},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_2},
doi = {10.1007/978-3-642-54108-7\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/AdjeBGGP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/BouissouGGP12,
author = {Olivier Bouissou and
Eric Goubault and
Jean Goubault{-}Larrecq and
Sylvie Putot},
title = {A generalization of p-boxes to affine arithmetic},
journal = {Computing},
volume = {94},
number = {2-4},
pages = {189--201},
year = {2012},
url = {https://doi.org/10.1007/s00607-011-0182-8},
doi = {10.1007/S00607-011-0182-8},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/BouissouGGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-2287,
author = {Jean Goubault{-}Larrecq},
title = {QRB-Domains and the Probabilistic Powerdomain},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(1:14)2012},
doi = {10.2168/LMCS-8(1:14)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-2287.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-4549,
author = {Alain Finkel and
Jean Goubault{-}Larrecq},
title = {Forward Analysis for WSTS, Part {II:} Complete {WSTS}},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {3},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(3:28)2012},
doi = {10.2168/LMCS-8(3:28)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-4549.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FinkelG12,
author = {Alain Finkel and
Jean Goubault{-}Larrecq},
editor = {Serge Haddad and
Lucia Pomello},
title = {The Theory of {WSTS:} The Case of Complete {WSTS}},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {3--31},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_2},
doi = {10.1007/978-3-642-31131-4\_2},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/FinkelG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2605,
author = {Assal{\'{e}} Adj{\'{e}} and
Jean Goubault{-}Larrecq},
title = {Concrete Semantics of Programs with Non-Deterministic and Random Inputs},
journal = {CoRR},
volume = {abs/1210.2605},
year = {2012},
url = {http://arxiv.org/abs/1210.2605},
eprinttype = {arXiv},
eprint = {1210.2605},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2605.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goubault-LarrecqK11,
author = {Jean Goubault{-}Larrecq and
Klaus Keimel},
title = {Choquet-Kendall-Matheron theorems for non-Hausdorff spaces},
journal = {Math. Struct. Comput. Sci.},
volume = {21},
number = {3},
pages = {511--561},
year = {2011},
url = {https://doi.org/10.1017/S0960129510000617},
doi = {10.1017/S0960129510000617},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Goubault-LarrecqK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Goubault-Larrecq11,
author = {Jean Goubault{-}Larrecq},
title = {Musings around the geometry of interaction, and coherence},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {20},
pages = {1998--2014},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2010.12.023},
doi = {10.1016/J.TCS.2010.12.023},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Goubault-Larrecq11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Goubault-LarrecqV11,
author = {Jean Goubault{-}Larrecq and
Daniele Varacca},
title = {Continuous Random Variables},
booktitle = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
pages = {97--106},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LICS.2011.23},
doi = {10.1109/LICS.2011.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Goubault-LarrecqV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/Goubault-Larrecq10,
author = {Jean Goubault{-}Larrecq},
title = {Finite models for formal security proofs},
journal = {J. Comput. Secur.},
volume = {18},
number = {6},
pages = {1247--1299},
year = {2010},
url = {https://doi.org/10.3233/JCS-2009-0395},
doi = {10.3233/JCS-2009-0395},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/Goubault-Larrecq10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goubault-Larrecq10,
author = {Jean Goubault{-}Larrecq},
title = {De Groot duality and models of choice: angels, demons and nature},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {2},
pages = {169--237},
year = {2010},
url = {https://doi.org/10.1017/S0960129509990363},
doi = {10.1017/S0960129509990363},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Goubault-Larrecq10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BenzinaG10,
author = {Hedi Benzina and
Jean Goubault{-}Larrecq},
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Guillermo Navarro{-}Arribas and
Ana R. Cavalli and
Jean Leneutre},
title = {Some Ideas on Virtualized System Security, and Monitors},
booktitle = {Data Privacy Management and Autonomous Spontaneous Security - 5th
International Workshop, {DPM} 2010 and 3rd International Workshop,
{SETOP} 2010, Athens, Greece, September 23, 2010, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6514},
pages = {244--258},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19348-4\_18},
doi = {10.1007/978-3-642-19348-4\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/esorics/BenzinaG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Goubault-Larrecq10,
author = {Jean Goubault{-}Larrecq},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {Noetherian Spaces in Verification},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {2--21},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_2},
doi = {10.1007/978-3-642-14162-1\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Goubault-Larrecq10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Goubault-Larrecq10,
author = {Jean Goubault{-}Larrecq},
title = {omega-QRB-Domains and the Probabilistic Powerdomain},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {352--361},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.50},
doi = {10.1109/LICS.2010.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Goubault-Larrecq10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Goubault-Larrecq09,
author = {Jean Goubault{-}Larrecq},
editor = {Anupam Datta},
title = {"Logic Wins!"},
booktitle = {Advances in Computer Science - {ASIAN} 2009. Information Security
and Privacy, 13th Asian Computing Science Conference, Seoul, Korea,
December 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5913},
pages = {1--16},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10622-4\_1},
doi = {10.1007/978-3-642-10622-4\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/Goubault-Larrecq09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FinkelG09,
author = {Alain Finkel and
Jean Goubault{-}Larrecq},
editor = {Susanne Albers and
Alberto Marchetti{-}Spaccamela and
Yossi Matias and
Sotiris E. Nikoletseas and
Wolfgang Thomas},
title = {Forward Analysis for WSTS, Part {II:} Complete {WSTS}},
booktitle = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
{ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5556},
pages = {188--199},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02930-1\_16},
doi = {10.1007/978-3-642-02930-1\_16},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FinkelG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/FinkelG09,
author = {Alain Finkel and
Jean Goubault{-}Larrecq},
editor = {Susanne Albers and
Jean{-}Yves Marion},
title = {Forward Analysis for WSTS, Part {I:} Completions},
booktitle = {26th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings},
series = {LIPIcs},
volume = {3},
pages = {433--444},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.STACS.2009.1844},
doi = {10.4230/LIPICS.STACS.2009.1844},
timestamp = {Tue, 22 Jun 2021 15:43:57 +0200},
biburl = {https://dblp.org/rec/conf/stacs/FinkelG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-1587,
author = {Alain Finkel and
Jean Goubault{-}Larrecq},
title = {Forward analysis for WSTS, Part {I:} Completions},
journal = {CoRR},
volume = {abs/0902.1587},
year = {2009},
url = {http://arxiv.org/abs/0902.1587},
eprinttype = {arXiv},
eprint = {0902.1587},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-1587.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goubault-LarrecqLN08,
author = {Jean Goubault{-}Larrecq and
Slawomir Lasota and
David Nowak},
title = {Logical relations for monadic types},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {6},
pages = {1169--1217},
year = {2008},
url = {https://doi.org/10.1017/S0960129508007172},
doi = {10.1017/S0960129508007172},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Goubault-LarrecqLN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/Goubault-Larrecq08,
author = {Jean Goubault{-}Larrecq},
title = {Towards Producing Formally Checkable Security Proofs, Automatically},
booktitle = {Proceedings of the 21st {IEEE} Computer Security Foundations Symposium,
{CSF} 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008},
pages = {224--238},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSF.2008.21},
doi = {10.1109/CSF.2008.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/Goubault-Larrecq08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Goubault-Larrecq08,
author = {Jean Goubault{-}Larrecq},
editor = {Roberto M. Amadio},
title = {Simulation Hemi-metrics between Infinite-State Stochastic Games},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {50--65},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_5},
doi = {10.1007/978-3-540-78499-9\_5},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Goubault-Larrecq08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Goubault-Larrecq08a,
author = {Jean Goubault{-}Larrecq},
editor = {Roberto M. Amadio},
title = {Prevision Domains and Convex Powercones},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {318--333},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_23},
doi = {10.1007/978-3-540-78499-9\_23},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Goubault-Larrecq08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Goubault-LarrecqO08,
author = {Jean Goubault{-}Larrecq and
Julien Olivain},
editor = {Martin Leucker},
title = {A Smell of Orchids},
booktitle = {Runtime Verification, 8th International Workshop, {RV} 2008, Budapest,
Hungary, March 30, 2008. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5289},
pages = {1--20},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89247-2\_1},
doi = {10.1007/978-3-540-89247-2\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/Goubault-LarrecqO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/VermaG07,
author = {Kumar Neeraj Verma and
Jean Goubault{-}Larrecq},
title = {Alternating two-way AC-tree automata},
journal = {Inf. Comput.},
volume = {205},
number = {6},
pages = {817--869},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2006.12.006},
doi = {10.1016/J.IC.2006.12.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/VermaG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Goubault-LarrecqPT07,
author = {Jean Goubault{-}Larrecq and
Catuscia Palamidessi and
Angelo Troina},
editor = {Zhong Shao},
title = {A Probabilistic Applied Pi-Calculus},
booktitle = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
Singapore, November 29-December 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4807},
pages = {175--190},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76637-7\_12},
doi = {10.1007/978-3-540-76637-7\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Goubault-LarrecqPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/BurszteinG07,
author = {Elie Bursztein and
Jean Goubault{-}Larrecq},
editor = {Iliano Cervesato},
title = {A Logical Framework for Evaluating Network Resilience Against Faults
and Attacks},
booktitle = {Advances in Computer Science - {ASIAN} 2007. Computer and Network
Security, 12th Asian Computing Science Conference, Doha, Qatar, December
9-11, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4846},
pages = {212--227},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76929-3\_20},
doi = {10.1007/978-3-540-76929-3\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/BurszteinG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Goubault-Larrecq07,
author = {Jean Goubault{-}Larrecq},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Continuous Previsions},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {542--557},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_40},
doi = {10.1007/978-3-540-74915-8\_40},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Goubault-Larrecq07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Goubault-Larrecq07,
author = {Jean Goubault{-}Larrecq},
editor = {Lars Arge and
Christian Cachin and
Tomasz Jurdzinski and
Andrzej Tarlecki},
title = {Continuous Capacities on Continuous State Spaces},
booktitle = {Automata, Languages and Programming, 34th International Colloquium,
{ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4596},
pages = {764--776},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73420-8\_66},
doi = {10.1007/978-3-540-73420-8\_66},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Goubault-Larrecq07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Goubault-Larrecq07,
author = {Jean Goubault{-}Larrecq},
title = {On Noetherian Spaces},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {453--462},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.34},
doi = {10.1109/LICS.2007.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Goubault-Larrecq07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/VermaG05,
author = {Kumar Neeraj Verma and
Jean Goubault{-}Larrecq},
title = {Karp-Miller Trees for a Branching Extension of {VASS}},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {7},
number = {1},
pages = {217--230},
year = {2005},
url = {https://doi.org/10.46298/dmtcs.350},
doi = {10.46298/DMTCS.350},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dmtcs/VermaG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Goubault-Larrecq05,
author = {Jean Goubault{-}Larrecq},
title = {Deciding \emph{H}\({}_{\mbox{1}}\) by resolution},
journal = {Inf. Process. Lett.},
volume = {95},
number = {3},
pages = {401--408},
year = {2005},
url = {https://doi.org/10.1016/j.ipl.2005.04.007},
doi = {10.1016/J.IPL.2005.04.007},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Goubault-Larrecq05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Goubault-LarrecqRV05,
author = {Jean Goubault{-}Larrecq and
Muriel Roger and
Kumar Neeraj Verma},
title = {Abstraction and resolution modulo {AC:} How to verify Diffie-Hellman-like
protocols automatically},
journal = {J. Log. Algebraic Methods Program.},
volume = {64},
number = {2},
pages = {219--251},
year = {2005},
url = {https://doi.org/10.1016/j.jlap.2004.09.004},
doi = {10.1016/J.JLAP.2004.09.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Goubault-LarrecqRV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goubault-Larrecq05,
author = {Jean Goubault{-}Larrecq},
title = {Extensions of valuations},
journal = {Math. Struct. Comput. Sci.},
volume = {15},
number = {2},
pages = {271--297},
year = {2005},
url = {https://doi.org/10.1017/S096012950400461X},
doi = {10.1017/S096012950400461X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Goubault-Larrecq05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/OlivainG05,
author = {Julien Olivain and
Jean Goubault{-}Larrecq},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {The Orchids Intrusion Detection Tool},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {286--290},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_28},
doi = {10.1007/11513988\_28},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/OlivainG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Goubault-LarrecqP05,
author = {Jean Goubault{-}Larrecq and
Fabrice Parrennes},
editor = {Radhia Cousot},
title = {Cryptographic Protocol Analysis on Real {C} Code},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {363--379},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_24},
doi = {10.1007/978-3-540-30579-8\_24},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Goubault-LarrecqP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0511006,
author = {Jean Goubault{-}Larrecq and
Slawomir Lasota and
David Nowak},
title = {Logical Relations for Monadic Types},
journal = {CoRR},
volume = {abs/cs/0511006},
year = {2005},
url = {http://arxiv.org/abs/cs/0511006},
eprinttype = {arXiv},
eprint = {cs/0511006},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0511006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Goubault-LarrecqLNZ04,
author = {Jean Goubault{-}Larrecq and
Slawomir Lasota and
David Nowak and
Yu Zhang},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Complete Lax Logical Relations for Cryptographic Lambda-Calculi},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {400--414},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_31},
doi = {10.1007/978-3-540-30124-0\_31},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Goubault-LarrecqLNZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2001lacpv,
editor = {Jean Goubault{-}Larrecq},
title = {Logical Aspects of Cryptographic Protocol Verification, {LACPV} 2001,
in connection with {CAV} 2001, Paris, France, July 23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {1},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/55/issue/1},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/2001lacpv.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Goubault-Larrecq02,
author = {Jean Goubault{-}Larrecq},
editor = {Julian C. Bradfield},
title = {Higher-Order Positive Set Constraints},
booktitle = {Computer Science Logic, 16th International Workshop, {CSL} 2002, 11th
Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
22-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2471},
pages = {473--489},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45793-3\_32},
doi = {10.1007/3-540-45793-3\_32},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Goubault-Larrecq02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Goubault-LarrecqLN02,
author = {Jean Goubault{-}Larrecq and
Slawomir Lasota and
David Nowak},
editor = {Julian C. Bradfield},
title = {Logical Relations for Monadic Types},
booktitle = {Computer Science Logic, 16th International Workshop, {CSL} 2002, 11th
Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
22-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2471},
pages = {553--568},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45793-3\_37},
doi = {10.1007/3-540-45793-3\_37},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Goubault-LarrecqLN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/RogerG01,
author = {Muriel Roger and
Jean Goubault{-}Larrecq},
title = {Log Auditing through Model-Checking},
booktitle = {14th {IEEE} Computer Security Foundations Workshop {(CSFW-14} 2001),
11-13 June 2001, Cape Breton, Nova Scotia, Canada},
pages = {220--234},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CSFW.2001.930148},
doi = {10.1109/CSFW.2001.930148},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/RogerG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Goubault-Larrecq01,
author = {Jean Goubault{-}Larrecq},
editor = {Laurent Fribourg},
title = {Well-Founded Recursive Relations},
booktitle = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2142},
pages = {484--497},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44802-0\_34},
doi = {10.1007/3-540-44802-0\_34},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Goubault-Larrecq01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/RivalG01,
author = {Xavier Rival and
Jean Goubault{-}Larrecq},
editor = {Richard J. Boulton and
Paul B. Jackson},
title = {Experiments with Finite Tree Automata in Coq},
booktitle = {Theorem Proving in Higher Order Logics, 14th International Conference,
TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2152},
pages = {362--377},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44755-5\_25},
doi = {10.1007/3-540-44755-5\_25},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/RivalG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goubault-Larrecq01,
author = {Jean Goubault{-}Larrecq},
editor = {Jean Goubault{-}Larrecq},
title = {Preface},
booktitle = {Logical Aspects of Cryptographic Protocol Verification, {LACPV} 2001,
in connection with {CAV} 2001, Paris, France, July 23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {1},
pages = {101--102},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80576-6},
doi = {10.1016/S1571-0661(05)80576-6},
timestamp = {Mon, 05 Dec 2022 12:31:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Goubault-Larrecq01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GoguenG00,
author = {Healfdene Goguen and
Jean Goubault{-}Larrecq},
title = {Sequent combinators: a Hilbert system for the lambda calculus},
journal = {Math. Struct. Comput. Sci.},
volume = {10},
number = {1},
pages = {1--79},
year = {2000},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44849},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GoguenG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/VermaGPA00,
author = {Kumar Neeraj Verma and
Jean Goubault{-}Larrecq and
Sanjiva Prasad and
S. Arun{-}Kumar},
editor = {Jifeng He and
Masahiko Sato},
title = {Reflecting BDDs in Coq},
booktitle = {Advances in Computing Science - {ASIAN} 2000, 6th Asian Computing
Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1961},
pages = {162--181},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44464-5\_13},
doi = {10.1007/3-540-44464-5\_13},
timestamp = {Mon, 21 Mar 2022 11:35:02 +0100},
biburl = {https://dblp.org/rec/conf/asian/VermaGPA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Goubault-Larrecq00,
author = {Jean Goubault{-}Larrecq},
editor = {Jos{\'{e}} D. P. Rolim},
title = {A Method for Automatic Cryptographic Protocol Verification},
booktitle = {Parallel and Distributed Processing, 15 {IPDPS} 2000 Workshops, Cancun,
Mexico, May 1-5, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1800},
pages = {977--984},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45591-4\_134},
doi = {10.1007/3-540-45591-4\_134},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ipps/Goubault-Larrecq00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Goubault-Larrecq99,
author = {Jean Goubault{-}Larrecq},
editor = {Neil V. Murray},
title = {A Simple Sequent System for First-Order Logic with Free Constructors},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '99, Saratoga Springs, NY, USA, June 7-11,
1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1617},
pages = {202--216},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48754-9\_19},
doi = {10.1007/3-540-48754-9\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Goubault-Larrecq99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Goubault-Larrecq98,
author = {Jean Goubault{-}Larrecq},
editor = {Thorsten Altenkirch and
Wolfgang Naraschewski and
Bernhard Reus},
title = {Conjunctive Types and SKInT},
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 = {106--120},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48167-2\_8},
doi = {10.1007/3-540-48167-2\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/Goubault-Larrecq98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Goubault-Larrecq97,
author = {Jean Goubault{-}Larrecq},
title = {Ramified Higher-Order Unification},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {410--421},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614966},
doi = {10.1109/LICS.1997.614966},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Goubault-Larrecq97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SchmittG97,
author = {Peter H. Schmitt and
Jean Goubault{-}Larrecq},
editor = {Ed Brinksma},
title = {A Tableau System for Linear-TIME Temporal Logic},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third
International Workshop, {TACAS} '97, Enschede, The Netherlands, April
2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1217},
pages = {130--144},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035385},
doi = {10.1007/BFB0035385},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SchmittG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Goubault-Larrecq96,
author = {Jean Goubault{-}Larrecq},
editor = {Eduardo Gim{\'{e}}nez and
Christine Paulin{-}Mohring},
title = {A Proof of Weak Termination of Typed lambda-sigma-Calculi},
booktitle = {Types for Proofs and Programs, International Workshop TYPES'96, Aussois,
France, December 15-19, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1512},
pages = {134--153},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0097790},
doi = {10.1007/BFB0097790},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/Goubault-Larrecq96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Goubault95,
author = {Jean Goubault},
title = {A BDD-Based Simplification and Skolemization Procedure},
journal = {Log. J. {IGPL}},
volume = {3},
number = {6},
pages = {827--855},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.6.827},
doi = {10.1093/JIGPAL/3.6.827},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Goubault95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Goubault94,
author = {Jean Goubault},
editor = {Alan Bundy},
title = {Proving with BDDs and Control of Information},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {499--513},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_36},
doi = {10.1007/3-540-58156-1\_36},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Goubault94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/GoubaultP94,
author = {Jean Goubault and
Joachim Posegga},
editor = {Zbigniew W. Ras and
Maria Zemankova},
title = {BDDs and Automated Deduction},
booktitle = {Methodologies for Intelligent Systems, 8th International Symposium,
{ISMIS} '94, Charlotte, North Carolina, USA, October 16-19, 1994,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {869},
pages = {541--550},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58495-1\_54},
doi = {10.1007/3-540-58495-1\_54},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/GoubaultP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Goubault94,
author = {Jean Goubault},
title = {Rigid E-Unifiability is DEXPTIME-Complete},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {498--506},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316041},
doi = {10.1109/LICS.1994.316041},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Goubault94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Goubault94,
author = {Jean Goubault},
editor = {Frank Pfenning},
title = {Higher-Order Rigid E-Unification},
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 = {129--143},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58216-9\_34},
doi = {10.1007/3-540-58216-9\_34},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Goubault94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Goubault94,
author = {Jean Goubault},
editor = {Baudouin Le Charlier},
title = {Generalized Boxings, Congruences and Partial Inlining},
booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94,
Namur, Belgium, September 28-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {864},
pages = {147--161},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58485-4\_38},
doi = {10.1007/3-540-58485-4\_38},
timestamp = {Mon, 12 Aug 2019 15:36:13 +0200},
biburl = {https://dblp.org/rec/conf/sas/Goubault94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Goubault94,
author = {Jean Goubault},
editor = {Patrice Enjalbert and
Ernst W. Mayr and
Klaus W. Wagner},
title = {The Complexity of Resource-Bounded First-Order Classical Logic},
booktitle = {{STACS} 94, 11th Annual Symposium on Theoretical Aspects of Computer
Science, Caen, France, February 24-26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {775},
pages = {59--70},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57785-8\_131},
doi = {10.1007/3-540-57785-8\_131},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Goubault94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Goubault93,
author = {Jean Goubault},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {A Rule-based Algorithm for Rigid E-Unification},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {202--210},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022569},
doi = {10.1007/BFB0022569},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Goubault93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-21 18:14 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:
