BibTeX records: Jérémy Ledent

download as .bib file

@inproceedings{DBLP:conf/concur/LedentM19,
  author    = {J{\'{e}}r{\'{e}}my Ledent and
               Samuel Mimram},
  title     = {A Sound Foundation for the Topological Approach to Task Solvability},
  booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
               August 27-30, 2019, Amsterdam, the Netherlands},
  pages     = {34:1--34:15},
  year      = {2019},
  crossref  = {DBLP:conf/concur/2019},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.34},
  doi       = {10.4230/LIPIcs.CONCUR.2019.34},
  timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/LedentM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GoubaultLLR19,
  author    = {{\'{E}}ric Goubault and
               Marijana Lazic and
               J{\'{e}}r{\'{e}}my Ledent and
               Sergio Rajsbaum},
  title     = {A Dynamic Epistemic Logic Analysis of the Equality Negation Task},
  booktitle = {Dynamic Logic. New Trends and Applications - Second International
               Workshop, DaL{\'{\i}} 2019, Porto, Portugal, October 7-11, 2019,
               Proceedings},
  pages     = {53--70},
  year      = {2019},
  crossref  = {DBLP:conf/dali/2019},
  url       = {https://doi.org/10.1007/978-3-030-38808-9\_4},
  doi       = {10.1007/978-3-030-38808-9\_4},
  timestamp = {Thu, 16 Jan 2020 17:28:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tap/GoubaultLLR19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GoubaultLLR19,
  author    = {{\'{E}}ric Goubault and
               Marijana Lazic and
               J{\'{e}}r{\'{e}}my Ledent and
               Sergio Rajsbaum},
  title     = {Wait-Free Solvability of Equality Negation Tasks},
  booktitle = {33rd International Symposium on Distributed Computing, {DISC} 2019,
               October 14-18, 2019, Budapest, Hungary},
  pages     = {21:1--21:16},
  year      = {2019},
  crossref  = {DBLP:conf/wdag/2019},
  url       = {https://doi.org/10.4230/LIPIcs.DISC.2019.21},
  doi       = {10.4230/LIPIcs.DISC.2019.21},
  timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/GoubaultLLR19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-03263,
  author    = {Eric Goubault and
               Marijana Lazic and
               J{\'{e}}r{\'{e}}my Ledent and
               Sergio Rajsbaum},
  title     = {A dynamic epistemic logic analysis of the equality negation task},
  journal   = {CoRR},
  volume    = {abs/1909.03263},
  year      = {2019},
  url       = {http://arxiv.org/abs/1909.03263},
  archivePrefix = {arXiv},
  eprint    = {1909.03263},
  timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1909-03263},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/GoubaultLM18,
  author    = {{\'{E}}ric Goubault and
               J{\'{e}}r{\'{e}}my Ledent and
               Samuel Mimram},
  title     = {Concurrent Specifications Beyond Linearizability},
  booktitle = {22nd International Conference on Principles of Distributed Systems,
               {OPODIS} 2018, December 17-19, 2018, Hong Kong, China},
  pages     = {28:1--28:16},
  year      = {2018},
  crossref  = {DBLP:conf/opodis/2018},
  url       = {https://doi.org/10.4230/LIPIcs.OPODIS.2018.28},
  doi       = {10.4230/LIPIcs.OPODIS.2018.28},
  timestamp = {Thu, 02 May 2019 17:40:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/opodis/GoubaultLM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GoubaultLM18,
  author    = {{\'{E}}ric Goubault and
               J{\'{e}}r{\'{e}}my Ledent and
               Samuel Mimram},
  title     = {Brief Announcement: On the Impossibility of Detecting Concurrency},
  booktitle = {32nd International Symposium on Distributed Computing, {DISC} 2018,
               New Orleans, LA, USA, October 15-19, 2018},
  pages     = {50:1--50:4},
  year      = {2018},
  crossref  = {DBLP:conf/wdag/2018},
  url       = {https://doi.org/10.4230/LIPIcs.DISC.2018.50},
  doi       = {10.4230/LIPIcs.DISC.2018.50},
  timestamp = {Mon, 27 May 2019 15:36:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/GoubaultLM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03095,
  author    = {{\'{E}}ric Goubault and
               J{\'{e}}r{\'{e}}my Ledent and
               Sergio Rajsbaum},
  title     = {A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed
               Task Computability},
  booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
               and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
               26-28th September 2018},
  pages     = {73--87},
  year      = {2018},
  crossref  = {DBLP:journals/corr/abs-1809-02416},
  url       = {https://doi.org/10.4204/EPTCS.277.6},
  doi       = {10.4204/EPTCS.277.6},
  timestamp = {Tue, 16 Oct 2018 10:05:10 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1809-03095},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HofmannL17,
  author    = {Martin Hofmann and
               J{\'{e}}r{\'{e}}my Ledent},
  title     = {A cartesian-closed category for higher-order model checking},
  booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
               2017, Reykjavik, Iceland, June 20-23, 2017},
  pages     = {1--12},
  year      = {2017},
  crossref  = {DBLP:conf/lics/2017},
  url       = {https://doi.org/10.1109/LICS.2017.8005120},
  doi       = {10.1109/LICS.2017.8005120},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/HofmannL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2019,
  editor    = {Wan Fokkink and
               Rob van Glabbeek},
  title     = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
               August 27-30, 2019, Amsterdam, the Netherlands},
  series    = {LIPIcs},
  volume    = {140},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-121-4},
  isbn      = {978-3-95977-121-4},
  timestamp = {Tue, 27 Aug 2019 12:10:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dali/2019,
  editor    = {Lu{\'{\i}}s Soares Barbosa and
               Alexandru Baltag},
  title     = {Dynamic Logic. New Trends and Applications - Second International
               Workshop, DaL{\'{\i}} 2019, Porto, Portugal, October 7-11, 2019,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12005},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-38808-9},
  doi       = {10.1007/978-3-030-38808-9},
  isbn      = {978-3-030-38807-2},
  timestamp = {Thu, 16 Jan 2020 17:28:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dali/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wdag/2019,
  editor    = {Jukka Suomela},
  title     = {33rd International Symposium on Distributed Computing, {DISC} 2019,
               October 14-18, 2019, Budapest, Hungary},
  series    = {LIPIcs},
  volume    = {146},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-126-9},
  isbn      = {978-3-95977-126-9},
  timestamp = {Tue, 08 Oct 2019 14:28:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/opodis/2018,
  editor    = {Jiannong Cao and
               Faith Ellen and
               Luis Rodrigues and
               Bernardo Ferreira},
  title     = {22nd International Conference on Principles of Distributed Systems,
               {OPODIS} 2018, December 17-19, 2018, Hong Kong, China},
  series    = {LIPIcs},
  volume    = {125},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2018},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-098-9},
  isbn      = {978-3-95977-098-9},
  timestamp = {Thu, 02 May 2019 17:40:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/opodis/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wdag/2018,
  editor    = {Ulrich Schmid and
               Josef Widder},
  title     = {32nd International Symposium on Distributed Computing, {DISC} 2018,
               New Orleans, LA, USA, October 15-19, 2018},
  series    = {LIPIcs},
  volume    = {121},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2018},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-092-7},
  isbn      = {978-3-95977-092-7},
  timestamp = {Mon, 27 May 2019 15:36:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1809-02416,
  editor    = {Andrea Orlandini and
               Martin Zimmermann},
  title     = {Proceedings Ninth International Symposium on Games, Automata, Logics,
               and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
               26-28th September 2018},
  series    = {{EPTCS}},
  volume    = {277},
  year      = {2018},
  url       = {https://doi.org/10.4204/EPTCS.277},
  doi       = {10.4204/EPTCS.277},
  timestamp = {Tue, 16 Oct 2018 10:05:10 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1809-02416},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2017,
  title     = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
               2017, Reykjavik, Iceland, June 20-23, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7999337/proceeding},
  isbn      = {978-1-5090-3018-7},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics