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

Francesco Tiezzi

University of Florence

27H指数
170论文数
2.3K被引数
收录论文 17
发表时间
logo
On the interplay between multi-instance BPMN collaborations and the environment关于多实例BPMN协作与环境之间的相互作用
errInformation Systems
IF3.4
err2026-09-23
err0
errOAAI
errFlavio Corradini; Luca Mozzoni; Jessica Piccioni; Barbara Re; Lorenzo Rossi; Francesco Tiezzi
err分享
err收藏
Translating BPMN models into X-Klaim programs for developing multi-robot missions将BPMN模型转换为X-Klaim程序以开发多机器人任务
errInternational Journal on Software Tools for Technology Transfer
IF1.4
err2026-01-01
err1
PREAI
errBourr, Khalid; Tiezzi, Francesco; Bettini, Lorenzo; Seriani, Stefano
err分享
err收藏
A framework for purpose-guided event logs generation一种基于目的引导的事件日志生成框架
errData & Knowledge Engineering
IF2.6
err2025-10-15
err0
errOAAI
errAndrea Burattin; Barbara Re; Lorenzo Rossi; Francesco Tiezzi
err分享
err收藏
A blockchain-based platform for incentivizing customer reviews in the grocery industry
errBLOCKCHAIN-RESEARCH AND APPLICATIONS
IF5.6
err2024-12-01
err0
errOAAI
errBruno, Tania; Etenzi, Ettore; Gualandi, Luca; Katra, Eraldo; Pugliese, Rosario; Taranto, Alessio; Tiezzi, Francesco
err分享
err收藏
A Flexible Approach to Multi-party Business Process Execution on Blockchain一种灵活的区块链上多方业务流程执行方法
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2023-10-01
err13
errOAAI
errCorradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
err分享
err收藏
Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems可执行的数字过程孪生: 朝着增强过程驱动系统的方向发展
errBIG DATA AND COGNITIVE COMPUTING
IF4.4
err2023-08-08
err3
errOAAI
errCorradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
err分享
err收藏
BPMN 2.0 OR-Join Semantics: Global and local characterisation
errenterprise information systems
IF3.4
err2022-03-01
err9
PREAI
errCorradini, Flavio; Muzi, Chiara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
err分享
err收藏
Formalising and animating multiple instances in BPMN collaborations
errenterprise information systems
IF3.4
err2022-01-01
err17
PREAI
errCorradini, Flavio; Muzi, Chiara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
err分享
err收藏
A formal approach for the analysis of BPMN collaboration models
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2021-10-01
err31
errOAAI
errCorradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
err分享
err收藏
Model-driven engineering for multi-party business processes on multiple blockchains多区块链上多方业务流程的模型驱动工程
errBLOCKCHAIN-RESEARCH AND APPLICATIONS
IF5.6
err2021-09-01
err23
errOAAI
errCorradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Scala, Emanuele; Tiezzi, Francesco
err分享
err收藏
Ethereum smart contracts: Analysis and statistics of their source code and opcodes以太坊智能合约: 其源代码和操作码的分析和统计
errINTERNET OF THINGS
IF7.6
err2020-09-01
err24
PREAI
errBistarelli, Stefano; Mazzante, Gianmarco; Micheletti, Matteo; Mostarda, Leonardo; Sestili, Davide; Tiezzi, Francesco
err分享
err收藏
Correctness checking for BPMN collaborations with sub-processes
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2020-08-01
err17
PREAI
errCorradini, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
err分享
err收藏
Defining and guaranteeing dynamic service levels in clouds
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2019-10-01
err18
PREAI
errUriarte, Rafael Brundo; De Nicola, Rocco; Scoca, Vincenzo; Tiezzi, Francesco
err分享
err收藏
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2019-01-01
err17
errOAAI
errMargheri, Andrea; Masi, Massimiliano; Pugliese, Rosario; Tiezzi, Francesco
err分享
err收藏
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing
errFORMAL ASPECTS OF COMPONENT SOFTWARE
IF0
err2016-01-29
err3
PREAI
errAceto, Luca; Larsen, Kim G.; Morichetta, Andrea; Tiezzi, Francesco
err分享
err收藏
A Logical Verification Methodology for Service-Oriented Computing一种面向服务计算的逻辑验证方法
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2012-07-03
err17
errOAAI
errFantechi, Alessandro; Gnesi, Stefania; Lapadula, Alessandro; Mazzanti, Franco; Pugliese, Rosario; Tiezzi, Francesco
err分享
err收藏
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios
errJOURNAL OF MEDICAL SYSTEMS
IF5.7
err2012-03-24
err4
PREAI
errMasi, Massimiliano; Pugliese, Rosario; Tiezzi, Francesco
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
K
Kim G. Larsen
H 指数: 70 · 论文数: 854
R
Rocco De Nicola
H 指数: 46 · 论文数: 443
S
Stefania Gnesi
H 指数: 41 · 论文数: 314
A
Alessandro Fantechi
H 指数: 33 · 论文数: 238
L
Leonardo Mostarda
H 指数: 31 · 论文数: 169
查看更多