Clement Aubert

View Scopus Profile

Clement Aubert

Assistant Professor

 https://orcid.org/0000-0001-6346-3043
Calculated based on number of publications stored in Pure and citations from Scopus
20142023

Research activity per year

If you made any changes in Pure these will be visible here soon.
  • 9 Conference contribution
  • 8 Article
  • 4 Conference article
Filter
Conference contribution

Search results

  • 2023

    Distributing and Parallelizing Non-canonical Loops

    Aubert, C., Rubiano, T., Rusch, N. & Seiller, T., 2023, Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Proceedings. Dragoi, C., Emmi, M. & Wang, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-24 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13881 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2022

    Concurrencies in Reversible Concurrent Calculi

    Aubert, C., 2022, Reversible Computation - 14th International Conference, RC 2022, Proceedings. Mezzina, C. A. & Podlaski, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 146-163 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13354 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus

    Aubert, C., Horne, R. & Johansen, C., Sep 1 2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 243).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity

    Aubert, C., Rubiano, T., Rusch, N. & Seiller, T., Jun 1 2022, 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022. Felty, A. P. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 228).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations
  • 2021

    Explicit Identifiers and Contexts in Reversible Concurrent Calculus

    Aubert, C. & Medić, D., 2021, Reversible Computation 13th International - 13th International Conference, RC 2021, Proceedings. Yamashita, S. & Yokoyama, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 144-162 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12805 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations
  • 2020

    How reversibility can solve traditional questions: The example of hereditary history-preserving bisimulation

    Aubert, C. & Cristescu, I., Aug 1 2020, 31st International Conference on Concurrency Theory, CONCUR 2020. Konnov, I. & Kovacs, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 71-723 653 p. 7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations
  • 2016

    Unary resolution: Characterizing PTIME

    Aubert, C., Bagnol, M. & Seiller, T., 2016, Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Löding, C. & Jacobs, B. (eds.). Springer Verlag, p. 373-389 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9634).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations
  • 2014

    Logic programming and logarithmic space

    Aubert, C., Bagnol, M., Pistone, P. & Seiller, T., 2014, Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Proceedings. Garrigue, J. (ed.). Springer Verlag, p. 39-57 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8858).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Unification and logarithmic space

    Aubert, C. & Bagnol, M., 2014, Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer Verlag, p. 77-92 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8560 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations