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

Alfredo Capozucca

National University of Rosario

7H指数
42论文数
152被引数
收录论文 3
发表时间
logo
$\{log\}$: From a Constraint Logic Programming Language to a Formal Verification Tool$\{log\}$：从约束逻辑编程语言到形式验证工具
errTheory and Practice of Logic Programming
IF1.1
err2026-04-01
err0
PREAI
errCristia, Maximiliano; Capozucca, Alfredo; Rossi, Gianfranco
err分享
err收藏
Modelling dependable collaborative time-constrained business processes
errENTERPRISE INFORMATION SYSTEMS
IF3.9
err2010-05-01
err25
PREAI
errCapozucca, Alfredo; Guelfi, Nicolas
err分享
err收藏
Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2009-02-01
err3
errOAAI
errCapozucca, Alfredo; Guelfi, Nicolas; Pelliccione, Patrizio; Romanovsky, Alexander; Zorzo, Avelino F.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Patrizio Pelliccione
H 指数: 34 · 论文数: 326
A
Alexander Romanovsky
H 指数: 30 · 论文数: 496
A
Avelino F. Zorzo
H 指数: 19 · 论文数: 175
N
Nicolas Guelfi
H 指数: 16 · 论文数: 146
M
Maximiliano Cristiá
H 指数: 11 · 论文数: 88
查看更多