Follow
Thomas Seiller
Title
Cited by
Cited by
Year
Interaction graphs: multiplicatives
T Seiller
Annals of Pure and Applied Logic 163 (12), 1808-1837, 2012
432012
Interaction graphs: Additives
T Seiller
Annals of Pure and Applied Logic 167 (2), 95-154, 2016
41*2016
Characterizing co-NL by a group action
C Aubert, T Seiller
Mathematical Structures in Computer Science 26 (4), 606-638, 2016
382016
Interaction graphs: Graphings
T Seiller
Annals of Pure and Applied Logic 168 (2), 278-320, 2017
352017
Logarithmic space and permutations
C Aubert, T Seiller
Information and Computation 248, 2-21, 2016
352016
Interaction graphs: Full linear logic
T Seiller
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
312016
Logique dans le facteur hyperfini: géometrie de l'interaction et complexité
T Seiller
Aix-Marseille Université, 2012
312012
Interaction graphs: Non-deterministic automata
T Seiller
ACM Transactions on Computational Logic (TOCL) 19 (3), 1-24, 2018
262018
Interaction graphs: Exponentials
T Seiller
Logical Methods in Computer Science 15, 2019
252019
Logic programming and logarithmic space
C Aubert, M Bagnol, P Pistone, T Seiller
Programming Languages and Systems: 12th Asian Symposium, APLAS 2014 …, 2014
222014
Unary Resolution: Characterizing Ptime
C Aubert, M Bagnol, T Seiller
International Conference on Foundations of Software Science and Computation …, 2016
212016
An Intensionally Fully-abstract Sheaf Model for pi
C Eberhart, T Hirschowitz, T Seiller
LIPIcs-Leibniz International Proceedings in Informatics 35, 2015
21*2015
On the Computational Meaning of Axioms
A Naibo, M Petrolo, T Seiller
20*
A correspondence between maximal abelian sub-algebras and linear logic fragments
T Seiller
Mathematical Structures in Computer Science 28 (1), 77-139, 2018
152018
Towards a complexity-through-realisability theory
T Seiller
arXiv preprint arXiv:1502.01257, 2015
15*2015
Temporal semantic centrality for the analysis of communication networks
D Leprovost, L Abrouk, N Cullot, D Gross-Amblard
Web Engineering: 12th International Conference, ICWE 2012, Berlin, Germany …, 2012
15*2012
Loop quasi-invariant chunk detection
JY Moyen, T Rubiano, T Seiller
International Symposium on Automated Technology for Verification and …, 2017
122017
mwp-analysis improvement and implementation: Realizing implicit computational complexity
C Aubert, T Rubiano, N Rusch, T Seiller
arXiv preprint arXiv:2203.03943, 2022
102022
Prams over integers do not compute maxflow efficiently
L Pellissier, T Seiller
HAL 2018, 2018
82018
A cartesian bicategory of polynomial functors in homotopy type theory
E Finster, S Mimram, M Lucas, T Seiller
arXiv preprint arXiv:2112.14050, 2021
72021
The system can't perform the operation now. Try again later.
Articles 1–20