编辑配置文件（在新选项卡中打开） 安德烈亚·马吉奥洛·谢蒂尼 合著者距离 作者ID： maggiolo-schettini.andrea公司 发布日期： 安德烈亚·马吉奥洛·谢蒂尼;Maggiolo-Schettini，A。;Maggiolo Schettini，A。;安德烈亚·马吉奥洛·谢蒂尼;安德烈亚·马吉奥洛·谢蒂尼 更多。。。较少的 其他拼写： A.Maggiolo Schettini 主页： http://groups.di.unipi.it/~蛆虫/ 编入索引的文档： 106出版物自1972年以来，包括1本书 审查活动： 51评论 合著者： 42位合著者具有105份联合出版物 667位联合作者 全部的 前5名合著者 1 单作者的 41 保罗·米拉佐 31 罗伯托·巴布蒂 23 西蒙·蒂尼 17 拉诺特、拉格罗 15 安吉洛·特洛伊娜 14 乔泽夫·温考斯基 12 乔瓦尼·帕迪尼 10 阿德里亚诺·佩隆 9 乔治·杰马诺（Giorgio M.Germano）。 7 伊曼纽拉·法希尼 4 朱利奥·卡拉瓦格纳 4 彼得·比克博士 4 巴里·罗森。 4 戴维·桑吉奥吉 三 Damas P.格鲁斯卡。 三 卢卡·特塞 2 哈特穆特·埃里格 2 汉斯·约尔格·克鲁斯基 2 乔瓦尼·雷斯塔 2 斯特朗，H.R.六月。 2 恩里科·特隆西 2 霍斯特·F·韦德。 1 斯特凡诺·卡塔提拉 1 安东尼奥·塞隆 1 安东尼拉·德尔·科尔索 1 马里亚纽拉州Dezani-Ciancaglini 1 里卡多·福卡迪 1 罗伯托·戈里埃里 1 乔泽夫·格鲁斯卡 1 丹尼尔·莱普里 1 法比奥·马蒂内利 1 安德里亚·马西尼 1 乔纳塔·马特尤奇 1 翁贝托·穆拉 1 那不勒斯，玛格丽塔 1 G.Michele Pinna 1 奥雷利亚诺·拉玛 1 桑吉奥里，D。 1 保罗·提贝里 1 热那维亚托托拉 1 Uccella，G。 1 Z.温科夫斯基。 全部的 前5名系列 15 理论计算机科学 15 计算机基础理论 6 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 5 计算机与系统科学杂志 三 信息学报 三 信息处理信件 2 计算的形式方面 2 国际计算机科学基础杂志 2 自然计算 2 计算机科学科学年鉴 1 控制论学报 1 卡尔科洛 1 数学系统理论 1 意大利信息研究所 1 SIAM计算机杂志 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 计算机程序设计科学 1 IEEE软件工程汇刊 1 RAIRO公司。Informatique Théorique et Applications公司 1 生物系统杂志 1 逻辑与代数程序设计杂志 1 塞丽亚科学院的Comptes Rendus Hebdomadaires des Sénces de l'Académie des Sciences 1 比特。Nordisk Tidskrift信息处理 全部的 前5名领域 97 计算机科学（68至XX） 26 生物学和其他自然科学（92-XX） 11 数学逻辑和基础（03-XX） 三 范畴理论；同调代数（18-XX） 2 一般代数系统（08-XX） 2 系统论；控制（93至XX） 2 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 常微分方程（34-XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 83出版物有被引用381中的次191文件 引用人▼ 年份▼ 用于系统设计和分析的参数概率过渡系统。 Zbl 1111.68084号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 20 2007 用于模拟微生物系统的循环序列演算。 Zbl 1101.92021号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 18 2006 结构变换：一种代数方法。 Zbl 0491.68035号 哈特穆特·埃里格;汉斯·乔尔格·克鲁斯基;安德烈亚·马吉奥洛·谢蒂尼;巴里·罗森。;乔泽夫·温考斯基 14 1981 空间P系统。 兹比尔1213.68256 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼;卢卡·特塞 12 2011 序列到序列的递归性。 Zbl 0311.02047号 格尔马诺，G。;Maggiolo-Schettini，A。 11 1975 P系统的组合语义和行为等价。 Zbl 1145.68033号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 11 2008 结石模拟膜中的相互模拟。 Zbl 1152.68035号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 11 2008 不带结论公式的算法的部分递归性和可计算性的等价性。 Zbl 0242.02043号 格尔马诺，G。;Maggiolo-Schettini，A。 10 1972 Quelques caractérisations des functions递归partielles。 Zbl 0324.02025号 乔治·杰尔马诺;安德烈亚·马吉奥洛·谢蒂尼 10 1973 循环序列演算中的互模拟同余。 Zbl 1168.68435号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 10 2006 用于系统规范的时间Petri网的基于时间的表示性。 Zbl 0914.68145号 安东尼奥·塞隆;安德烈亚·马吉奥洛·谢蒂尼 10 1999 马尔可夫正规算法的流程图，没有结论公式。 Zbl 0283.68026号 格尔马诺，G。;Maggiolo-Schettini，A。 9 1973 用于堆栈程序语义的可计算堆栈函数。 Zbl 0428.68057号 乔治·杰尔马诺;安德烈亚·马吉奥洛·谢蒂尼 8 1979 脉冲神经P系统的合成语义。 Zbl 1208.68123号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 8 2010 膜计算中的操作语义概述。 兹比尔1213.68357 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 8 2011 循环序列的空间演算。 Zbl 1230.92002年 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 8 2011 非否认协议的自动分析。 Zbl 1272.68326号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 8 2005 收缩树自动机的一些结构性质。 Zbl 0687.68036号 法希尼，E。;Maggiolo Schettini，A。;雷斯塔，G。;桑吉奥吉，D。 7 1989 证明编译器正确：一种简单的方法。 兹比尔0304.68022 格尔马诺，G。;Maggiolo-Schettini，A。 7 1975 P系统保持逐步行为的平面形式。 Zbl 1154.68048号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 7 2008 Statecharts步骤语义的比较。 Zbl 1018.68045号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 7 2003 具有限制的反应系统的组成语义和行为等效性。 Zbl 1360.68574号 乔瓦尼·帕迪尼;罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 7 2014 用于细胞通路建模和模拟的循环序列的随机演算。 Zbl 1241.92019 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;保罗·提贝里;安吉洛·特洛伊娜 7 2008 从结构派生结构。 Zbl 0379.68055号 哈特穆特·埃里格;汉斯·约尔格·克鲁斯基;Maggiolo-Schettini，A。;B.K.罗森。;Z.温科夫斯基。 6 1978 用过程代数对生物系统进行多尺度建模的基础方面。 Zbl 1238.68093号 罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 6 2012 无柱面化和有限寄存器机器的序列递归性。 Zbl 0464.68050号 乔治·杰尔马诺;安德烈亚·马吉奥洛·谢蒂尼 6 1981 分子系统的概率模型。 Zbl 1096.68101号 罗伯托·巴布蒂;斯特凡诺·卡塔提拉;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 5 2005 二元脉动树自动机所接受的语言类的不可接受性准则和闭包性质。 Zbl 0725.68060号 法希尼，E。;Maggiolo Schettini，A。;雷斯塔，G。;桑吉奥里，D。 5 1991 生物系统的延迟随机模拟：一种纯延迟方法。 Zbl 1326.92026号 罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 5 2011 循环序列的空间演算。 Zbl 1283.92024号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 5 2009 带有限制的反应系统的合成语义。 Zbl 1387.68115号 乔瓦尼·帕迪尼;罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 5 2013 概率时间自动机的弱互模拟。 Zbl 1208.68160号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 4 2010 Y树收缩自动机类之间的比较。 Zbl 0734.68066号 法希尼，E。;Maggiolo Schettini，A。;桑吉奥吉，D。 4 1990 定时协作自动机。 Zbl 0965.68046号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 4 2000 状态图的等效性。 Zbl 1514.68173号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 4 1996 空间P系统模型的模拟。 兹比尔1358.68098 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 4 2014 具有传输和扩散膜通道的P系统。 Zbl 1191.68315号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 4 2009 模拟生物膜的循环序列演算。 Zbl 1137.68371号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 三 2007 在格子自动机上模拟收缩树自动机。 Zbl 0726.68057号 伊曼纽拉·法希尼;乔泽夫·格鲁斯卡;安德烈亚·马吉奥洛·谢蒂尼;戴维·桑吉奥吉 三 1990 程序的递归性、序列递归性、堆栈递归性和语义。 Zbl 0339.68003号 格尔马诺，G。;Maggiolo-Schettini，A。 三 1976 基于图重写的状态图语义。 Zbl 0768.68087号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 三 1992 关系结构的编程派生。 Zbl 0768.68071号 安德烈亚·马吉奥洛·谢蒂尼;约泽夫·温科夫斯基 三 1991 走向时间行为的代数。 Zbl 0772.68037号 安德烈亚·马吉奥洛·谢蒂尼;约泽夫·温考斯基 三 1992 比较原始递归序列函数的层次结构。 Zbl 0497.03031号 法希尼，E。;Maggiolo-Schettini，A。 三 1982 生化途径中成分识别的算法。 Zbl 1337.92066号 乔瓦尼·帕迪尼;保罗·米拉佐;安德烈亚·马吉奥洛·谢蒂尼 三 2013 生物系统随机模拟的中间语言。 Zbl 1176.68095号 罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 三 2009 定时P自动机。 Zbl 1347.68127号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;卢卡·特塞 三 2009 转换为中断：定时状态图的一种新语义。 Zbl 0942.68634号 阿德里亚诺·佩隆;安德烈亚·马吉奥洛·谢蒂尼 2 1994 收缩树自动机的类及其与收缩网格自动机的比较。 Zbl 0790.68086号 法希尼，E。;Maggiolo-Schettini，A。;桑吉奥吉，D。 2 1992 因果系统中的过程。 Zbl 0892.68036号 安德烈亚·马吉奥洛·谢蒂尼;乔纳塔·马特尤奇 2 1997 将异步并发技术应用于同步语言。 Zbl 0942.68029号 安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 2 1999 马尔可夫算法合成语言。 Zbl 0345.02021号 格尔马诺，G。;Maggiolo-Schettini，A。 2 1976 时间自动机中的并发性。 Zbl 0999.68135号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 2 2001 定时Petri网的合成语义。 Zbl 0697.68062号 安德烈亚·马吉奥洛·谢蒂尼;约泽夫·温科夫斯基 2 1990 通过限制为分布式系统中的控制问题建模解决方案。 Zbl 0441.68021号 安德烈亚·马吉奥洛·谢蒂尼;霍斯特·韦德;乔泽夫·温考斯基 2 1981 具有无界数据结构的时间自动机的可达性结果。 Zbl 1214.68199号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 2 2010 在定时框架中设计和验证长时间运行的事务。 Zbl 1170.68024号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 2 2008 时间合作自动机的转换。 Zbl 1004.68088号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼;阿德里亚诺·佩隆 2 2001 结构转换过程。 兹比尔0488.68040 安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温考斯基 2 1982 时间自动机中的并发性。 Zbl 1070.68073号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 2 2003 基本递归序列函数的层次结构。 Zbl 0402.03041号 法希尼，E。;Maggiolo-Schettini，A。 2 1979 SOL：定义语言的练习。 Zbl 0436.68014号 Maggiolo Schettini，A。;G.乌切拉。 2 1979 生化途径中成分的识别：广泛应用于SBML模型。 Zbl 1332.92018年 乔瓦尼·帕迪尼;保罗·米拉佐;安德烈亚·马吉奥洛·谢蒂尼 2 2014 交互式系统的模块化验证与生物学应用。 Zbl 1424.68091号 彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 2 2011 公平性定性路径模型的模块化验证。 Zbl 1424.92015年 Peterábik博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 2 2013 关于同步部件系统中模块验证的条件。 Zbl 1279.68204号 彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 2 2012 使用通信分层时间自动机对长时间运行的事务进行建模。 Zbl 1461.68136号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 2 2006 多级安全组件的自动隐蔽通道分析。 Zbl 1109.68470号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼;安吉洛·特洛伊娜;恩里科·特隆西 1 2004 通信分层机器的结构模型检查。 Zbl 1096.68092号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 1 2004 程序链接优化工作文件。 Zbl 0309.68029号 Maggiolo-Schettini，A。;B.K.罗森。;斯特朗，H.R。 1 1973 递归结构简化。 Zbl 0311.68030号 斯特朗，H.R.六月。;Maggiolo-Schettini，A。;B.K.罗森。 1 1975 以生成和接受模式工作的膜系统：表现力和编码。 Zbl 1259.68053号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 1 2010 具有单调活动的时间自动机。 Zbl 0996.68100号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼 1 2000 结构中的过程。 Zbl 0443.68079号 安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温考斯基 1 1979 描述蛋白质相互作用的形式主义。在Jerzy Tiuryn 60岁生日之际致敬他。 Zbl 1214.68183号 罗伯托·巴布蒂;马里亚纽拉州Dezani-Ciancaglini;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 1 2010 面向一种用于操作关系数据库的编程语言。 Zbl 0522.68099号 安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温考斯基 1 1983 动态分层机器。 Zbl 1111.68061号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 1 2003 可导关系的代数表征。 Zbl 0383.68011号 安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温考斯基 1 1978 网络通信的过程代数。 Zbl 0974.68138号 Damas P.格鲁斯卡。;安德烈亚·马吉奥洛·谢蒂尼 1 2001 交互式系统的模块化验证及其在生物学中的应用。 Zbl 1283.68204号 彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 1 2010 生化途径中的成分鉴定。 Zbl 1327.68163号 乔瓦尼·帕迪尼;保罗·米拉佐;安德烈亚·马吉奥洛·谢蒂尼 1 2015 用于编程重写（超）图的内核语言。 Zbl 0849.68072号 安德烈亚·马吉奥洛·谢蒂尼;约泽夫·温科夫斯基 1 1996 用于模拟生物系统的中间语言。 Zbl 1279.92030号 罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 1 2008 生化途径中的成分鉴定。 Zbl 1327.68163号 乔瓦尼·帕迪尼;保罗·米拉佐;安德烈亚·马吉奥洛·谢蒂尼 1 2015 具有限制的反应系统的组成语义和行为等效性。 Zbl 1360.68574号 乔瓦尼·帕迪尼;罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 7 2014 空间P系统模型的模拟。 Zbl 1358.68098号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 4 2014 生化途径中成分的识别：广泛应用于SBML模型。 Zbl 1332.92018年 乔瓦尼·帕迪尼;保罗·米拉佐;安德烈亚·马吉奥洛·谢蒂尼 2 2014 带有限制的反应系统的合成语义。 Zbl 1387.68115号 乔瓦尼·帕迪尼;罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 5 2013 一种用于识别生物化学途径中成分的算法。 Zbl 1337.92066号 乔瓦尼·帕迪尼;保罗·米拉佐;安德烈亚·马吉奥洛·谢蒂尼 三 2013 公平性定性路径模型的模块化验证。 Zbl 1424.92015年 彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 2 2013 用过程代数对生物系统进行多尺度建模的基础方面。 Zbl 1238.68093号 罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 6 2012 关于同步部件系统中模块验证的条件。 Zbl 1279.68204号 Peterábik博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 2 2012 空间P系统。 Zbl 1213.68256号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼;卢卡·特塞 12 2011 膜计算中的操作语义概述。 Zbl 1213.68357号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 8 2011 循环序列的空间演算。 Zbl 1230.92002年 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 8 2011 生物系统的延迟随机模拟：一种纯延迟方法。 Zbl 1326.92026号 罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 5 2011 交互式系统的模块化验证与生物学应用。 Zbl 1424.68091号 Peterábik博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 2 2011 脉冲神经P系统的合成语义。 Zbl 1208.68123号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 8 2010 概率时间自动机的弱互模拟。 Zbl 1208.68160号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 4 2010 具有无界数据结构的时间自动机的可达性结果。 Zbl 1214.68199号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 2 2010 以生成和接受模式工作的膜系统：表达和编码。 Zbl 1259.68053号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 1 2010 描述蛋白质相互作用的形式主义。在Jerzy Tiuryn 60岁生日之际致敬他。 Zbl 1214.68183号 罗伯托·巴布蒂;马里亚纽拉州Dezani-Ciancaglini;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 1 2010 交互式系统的模块化验证与生物学应用。 Zbl 1283.68204号 彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 1 2010 循环序列的空间演算。 Zbl 1283.92024号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 5 2009 具有传输和扩散膜通道的P系统。 Zbl 1191.68315号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 4 2009 生物系统随机模拟的中间语言。 Zbl 1176.68095号 罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 三 2009 定时P自动机。 Zbl 1347.68127号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;卢卡·特塞 三 2009 P系统的组成语义和行为等价。 Zbl 1145.68033号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 11 2008 结石模拟膜中的相互模拟。 Zbl 1152.68035号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 11 2008 P系统保持逐步行为的平面形式。 Zbl 1154.68048号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 7 2008 细胞通路建模和模拟中循环序列的随机演算。 Zbl 1241.92019 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;保罗·提贝里;安吉洛·特洛伊娜 7 2008 在定时框架中设计和验证长时间运行的事务。 Zbl 1170.68024号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 2 2008 用于模拟生物系统的中间语言。 Zbl 1279.92030号 罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 1 2008 用于系统设计和分析的参数概率过渡系统。 Zbl 1111.68084号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 20 2007 模拟生物膜的循环序列演算。 Zbl 1137.68371号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 三 2007 用于模拟微生物系统的循环序列演算。 兹比尔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 1109.68470号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼;安吉洛·特洛伊娜;恩里科·特隆西 1 2004 通信分层机器的结构模型检查。 Zbl 1096.68092号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 1 2004 Statecharts步骤语义的比较。 Zbl 1018.68045号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 7 2003 时间自动机中的并发性。 Zbl 1070.68073号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 2 2003 动态分层机器。 兹比尔1111.68061 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 1 2003 时间自动机中的并发性。 Zbl 0999.68135号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 2 2001 时间合作自动机的转换。 Zbl 1004.68088号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼;阿德里亚诺·佩隆 2 2001 网络通信的过程代数。 Zbl 0974.68138号 Damas P.格鲁斯卡。;安德烈亚·马吉奥洛·谢蒂尼 1 2001 定时协作自动机。 Zbl 0965.68046号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 4 2000 具有单调活动的时间自动机。 兹比尔0996.68100 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼 1 2000 用于系统规范的时间Petri网的基于时间的表示性。 Zbl 0914.68145号 安东尼奥·塞隆;安德烈亚·马吉奥洛·谢蒂尼 10 1999 将异步并发技术应用于同步语言。 Zbl 0942.68029号 安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 2 1999 因果系统中的过程。 Zbl 0892.68036号 安德烈亚·马吉奥洛·谢蒂尼;乔纳塔·马特尤奇 2 1997 状态图的等效性。 Zbl 1514.68173号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 4 1996 一种用于（超）图程序化重写的内核语言。 Zbl 0849.68072号 安德烈亚·马吉奥洛·谢蒂尼;约泽夫·温科夫斯基 1 1996 作为中断的转换：一种新的定时状态图语义。 Zbl 0942.68634号 阿德里亚诺·佩隆;安德烈亚·马吉奥洛·谢蒂尼 2 1994 基于图重写的状态图语义。 Zbl 0768.68087号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 三 1992 走向时间行为的代数。 Zbl 0772.68037号 安德烈亚·马吉奥洛·谢蒂尼;约泽夫·温科夫斯基 三 1992 收缩树自动机的类及其与收缩网格自动机的比较。 Zbl 0790.68086号 法希尼，E。;Maggiolo-Schettini，A。;桑吉奥吉，D。 2 1992 二元脉动树自动机所接受的语言类的不可接受性准则和闭包性质。 Zbl 0725.68060号 法希尼，E。;Maggiolo Schettini，A。;雷斯塔，G。;桑吉奥里，D。 5 1991 关系结构的程序化派生。 Zbl 0768.68071号 安德烈亚·马吉奥洛·谢蒂尼;约泽夫·温科夫斯基 三 1991 Y树收缩自动机类之间的比较。 Zbl 0734.68066号 法希尼，E。;Maggiolo Schettini，A。;桑吉奥吉，D。 4 1990 在格子自动机上模拟收缩树自动机。 Zbl 0726.68057号 埃马努埃拉·法希尼;乔泽夫·格鲁斯卡;安德烈亚·马吉奥洛·谢蒂尼;戴维·桑吉奥吉 三 1990 定时Petri网的合成语义。 Zbl 0697.68062号 安德烈亚·马吉奥洛·谢蒂尼;约泽夫·温科夫斯基 2 1990 收缩树自动机的一些结构性质。 Zbl 0687.68036号 法希尼，E。;Maggiolo Schettini，A。;雷斯塔，G。;桑吉奥吉，D。 7 1989 面向用于操作关系数据库的编程语言。 Zbl 0522.68099号 安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温考斯基 1 1983 比较原始递归序列函数的层次结构。 Zbl 0497.03031号 法希尼，E。;Maggiolo-Schettini，A。 三 1982 结构转换过程。 Zbl 0488.68040号 安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温考斯基 2 1982 结构变换：一种代数方法。 Zbl 0491.68035号 哈特穆特·埃里格;汉斯·乔尔格·克鲁斯基;安德烈亚·马吉奥洛·谢蒂尼;巴里·罗森。;乔泽夫·温考斯基 14 1981 无柱面化和有限寄存器机器的序列递归性。 Zbl 0464.68050号 乔治·杰尔马诺;安德烈亚·马吉奥洛·谢蒂尼 6 1981 通过限制为分布式系统中的控制问题建模解决方案。 Zbl 0441.68021号 安德烈亚·马吉奥洛·谢蒂尼;霍斯特·韦德;乔泽夫·温考斯基 2 1981 用于堆栈程序语义的可计算堆栈函数。 Zbl 0428.68057号 乔治·杰尔马诺;安德烈亚·马吉奥洛·谢蒂尼 8 1979 基本递归序列函数的层次结构。 Zbl 0402.03041号 法希尼，E。;Maggiolo-Schettini，A。 2 1979 SOL：定义语言的练习。 Zbl 0436.68014号 Maggiolo-Schettini，A。;G.乌切拉。 2 1979 结构中的过程。 Zbl 0443.68079号 安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温考斯基 1 1979 从结构派生结构。 兹比尔0379.68055 哈特穆特·埃里格;汉斯·约尔格·克鲁斯基;Maggiolo-Schettini，A。;B.K.罗森。;Z.温科夫斯基。 6 1978 可导关系的代数表征。 Zbl 0383.68011号 安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温考斯基 1 1978 程序的递归性、序列递归性、堆栈递归性和语义。 Zbl 0339.68003号 Germano，G。;Maggiolo-Schettini，A。 三 1976 马尔可夫算法合成语言。 Zbl 0345.02021号 格尔马诺，G。;Maggiolo-Schettini，A。 2 1976 序列到序列的递归性。 Zbl 0311.02047号 格尔马诺，G。;Maggiolo-Schettini，A。 11 1975 证明编译器正确：一种简单的方法。 Zbl 0304.68022号 格尔马诺，G。;Maggiolo-Schettini，A。 7 1975 递归结构简化。 Zbl 0311.68030号 斯特朗，H.R.六月。;Maggiolo-Schettini，A。;B.K.罗森。 1 1975 Quelques caractérisations des functions递归partielles。 兹比尔0324.02025 乔治·杰尔马诺;安德烈亚·马吉奥洛·谢蒂尼 10 1973 马尔可夫正规算法的流程图，没有结论公式。 Zbl 0283.68026号 格尔马诺，G。;Maggiolo-Schettini，A。 9 1973 程序链接优化工作文件。 Zbl 0309.68029号 Maggiolo-Schettini，A。;罗森，B.K。;斯特朗，H.R。 1 1973 不含结论公式的算法的部分递归性和可计算性的等价性。 Zbl 0242.02043号 格尔马诺，G。;Maggiolo-Schettini，A。 10 1972 所有引用出版物 前5名被引用出版物 全部的 前5名268位作者引用 41 安德烈亚·马吉奥洛·谢蒂尼 26 保罗·米拉佐 20 罗伯托·巴布蒂 12 西蒙·蒂尼 11 乔瓦尼·帕迪尼 10 Joost-Pieter卡托恩 9 安吉洛·特洛伊娜 8 乔治·杰马诺（Giorgio M.Germano）。 8 拉诺特、拉格罗 7 伊曼纽拉·法希尼 7 那不勒斯，玛格丽塔 5 朱利奥·卡拉瓦格纳 5 哈特穆特·埃里格 5 罗伯塔·戈里 5 塞巴斯蒂安·荣格斯 5 弗朗西丝卡·列维 5 安吉洛·蒙蒂 5 阿德里亚诺·佩隆 4 琳达·布罗多 4 莫雷诺，法拉斯基 4 乔泽夫·格鲁斯卡 4 汉斯·约尔格·克鲁斯基 4 斯特凡诺·马扎蒂 4 多梅尼科·帕伦特 4 乔泽夫·温考斯基 三 阿曼，博格丹 三 拜尔，克里斯特尔 三 埃齐奥·巴托西 三 罗伯托·布鲁尼 三 Dmytro B.Buj。 三 瓦实提·加尔平 三 简·希尔斯顿 三 川原康夫 三 格钦·诺曼 三 巴里·罗森。 三 拼写，Jip 2 亚历山德罗·阿巴特 2 埃蒂安·安德烈 2 利维奥·比奥利奥 2 帕斯奎尔·博韦 2 罗德·M·伯斯托尔。 2 卡德，莫菲 2 安东尼奥·塞隆 2 加布里埃尔·乔巴努 2 布鲁诺·库塞尔 2 路德威克·查贾 2 迪加诺，皮尔保罗 2 马里亚纽拉州Dezani-Ciancaglini 2 Drastík，简 2 里卡多·福卡迪 2 加松，马克斯·H。 2 约瑟夫·阿马迪·戈根 2 Gubskij，B.V。 2 Lisa Hutschenreiter 2 约阿希姆·克莱因 2 吉恩·克里文 2 迈克尔·门德勒 2 吉弘美口 2 弗朗西斯科·帕里西·普雷西奇 2 吉列尔莫·A·佩雷斯。 2 戈登·普洛金（Gordon D.Plotkin）。 2 科拉多·普里亚米 2 安迪·舒尔 2 弗拉迪米尔·斯莫尔卡 2 彼得·索西克 2 杰里米·斯普洛斯顿 2 加布里埃尔·坦泽尔 2 毛里西奥·托罗 2 瓦伦蒂安·瓦莱罗 2 托拜厄斯·温克勒 2 邹学毅 1 亨利·纳蒂维达·阿多纳 1 华金·阿瓜多 1 阿克西，S。 1 西奥多·安德洛尼科斯 1 马可·安东尼奥蒂 1 赛尔阿博莱达 1 塞巴斯蒂安·阿明 1 阿德里安·阿塔纳西乌 1 穆罕默德·阿卜杜拉希·阿兹戈米 1 乔治·巴奇 1 桑迪·巴拉格 1 塔贾纳Ban Kirigin 1 巴萨拉布，I.A。 1 David A.Basin。 1 托马斯·安努·巴苏基 1 米歇尔·鲍德龙 1 马西莫·贝内雷塞蒂 1 穆罕默德·马赫迪·本穆萨 1 安德烈亚·贝尔尼尼 1 阿里亚·比比 1 西蒙·布利兹 1 博迪，恰拉 1 书，罗纳德·弗农 1 卢卡·博托卢西 1 保罗·波托尼 1 马克·博伊尔 1 卢博什·布里姆 1 弗朗西斯·乔治·卡巴莱。 1 科什卡，米兰 …还有168位作者 全部的 前5名在38篇连载文章中被引用 60 理论计算机科学 7 计算机与系统科学杂志 6 信息处理信件 6 信息与计算 4 信息学报 4 控制论 4 计算的形式方面 4 系统设计中的形式化方法 4 自然计算 三 数学系统理论 三 MSCS公司。计算机科学中的数学结构 三 程序设计中的逻辑和代数方法杂志 2 信息科学 2 意大利信息研究所 2 纯逻辑与应用逻辑年鉴 2 国际计算机科学基础杂志 2 逻辑与代数程序设计杂志 2 膜计算杂志 1 应用数学与计算 1 苏联数学杂志 1 编程和计算机软件 1 Studia Logica公司 1 计算机程序设计科学 1 实时系统 1 离散事件动态系统 1 物理学年报 1 国际计算机数学杂志 1 分布式计算 1 复杂性 1 动力系统的数学和计算机建模 1 自然与社会中的离散动力学 1 国际应用数学与计算机科学杂志 1 计算机基础理论 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 上海交通大学学报（科学版） 1 比特。Nordisk Tidskrift信息处理 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 全部的 前5名11个领域引用 181 计算机科学（68至XX） 39 生物学和其他自然科学（92-XX） 21 数学逻辑和基础（03-XX） 12 范畴理论；同调代数（18-XX） 8 概率论与随机过程（60-XX） 7 系统论；控制（93至XX） 6 运筹学、数学规划（90-XX） 三 组合数学（05-XX） 2 一般代数系统（08-XX） 2 信息与通信理论、电路（94-XX） 1 动力系统和遍历理论（37至XX） 按年份列出的引文