Neea Rusch
5
Documents
Publications
Publications
|
|
Applied Implicit Computational ComplexityComputer Science [cs]. Augusta University, 2025. English. ⟨NNT : ⟩ |
|
|
Certifying Complexity Analysis2023 |
|
|
An extended and more practical mwp flow analysis2021 |
|
|
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⟩ |
|
|
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity7th 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⟩ |
Chargement...
Chargement...