• 33 Citations
  • 4 h-Index
20142018

Research output per year

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

Personal profile

Keywords

  • BC Logic
  • QA75 Electronic computers. Computer science

Fingerprint Dive into the research topics where Clement Aubert is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 33 Citations
  • 4 h-Index
  • 4 Article
  • 3 Conference contribution
  • 1 Conference article

Unification and logarithmic space

Aubert, C. & Bagnol, M., Jul 31 2018, In : Logical Methods in Computer Science. 14, 3, 6.

Research output: Contribution to journalArticle

  • 5 Scopus citations

    Characterizing co-NL by a group action

    Aubert, C. & Seiller, T., May 1 2016, In : Mathematical Structures in Computer Science. 26, 4, p. 606-638 33 p.

    Research output: Contribution to journalArticle

  • 8 Scopus citations

    Logarithmic space and permutations

    Aubert, C. & Seiller, T., Jun 1 2016, In : Information and Computation. 248, p. 2-21 20 p.

    Research output: Contribution to journalArticle

  • 8 Scopus citations

    Unary resolution: Characterizing PTIME

    Aubert, C., Bagnol, M. & Seiller, T., Jan 1 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