logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
R

Ružica Piskač

yale university

23H-index
130Paper Count
1.7KCitation Count
Published Papers 4
Publication Date
logo
Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errKolesar, John C.; Ali, Shan; Antonopoulos, Timos; Piskac, Ruzica
errShare
errSave
Checking equivalence in a non-strict language
errJOURNAL OF FUNCTIONAL PROGRAMMING
IF0
err2025-09-15
err0
errOAAI
errKolesar, John Charles; Piskac, Ruzica; Hallahan, William Triest
errShare
errSave
ETAP: Energy-aware Timing Analysis of Intermittent Programs
errACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF2.6
err2023-01-25
err5
errOAAI
errErata, Ferhat; Yildiz, Eren; Goknil, Arda; Yildirim, Kasim Sinan; Szefer, Jakub; Piskac, Ruzica; Sezgin, Gokcin
errShare
errSave
Software Synthesis Procedures
errCOMMUNICATIONS OF THE ACM
IF12.2
err2012-02-01
err23
errOAAI
errKuncak, Viktor; Mayer, Mikael; Piskac, Ruzica; Suter, Philippe
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
V
Viktor Kunčak
H-index: 36 · Papers: 258
J
Jakub Szefer
H-index: 29 · Papers: 205
S
S. Twareque Ali
H-index: 24 · Papers: 189
A
Arda Göknil
H-index: 21 · Papers: 98
P
Philippe Suter
H-index: 21 · Papers: 49
View more