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

Philipp Rümmer

uppsala university

28H指数
177论文数
2.5K被引数
收录论文 5
发表时间
logo
A New Approach for Showing Termination of Parameterized Transition Systems参数化转换系统终止性证明的新方法
errIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
err2026-01-01
err0
PREAI
errHerrmann, Roland; Ruemmer, Philipp
err分享
err收藏
Complementable Normal Form of Parametrized Automata参数化自动机的可补范式
errIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
err2026-01-01
err0
PREAI
errAlber, Franziska; Ruemmer, Philipp
err分享
err收藏
When GNNs Met a Word Equations Solver: Learning to Rank Equations当图神经网络遇到方程求解器：学习排序方程
errFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
err2026-01-01
err0
errOAAI
errAbdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cailler, Julie; Liang, Chencheng; Ruemmer, Philipp
err分享
err收藏
Decision Procedure for a Theory of String Sequences字符串序列理论的判定过程
errPROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
err2026-01-01
err0
PREAI
errHu, Denghang; Chen, Taolue; Rummer, Philipp; Song, Fu; Wu, Zhilin
err分享
err收藏
The Power of Regular Constraint Propagation规则的约束传播之力
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errHague, Matthew; Jez, Artur; Lin, Anthony Widjaja; Markgraf, Oliver; Rummer, Philipp
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Parosh Aziz Abdulla
H 指数: 42 · 论文数: 415
T
Taolue Chen
H 指数: 31 · 论文数: 240
R
R. Herrmann
H 指数: 27 · 论文数: 350
付
付松 (Fu Song)
H 指数: 23 · 论文数: 129
A
Artur Jeż
H 指数: 19 · 论文数: 103
查看更多