• 33 Citations
  • 4 h-Index
If you made any changes in Pure, your changes will be visible here soon.

Personal profile


  • 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.

Logarithmic Mathematics
Algebra Engineering & Materials Science
Complexity Classes Mathematics
Proof Theory Mathematics
Unification Mathematics
Linear Logic Mathematics
Geometry Engineering & Materials Science
Logic programming Engineering & Materials Science

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

Research Output 2014 2018

  • 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

Complexity Classes
Proof Theory
5 Citations (Scopus)
8 Citations (Scopus)

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

Complexity Classes
Group Action
8 Citations (Scopus)

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

Hilbert spaces
Mathematical operators
Computational complexity
3 Citations (Scopus)

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

Logic Programs
Polynomial time