Name Card

Full name Familienname, Vorname
Sharygina, Natasha
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Results 1-3 of 3 (Search time: 0.003 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 Konferenzbeitrag Oct-2021
3Kovacs, 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.002 seconds).

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