编辑配置文件（在新选项卡中打开） 安吉洛·特洛伊娜 合著者距离 作者ID： 特洛伊纳安吉洛 发布日期： 安吉洛·特洛伊娜 已编制索引的文档： 26出版物自2004年起 5作为编辑的贡献 合著者： 35位合著者具有31联合出版物 737合著作者 全部的 前5名合著者 0 单作者的 15 安德烈亚·马吉奥洛·谢蒂尼 10 保罗·米拉佐 8 罗伯托·巴布蒂 7 拉诺特，拉格罗 5 马里亚纽拉州Dezani-Ciancaglini 4 保拉·吉安尼尼 2 利维奥·比奥利奥 2 马里奥·科普 2 费卢西奥·达米亚尼 2 毛里齐奥·德罗科 2 埃琳娜·格拉西 2 吉恩·克里文 2 伊曼纽拉·梅雷利 1 亚历山德罗·阿尔迪尼 1 阿曼，博格丹 1 索尼娅·本·莫赫塔尔 1 西蒙·布利兹 1 菲利波·邦奇 1 罗伯托·布鲁尼 1 斯特凡诺·卡塔提拉 1 罗伯托·戈里埃里 1 让·古鲍特·拉雷克 1 格罗曼，大卫 1 罗宾·米尔纳 1 卡图西亚帕拉米德斯 1 巴勃罗·拉蒙 1 伊娃·萨卡 1 亚历山德拉·席尔瓦 1 Salvatore Spinella公司 1 鲍拉·斯波莱蒂尼 1 杰里米·斯普洛斯顿 1 保罗·提贝里 1 西蒙·蒂尼 1 恩里科·特隆西 1 埃米利奥·托斯托 全部的 前5名系列 4 理论计算机科学 三 计算机基础理论 三 理论计算机科学电子笔记 2 计算的形式方面 1 信息学报 1 计算机程序设计科学 1 生物系统杂志 1 计算机科学科学年鉴 全部的 前5名领域 28 计算机科学（68至XX） 17 生物学和其他自然科学（92-XX） 5 总体主题；集合（00-XX） 三 信息与通信理论、电路（94-XX） 1 概率论与随机过程（60-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 24出版物有被引用137中的次96文件 引用人▼ 年份▼ 随机双图。 Zbl 1286.68354号 吉恩·克里文；罗宾·米尔纳；安吉洛·特洛伊娜 23 2008 用于系统设计和分析的参数概率过渡系统。 Zbl 1111.68084号 拉诺特，拉格罗；安德烈亚·马吉奥洛·谢蒂尼；安吉洛·特洛伊娜 20 2007 用于模拟微生物系统的循环序列演算。 Zbl 1101.92021号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 18 2006 结石模拟膜中的相互模拟。 Zbl 1152.68035号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 11 2008 循环序列演算中的互模拟同余。 Zbl 1168.68435号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 10 2006 非否认协议的自动分析。 Zbl 1272.68326号 拉诺特，拉格罗；安德烈亚·马吉奥洛·谢蒂尼；安吉洛·特洛伊娜 8 2005 细胞通路建模和模拟中循环序列的随机演算。 Zbl 1241.92019 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；保罗·提贝里；安吉洛·特洛伊娜 7 2008 一种概率应用的π演算。 Zbl 1137.68448号 让·古鲍特·拉雷克；卡图西亚帕拉米德斯；安吉洛·特洛伊娜 7 2007 分子系统的概率模型。 Zbl 1096.68101号 罗伯托·巴布蒂；斯特凡诺·卡塔提拉；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 5 2005 概率时间自动机的弱互模拟。 Zbl 1208.68160号 拉诺特，拉格罗；安德烈亚·马吉奥洛·谢蒂尼；安吉洛·特洛伊娜 4 2010 用于分析生物相关特性的类型规程。 Zbl 1348.92066号 阿曼，博格丹；马里亚纽拉州Dezani-Ciancaglini；安吉洛·特洛伊娜 三 2009 模拟生物膜的循环序列演算。 兹比尔1137.68371 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 三 2007 包裹舱室的随机演算。 Zbl 1459.92036号 马里奥·科普；费卢西奥·达米亚尼；毛里齐奥·德罗科；埃琳娜·格拉西；安吉洛·特洛伊娜 三 2010 概率时间自动机的仿真与互仿真。 Zbl 1290.68081号 杰里米·斯普洛斯顿；安吉洛·特洛伊娜 2 2010 在定时框架中设计和验证长时间运行的事务。 Zbl 1170.68024号 拉诺特，拉格罗；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 2 2008 具有无界数据结构的时间自动机的可达性结果。 Zbl 1214.68199号 拉诺特，拉格罗；安德烈亚·马吉奥洛·谢蒂尼；安吉洛·特洛伊娜 2 2010 使用通信分层时间自动机对长时间运行的事务进行建模。 Zbl 1461.68136号 拉诺特，拉格罗；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 2 2006 描述蛋白质相互作用的形式主义。在Jerzy Tiuryn 60岁生日之际致敬他。 Zbl 1214.68183号 罗伯托·巴布蒂；马里亚纽拉州Dezani-Ciancaglini；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 1 2010 多级安全组件的自动隐蔽通道分析。 兹比尔1109.68470 拉诺特，拉格罗；安德烈亚·马吉奥洛·谢蒂尼；西蒙·蒂尼；安吉洛·特洛伊娜；恩里科·特隆西 1 2004 面向对计算对手保密的正式处理。 Zbl 1111.68447号 安吉洛·特洛伊娜；亚历山德罗·阿尔迪尼；罗伯托·戈里埃里 1 2005 计算机科学和生物学之间的相互作用。 Zbl 1315.00097号 1 2015 CLS中所需/排除元素的类型系统。 兹比尔1456.68041 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；安吉洛·特洛伊娜 1 2009 循环序列演算的类型化随机语义。 Zbl 1284.68317号 利维奥·比奥利奥；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；安吉洛·特洛伊娜 1 2012 用包裹的隔间演算模拟生态系统。 Zbl 1388.92040号 巴勃罗·拉蒙；安吉洛·特洛伊娜 1 2013 计算机科学和生物学之间的相互作用。 Zbl 1315.00097号 1 2015 用包裹的隔间演算模拟生态系统。 Zbl 1388.92040号 巴勃罗·拉蒙；安吉洛·特洛伊娜 1 2013 循环序列演算的类型化随机语义。 Zbl 1284.68317号 利维奥·比奥利奥；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；安吉洛·特洛伊娜 1 2012 概率时间自动机的弱互模拟。 Zbl 1208.68160号 拉诺特，拉格罗；安德烈亚·马吉奥洛·谢蒂尼；安吉洛·特洛伊娜 4 2010 包裹舱室的随机演算。 Zbl 1459.92036号 马里奥·科普；费卢西奥·达米亚尼；毛里齐奥·德罗科；埃琳娜·格拉西；安吉洛·特洛伊娜 三 2010 概率时间自动机的仿真与互仿真。 Zbl 1290.68081号 杰里米·斯普洛斯顿；安吉洛·特洛伊娜 2 2010 具有无界数据结构的时间自动机的可达性结果。 Zbl 1214.68199号 拉诺特，拉格罗；安德烈亚·马吉奥洛·谢蒂尼；安吉洛·特洛伊娜 2 2010 描述蛋白质相互作用的形式主义。在Jerzy Tiuryn 60岁生日之际致敬他。 Zbl 1214.68183号 罗伯托·巴布蒂；马里亚纽拉州Dezani-Ciancaglini；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 1 2010 用于分析生物相关特性的类型规程。 Zbl 1348.92066号 阿曼，博格丹；马里亚纽拉州Dezani-Ciancaglini；安吉洛·特洛伊娜 三 2009 CLS中所需/排除元素的类型系统。 兹比尔1456.68041 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；安吉洛·特洛伊娜 1 2009 随机双图。 Zbl 1286.68354号 吉恩·克里文；罗宾·米尔纳；安吉洛·特洛伊娜 23 2008 结石模拟膜中的相互模拟。 兹比尔1152.68035 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 11 2008 细胞通路建模和模拟中循环序列的随机演算。 Zbl 1241.92019 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；保罗·提贝里；安吉洛·特洛伊娜 7 2008 在定时框架中设计和验证长时间运行的事务。 Zbl 1170.68024号 拉诺特，拉格罗；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 2 2008 用于系统设计和分析的参数概率过渡系统。 Zbl 1111.68084号 拉诺特，拉格罗；安德烈亚·马吉奥洛·谢蒂尼；安吉洛·特洛伊娜 20 2007 概率应用像素。 Zbl 1137.68448号 让·古鲍特·拉雷克；卡图西亚帕拉米德斯；安吉洛·特洛伊娜 7 2007 模拟生物膜的循环序列演算。 Zbl 1137.68371号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 三 2007 用于模拟微生物系统的循环序列演算。 Zbl 1101.92021号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 18 2006 循环序列演算中的互模拟同余。 Zbl 1168.68435号 罗伯托·巴布蒂；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 10 2006 使用通信的分层时间自动机对长时间运行的事务进行建模。 Zbl 1461.68136号 拉诺特，拉格罗；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 2 2006 非否认协议的自动分析。 Zbl 1272.68326号 拉诺特，拉格罗；安德烈亚·马吉奥洛·谢蒂尼；安吉洛·特洛伊娜 8 2005 分子系统的概率模型。 Zbl 1096.68101号 罗伯托·巴布蒂；斯特凡诺·卡塔提拉；安德烈亚·马吉奥洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 5 2005 面向对计算对手保密的正式处理。 Zbl 1111.68447号 安吉洛·特洛伊娜；亚历山德罗·阿尔迪尼；罗伯托·戈里埃里 1 2005 多级安全组件的自动隐蔽通道分析。 Zbl 1109.68470号 拉诺特，拉格罗；安德烈亚·马吉奥洛·谢蒂尼；西蒙·蒂尼；安吉洛·特洛伊娜；恩里科·特隆西 1 2004 所有引用出版物 前5名被引用出版物 全部的 前5名180位作者引用 17 保罗·米拉佐 15 安德烈亚·马吉奥洛·谢蒂尼 12 罗伯托·巴布蒂 9 Joost-Pieter卡托恩 9 乔瓦尼·帕迪尼 9 安吉洛·特洛伊娜 5 塞巴斯蒂安·荣格斯 4 卡德，莫菲 4 拉诺特，拉格罗 4 米歇尔·塞维格纳尼 三 埃齐奥·巴托西 三 弗兰西斯卡，李维 三 马里诺·米库兰 三 格钦·诺曼 三 戈登·普洛金（Gordon D.Plotkin）。 三 拼写，Jip 2 亚历山德罗·阿巴特 2 布莱尔·阿奇博尔德 2 乔治·巴奇 2 克里斯特尔·拜尔 2 利维奥·比奥利奥 2 波夫，帕斯夸尔 2 琳达·布罗多 2 罗伯托·布鲁尼 2 朱利奥·卡拉瓦格纳 2 马里亚纽拉州Dezani-Ciancaglini 2 莫雷诺，法拉斯基 2 瓦实提·加尔平 2 简·希尔斯顿 2 里卡多·霍诺拉托·齐梅尔 2 Lisa Hutschenreiter 2 约阿希姆·克莱因 2 吉恩·克里文 2 塞德里克·侯赛因 2 凯瑟琳·梅多斯。 2 安德鲁·米勒。 2 罗宾·米尔纳 2 吉列尔莫·A·佩雷斯。 2 圭多·斯卡纳 2 杰里米·斯普洛斯顿 2 西蒙·蒂尼 2 阿德琳德·M·乌尔马赫。 2 托拜厄斯·温克勒 2 Argyris扎尔迪利斯 2 邹学毅 1 佩德罗·阿德奥 1 阿提姆·阿尔哈佐夫 1 阿曼，博格丹 1 埃蒂安·安德烈 1 赛尔阿博莱达 1 塞巴斯蒂安·阿明 1 塔贾纳Ban Kirigin 1 David A.Basin。 1 托马斯·安努·巴苏基 1 鲍尔，马修·斯蒂芬 1 卢卡·博托卢西 1 蔡晓娟 1 阿尔贝托·卡萨格兰德 1 安东尼奥·考伊 1 安东尼奥·塞隆 1 罗希特·查达 1 克里希南德·查特吉 1 陈静 1 陈振邦 1 阿莱西奥·齐亚佩里尼 1 克劳迪娅·埃琳娜·奇里 1 马里奥·科普 1 A.Credi。 1 克雷默斯，Cas J.F。 1 特洛伊尔斯·克里斯托弗·丹加德 1 费卢西奥·达米亚尼 1 贝诺·德拉哈耶 1 吉安尼斯·德尔姆帕尔塔基斯 1 邓玉欣 1 朱尔根·丁格尔 1 彼得·比克博士 1 毛里齐奥·德罗科 1 圣地亚哥埃斯科瓦尔 1 JoséLuiz Fiadeiro 1 Fränzle，马丁 1 鲁道夫·弗伦德 1 劳伦·弗里堡 1 马尔科·加拉韦利 1 塞巴斯蒂安·格温 1 保拉·吉安尼尼 1 罗伯塔·戈里 1 埃琳娜·格拉西 1 格罗兹基，格热戈兹 1 拉杜·格罗苏 1 乔纳森·马克·海曼 1 见鬼，莱纳斯 1 托拜厄斯·赫尔姆斯 1 克里斯蒂安·亨塞尔 1 埃斯彭·Höjsgaard 1 奥马尔·因弗索 1 塞尔吉·伊万诺夫 1 马蒂亚斯·约翰 1 Max Iosifovich，卡诺维奇 1 Katsaros，Panagiotis公司 1 保罗·克罗格 …还有80多位作者 全部的 前5名19篇连载文章中引用 25 理论计算机科学 4 计算的形式方面 三 MSCS公司。计算机科学中的数学结构 2 计算机与系统科学杂志 2 信息与计算 2 系统设计中的形式化方法 1 信息学报 1 信息处理信件 1 信息科学 1 实时系统 1 美国计算机学会模型和计算机仿真汇刊 1 自然与社会中的离散动力学 1 国际应用数学与计算机科学杂志 1 逻辑与代数程序设计杂志 1 自然计算 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 上海交通大学学报（科学版） 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 全部的 前5名在9个字段中引用 89 计算机科学（68至XX） 37 生物学和其他自然科学（92-XX） 9 数学逻辑和基础（03-XX） 8 概率论与随机过程（60-XX） 5 信息与通信理论、电路（94-XX） 4 运筹学、数学规划（90-XX） 4 系统论；控制（93至XX） 2 组合数学（05-XX） 1 偏微分方程（35-XX） 按年份列出的引文