Olha Shkaravska

Polynomial Size Analysis of First-Order Shapely Functions

Olha Shkaravska, Marko van Eekelen, Ron van Kesteren · Logical Methods in Computer Science · 2009 · 39 citations · Full text

Engineering, Type Theory, Computational Complexity +16

From Comodels to Coalgebras: State and Arrays

John Power, Olha Shkaravska · Electronic Notes in Theoretical Computer Science · 2004 · 36 citations · Full text

Algebraic Logic, Hopf Algebra, Engineering +12

Test-based inference of polynomial loop-bound functions

Olha Shkaravska, Rody Kersten, Marko van Eekelen · 2010 · 21 citations

Computational Complexity Theory, Engineering, Computational Complexity +16

AHA: Amortized Heap Space Usage Analysis

M.C.J.D. van Eekelen, Olha Shkaravska, Ron van Kesteren et al. · Trends in Functional Programming · 2008 · 16 citations

Mathematical Programming, Engineering, Computer Architecture +16

Size Analysis of Algebraic Data Types

Alejandro Tamalet, Olha Shkaravska, M.C.J.D. van Eekelen · 2008 · 15 citations · Full text

Engineering, Type Theory, Verification +16