编辑配置文件(在新选项卡中打开) 安德烈亚·马吉奥洛·谢蒂尼 合著者距离 作者ID: 马乔罗-雪铁尼-安德里亚 发布日期: 安德烈亚·马吉奥洛·谢蒂尼;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 G.乌切拉。 1 Z.温科夫斯基。 全部的 前5名系列 15 理论计算机科学 15 计算机基础理论 6 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 5 计算机与系统科学杂志 三 信息学报 三 信息处理信件 2 计算的形式方面 2 国际计算机科学基础杂志 2 自然计算 2 计算机科学科学年鉴 1 控制论学报 1 Calcolo公司 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系统。 Zbl 1213.68256号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼;卢卡·特塞 12 2011 P系统的组合语义和行为等价。 兹比尔1145.68033 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 11 2008 序列到序列的递归性。 Zbl 0311.02047号 格尔马诺,G。;Maggiolo-Schettini,A。 11 1975 结石模拟膜中的相互模拟。 Zbl 1152.68035号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 11 2008 用于系统规范的时间Petri网的基于时间的表示性。 Zbl 0914.68145号 安东尼奥·塞隆;安德烈亚·马吉奥洛·谢蒂尼 10 1999 不含结论公式的算法的部分递归性和可计算性的等价性。 Zbl 0242.02043号 格尔马诺,G。;Maggiolo-Schettini,A。 10 1972 重复出现的动作的细节。 Zbl 0324.02025号 乔治·杰尔马诺;安德烈亚·马吉奥洛·谢蒂尼 10 1973 循环序列演算中的互模拟同余。 Zbl 1168.68435号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 10 2006 马尔可夫正规算法的流程图,没有结论公式。 Zbl 0283.68026号 格尔马诺,G。;Maggiolo-Schettini,A。 9 1973 用于堆栈程序语义的可计算堆栈函数。 Zbl 0428.68057号 乔治·杰尔马诺;安德烈亚·马吉奥洛·谢蒂尼 8 1979 膜计算中的操作语义概述。 Zbl 1213.68357号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 8 2011 脉冲神经P系统的合成语义。 Zbl 1208.68123号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 8 2010 循环序列的空间演算。 Zbl 1230.92002年 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 8 2011 非否认协议的自动分析。 Zbl 1272.68326号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 8 2005 细胞通路建模和模拟中循环序列的随机演算。 Zbl 1241.92019 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;保罗·提贝里;安吉洛·特洛伊娜 7 2008 一个P系统保持逐步行为的平面形式。 Zbl 1154.68048号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 7 2008 Statecharts步骤语义的比较。 Zbl 1018.68045号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 7 2003 证明编译器正确:一种简单的方法。 Zbl 0304.68022号 格尔马诺,G。;Maggiolo-Schettini,A。 7 1975 具有限制的反应系统的组成语义和行为等效性。 Zbl 1360.68574号 乔瓦尼·帕迪尼;罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 7 2014 收缩树自动机的一些结构性质。 Zbl 0687.68036号 法希尼,E。;Maggiolo Schettini,A。;雷斯塔,G。;桑吉奥吉,D。 7 1989 从结构派生结构。 兹比尔0379.68055 哈特穆特·埃里格;汉斯·约尔格·克鲁斯基;Maggiolo-Schettini,A。;B.K.罗森。;Z.温科夫斯基。 6 1978 无柱面化和有限寄存器机器的序列递归性。 Zbl 0464.68050号 乔治·杰尔马诺;安德烈亚·马吉奥洛·谢蒂尼 6 1981 用过程代数对生物系统进行多尺度建模的基础方面。 Zbl 1238.68093号 罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 6 2012 生物系统的延迟随机模拟:一种纯延迟方法。 兹比尔1326.92026 罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 5 2011 分子系统的概率模型。 Zbl 1096.68101号 罗伯托·巴布蒂;斯特凡诺·卡塔提拉;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 5 2005 循环序列的空间演算。 Zbl 1283.92024号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 5 2009 带有限制的反应系统的合成语义。 Zbl 1387.68115号 乔瓦尼·帕迪尼;罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 5 2013 二元脉动树自动机所接受的语言类的不可接受性准则和闭包性质。 Zbl 0725.68060号 法希尼,E。;Maggiolo Schettini,A。;雷斯塔,G。;桑吉奥里,D。 5 1991 具有传输和扩散膜通道的P系统。 Zbl 1191.68315号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 4 2009 定时协作自动机。 Zbl 0965.68046号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 4 2000 概率时间自动机的弱互模拟。 Zbl 1208.68160号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 4 2010 Y树收缩自动机类之间的比较。 Zbl 0734.68066号 法希尼,E。;Maggiolo Schettini,A。;桑吉奥吉,D。 4 1990 空间P系统模型的模拟。 Zbl 1358.68098号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 4 2014 状态图的等效性。 Zbl 1514.68173号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 4 1996 生物系统随机模拟的中间语言。 Zbl 1176.68095号 罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 三 2009 基于图重写的状态图语义。 Zbl 0768.68087号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 三 1992 走向时间行为的代数。 Zbl 0772.68037号 安德烈亚·马吉奥洛·谢蒂尼;约泽夫·温科夫斯基 三 1992 关系结构的编程派生。 Zbl 0768.68071号 安德烈亚·马吉奥洛·谢蒂尼;约泽夫·温科夫斯基 三 1991 定时P自动机。 Zbl 1347.68127号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;卢卡·特塞 三 2009 生化途径中成分识别的算法。 Zbl 1337.92066号 乔瓦尼·帕迪尼;保罗·米拉佐;安德烈亚·马吉奥洛·谢蒂尼 三 2013 模拟生物膜的循环序列演算。 Zbl 1137.68371号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 三 2007 程序的递归性、序列递归性、堆栈递归性和语义。 Zbl 0339.68003号 格尔马诺,G。;Maggiolo-Schettini,A。 三 1976 比较基元递归序列函数的层次结构。 Zbl 0497.03031号 法希尼,E。;Maggiolo-Schettini,A。 三 1982 在格子自动机上模拟收缩树自动机。 Zbl 0726.68057号 伊曼纽拉·法希尼;乔泽夫·格鲁斯卡;安德烈亚·马吉奥洛·谢蒂尼;戴维·桑吉奥吉 三 1990 将异步并发技术应用于同步语言。 Zbl 0942.68029号 安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 2 1999 作为中断的转换:一种新的定时状态图语义。 Zbl 0942.68634号 阿德里亚诺·佩隆;安德烈亚·马吉奥洛·谢蒂尼 2 1994 交互式系统的模块化验证与生物学应用。 Zbl 1424.68091号 彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 2 2011 公平性定性路径模型的模块化验证。 Zbl 1424.92015年 彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 2 2013 在定时框架中设计和验证长时间运行的事务。 Zbl 1170.68024号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 2 2008 时间自动机中的并发性。 兹比尔1070.68073 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 2 2003 基本递归序列函数的层次结构。 Zbl 0402.03041号 法希尼,E。;Maggiolo-Schettini,A。 2 1979 SOL:定义一种语言的练习。 兹伯利0436.68014 Maggiolo-Schettini,A。;G.乌切拉。 2 1979 通过限制为分布式系统中的控制问题建模解决方案。 Zbl 0441.68021号 安德烈亚·马吉奥洛·谢蒂尼;霍斯特·韦德;乔泽夫·温科夫斯基 2 1981 因果系统中的过程。 Zbl 0892.68036号 安德烈亚·马吉奥洛·谢蒂尼;乔纳塔·马特尤奇 2 1997 收缩树自动机的类及其与收缩网格自动机的比较。 Zbl 0790.68086号 法希尼,E。;Maggiolo-Schettini,A。;桑吉奥吉,D。 2 1992 时间合作自动机的转换。 Zbl 1004.68088号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼;阿德里亚诺·佩隆 2 2001 时间自动机中的并发性。 Zbl 0999.68135号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 2 2001 具有无界数据结构的时间自动机的可达性结果。 Zbl 1214.68199号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 2 2010 马尔可夫算法合成语言。 Zbl 0345.02021号 格尔马诺,G。;Maggiolo-Schettini,A。 2 1976 生化途径中成分的识别:广泛应用于SBML模型。 Zbl 1332.92018年 乔瓦尼·帕迪尼;保罗·米拉佐;安德烈亚·马吉奥洛·谢蒂尼 2 2014 结构转换过程。 Zbl 0488.68040号 安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温科夫斯基 2 1982 使用通信分层时间自动机对长时间运行的事务进行建模。 Zbl 1461.68136号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 2 2006 关于同步部件系统中模块化验证的条件。 Zbl 1279.68204号 彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 2 2012 定时Petri网的合成语义。 Zbl 0697.68062号 安德烈亚·马吉奥洛·谢蒂尼;约泽夫·温科夫斯基 2 1990 可导关系的代数表征。 Zbl 0383.68011号 安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温科夫斯基 1 1978 结构中的过程。 Zbl 0443.68079号 安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温科夫斯基 1 1979 描述蛋白质相互作用的形式主义。在Jerzy Tiuryn 60岁生日之际致敬他。 Zbl 1214.68183号 罗伯托·巴布蒂;马里亚纽拉州Dezani-Ciancaglini;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 1 2010 用于编程重写(超)图的内核语言。 Zbl 0849.68072号 安德烈亚·马吉奥洛·谢蒂尼;约泽夫·温科夫斯基 1 1996 具有单调活动的时间自动机。 Zbl 0996.68100号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼 1 2000 以生成和接受模式工作的膜系统:表现力和编码。 Zbl 1259.68053号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 1 2010 多级安全组件的自动隐蔽通道分析。 兹比尔1109.68470 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼;安吉洛·特洛伊娜;恩里科·特隆西 1 2004 通信分层机器的结构模型检查。 Zbl 1096.68092号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 1 2004 动态分层机器。 Zbl 1111.68061号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 1 2003 递归结构简化。 Zbl 0311.68030号 斯特朗,H.R.六月。;Maggiolo-Schettini,A。;B.K.罗森。 1 1975 程序链接优化工作文件。 Zbl 0309.68029号 Maggiolo-Schettini,A。;B.K.罗森。;斯特朗,H.R。 1 1973 生化途径中的成分鉴定。 兹比尔1327.68163 乔瓦尼·帕迪尼;保罗·米拉佐;安德烈亚·马吉奥洛·谢蒂尼 1 2015 面向用于操作关系数据库的编程语言。 Zbl 0522.68099号 安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温科夫斯基 1 1983 网络通信的过程代数。 Zbl 0974.68138号 Damas P.格鲁斯卡。;安德烈亚·马吉奥洛·谢蒂尼 1 2001 交互式系统的模块化验证与生物学应用。 Zbl 1283.68204号 彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 1 2010 用于模拟生物系统的中间语言。 兹比尔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号 彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 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号 彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 2 2011 脉冲神经P系统的合成语义。 兹比尔1208.68123 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 8 2010 概率时间自动机的弱互模拟。 Zbl 1208.68160号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 4 2010 具有无界数据结构的时间自动机的可达性结果。 Zbl 1214.68199号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 2 2010 描述蛋白质相互作用的形式主义。在Jerzy Tiuryn 60岁生日之际致敬他。 Zbl 1214.68183号 罗伯托·巴布蒂;马里亚纽拉州Dezani-Ciancaglini;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 1 2010 以生成和接受模式工作的膜系统:表达和编码。 Zbl 1259.68053号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 1 2010 交互式系统的模块化验证与生物学应用。 Zbl 1283.68204号 彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 1 2010 循环序列的空间演算。 Zbl 1283.92024号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 5 2009 具有传输和扩散膜通道的P系统。 兹比尔1191.68315 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 4 2009 生物系统随机模拟的中间语言。 Zbl 1176.68095号 罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 三 2009 定时P自动机。 Zbl 1347.68127号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;卢卡·特塞 三 2009 P系统的组合语义和行为等价。 Zbl 1145.68033号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 11 2008 结石模拟膜中的相互模拟。 Zbl 1152.68035号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 11 2008 细胞通路建模和模拟中循环序列的随机演算。 Zbl 1241.92019 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;保罗·提贝里;安吉洛·特洛伊娜 7 2008 P系统保持逐步行为的平面形式。 Zbl 1154.68048号 罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 7 2008 在定时框架中设计和验证长时间运行的事务。 Zbl 1170.68024号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 2 2008 用于模拟生物系统的中间语言。 Zbl 1279.92030号 罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 1 2008 用于系统设计和分析的参数概率过渡系统。 Zbl 1111.68084号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 20 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 多级安全组件的自动隐蔽通道分析。 兹比尔1109.68470 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼;安吉洛·特洛伊娜;恩里科·特隆西 1 2004 通信分层机器的结构模型检查。 Zbl 1096.68092号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 1 2004 Statecharts步骤语义的比较。 兹比尔1018.68045 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 7 2003 时间自动机中的并发性。 Zbl 1070.68073号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 2 2003 动态分层机器。 Zbl 1111.68061号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 1 2003 时间合作自动机的转换。 Zbl 1004.68088号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼;阿德里亚诺·佩隆 2 2001 时间自动机中的并发性。 Zbl 0999.68135号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 2 2001 网络通信的过程代数。 Zbl 0974.68138号 Damas P.格鲁斯卡。;安德烈亚·马吉奥洛·谢蒂尼 1 2001 定时协作自动机。 Zbl 0965.68046号 拉诺特,拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 4 2000 具有单调活动的时间自动机。 Zbl 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 作为中断的转换:一种新的定时状态图语义。 兹比尔0942.68634 阿德里亚诺·佩隆;安德烈亚·马吉奥洛·谢蒂尼 2 1994 基于图重写的状态图语义。 Zbl 0768.68087号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 三 1992 走向时间行为的代数。 Zbl 0772.68037号 安德烈亚·马吉奥洛·谢蒂尼;约泽夫·温科夫斯基 三 1992 收缩树自动机的类及其与收缩网格自动机的比较。 Zbl 0790.68086号 法希尼,E。;Maggiolo-Schettini,A。;桑吉奥吉,D。 2 1992 二元脉动树自动机所接受的语言类的不可接受性准则和闭包性质。 兹比尔0725.68060 法希尼,E。;Maggiolo Schettini,A。;雷斯塔,G。;桑吉奥里,D。 5 1991 关系结构的编程派生。 兹比尔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 基本递归序列函数的层次结构。 兹比尔0402.03041 法希尼,E。;Maggiolo-Schettini,A。 2 1979 SOL:定义一种语言的练习。 兹伯利0436.68014 Maggiolo-Schettini,A。;G.乌切拉。 2 1979 结构中的过程。 Zbl 0443.68079号 安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温科夫斯基 1 1979 从结构派生结构。 Zbl 0379.68055号 哈特穆特·埃里格;汉斯·约尔格·克鲁斯基;Maggiolo-Schettini,A。;B.K.罗森。;Z.温科夫斯基。 6 1978 可导关系的代数表征。 Zbl 0383.68011号 安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温科夫斯基 1 1978 程序的递归性、序列递归性、堆栈递归性和语义。 Zbl 0339.68003号 格尔马诺,G。;Maggiolo-Schettini,A。 三 1976 马尔可夫算法合成语言。 兹比尔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。 Zbl 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 不含结论公式的算法的部分递归性和可计算性的等价性。 兹比尔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 简·德拉斯蒂克 2 里卡多·福卡尔迪 2 Max H.加森。 2 约瑟夫·阿马迪·戈根 2 B.V.古布斯基。 2 Lisa Hutschenreiter 2 约阿希姆·克莱因 2 吉恩·克里文 2 迈克尔·门德勒 2 Mizoguchi、Yoshihiro 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) 按年份列出的引文