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
20142024

Research activity per year

  • 12 Conference contribution
  • 10 Article
  • 4 Conference article
  • 1 Editorial
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

  • Implementation of a Reversible Distributed Calculus

    Aubert, C. & Browning, P., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer Science and Business Media Deutschland GmbH, p. 210-217 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13960 LNCS).

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

    Open Access
    1 Scopus citations

  • pymwp: A Static Analyzer Determining Polynomial Growth Bounds

    Aubert, C., Rubiano, T., Rusch, N. & Seiller, T., 2023, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. André, É. & Sun, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 263-275 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14216 LNCS).

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

  • Replications in Reversible Concurrent Calculi

    Aubert, C., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer Science and Business Media Deutschland GmbH, p. 15-23 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13960 LNCS).

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

    1 Scopus citations
  • 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

    Open Access
    4 Scopus citations

  • 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

    3 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

    3 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

    6 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

    4 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

    Open Access
    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

    Open Access
    3 Scopus citations