• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 23 matches

• 2021
• 
  Olha Shkaravska, Marko C. J. D. van Eekelen:
  Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials. J. Symb. Comput. 103: 22-45 (2021)
• 2015
• 
  Olha Shkaravska, Simona Ronchi Della Rocca, Marko C. J. D. van Eekelen:
  Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011. Sci. Comput. Program. 111: 363-364 (2015)
• 2014
• 
  Rody W. J. Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen:
  ResAna: a resource analysis toolset for (real-time) JAVA. Concurr. Comput. Pract. Exp. 26(14): 2432-2455 (2014)
• 
  Olha Shkaravska, Marko C. J. D. van Eekelen:
  Univariate polynomial solutions of algebraic difference equations. J. Symb. Comput. 60: 15-28 (2014)
• 
  Przemyslaw Lenkiewicz, Olha Shkaravska, Twan Goosen, Daan Broeder, Menzo Windhouwer, Stephanie Roth, Olof Olsson:
  The DWAN framework: Application of a web annotation framework for the general humanities to the domain of language resources. LREC 2014: 3644-3649
• 2013
• 
  Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet:
  Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. FOPARA 2013: 143-159
• 2012
• 
  Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen:
  Making resource analysis practical for real-time Java. JTRES 2012: 135-144
• 
  Attila Góbi, Olha Shkaravska, Marko C. J. D. van Eekelen:
  Higher-Order Size Checking without Subtyping. Trends in Functional Programming 2012: 53-68
• 
  Ricardo Peña, Marko C. J. D. van Eekelen, Olha Shkaravska:
  Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7177, Springer 2012, ISBN 978-3-642-32494-9 [contents]
• 2011
• 
  Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña:
  Interpolation-Based Height Analysis for Improving a Recurrence Solver. FOPARA 2011: 36-53
• 2010
• 
  Olha Shkaravska, Rody Kersten, Marko C. J. D. van Eekelen:
  Test-based inference of polynomial loop-bound functions. PPPJ 2010: 99-108
• 
  Marko C. J. D. van Eekelen, Olha Shkaravska:
  Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6324, Springer 2010, ISBN 978-3-642-15330-3 [contents]
• 2009
• 
  Olha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren:
  Polynomial Size Analysis of First-Order Shapely Functions. Log. Methods Comput. Sci. 5(2) (2009)
• 2008
• 
  Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet:
  Collected Size Semantics for Functional Programs over Lists. IFL 2008: 118-137
• 
  Alejandro Tamalet, Olha Shkaravska, Marko C. J. D. van Eekelen:
  Size Analysis of Algebraic Data Type. Trends in Functional Programming 2008: 33-48
• 2007
• 
  Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers:
  AHA: Amortized Heap Space Usage Analysis. Trends in Functional Programming 2007: 36-53
• 
  Olha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen:
  Polynomial Size Analysis of First-Order Functions. TLCA 2007: 351-365
• 
  Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen:
  Inferring Static Non-monotone Size-aware Types Through Testing. WFLP@RDP 2007: 45-63
• 2005
• 
  Olha Shkaravska:
  Types with semantics: soundness proof assistant. MERLIN 2005: 50-57
• 
  Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska:
  Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming 2005: 211-226
• 
  Stephen T. Gilmore, Olha Shkaravska:
  Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages. PASM@FM 2005: 27-45
• 2004
• 
  Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska:
  Automatic Certification of Heap Consumption. LPAR 2004: 347-362
• 
  A. John Power, Olha Shkaravska:
  From Comodels to Coalgebras: State and Arrays. CMCS 2004: 297-314