编辑配置文件(在新选项卡中打开) 洛伦佐·卡普拉 合著者距离 作者ID: 卡普拉·洛伦佐 发布日期: 洛伦佐·卡普拉;卡普拉,L。 已编制索引的文档: 11出版物自2000年起 1进一步贡献 合著者: 9合著者具有7联合出版物 81位合作作者 全部的 前5名合著者 3 单作者的 3 卡米利、马蒂奥 2 卡洛·贝莱蒂尼 2 朱利安娜·弗朗西斯科尼斯 2 蒙加,马蒂亚 1 波加托,玛丽亚·特蕾莎 1 沃尔特·卡佐拉 1 V·科维埃洛。 1 马西米利亚诺·德·皮耶罗 1 克劳德·杜泰利特 1 亚历山德拉·菲奥卡 1 Jean-Michel伊利 1 迈克尔·科勒-布·迈耶 1 马尔克斯。 1 路易吉·佩佩 1 罗德里格斯-利南,G.M。 1 托雷斯-奥罗佐,R。 系列 1 理论计算机科学 1 离散事件动态系统 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 8 计算机科学(68至XX) 1 历史和传记(01-XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 1 流体力学(76-XX) 1 地球物理学(86-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 zbMATH Open中包含的引文 4出版物有被引用6中的次5文件 引用人▼ 年份▼ 使用对称网对分散自适应系统进行形式化描述和验证。 Zbl 1480.93259号 卡米利、马蒂奥;洛伦佐·卡普拉 2 2021 在格式良好的网络中用于结构关系的高级语言。 Zbl 1128.68374号 洛伦佐·卡普拉;马西米利亚诺·德·皮耶罗;朱利安娜·弗朗西斯科尼斯 2 2005 用于指定和验证基于微服务的流程流的正式框架。 兹比尔1461.68112 卡米利、马蒂奥;卡洛·贝莱蒂尼;洛伦佐·卡普拉;蒙加,马蒂亚 1 2018 可重构PT网络的标准化莫德. Zbl 07714983号 洛伦佐·卡普拉 1 2022 可重构PT网络的标准化莫德. Zbl 07714983号 洛伦佐·卡普拉 1 2022 使用对称网对分散自适应系统进行形式化描述和验证。 Zbl 1480.93259号 卡米利、马蒂奥;洛伦佐·卡普拉 2 2021 用于指定和验证基于微服务的流程流的正式框架。 Zbl 1461.68112号 卡米利,马特奥;卡洛·贝莱蒂尼;洛伦佐·卡普拉;蒙加,马蒂亚 1 2018 在格式良好的网络中用于结构关系的高级语言。 Zbl 1128.68374号 洛伦佐·卡普拉;马西米利亚诺·德·皮耶罗;朱利安娜·弗朗西斯科尼斯 2 2005 被5位作者引用 4 洛伦佐·卡普拉 1 阿米尔·穆罕默德(Amir-Mhammadian,Sepehr) 1 卡米利、马蒂奥 1 查迪·卡里 1 迈克尔·科勒-布·迈耶 3篇连载文章中引用 1 理论计算机科学 1 离散事件动态系统 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 4 计算机科学(68至XX) 1 系统论;控制(93至XX) 按年份列出的引文