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

Maximiliano Cristiá

consejo nacional de investigaciones científicas y técnicas (conicet)

11H指数
88论文数
330被引数
收录论文 4
发表时间
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收藏
A Formal Analysis of the Mimblewimble Cryptocurrency Protocol
errSENSORS
IF3.5
err2021-09-04
err8
errOAAI
errSilveira, Adrian; Betarte, Gustavo; Cristia, Maximiliano; Luna, Carlos
err分享
err收藏
CML-DEVS: A specification language for DEVS conceptual models
errSIMULATION MODELLING PRACTICE AND THEORY
IF4.6
err2015-09-01
err13
errOAAI
errHollmann, Diego A.; Cristia, Maximiliano; Frydman, Claudia
err分享
err收藏
A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically
errSIMULATION MODELLING PRACTICE AND THEORY
IF4.6
err2014-12-01
err3
errOAAI
errHollmann, Diego A.; Cristia, Maximiliano; Frydman, Claudia
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
C
Claudia Frydman
H 指数: 12 · 论文数: 129
G
Gustavo Betarte
H 指数: 12 · 论文数: 73
C
Carlos Luna
H 指数: 10 · 论文数: 100
A
Alfredo Capozucca
H 指数: 7 · 论文数: 42
D
Diego A. Hollmann
H 指数: 5 · 论文数: 8
查看更多