- 7
- 2
- 1
Thomas Seiller
10
Documents
Publications
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 5
- 2
- 2
- 2
- 1
- 1
- 1
Logarithmic space and permutationsInformation and Computation, 2016, 248, pp.2-21. ⟨10.1016/j.ic.2014.01.018⟩
Article dans une revue
hal-02345670v1
|
|
|
Characterizing co-NL by a group actionMathematical Structures in Computer Science, 2014, First View, pp.1--33. ⟨10.1017/S0960129514000267⟩
Article dans une revue
hal-01005705v1
|
|
Distributing and Parallelizing Non-canonical LoopsVerification, Model Checking, and Abstract Interpretation (VMCAI 2023), Jan 2023, Boston (MA), United States. ⟨10.1007/978-3-031-24950-1_1⟩
Communication dans un congrès
hal-03669387v2
|
|
pymwp: A Static Analyzer Determining Polynomial Growth BoundsAutomated Technology for Verification and Analysis (ATVA 2023), Oct 2023, Singapour, France. ⟨10.1007/978-3-031-45332-8_14⟩
Communication dans un congrès
hal-03269121v4
|
Unary Resolution: Characterizing Ptime.Foundations of Software Science and Computation Structures (FOSSACS), Apr 2016, Eindhoven, Netherlands. pp.373-389, ⟨10.1007/978-3-662-49630-5_22⟩
Communication dans un congrès
hal-01321239v1
|
|
|
Logic Programming and Logarithmic Space12th Asian Symposium, APLAS 2014, Oct 2014, Singapour, Singapore. pp.39-57, ⟨10.1007/978-3-319-12736-1_3⟩
Communication dans un congrès
hal-01309159v1
|
|
Certifying Complexity Analysis2023
Pré-publication, Document de travail
hal-04083105v1
|
|
An extended and more practical mwp flow analysis2021
Pré-publication, Document de travail
hal-03269096v2
|
|
Logarithmic Space and Permutations2013
Pré-publication, Document de travail
hal-01005701v1
|
|
Memoization for Unary Logic Programming: Characterizing PTIME[Research Report] RR-8796, INRIA Grenoble - Rhône-Alpes; Université Paris-Est, LACL (EA 4219), UPEC, F-94010 Créteil, France; Aix Marseille Université, CNRS, Centrale Marseille, I2M UMR 7373, 13453, Marseille, France; IHÉS. 2015, pp.28
Rapport
hal-01107377v3
|