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

José N. Oliveira

universidade do minho

16H指数
124论文数
795被引数
收录论文 5
发表时间
logo
On Quantitative Solution Iteration in QAlloyQAlloy中定量解迭代的探讨
errRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
err2026-01-01
err0
PREAI
errSilva, Pedro; Macedo, Nuno; Oliveira, Jose N.
err分享
err收藏
Compiling Quantamorphisms for the IBM Q Experience为IBM Q体验编译Quantamorphisms
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-11-01
err1
errOAAI
errNeri, Ana; Barbosa, Rui Soares; Oliveira, Jose N.
err分享
err收藏
Small Structures, Big Impact
errSMALL STRUCTURES
IF11.3
err2020-10-23
err2
PREAI
errOliveira, Jose; Jiang, Jovia; Squillaci, Marco; Wen, Xi; Xu, Guangchen; Osterland, Anke
err分享
err收藏
Alloy Meets the Algebra of Programming: A Case Study合金满足编程的代数: 一个案例研究
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2013-03-01
err9
errOAAI
errOliveira, Jose N.; Ferreira, Miguel A.
err分享
err收藏
CAD tool extension for formal building description language
errADVANCES IN ENGINEERING SOFTWARE
IF5.7
err1998-08-01
err2
PREAI
errOliveira, JN
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Miguel A. Ferreira
H 指数: 48 · 论文数: 207
N
Nuno Macedo
H 指数: 18 · 论文数: 71
X
Xi Wen
H 指数: 16 · 论文数: 132
M
Marco Squillaci
H 指数: 13 · 论文数: 27
R
Rui Soares Barbosa
H 指数: 10 · 论文数: 39
查看更多