• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20142021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 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 proceedingConference contribution

  • 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    3 Scopus citations