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

Daniele Nantes-Sobrinho

universidade de brasilia

6H指数
48论文数
104被引数
收录论文 6
发表时间
logo
Access Control Administration for Smart Homes智能家庭访问控制管理
errSECURITY AND TRUST MANAGEMENT, STM 2025
IF0
err2026-01-01
err0
PREAI
errBertolissi, Clara; Fernandez, Maribel
err分享
err收藏
A Nominal Approach to Equational Problems in Languages with Binders绑定符语言中的方程式问题的名义方法
errACM Transactions on Computational Logic
IF0
err2026-01-01
err0
PREAI
errNantes-Sobrinho, Daniele; Fernandez, Maribel; Vale, Deivid; Ayala-Rincon, Mauricio
err分享
err收藏
A Completion Procedure for Equational Rewriting Systems with Binders带有绑定符的等式重写系统的完成过程
errLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
err2026-01-01
err0
PREAI
errFernandez, Maribel; Nantes-Sobrinho, Daniele; Santaguida, Daniella
err分享
err收藏
Equational Generalization Problems with Atom-Variables含原子变量的等式泛化问题
errINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
err2026-01-01
err0
PREAI
errBaumgartner, Alexander; Kutsia, Temur; Nantes-Sobrinho, Daniele; Schmidt-Schauss, Manfred
err分享
err收藏
Nominal anti-unification modulo equational theories名义上的模等式理论的反统一
errJournal of Logical and Algebraic Methods in Programming
IF1.2
err2025-11-01
err0
PREAI
errBaumgartner, Alexander; Nantes-Sobrinho, Daniele
err分享
err收藏
Compositional Symbolic Execution for the Next 700 Memory Models面向下一代700内存模型的组合符号执行
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errLoow, Andreas; Park, Seung Hoon; Nantes-Sobrinho, Daniele; Ayoun, Sacha-Elie; Sjostedt, Opale; Gardner, Philippa
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Philippa Gardner
H 指数: 27 · 论文数: 127
M
Maribel Fernández
H 指数: 23 · 论文数: 279
M
Manfred Schmidt-Schauß
H 指数: 22 · 论文数: 131
A
Alexander Baumgärtner
H 指数: 19 · 论文数: 190
M
Maurício Ayala-Rincón
H 指数: 16 · 论文数: 179
查看更多