Neea Rusch

Publications

Thèse (1)

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

Pré-publication, Document de travail (2)

Certifying Complexity Analysis Clément Aubert,Thomas Rubiano,Neea Rusch,Thomas Seiller 2023 Pré-publication, Document de travail hal-04083105v1
An extended and more practical mwp flow analysis Clément Aubert,Thomas Rubiano,Neea Rusch,Thomas Seiller 2021 Pré-publication, Document de travail hal-03269096v2

Communication dans un congrès (2)

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