Neea Rusch

5
Documents

Publications

Publications

Image document

Applied Implicit Computational Complexity

Neea Rusch
Computer Science [cs]. Augusta University, 2025. English. ⟨NNT : ⟩
Thèse tel-05268385 v1
Image document

pymwp: A Static Analyzer Determining Polynomial Growth Bounds

Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller
Automated 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-03269121 v4
Image document

mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity

Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller
7th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel, Aug 2022, Haifa, Israel. pp.26:1--26:23, ⟨10.4230/LIPIcs.CVIT.2016.23⟩
Communication dans un congrès hal-03596285 v1