Olha Shkaravska

Available identifiers

zbMath Open shkaravska.olhaMaRDI QIDQ2211186

List of research outcomes

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

Research outcomes over time

This page was built for person: Olha Shkaravska