Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Olha Shkaravska
@article{DBLP:journals/jsc/ShkaravskaE21,
author = {Olha Shkaravska and
Marko C. J. D. van Eekelen},
title = {Polynomial solutions of algebraic difference equations and homogeneous
symmetric polynomials},
journal = {J. Symb. Comput.},
volume = {103},
pages = {22--45},
year = {2021},
url = {https://doi.org/10.1016/j.jsc.2019.10.022},
doi = {10.1016/J.JSC.2019.10.022},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/ShkaravskaE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ShkaravskaRE15,
author = {Olha Shkaravska and
Simona Ronchi Della Rocca and
Marko C. J. D. van Eekelen},
title = {Preface of the special issue on Foundational and Practical Aspects
of Resource Analysis {(FOPARA)} 2009 {\&} 2011},
journal = {Sci. Comput. Program.},
volume = {111},
pages = {363--364},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.08.008},
doi = {10.1016/J.SCICO.2015.08.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ShkaravskaRE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/KerstenGSME14,
author = {Rody W. J. Kersten and
Bernard van Gastel and
Olha Shkaravska and
Manuel Montenegro and
Marko C. J. D. van Eekelen},
title = {ResAna: a resource analysis toolset for (real-time) {JAVA}},
journal = {Concurr. Comput. Pract. Exp.},
volume = {26},
number = {14},
pages = {2432--2455},
year = {2014},
url = {https://doi.org/10.1002/cpe.3154},
doi = {10.1002/CPE.3154},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/KerstenGSME14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ShkaravskaE14,
author = {Olha Shkaravska and
Marko C. J. D. van Eekelen},
title = {Univariate polynomial solutions of algebraic difference equations},
journal = {J. Symb. Comput.},
volume = {60},
pages = {15--28},
year = {2014},
url = {https://doi.org/10.1016/j.jsc.2013.10.010},
doi = {10.1016/J.JSC.2013.10.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ShkaravskaE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/LenkiewiczSGBWRO14,
author = {Przemyslaw Lenkiewicz and
Olha Shkaravska and
Twan Goosen and
Daan Broeder and
Menzo Windhouwer and
Stephanie Roth and
Olof Olsson},
editor = {Nicoletta Calzolari and
Khalid Choukri and
Thierry Declerck and
Hrafn Loftsson and
Bente Maegaard and
Joseph Mariani and
Asunci{\'{o}}n Moreno and
Jan Odijk and
Stelios Piperidis},
title = {The {DWAN} framework: Application of a web annotation framework for
the general humanities to the domain of language resources},
booktitle = {Proceedings of the Ninth International Conference on Language Resources
and Evaluation, {LREC} 2014, Reykjavik, Iceland, May 26-31, 2014},
pages = {3644--3649},
publisher = {European Language Resources Association {(ELRA)}},
year = {2014},
url = {http://www.lrec-conf.org/proceedings/lrec2014/summaries/1053.html},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lrec/LenkiewiczSGBWRO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/ShkaravskaET13,
author = {Olha Shkaravska and
Marko C. J. D. van Eekelen and
Alejandro Tamalet},
editor = {Ugo Dal Lago and
Ricardo Pe{\~{n}}a},
title = {Collected Size Semantics for Strict Functional Programs over General
Polymorphic Lists},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Third International
Workshop, {FOPARA} 2013, Bertinoro, Italy, August 29-31, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8552},
pages = {143--159},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-12466-7\_9},
doi = {10.1007/978-3-319-12466-7\_9},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/fopara/ShkaravskaET13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/KerstenSGME12,
author = {Rody Kersten and
Olha Shkaravska and
Bernard van Gastel and
Manuel Montenegro and
Marko C. J. D. van Eekelen},
editor = {Martin Schoeberl and
Andy J. Wellings},
title = {Making resource analysis practical for real-time Java},
booktitle = {The 10th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '12, Copenhagen, Denmark, October 24-26,
2012},
pages = {135--144},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2388936.2388959},
doi = {10.1145/2388936.2388959},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/KerstenSGME12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GobiSE12,
author = {Attila G{\'{o}}bi and
Olha Shkaravska and
Marko C. J. D. van Eekelen},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Higher-Order Size Checking without Subtyping},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {53--68},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_4},
doi = {10.1007/978-3-642-40447-4\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GobiSE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fopara/2011,
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32495-6},
doi = {10.1007/978-3-642-32495-6},
isbn = {978-3-642-32494-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/MontenegroSEP11,
author = {Manuel Montenegro and
Olha Shkaravska and
Marko C. J. D. van Eekelen and
Ricardo Pe{\~{n}}a},
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Interpolation-Based Height Analysis for Improving a Recurrence Solver},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
pages = {36--53},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32495-6\_3},
doi = {10.1007/978-3-642-32495-6\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/fopara/MontenegroSEP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/ShkaravskaKE10,
author = {Olha Shkaravska and
Rody Kersten and
Marko C. J. D. van Eekelen},
editor = {Andreas Krall and
Hanspeter M{\"{o}}ssenb{\"{o}}ck},
title = {Test-based inference of polynomial loop-bound functions},
booktitle = {Proceedings of the 8th International Conference on Principles and
Practice of Programming in Java, {PPPJ} 2010, Vienna, Austria, September
15-17, 2010},
pages = {99--108},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1852761.1852776},
doi = {10.1145/1852761.1852776},
timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
biburl = {https://dblp.org/rec/conf/pppj/ShkaravskaKE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fopara/2009,
editor = {Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Foundational and Practical Aspects of Resource Analysis - First International
Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6324},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15331-0},
doi = {10.1007/978-3-642-15331-0},
isbn = {978-3-642-15330-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-2073,
author = {Olha Shkaravska and
Marko C. J. D. van Eekelen and
Ron van Kesteren},
title = {Polynomial Size Analysis of First-Order Shapely Functions},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {2},
year = {2009},
url = {http://arxiv.org/abs/0902.2073},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-2073.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/ShkaravskaET08,
author = {Olha Shkaravska and
Marko C. J. D. van Eekelen and
Alejandro Tamalet},
editor = {Sven{-}Bodo Scholz and
Olaf Chitil},
title = {Collected Size Semantics for Functional Programs over Lists},
booktitle = {Implementation and Application of Functional Languages - 20th International
Symposium, {IFL} 2008, Hatfield, UK, September 10-12, 2008. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5836},
pages = {118--137},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-24452-0\_7},
doi = {10.1007/978-3-642-24452-0\_7},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/ShkaravskaET08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/TamaletSE08,
author = {Alejandro Tamalet and
Olha Shkaravska and
Marko C. J. D. van Eekelen},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Size Analysis of Algebraic Data Type},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {33--48},
publisher = {Intellect},
year = {2008},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/sfp/TamaletSE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/EekelenSKJPS07,
author = {Marko C. J. D. van Eekelen and
Olha Shkaravska and
Ron van Kesteren and
Bart Jacobs and
Erik Poll and
Sjaak Smetsers},
editor = {Marco T. Moraz{\'{a}}n},
title = {{AHA:} Amortized Heap Space Usage Analysis},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {36--53},
publisher = {Intellect},
year = {2007},
timestamp = {Thu, 09 Jul 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/EekelenSKJPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/ShkaravskaKE07,
author = {Olha Shkaravska and
Ron van Kesteren and
Marko C. J. D. van Eekelen},
editor = {Simona Ronchi Della Rocca},
title = {Polynomial Size Analysis of First-Order Functions},
booktitle = {Typed Lambda Calculi and Applications, 8th International Conference,
{TLCA} 2007, Paris, France, June 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4583},
pages = {351--365},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73228-0\_25},
doi = {10.1007/978-3-540-73228-0\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/ShkaravskaKE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KesterenSE08,
author = {Ron van Kesteren and
Olha Shkaravska and
Marko C. J. D. van Eekelen},
editor = {Rachid Echahed},
title = {Inferring Static Non-monotone Size-aware Types Through Testing},
booktitle = {Proceedings of the 16th International Workshop on Functional and (Constraint)
Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {216},
pages = {45--63},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.033},
doi = {10.1016/J.ENTCS.2008.06.033},
timestamp = {Fri, 17 Feb 2023 10:24:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KesterenSE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Shkaravska05,
author = {Olha Shkaravska},
editor = {Randy Pollack},
title = {Types with semantics: soundness proof assistant},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
Workshop on Mechanized reasoning about languages with variable binding,
{MERLIN} 2005, Tallinn, Estonia, September 30, 2005},
pages = {50--57},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1088454.1088461},
doi = {10.1145/1088454.1088461},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Shkaravska05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SannellaHAGSBLMMS05,
author = {Donald Sannella and
Martin Hofmann and
David Aspinall and
Stephen Gilmore and
Ian Stark and
Lennart Beringer and
Hans{-}Wolfgang Loidl and
Kenneth MacKenzie and
Alberto Momigliano and
Olha Shkaravska},
editor = {Marko C. J. D. van Eekelen},
title = {Mobile Resource Guarantees (project evaluation paper)},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {211--226},
publisher = {Intellect},
year = {2005},
timestamp = {Wed, 09 Sep 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SannellaHAGSBLMMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GilmoreS06,
author = {Stephen T. Gilmore and
Olha Shkaravska},
editor = {Nigel Thomas},
title = {Estimating the Cost of Native Method Calls for Resource-bounded Functional
Programming Languages},
booktitle = {Proceedings of the Second International Workshop on the Practical
Application of Stochastic Modeling, PASM@FM 2005, Newcastle-upon-Tyne,
UK, July 18, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {151},
number = {3},
pages = {27--45},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.03.010},
doi = {10.1016/J.ENTCS.2006.03.010},
timestamp = {Fri, 20 Jan 2023 10:20:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GilmoreS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BeringerHMS04,
author = {Lennart Beringer and
Martin Hofmann and
Alberto Momigliano and
Olha Shkaravska},
editor = {Franz Baader and
Andrei Voronkov},
title = {Automatic Certification of Heap Consumption},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {347--362},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_23},
doi = {10.1007/978-3-540-32275-7\_23},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BeringerHMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PowerS04,
author = {A. John Power and
Olha Shkaravska},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {From Comodels to Coalgebras: State and Arrays},
booktitle = {Proceedings of the Workshop on Coalgebraic Methods in Computer Science,
{CMCS} 2004, Barcelona, Spain, March 27-29, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {106},
pages = {297--314},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.041},
doi = {10.1016/J.ENTCS.2004.02.041},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PowerS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
