Browsing by Author "Shkaravska, Olha"
Now showing items 138 of 38

Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials
Shkaravska, O.; Eekelen, M.C.J.D. van2021, Article / Letter to editor (Journal of Symbolic Computation, 103, (2021), pp. 2245) 
Polynomial solutions of algebraic dierence equations and homogeneous symmetric polynomials
Shkaravska, O.; Eekelen, M.C.J.D. van2018, External research report 
Special Issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 and 2011
Shkaravska, O.; Rocca, S.R.D.; Eekelen, M.C.J.D. van2015, Article / Letter to editor (Science of Computer Programming, 111, 3, (2015), pp. 363534) 
Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011
Shkaravska, O.; Rocca, S.R. Della; Eekelen, M.C.J.D. van2015, Article / Letter to editor (Science of Computer Programming, 111, 3, (2015), pp. 363364) 
ResAna: a resource analysis toolset for (realtime) JAVA
Kersten, R.W.J.; Gastel, B.E. van; Shkaravska, O.; Montenegro, M.; Eekelen, M.C.J.D. van2014, Article / Letter to editor (Concurrency and Computation: Practice and Experience, 26, 14, (2014), pp. 24322455) 
Univariate polynomial solutions of algebraic difference equations
Shkaravska, O.; Eekelen, M.C.J.D. van2014, Article / Letter to editor (Journal of Symbolic Computation, 60, (2014), pp. 1528) 
Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists
Shkaravska, O.; Eekelen, M.C.J.D. van; Tamalet, A.N.2014, Part of book or chapter of book (Lago, U. Dal; Peña, R. (ed.), Foundational and Practical Aspects of Resource Analysis, pp. 143159) 
HigherOrder Size Checking without Subtyping
Góbi, A.; Shkaravska, O.; Eekelen, M.C.J.D. van2013, Part of book or chapter of book (Loidl, H.W.; Peña, R. (ed.), Trends in Functional Programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 1214, 2012, Revised Selected Papers, pp. 5368) 
A higherorder size system for a higherorder functional language
Gobi, A.; Shkaravska, O.; Eekelen, M.C.J.D. van2012, External research report 
Interpolationbased height analysis for improving a recurrence solver
Montenegro, M.; Shkaravska, O.; Eekelen, M.C.J.D. van; Pena, R.2012, Part of book or chapter of book (Pena, R.; Eekelen, M. Van; Shkaravska, O. (ed.), Foundational and Practical Aspects of Resource Analysis, Second International Workshop, FOPARA 2011 : Madrid, Spain, May 19, 2011, Revised Selected Papers, pp. 3653) 
Size Calculus for a higherorder functional language
Gobi, A.; Shkaravska, O.; Eekelen, M.C.J.D. van2012, External research report 
Preface : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Peña, R.; Eekelen, M.C.J.D. van; Shkaravska, O.2012, Part of book or chapter of book (Eekelen, M. van (ed.), Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : Revised Selected Papers, pp. IV) 
Making resource analysis practical for realtime Java
Kersten, R.; Shkaravska, O.; Gastel, B. van; Montenegro, M.; Eekelen, M.C.J.D. van2012, Article in monograph or in proceedings (Schoeberl, M. (ed.), JTRES 2012 : Proceedings of the 10th International Workshop on Java Technologies for Realtime and Embedded Systems, pp. 135144) 
Interpolationbased height analysis for improving a recrurrence solver
Montenegro, M.; Shkaravska, O.; Eekelen, M.C.J.D. van2011, Article in monograph or in proceedings (Pena, R. (ed.), Proceedings of the 2th International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2011), pp. 95110) 
Size Analysis of HigherOrder Functions
Gobi, A.; Shkaravska, O.; Eekelen, M.C.J.D. van2011, Article in monograph or in proceedings (Pena, R.; Eekelen, M. Van (ed.), Proceedings of the 12th International Symposium on Trends in Functional Programming (TFP2011), pp. 7791) 
Preface
Eekelen, M.C.J.D. van; Shkaravska, O.2010, Part of book or chapter of book (Foundational and Practical Aspects of Resource Analysis, First International Workshop, FOPARA 2009; Eindhoven; The Netherlands, November 6, 2009, Revised selected papers, pp. VVI) 
Testbased inference of polynomial loopbound functions
Shkaravska, O.; Kersten, R.W.J.; Eekelen, M.C.J.D. van2010, Article in monograph or in proceedings (Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, PPPJ 2010, pp. 99108) 
Univariate Polynomial Solutions of Nonlinear Polynomial Recurrence Relations
Shkaravska, O.; Eekelen, M.C.J.D. van2010, External research report 
Collected Size Semantics for Functional Programs over Lists
Shkaravska, O.; Eekelen, M.C.J.D. van; Tamalet, A.N.2010, Article in monograph or in proceedings (Scholz, S. (ed.), Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 1012, 2008. Revised Selected Papers, pp. 118137) 
Polynomial Size Analysis of FirstOrder Shapely Functions
Shkaravska, Olha; Eekelen, M.C.J.D. van; Kesteren, Ron van2009, Article / Letter to editor (Logical Methods in Computer Science, 5, 2:10, (2009), pp. 135) 
Collected Size Semantics for Functional Programs over Polymorphic Nested Lists
Shkaravska, Olha; Eekelen, M.C.J.D. van; Tamalet, Alejandro2009, Article in monograph or in proceedings (10th Symposium on Trends in Functional Programming, pp. 207221) 
Size Analysis of Algebraic Data Types
Tamalet, Alejandro; Shkaravska, Olha; Eekelen, M.C.J.D. van2009, Article in monograph or in proceedings (Achten, Peter; Koopman, Pieter; Morazán, {Marco T.} (ed.), Trends in Functional Programming, pp. 3348) 
Size Analysis with Indexed Families of max0Polynomials
Shkaravska, O.; Eekelen, M.C.J.D. van; Tamalet, A.N.2008, External research report 
Size Analysis of Algebraic Data Types
Tamalet, A.N.; Shkaravska, O.; Eekelen, M.C.J.D. van2008, Article in monograph or in proceedings (Achten, Peter; Koopman, Pieter; Morazán, Marco T. (ed.), Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP), May 2628 2008, Center Parcs “Het Heijderbos”, The Netherlands, pp. 209224) 
A SizeAware Type System with Algebraic Data Types
Tamalet, A.N.; Shkaravska, O.; Eekelen, M.C.J.D. van2008, External research report 
AHA: Amortized Heap Space Usage Analysis
Eekelen, M.C.J.D. van; Shkaravska, O.; Kesteren, R.H.C. van; Jacobs, B.; Poll, E.; Smetsers, J.E.W.2008, Article in monograph or in proceedings (Morazán, Marco (ed.), Trends in Functional Programming : Selected Papers of the 8th International Symposium on Trends in Functional Programming (TFP'07), New York, USA, pp. 3653) 
Inferring Static Nonmonotone Sizeaware Types Through Testing
Kesteren, Ron van; Shkaravska, O.; Eekelen, M.C.J.D. van2008, Article in monograph or in proceedings (Echahed, R. (ed.), Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), pp. 4563) 
Nonmonotonic Polynomial Size Bounds for Functional Programs
Tamalet, A.N.; Shkaravska, O.; Eekelen, M.C.J.D. van2008, Article in monograph or in proceedings (Scholz, SvenBodo (ed.), Proceedings of the 20th Symposium on Implementation and Application of Functional Languages, IFL 2008, Hartfield, Hertfordshire, UK, Sept. 1012 2008, pp. 145148) 
Collected Size Semantics for Functional Programs over lists
Shkaravska, O.; Eekelen, M.C.J.D. van; Tamalet, A.N.2008, External research report 
Type Checking and Weak Type Inference for Polynomial Size Analysis of FirstOrder Functions
Shkaravska, O.; Kesteren, R. van; Eekelen, M.C.J.D. van2007, External research report 
AHA: Amortized Heap Space Usage Analysis. Project Paper
Eekelen, M.C.J.D. van; Shkaravska, O.; Kesteren, R.H.C. van; Jacobs, Bart; Poll, Erik; Smetsers, Sjaak2007, Article in monograph or in proceedings (Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, pp. XVI116) 
Inferring static nonmonotonically sized types through testing
Kesteren, R. van; Shkaravska, O.; Eekelen, M. van2007, Article in monograph or in proceedings (Echahed, Rachid (ed.), 16^th International Workshop on Functional and (Constraint) Logic Programming (WFLP07), Paris, France, pp. 123139) 
Static Inference of NonMonotonic Polynomial Sized Types
Eekelen, M.C.J.D. van; Shkaravska, O.2007, Article in monograph or in proceedings (Chitil, Olaf (ed.), Proceedings of the 19th Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany, Sept. 2729 2007, pp. 254258) 
Static Inference of Polynomial SizeAware Types
Shkaravska, O.; Eekelen, M.C.J.D. van2007, External research report 
Polynomial Size Analysis of FirstOrder Functions
Shkaravska, O.; Kesteren, R.H.C. van; Eekelen, M.C.J.D. van2007, Article in monograph or in proceedings (TLCA, pp. 351365)