编辑配置文件(在新选项卡中打开) 安东尼奥·塞隆 合著者距离 作者ID: 鹿茸 发布方式: 安东尼奥·塞隆;塞隆,A。 已编制索引的文档: 12出版物自1999年以来,包括1本书 11作为编辑的贡献 合著者: 39位合著者具有20联合出版物 611合著作者 全部的 前5名合著者 三 单作者的 三 托马斯·安努·巴苏基 三 保罗·米拉佐 2 特洛伊·凯欣·阿斯塔特 2 路易斯·库托。 2 大卫·德尔马斯 2 亚历山德拉·迪·皮耶罗 2 布里杰什·多戈尔 2 玛丽·法雷尔 2 劳雷·贡诺德 2 里卡多·吉多蒂 2 马丁·库特里布 2 马特·勒克库克 2 迭戈·马姆斯勒 2 乔治·米尔恩。 2 佩德罗·蒙泰罗。 2 内尔玛·莫雷拉 2 何塞·努诺·奥利维拉 2 佩卡,皮拉贾萨里 2 丹尼尔·拉蒂乌 2 萨明、希玛 2 埃米尔·塞克林斯基 1 罗伯托·巴布蒂 1 卡梅尔·巴考伊 1 曼弗雷德·布罗伊 1 安娜·卡瓦尔坎蒂 1 保罗·库松 1 达内西、罗马诺 1 德波尔,弗兰克·S。 1 马尔齐亚·德尔雷 1 大卫·A·杜克。 1 安德烈亚斯·格雷斯迈耶 1 安德烈亚·马吉奥洛·谢蒂尼 1 Peter Csaba,Olveczky 1 乌斯曼·劳夫 1 马库斯·罗根巴赫 1 马可·罗维里 1 鲁道夫·施拉特 1 施林格洛夫,伯恩德·霍尔格 1 杰拉尔多·施奈德 1 谢赫,西拉杰·艾哈迈德 1 约翰·V·塔克。 全部的 前5名系列 7 计算机科学课堂讲稿 三 理论计算机科学 2 计算的形式方面 1 理论计算机科学电子笔记 1 理论生物学杂志 1 理论计算机科学课文。EATCS系列 领域 22 计算机科学(68至XX) 11 一般性和全局性主题;集合(00-XX) 三 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用13中的次13文件 引用人▼ 年份▼ 用于系统规范的时间Petri网的基于时间的表示性。 Zbl 0914.68145号 安东尼奥·塞隆;安德烈亚·马吉奥洛·谢蒂尼 10 1999 软件工程的形式化方法。语言,方法,应用领域。曼弗雷德·布罗伊(Manfred Broy)的前言和约翰·塔克(John V.Tucker)对形式方法的起源和发展的贡献。 Zbl 1492.68003号 马库斯·罗根巴赫;安东尼奥·塞隆;施林格洛夫,伯恩德·霍尔格;杰拉尔多·施奈德;谢赫,西拉杰·艾哈迈德 1 2022 结直肠癌KRAS突变所致耐药性的数学模型。 Zbl 1343.92244号 萨明、希玛;罗伯托·巴布蒂;保罗·米拉佐;安东尼奥·塞隆;马尔齐亚·德尔雷;达内西、罗马诺 1 2016 生物调控网络中振荡行为的形式分析:一种替代方法。 Zbl 1337.92081号 乌斯曼·劳夫;萨明、希玛;安东尼奥·塞隆 1 2013 软件工程的形式化方法。语言,方法,应用领域。由Manfred Broy作序,John V.Tucker对形式方法的起源和发展做出贡献。 Zbl 1492.68003号 马库斯·罗根巴赫;安东尼奥·塞隆;施林格洛夫,伯恩德·霍尔格;杰拉尔多·施奈德;谢赫,西拉杰·艾哈迈德 1 2022 结直肠癌KRAS突变所致耐药性的数学模型。 Zbl 1343.92244号 萨明、希玛;罗伯托·巴布蒂;保罗·米拉佐;安东尼奥·塞隆;马尔齐亚·德尔雷;达内西、罗马诺 1 2016 生物调控网络中振荡行为的形式分析:一种替代方法。 Zbl 1337.92081号 乌斯曼·劳夫;萨明、希玛;安东尼奥·塞隆 1 2013 用于系统规范的时间Petri网的基于时间的表示性。 Zbl 0914.68145号 安东尼奥·塞隆;安德烈亚·马吉奥洛·谢蒂尼 10 1999 所有引用出版物 前5名被引用出版物 全部的 前5名27位作者引用 2 安东尼奥·塞隆 2 瓦伦蒂安·瓦莱罗 1 阿克西,S。 1 P.I.安东。 1 马克·博伊尔 1 Byun、Jong Hyuk 1 胡安·德·拉腊 1 Anatoliy Yu Doroshenko。 1 休伯特Garavel 1 洛依茨海露 1 伊万尼科,P.A。 1 Jung,Il Hyo先生 1 汉娜·克劳代尔 1 弗雷德里克·朗 1 赫梅内吉尔达梅西 1 安德烈亚·马吉奥洛·谢蒂尼 1 托马斯·摩尔 1 拉姆昌德拉·帕瓦德 1 法兰克·波默罗 1 乌斯曼·劳夫 1 萨明、希玛 1 吉·斯尔巴 1 扬·施托克 1 Thanh,Cécile Bui先生 1 卢卡斯·特里斯卡 1 汉斯·旺格鲁 1 亚琴科,O.A。 全部的 前5名引用于7个系列 2 应用数学与计算 1 理论计算机科学 1 计算的形式方面 1 离散事件动态系统 1 控制论与系统分析 1 动力系统的数学和计算机建模 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 11 计算机科学(68至XX) 2 生物学和其他自然科学(92-XX) 2 系统论;控制(93至XX) 1 常微分方程(34-XX) 按年份列出的引文