Shkaravska, Olha; van Eekelen, Marko Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials. (English) Zbl 1471.12006 J. Symb. Comput. 103, 22-45 (2021). Reviewer: Franz Winkler (Linz) MSC: 12H10 39A05 PDFBibTeX XMLCite \textit{O. Shkaravska} and \textit{M. van Eekelen}, J. Symb. Comput. 103, 22--45 (2021; Zbl 1471.12006) Full Text: DOI
Shkaravska, Olha; van Eekelen, Marko; Tamalet, Alejandro Collected size semantics for strict functional programs over general polymorphic lists. (English) Zbl 1445.68047 Dal Lago, Ugo (ed.) et al., Foundational and practical aspects of resource analysis. Third international workshop, FOPARA 2013, Bertinoro, Italy, August 29–31, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8552, 143-159 (2014). MSC: 68N18 68P05 68Q55 PDFBibTeX XMLCite \textit{O. Shkaravska} et al., Lect. Notes Comput. Sci. 8552, 143--159 (2014; Zbl 1445.68047) Full Text: DOI Link
Shkaravska, O.; van Eekelen, M. Univariate polynomial solutions of algebraic difference equations. (English) Zbl 1284.39005 J. Symb. Comput. 60, 15-28 (2014). MSC: 39A10 PDFBibTeX XMLCite \textit{O. Shkaravska} and \textit{M. van Eekelen}, J. Symb. Comput. 60, 15--28 (2014; Zbl 1284.39005) Full Text: DOI Link
Montenegro, Manuel; Shkaravska, Olha; van Eekelen, Marko; Peña, Ricardo Interpolation-based height analysis for improving a recurrence solver. (English) Zbl 1367.68071 Peña, Ricardo (ed.) et al., Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). Lecture Notes in Computer Science 7177, 36-53 (2012). MSC: 68N30 PDFBibTeX XMLCite \textit{M. Montenegro} et al., Lect. Notes Comput. Sci. 7177, 36--53 (2012; Zbl 1367.68071) Full Text: DOI
Peña, Ricardo (ed.); van Eekelen, Marko (ed.); Shkaravska, Olha (ed.) Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. (English) Zbl 1250.68046 Lecture Notes in Computer Science 7177. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). ix, 143 p. (2012). MSC: 68-06 68Nxx 68Qxx 00B25 PDFBibTeX XMLCite \textit{R. Peña} (ed.) et al., Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. Berlin: Springer (2012; Zbl 1250.68046)
van Eekelen, Marko (ed.); Shkaravska, Olha (ed.) Foundational and practical aspects of resource analysis. First international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009. Revised selected papers. (English) Zbl 1195.68013 Lecture Notes in Computer Science 6324. Berlin: Springer (ISBN 978-3-642-15330-3/pbk). ix, 163 p. (2010). MSC: 68-06 68Nxx 68Qxx 00B25 PDFBibTeX XMLCite \textit{M. van Eekelen} (ed.) and \textit{O. Shkaravska} (ed.), Foundational and practical aspects of resource analysis. First international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009. Revised selected papers. Berlin: Springer (2010; Zbl 1195.68013) Full Text: DOI
Shkaravska, Olha; van Eekelen, Marko; van Kesteren, Ron Polynomial size analysis of first-order shapely functions. (English) Zbl 1163.68009 Log. Methods Comput. Sci. 5, No. 2, Paper 10, 35 p. (2009). MSC: 68N18 PDFBibTeX XMLCite \textit{O. Shkaravska} et al., Log. Methods Comput. Sci. 5, No. 2, Paper 10, 35 p. (2009; Zbl 1163.68009) Full Text: DOI
van Kesteren, Ron; Shkaravska, Olha; van Eekelen, Marko Inferring static non-monotone size-aware types through testing. (English) Zbl 1283.68129 Echahed, Rachid (ed.), Proceedings of the 16th international workshop on functional and (constraint) logic programming (WFLP 2007), Paris, France, June 25, 2007. Selected papers. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 216, 45-63 (2008). MSC: 68N30 68N18 PDFBibTeX XMLCite \textit{R. van Kesteren} et al., Electron. Notes Theor. Comput. Sci. 216, 45--63 (2008; Zbl 1283.68129) Full Text: DOI
Shkaravska, Olha; van Kesteren, Ron; van Eekelen, Marko Polynomial size analysis of first-order functions. (English) Zbl 1163.68316 Ronchi della Rocca, Simona (ed.), Typed lambda calculi and applications. 8th international conference, TLCA 2007, Paris, France, June 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73227-3/pbk). Lecture Notes in Computer Science 4583, 351-365 (2007). MSC: 68N18 PDFBibTeX XMLCite \textit{O. Shkaravska} et al., Lect. Notes Comput. Sci. 4583, 351--365 (2007; Zbl 1163.68316) Full Text: DOI arXiv Link