×

zbMATH — the first resource for mathematics

Shkaravska, Olha

Compute Distance To:
Author ID: shkaravska.olha Recent zbMATH articles by "Shkaravska, Olha"
Published as: Shkaravska, Olha; Shkaravska, O.
Documents Indexed: 11 Publications since 2004, including 2 Books

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 30 times in 26 Documents Cited by Year
From comodels to coalgebras: state and arrays. Zbl 1271.18006
Power, John; Shkaravska, Olha
11
2004
Automatic certification of heap consumption. Zbl 1108.68374
Beringer, Lennart; Hofmann, Martin; Momigliano, Alberto; Shkaravska, Olha
8
2005
Polynomial size analysis of first-order shapely functions. Zbl 1163.68009
Shkaravska, Olha; van Eekelen, Marko; van Kesteren, Ron
4
2009
Collected size semantics for strict functional programs over general polymorphic lists. Zbl 1445.68047
Shkaravska, Olha; van Eekelen, Marko; Tamalet, Alejandro
2
2014
Univariate polynomial solutions of algebraic difference equations. Zbl 1284.39005
Shkaravska, O.; van Eekelen, M.
2
2014
Polynomial size analysis of first-order functions. Zbl 1163.68316
Shkaravska, Olha; van Kesteren, Ron; van Eekelen, Marko
2
2007
Inferring static non-monotone size-aware types through testing. Zbl 1283.68129
van Kesteren, Ron; Shkaravska, Olha; van Eekelen, Marko
1
2008
Collected size semantics for strict functional programs over general polymorphic lists. Zbl 1445.68047
Shkaravska, Olha; van Eekelen, Marko; Tamalet, Alejandro
2
2014
Univariate polynomial solutions of algebraic difference equations. Zbl 1284.39005
Shkaravska, O.; van Eekelen, M.
2
2014
Polynomial size analysis of first-order shapely functions. Zbl 1163.68009
Shkaravska, Olha; van Eekelen, Marko; van Kesteren, Ron
4
2009
Inferring static non-monotone size-aware types through testing. Zbl 1283.68129
van Kesteren, Ron; Shkaravska, Olha; van Eekelen, Marko
1
2008
Polynomial size analysis of first-order functions. Zbl 1163.68316
Shkaravska, Olha; van Kesteren, Ron; van Eekelen, Marko
2
2007
Automatic certification of heap consumption. Zbl 1108.68374
Beringer, Lennart; Hofmann, Martin; Momigliano, Alberto; Shkaravska, Olha
8
2005
From comodels to coalgebras: state and arrays. Zbl 1271.18006
Power, John; Shkaravska, Olha
11
2004

Citations by Year