Neea Rusch
5
Documents
Publications
Publications
|
|
Applied Implicit Computational ComplexityComputer Science [cs]. Augusta University, 2025. English. ⟨NNT : ⟩
Thèse
tel-05268385
v1
|
|
|
Certifying Complexity Analysis2023
Pré-publication, Document de travail
hal-04083105
v1
|
|
|
An extended and more practical mwp flow analysis2021
Pré-publication, Document de travail
hal-03269096
v2
|
|
|
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-03269121
v4
|
|
|
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⟩
Communication dans un congrès
hal-03596285
v1
|
Chargement...
Chargement...