Get started
Author

Thomas Seiller

Observed names: Seiller, Thomas, THOMAS SEILLER
Observed institutions: Roma Tre University, University of Copenhagen, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Aix-Marseille Université, Institut de Recherche en Informatique et Systèmes Aléatoires, Université Sorbonne Paris Nord, Institut de Mathématiques de Marseille, Laboratory Preuves, Programmes et Systèmes, Laboratoire de Mathématiques Blaise Pascal, Laboratoire d'Informatique de Paris-Nord, Japanese-French Laboratory for Informatics, Université Paris Diderot, Le LAMA, University of Birmingham, Institut des Hautes Études Scientifiques
ORCID: 0000-0001-6313-0898
Observed ORCID: 0000-0001-6313-0898
OpenAlex ID: A5083813801
Interaction graphs: Additives
2015 · Thomas Seiller · Annals of Pure and Applied Logic · 33
PDF
Interaction graphs: Multiplicatives
2012 · Thomas Seiller · Annals of Pure and Applied Logic · 32
PDF
Interaction graphs: Graphings
2016 · Thomas Seiller · Annals of Pure and Applied Logic · 28
Characterizingco-NLby a group action
2014 · CLÉMENT AUBERT, THOMAS SEILLER · Mathematical Structures in Computer Science · 25
PDF
Interaction Graphs: Full Linear Logic
2016 · Thomas Seiller · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 24
PDF
Logarithmic space and permutations
2016 · Clément Aubert, Thomas Seiller · Information and Computation · 22
PDF
Logique dans le facteur hyperfini : Géométrie de l' interaction et complexité
2012 · Thomas Seiller · theses.fr (ABES) · 18
On the Computational Meaning of Axioms
2016 · Alberto Naibo, Mattia Petrolo, et al. · Logic, epistemology, and the unity of science · 17
Interaction Graphs: Non-Deterministic Automata
2018 · Thomas Seiller · ACM Transactions on Computational Logic · 12
PDF
Interaction Graphs: Exponentials
2019 · Seiller, Thomas · HAL · 11
Towards a Complexity-through-Realisability Theory
2015 · Seiller, Thomas · arXiv (Cornell University) · 11
PDF
An Intensionally Fully-abstract Sheaf Model for pi
2015 · Eberhart, Clovis, Hirschowitz, Tom, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 11
PDF
Logic Programming and Logarithmic Space
2014 · Clément Aubert, Marc Bagnol, et al. · Lecture notes in computer science · 11
PDF
A correspondence between maximal abelian sub-algebras and linear logic fragments
· Thomas Seiller · 11
Loop Quasi-Invariant Chunk Detection
2017 · Jean-Yves Moyen, Thomas Rubiano, et al. · Lecture notes in computer science · 10
Unary Resolution: Characterizing Ptime
2016 · Clément Aubert, Marc Bagnol, et al. · Lecture notes in computer science · 10
PDF
Mathematical Informatics
2024 · Seiller, Thomas · HAL · 9
PDF
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory
2021 · Eric Finster, Samuel Mimram, et al. · Electronic Proceedings in Theoretical Computer Science · 9
Interaction Graphs: Exponentials
2019 · Thomas Seiller · Logical Methods in Computer Science · 8
PDF
Coherent Interaction Graphs
2019 · Lê Thành Dũng Nguyen, Thomas Seiller · Electronic Proceedings in Theoretical Computer Science · 7
Loop Quasi-Invariant Chunk Motion by peeling with statement composition
2017 · Jean-Yves Moyen, Thomas Rubiano, et al. · Electronic Proceedings in Theoretical Computer Science · 7
Interaction Graphs: Full Linear Logic
2015 · Seiller, Thomas · arXiv (Cornell University) · 7
A correspondence between maximal abelian sub-algebras and linear logic fragments
2016 · THOMAS SEILLER · Mathematical Structures in Computer Science · 6
PDF
Fully-abstract concurrent games for pi
2013 · Eberhart, Clovis, Hirschowitz, Tom, et al. · arXiv (Cornell University) · 6
PDF
Multiplicative linear logic from a resolution-based tile system
2022 · Eng, Boris, Seiller, Thomas · arXiv (Cornell University) · 5
PDF
Works count: 92
Citation count: 410
H-index: 11
I10-index: 16
Year
Topic
Type