Automatic Certification of Heap Consumption. - Lennart Beringer; Martin Hofmann 001; Alberto Momigliano; Olha Shkaravska (LPAR, 2004)

From Comodels to Coalgebras: State and Arrays. - A. John Power; Olha Shkaravska (CMCS, 2004)

Types with semantics: soundness proof assistant. - Olha Shkaravska (MERLIN, 2005)

Mobile Resource Guarantees (project evaluation paper). - Donald Sannella; Martin Hofmann 001; David Aspinall 001; Stephen Gilmore; Ian Stark; Lennart Beringer; Hans-Wolfgang Loidl; Kenneth MacKenzie; Alberto Momigliano; Olha Shkaravska (Trends in Functional Programming, 2005)

Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages. - Stephen T. Gilmore; Olha Shkaravska (PASM@FM, 2005)

AHA: Amortized Heap Space Usage Analysis. - Marko C. J. D. van Eekelen; Olha Shkaravska; Ron van Kesteren; Bart Jacobs 001; Erik Poll; Sjaak Smetsers (Trends in Functional Programming, 2007)

Polynomial Size Analysis of First-Order Functions. - Olha Shkaravska; Ron van Kesteren; Marko C. J. D. van Eekelen (TLCA, 2007)

Inferring Static Non-monotone Size-aware Types Through Testing. - Ron van Kesteren; Olha Shkaravska; Marko C. J. D. van Eekelen (WFLP@RDP, 2007)

Collected Size Semantics for Functional Programs over Lists. - Olha Shkaravska; Marko C. J. D. van Eekelen; Alejandro Tamalet (IFL, 2008)

Size Analysis of Algebraic Data Type. - Alejandro Tamalet; Olha Shkaravska; Marko C. J. D. van Eekelen (Trends in Functional Programming, 2008)

Polynomial Size Analysis of First-Order Shapely Functions - Olha Shkaravska; Marko C. J. D. van Eekelen; Ron van Kesteren (Log. Methods Comput. Sci., 2009)

Test-based inference of polynomial loop-bound functions. - Olha Shkaravska; Rody Kersten; Marko C. J. D. van Eekelen (PPPJ, 2010)

Interpolation-Based Height Analysis for Improving a Recurrence Solver. - Manuel Montenegro; Olha Shkaravska; Marko C. J. D. van Eekelen; Ricardo Peña (FOPARA, 2011)

Making resource analysis practical for real-time Java. - Rody Kersten; Olha Shkaravska; Bernard van Gastel; Manuel Montenegro; Marko C. J. D. van Eekelen (JTRES, 2012)

Higher-Order Size Checking without Subtyping. - Attila Góbi; Olha Shkaravska; Marko C. J. D. van Eekelen (Trends in Functional Programming, 2012)

Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. - Olha Shkaravska; Marko C. J. D. van Eekelen; Alejandro Tamalet (FOPARA, 2013)

The DWAN framework: Application of a web annotation framework for the general humanities to the domain of language resources. - Przemyslaw Lenkiewicz; Olha Shkaravska; Twan Goosen; Daan Broeder; Menzo Windhouwer; Stephanie Roth; Olof Olsson (LREC, 2014)

ResAna: a resource analysis toolset for (real-time) JAVA. - Rody W. J. Kersten; Bernard van Gastel; Olha Shkaravska; Manuel Montenegro; Marko C. J. D. van Eekelen (Concurr. Comput. Pract. Exp., 2014)

Univariate polynomial solutions of algebraic difference equations. - Olha Shkaravska; Marko C. J. D. van Eekelen (J. Symb. Comput., 2014)

Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011. - Olha Shkaravska; Simona Ronchi Della Rocca; Marko C. J. D. van Eekelen (Sci. Comput. Program., 2015)

Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials. - Olha Shkaravska; Marko C. J. D. van Eekelen (J. Symb. Comput., 2021)