Edit Profile Shkaravska, Olha Compute Distance To: Compute Author ID: shkaravska.olha Published as: Shkaravska, O.; Shkaravska, Olha Documents Indexed: 11 Publications since 2004, including 2 Books all top 5 Co-Authors 0 single-authored 9 van Eekelen, Marko 3 van Kesteren, Ron 2 Peña, Ricardo 1 Beringer, Lennart 1 Hofmann, Martin 1 Momigliano, Alberto 1 Montenegro, Manuel 1 Power, John 1 Tamalet, Alejandro Serials 2 Journal of Symbolic Computation 2 Lecture Notes in Computer Science 1 Logical Methods in Computer Science all top 5 Fields 8 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 2 Difference and functional equations (39-XX) 1 Mathematical logic and foundations (03-XX) 1 Field theory and polynomials (12-XX) 1 Category theory; homological algebra (18-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 7 Publications have been cited 31 times in 26 Documents Cited by ▼ Year ▼ From comodels to coalgebras: state and arrays. Zbl 1271.18006Power, John; Shkaravska, Olha 11 2004 Automatic certification of heap consumption. Zbl 1108.68374Beringer, Lennart; Hofmann, Martin; Momigliano, Alberto; Shkaravska, Olha 8 2005 Polynomial size analysis of first-order shapely functions. Zbl 1163.68009Shkaravska, Olha; van Eekelen, Marko; van Kesteren, Ron 4 2009 Univariate polynomial solutions of algebraic difference equations. Zbl 1284.39005Shkaravska, O.; van Eekelen, M. 3 2014 Collected size semantics for strict functional programs over general polymorphic lists. Zbl 1445.68047Shkaravska, Olha; van Eekelen, Marko; Tamalet, Alejandro 2 2014 Polynomial size analysis of first-order functions. Zbl 1163.68316Shkaravska, Olha; van Kesteren, Ron; van Eekelen, Marko 2 2007 Inferring static non-monotone size-aware types through testing. Zbl 1283.68129van Kesteren, Ron; Shkaravska, Olha; van Eekelen, Marko 1 2008 Univariate polynomial solutions of algebraic difference equations. Zbl 1284.39005Shkaravska, O.; van Eekelen, M. 3 2014 Collected size semantics for strict functional programs over general polymorphic lists. Zbl 1445.68047Shkaravska, Olha; van Eekelen, Marko; Tamalet, Alejandro 2 2014 Polynomial size analysis of first-order shapely functions. Zbl 1163.68009Shkaravska, Olha; van Eekelen, Marko; van Kesteren, Ron 4 2009 Inferring static non-monotone size-aware types through testing. Zbl 1283.68129van Kesteren, Ron; Shkaravska, Olha; van Eekelen, Marko 1 2008 Polynomial size analysis of first-order functions. Zbl 1163.68316Shkaravska, Olha; van Kesteren, Ron; van Eekelen, Marko 2 2007 Automatic certification of heap consumption. Zbl 1108.68374Beringer, Lennart; Hofmann, Martin; Momigliano, Alberto; Shkaravska, Olha 8 2005 From comodels to coalgebras: state and arrays. Zbl 1271.18006Power, John; Shkaravska, Olha 11 2004 all cited Publications top 5 cited Publications all top 5 Cited by 48 Authors 5 van Eekelen, Marko 4 Uustalu, Tarmo 3 Beringer, Lennart 3 Power, John 3 Shkaravska, Olha 2 Aspinall, David 2 Hofmann, Martin 2 Pattinson, Dirk 2 Plotkin, Gordon D. 1 Abou-Saleh, Faris 1 Achten, Peter 1 Ahman, Danel 1 Bauer, Andrej 1 Behrisch, Mike 1 Besson, Frédéric 1 Clarke, Dave 1 Hähnle, Reiner 1 Hainry, Emmanuel 1 Hermida, Claudio 1 Hyland, J. Martin E. 1 Jensen, Thomas P. 1 Kerkhoff, Sebastian 1 Koopman, Pieter 1 Levy, Paul Blain 1 Loidl, Hans-Wolfgang 1 Maier, Patrick 1 Momigliano, Alberto 1 Montenegro, Manuel 1 Morazán, Marco T. 1 Pan, Jing 1 Patrignani, Marco 1 Pavlova, Mariela 1 Péchoux, Romain 1 Peña, Ricardo 1 Pichardie, David 1 Pretnar, Matija 1 Rümmer, Philipp 1 Saabas, Ando 1 Schröder, Lutz 1 Segura, Clara 1 Smetsers, Sjaak 1 Stark, Ian 1 Tennent, Robert D. 1 van Kesteren, Ron 1 Vene, Varmo 1 Vo, Thieu N. 1 Walter, Dennis 1 Zhang, Yi all top 5 Cited in 8 Serials 5 Theoretical Computer Science 2 Journal of Symbolic Computation 2 Information and Computation 2 The Journal of Logic and Algebraic Programming 2 Computer Languages, Systems & Structures 1 Advances in Applied Mathematics 1 Higher-Order and Symbolic Computation 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 7 Fields 22 Computer science (68-XX) 9 Category theory; homological algebra (18-XX) 6 Mathematical logic and foundations (03-XX) 3 Difference and functional equations (39-XX) 1 General algebraic systems (08-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) Citations by Year