logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
R

Ružica Piskač

yale university

23H指数
130论文数
1.7K被引数
收录论文 4
发表时间
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
err分享
err收藏
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
err分享
err收藏
ETAP: Energy-aware Timing Analysis of Intermittent ProgramsETAP: 间歇性程序的能量感知时序分析
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
err分享
err收藏
Software Synthesis Procedures
errCOMMUNICATIONS OF THE ACM
IF12.2
err2012-02-01
err23
errOAAI
errKuncak, Viktor; Mayer, Mikael; Piskac, Ruzica; Suter, Philippe
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
V
Viktor Kunčak
H 指数: 36 · 论文数: 258
J
Jakub Szefer
H 指数: 29 · 论文数: 205
S
S. Twareque Ali
H 指数: 24 · 论文数: 189
A
Arda Göknil
H 指数: 21 · 论文数: 98
P
Philippe Suter
H 指数: 21 · 论文数: 49
查看更多