Name Card

Full name Familienname, Vorname
Sharygina, Natasha
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Blicha-2022-Split Transition Power Abstraction for Unbounded Safety-vor.pdf.jpgBlicha, Martin ; Fedyukovich, Grigory ; Hyvärinen, Antti ; Sharygina, Natasha Split Transition Power Abstraction for Unbounded SafetyInproceedings Konferenzbeitrag Oct-2022
2Hyvaerinen-2021-Lookahead in Partitioning SMT-vor.pdf.jpgHyvärinen, Antti ; Marescotti, Matteo ; Sharygina, Natasha Lookahead in Partitioning SMTInproceedings Oct-2021
314_Incremental Verification by SMT_based Summary Repair.pdf.jpgAsadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti ; Fedyukovich, Grigory ; Sharygina, Natasha Incremental Verification by SMT-based Summary RepairKonferenzbeitrag Inproceedings 2020
4Kovacs, Laura ; Sharygina, Natasha ; Rollini, Simone Fulvio A Parametric Interpolation Framework for First-Order TheoriesKonferenzbeitrag Inproceedings2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Sharygina, Natasha ; Veith, Helmut CAVBuch Book2013
2Kovács, Laura ; Voronkov, Andrei First-Order Theorem Proving and VampireKonferenzbeitrag Inproceedings2013