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

Kristin Yvonne Rozier

Iowa State University

22H指数
100论文数
1.7K被引数
收录论文 3
发表时间
logo
MLTL Multi-type: A Typed Logic for Cyber-Physical SystemsMLTL多类型：面向信息物理系统的类型化逻辑
errACM Transactions on Embedded Computing Systems
IF2.6
err2026-03-01
err1
PREAI
errHariharan, Gokul; Kempa, Brian; Wongpiromsarn, Tichakorn; Jones, Phillip; Rozier, Kristin
err分享
err收藏
Formalizing MLTL Formula Progression in Isabelle/HOL在Isabelle/HOL中形式化MLTL公式的进展
errINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
err2026-01-01
err0
PREAI
errKosaian, Katherine; Wang, Zili; Sloan, Elizabeth; Rozier, Kristin Yvonne
err分享
err收藏
SAT-based explicit LTLf satisfiability checking
errartificial intelligence review
IF4.6
err2020-12-01
err20
errOAAI
errLi, Jianwen; Pu, Geguang; Zhang, Yueling; Vardi, Moshe Y.; Rozier, Kristin Y.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Moshe Y. Vardi
H 指数: 90 · 论文数: 869
G
Geguang Pu
H 指数: 25 · 论文数: 221
T
Tichakorn Wongpiromsarn
H 指数: 23 · 论文数: 94
P
Phillip H. Jones
H 指数: 16 · 论文数: 91
J
Jianwen Li
H 指数: 15 · 论文数: 92
查看更多