Olha Shkaravska

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials Journal of Symbolic Computation	2020-11-13	Paper
Collected size semantics for strict functional programs over general polymorphic lists Foundational and Practical Aspects of Resource Analysis	2016-01-07	Paper
Inferring static non-monotone size-aware types through testing Electronic Notes in Theoretical Computer Science	2014-03-26	Paper
Univariate polynomial solutions of algebraic difference equations Journal of Symbolic Computation	2014-03-03	Paper
From comodels to coalgebras: state and arrays	2013-09-11	Paper
Interpolation-based height analysis for improving a recurrence solver Foundational and Practical Aspects of Resource Analysis	2012-11-02	Paper
Polynomial Size Analysis of First-Order Shapely Functions Logical Methods in Computer Science	2009-06-30	Paper
Polynomial Size Analysis of First-Order Functions Lecture Notes in Computer Science	2009-03-10	Paper
Logic for Programming, Artificial Intelligence, and Reasoning Lecture Notes in Computer Science	2005-11-10	Paper

Research outcomes over time

This page was built for person: Olha Shkaravska