尼科莱塔·萨巴迪尼
人员信息
SPARQL查询
优化列表
2020年–今天
2023 [公元19年] 埃琳娜·迪·拉沃尔 , 亚历山德罗·贾诺拉 , 马里奥·罗曼 , 尼科莱塔·萨巴迪尼 , 帕维尔·索博辛斯基 :
Span(Graph):开放转移系统的规范反馈代数。 柔和。 系统。 模型。 22 ( 2 ) : 495-520 ( 2023 ) 2021 [公元18年] 亚历山德拉·切鲁比尼 , 尼科莱塔·萨巴迪尼 , 西蒙·蒂尼 :
意大利的理论计算机科学。 西奥。 计算。 科学。 864 : 138 ( 2021 ) 【c23】 埃琳娜·迪·拉沃雷 , 亚历山德罗·贾诺拉 , 马里奥·罗曼 , 尼科莱塔·萨巴迪尼 , 帕维尔·索博辛斯基 :
开放转移系统的标准代数。 FACS公司 2021 : 63-81 2020 [公元17年] 亚历山德罗·贾诺拉 , 斯特凡诺·卡桑吉安 , 德西里·曼尼卡迪 , 尼科莱塔·萨巴迪尼 , 菲利波·夏维奥 , 西蒙·蒂尼 :
CospanSpan(图形):心脏系统的组成描述。 芬丹。 信息学 171 ( 1-4 ) : 221-237 ( 2020 ) [公元22年] 亚历山德罗·吉安诺拉 , 斯特凡诺·卡桑吉安 , 德西里·曼尼卡迪 , 尼科莱塔·萨巴迪尼 , 西蒙·蒂尼 :
CospanSpan中生物系统的组成建模(图)。 信息通信与通信系统 2020 : 61-66 [i5] 埃琳娜·迪·拉沃尔 , 亚历山德罗·贾诺拉 , 马里奥·罗曼 , 尼科莱塔·萨巴迪尼 , 帕维尔·索博辛斯基 :
开放转移系统的标准代数。 CoRR公司 abs/2010.10069 ( 2020 )
2010 – 2019
2019 [电子1] 亚历山德拉·切鲁比尼 , 尼科莱塔·萨巴迪尼 , 西蒙·蒂尼 :
第20届意大利理论计算机科学会议论文集,2019年ICTCS,意大利科莫,2019月9日至11日。 CEUR研讨会记录 2504, CEUR-WS.org公司 2019 [目录] 2017 [公元16年] 尼科莱塔·萨巴迪尼 , 菲利波·夏维奥 , 罗伯特·F·C·沃尔特斯 :
关于状态网络的几何和代数。 西奥。 计算。 科学。 664 : 144-163 ( 2017 ) 【c21】 亚历山德罗·贾诺拉 , 斯特凡诺·卡桑吉安 , 尼科莱塔·萨巴迪尼 :
Cospan/Span(图):开放可重构自动机网络的代数。 钙 2017 : 2:1-2:17 2015 [公元15年] D.马格里亚 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
阻塞的编织组。 申请。 分类结构。 23 ( 1 ) : 53-61 ( 2015 ) 2014 [公元14年] 吉安卡洛·莫里 , 尼科莱塔·萨巴迪尼 :
阿尔贝托·贝托尼讣告(1946-2014)。 牛市。 EATCS公司 113 ( 2014 ) 2011 [j13] 路易斯·德·弗朗西斯科·阿尔巴西尼 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
马尔可夫过程的合成结构。 申请。 分类结构。 19 ( 1 ) : 425-437 ( 2011 ) [j12] 路易斯·德·弗朗西斯科·阿尔巴西尼 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
马尔可夫过程的组合构造2。 RAIRO提奥。 信息学应用。 45 ( 1 ) : 117-142 ( 2011 ) [i4] 罗伯特·罗斯布鲁 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
电路混乱。 CoRR公司 abs/1110.0715 ( 2011 )
2000 – 2009
2009 [公元20年] 路易斯·德·弗朗西斯科·阿尔巴西尼 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
马尔可夫过程的组合结构。 ICTCS公司 2009 : 91-98 [第19条] 路易斯·德·弗朗西斯科·阿尔巴西尼 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
包含经典实体和量子实体的自动机代数。 MFPS下的QPL 2009 : 263-272 [i3] 路易斯·德·弗朗西斯科·阿尔巴西尼 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
马尔可夫过程的组合结构。 CoRR公司 abs/0901.2434 ( 2009 ) [i2] 路易斯·德·弗朗西斯科·阿尔巴西尼 , 尼科莱塔·萨巴迪尼 , 罗伯特·沃尔特斯 :
自动机的代数,包括经典实体和量子实体。 CoRR公司 abs/0901.4754 ( 2009 ) 2008 [第18条] 罗伯特·罗斯布鲁 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
按成分计算大肠杆菌。 并发、图和模型 2008 : 581-592 2004 [公元11年] 罗伯特·罗斯布鲁 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
跨度(图)中的最小化和最小实现。 数学。 结构。 计算。 科学。 14 ( 5 ) : 685-714 ( 2004 ) 2003 [第17条] 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
层次自动机和P系统。 猫 2003 : 5-19 [第16条] 亚历山德拉·切鲁比尼 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
Cospan-Span模型中的计时。 科梅塔 2003 : 81-97 [第15条] 皮耶朱利奥·卡蒂斯 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
跨度(图)中的组合最小化:一些例子。 科梅塔 2003 : 181-197 2002 [公元10年] 皮耶朱利奥·卡蒂斯 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
反馈、跟踪和定点语义。 RAIRO提奥。 信息学应用。 36 ( 2 ) : 181-194 ( 2002 ) 2001 [第14条] 丹妮拉·贝索齐 , 克劳迪奥·赞德隆 , 吉安卡洛·毛里 , 尼科莱塔·萨巴迪尼 :
P移动膜宝石系统。 信息通信与通信系统 2001 : 136-153 [c13] 法比奥·加杜奇 , 皮耶朱利奥·卡蒂斯 , 乌戈·蒙塔纳里 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
通过Hoare-style过程演算比较cospan-span和tile。 TOSCA公司 2001 : 157-176 2000 [第12条] 皮耶朱利奥·卡蒂斯 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
IWIM模型的形式化。 协调 2000 : 267-283 [i1] R.盖茨 , 皮耶朱利奥·卡蒂斯 , 尼科莱塔·萨巴迪尼 , 罗伯特·沃尔特斯 :
关于带边界的自动机。 CoRR公司 反恐精英。 DC/0002008号 ( 2000 )
1990 – 1999
1998 [公元9年] 罗伯特·罗斯布鲁 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
自动机两类中的最小实现。 数学。 结构。 计算。 科学。 8 ( 2 ) : 93-116 ( 1998 ) 1997 [第11条] 皮耶朱利奥·卡蒂斯 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
跨度(图):过渡系统的范畴代数。 AMAST公司 1997 : 307-321 [第10条] 皮耶朱利奥·卡蒂斯 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
在跨度(图形)中表示位置/过渡网络。 AMAST公司 1997 : 322-336 1996 [j8] 史蒂芬·L·布鲁姆 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
矩阵、机器和行为。 申请。 分类结构。 4 ( 4 ) : 343-360 ( 1996 ) [j7] 尼科莱塔·萨巴迪尼 , 塞巴斯蒂亚诺·维格纳 , 罗伯特·F·C·沃尔特斯 :
递归函数注释。 数学。 结构。 计算。 科学。 6 ( 2 ) : 127-139 ( 1996 ) [j6] S.杰西 , 乔瓦尼·皮奇奇尼 , 尼科莱塔·萨巴迪尼 :
概率异步自动机。 数学。 系统。 理论 29 ( 1 ) : 5-31 ( 1996 ) 1995 [第2页] 阿尔贝托·贝托尼 , 马西米利亚诺·戈德沃尔姆 , 吉安卡洛·莫里 , 尼科莱塔·萨巴迪尼 :
包含、等价和成员问题的计数技术。 《痕迹之书》 1995 : 131-163 1994 [j5] 达尼洛·布鲁西 , 乔瓦尼·皮奇奇尼 , 尼科莱塔·萨巴迪尼 :
最小异步自动机的存在性和无歧义正则跟踪语言的等价性问题。 Inf.计算。 108 ( 2 ) : 262-285 ( 1994 ) 1993 【c9】 尼科莱塔·萨巴迪尼 , 塞巴斯蒂亚诺·维格纳 , 罗伯特·F·C·沃尔特斯 :
自动机的精化概念。 AMAST公司 1993 : 325-332 1992 【j4】 阿尔贝托·贝托尼 , 保罗·马萨扎 , 尼科莱塔·萨巴迪尼 :
完整生成函数和上下文无关语言。 发现的国际期刊。 计算。 科学。 三 ( 2 ) : 181-191 ( 1992 ) [第1页] 保拉·博尼佐尼 , 吉安卡洛·毛里 , 乔瓦尼·皮奇奇尼 , 尼科莱塔·萨巴迪尼 :
识别标记的非循环图集。 树自动机与语言 1992 : 201-224 1991 [j3] 阿尔贝托·贝托尼 , 马西米利亚诺·戈德沃尔姆 , 尼科莱塔·萨巴迪尼 :
在无上下文语言中计算给定长度的字符串数的复杂性。 西奥。 计算。 科学。 86 ( 2 ) : 325-342 ( 1991 )
1980 – 1989
1989 [注2] 阿尔贝托·贝托尼 , 吉安卡洛·毛里 , 尼科莱塔·萨巴迪尼 :
常规和无上下文跟踪语言的成员问题。 Inf.计算。 82 ( 2 ) : 135-150 ( 1989 ) 1988 [j1] 阿尔贝托·贝托尼 , 尼科莱塔·萨巴迪尼 :
生成跟踪语言的函数。 牛市。 EATCS公司 35 : 106-112 ( 1988 ) [c8] 达尼洛·布鲁斯基 , 乔瓦尼·皮奇奇尼 , 尼科莱塔·萨巴迪尼 :
最小异步自动机的存在性和无歧义正则跟踪语言的决策问题。 STACS公司 1988 : 334-345 1987 【c7】 阿尔贝托·贝托尼 , 马西米利亚诺·戈德沃尔姆 , 尼科莱塔·萨巴迪尼 :
计算上下文无关语言的计数函数。 STACS公司 1987 : 169-179 1986 【c6】 阿尔贝托·贝托尼 , 马西米利亚诺·戈德沃尔姆 , 尼科莱塔·萨巴迪尼 :
跟踪语言问题的一类算法分析。 AAECC公司 1986 : 202-214 【c5】 阿尔贝托·贝托尼 , 马西米利亚诺·戈德沃尔姆 , 吉安卡洛·毛里 , 尼科莱塔·萨巴迪尼 :
并行算法和问题分类。 WOPPLOT公司 1986 : 206-226 1982 【c4】 阿尔贝托·贝托尼 , 吉安卡洛·毛里 , 尼科莱塔·萨巴迪尼 :
正则跟踪语言的等价性和成员问题。 ICALP公司 1982 : 61-71 1981 【c3】 吉安卡洛·毛里 , 尼科莱塔·萨巴迪尼 :
算术树上的一个#P-完全问题。 卡亚普 1981 : 308-315 【c2】 阿尔贝托·贝托尼 , 布莱姆比拉 , 吉安卡洛·毛里 , 尼科莱塔·萨巴迪尼 :
自由部分交换幺半群理论的应用:迹语言的渐近密度。 MFCS公司 1981 : 205-215 【c1】 阿尔贝托·贝托尼 , 吉安卡洛·毛里 , 尼科莱塔·萨巴迪尼 :
随机存取机器上多项式时间可计算函数类的特征。 STOC公司 1981 : 168-176