Neea Rusch

5
Documents

Publications

Publications

Deposit thumbnail

Applied Implicit Computational Complexity

Neea Rusch

Computer Science [cs]. Augusta University, 2025. English. ⟨NNT : ⟩

Thèse tel-05268385v1
Deposit thumbnail

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-03269121v4
Deposit thumbnail

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-03596285v1