The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Nataliia Stulova" ( http://dblp.L3S.de/Authors/Nataliia_Stulova )

  Author page on DBLP  Author page in RDF  Community of Nataliia Stulova in ASPL-2

Publication years (Num. hits)
2014 (3) 2015 (2) 2016 (1) 2017 (3) 2018 (5)
Publication types (Num. hits)
article(7) inproceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo An Approach to Static Performance Guarantees for Programs with Run-time Checks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Exploiting Term Hiding to Reduce Run-Time Checking Overhead. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo Towards Static Performance Guarantees for Programs with Run-Time Checks. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo Static Performance Guarantees for Programs with Runtime Checks. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Term Hiding and its Impact on Run-time Check Simplification. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Towards Run-time Checks Simplification via Term Hiding. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova On Improving Run-time Checking in Dynamic Languages. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Reducing the overhead of assertion run-time checks via static analysis. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Practical Run-time Checking via Unobtrusive Property Caching. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Practical run-time checking via unobtrusive property caching. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Towards Assertion-based Debugging of Higher-Order (C)LP Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Assertion-based Debugging of Higher-Order (C)LP Programs. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license