publications.bib

@inproceedings{HofmannL17ho,
  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},
  pages = {1--12},
  year = {2017},
  doi = {10.1109/LICS.2017.8005120},
}
@inproceedings{GoubaultLR18simplicial,
  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},
  pages = {73--87},
  year = {2018},
  doi = {10.4204/EPTCS.277.6},
}
@inproceedings{GoubaultLM18brief,
  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},
  pages = {50:1--50:4},
  year = {2018},
  doi = {10.4230/LIPIcs.DISC.2018.50},
}
@inproceedings{GoubaultLM18specifications,
  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},
  pages = {28:1--28:16},
  year = {2018},
  doi = {10.4230/LIPIcs.OPODIS.2018.28},
}
@inproceedings{GoubaultLLR19waitfree,
  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},
  pages = {21:1--21:16},
  year = {2019},
  doi = {10.4230/LIPIcs.DISC.2019.21},
}
@inproceedings{GoubaultLLR19dynamic,
  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},
  pages = {53--70},
  year = {2019},
  doi = {10.1007/978-3-030-38808-9\_4},
}
@inproceedings{LedentM19foundation,
  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},
  pages = {34:1--34:15},
  year = {2019},
  doi = {10.4230/LIPIcs.CONCUR.2019.34},
}
@misc{DitmarschGLR20knowledge,
  author = {Hans van Ditmarsch and
               Eric Goubault and
               J{\'{e}}r{\'{e}}my Ledent and
               Sergio Rajsbaum},
  title = {Knowledge and simplicial complexes},
  year = {2020},
  url = {https://arxiv.org/abs/2002.08863},
}

This file was generated by bibtex2html 1.99.