Name Card

Full name Familienname, Vorname
Hitarth, S.
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Hitharth-2024-Extending DRAT to SMT-vor.pdf.jpgHitarth, S. ; Codel, Cayden ; Lachnitt, Hanna ; Dutertre, Bruno Extending DRAT to SMTInproceedings Konferenzbeitrag Oct-2024
2Hitarth-2024-Linear Loop Synthesis for Quadratic Invariants-vor.pdf.jpgHitarth, S. ; Kenison, George James ; Kovacs, Laura ; Varonka, Anton Linear Loop Synthesis for Quadratic InvariantsInproceedings Konferenzbeitrag 11-Mar-2024