尼科莱塔·萨巴迪尼
埃琳娜·迪·拉沃尔 亚历山德罗·贾诺拉 马里奥·罗曼 尼科莱塔·萨巴迪尼 帕维尔·索博辛斯基0001 Span(Graph):开放转移系统的规范反馈代数。 495-520 2023 四月 22 柔和。系统。模型。 2 https://doi.org/10.1007/s10270-023-01092-7 db/journals/sosym/sosym22.html#LavoreGRSS23
亚历山德拉·切鲁比尼 尼科莱塔·萨巴迪尼 西蒙·蒂尼 意大利的理论计算机科学。 138 2021 864 西奥。计算。科学。 https://doi.org/10.1016/j.tcs.2021.03.018 db/journals/tcs/tcs864.html#CherubiniST21
埃琳娜·迪·拉沃尔 亚历山德罗·贾诺拉 马里奥·罗曼 尼科莱塔·萨巴迪尼 帕维尔·索博辛斯基0001 开放转移系统的标准代数。 63-81 2021 FACS公司 https://doi.org/10.1007/978-3-030-90636-8_4 conf/facs2/2021 db/conf/facs2/facs2021.html#LavoreGRS021
亚历山德罗·贾诺拉 斯特凡诺·卡桑吉安 德西里·曼尼卡迪 尼科莱塔·萨巴迪尼 菲利波·夏维奥 西蒙·蒂尼 CospanSpan(图形):心脏系统的组成描述。 221-237 2020 171 芬丹。信息学 1-4 https://doi.org/10.3233/FI-2020-1880 db/journals/fuin/fuin171.html#GianolaKMSST20
亚历山德罗·贾诺拉 斯特凡诺·卡桑吉安 德西里·曼尼卡迪 尼科莱塔·萨巴迪尼 西蒙·蒂尼 CospanSpan中生物系统的组成建模(图)。 61-66 2020 信息通信与通信系统 https://ceur-ws.org/Vol-2756/paper_6.pdf conf/ictcs/2020 db/conf/ictcs/ictcs2020.html#GianolaKMST20
埃琳娜·迪·拉沃尔 亚历山德罗·贾诺拉 马里奥·罗曼 尼科莱塔·萨巴迪尼 帕维尔·索博辛斯基0001 开转换系统的正则代数。 2020 abs/2010.10069 CoRR公司 https://arxiv.org/abs/2010.10069 db/journals/corr/corr2010.html#abs-2010-10069
亚历山德拉·切鲁比尼 尼科莱塔·萨巴迪尼 西蒙·蒂尼 第20届意大利理论计算机科学会议论文集,2019年ICTCS,意大利科莫,2019月9日至11日。 信息通信与通信系统 CEUR-WS.org公司 CEUR研讨会记录 2504 2019 https://ceur-ws.org/Vol-2504 https://nbn-resolution.org/urn:nbn:de:0074-2504-3 db/conf/ictcs/ictcs2019.html
尼科莱塔·萨巴迪尼 菲利波·夏维奥 罗伯特·F·C·沃尔特斯 关于状态网络的几何和代数。 144至163 2017 664 西奥。计算。科学。 https://doi.org/10.1016/j.tcs.2016.01.028 db/journals/tcs/tcs664.html#SabadiniSW17
亚历山德罗·贾诺拉 斯特凡诺·卡桑吉安 尼科莱塔·萨巴迪尼 Cospan/Span(图):开放可重构自动机网络的代数。 2:1-2:17 2017 CALCO公司 https://doi.org/10.4230/LIPIcs.CALCO.2017.2 conf/calco/2017年 db/conf/calco/calco2017.html#GianolaKS17
D.马格里亚 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 阻止的磁盘组。 53-61 2015 23 申请。分类结构。 1 https://doi.org/10.1007/s10485-013-9363-2 db/journals/acs/acs23.html#MagliaSW15
吉安卡洛·毛里 尼科莱塔·萨巴迪尼 阿尔贝托·贝尔托尼讣告(1946-2014)。 2014 113 牛市。EATCS公司 http://eatcs.org/beatcs/index.php/beatcs/article/view/287 db/journals/eatcs/eatcs113.html#MauriS14
路易斯·德·弗朗西斯科·阿尔巴西尼 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 马尔可夫过程的合成结构。 425-437 2011 19 申请。分类结构。 1 https://doi.org/10.1007/s10485-010-9233-0 db/journals/acs/acs19.html#AlbasiniSW11
路易斯·德·弗朗西斯科·阿尔巴西尼 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 马尔可夫过程的组合构造2。 117-142 2011 45 RAIRO提奥。信息学应用。 1 https://doi.org/10.1051/ita/201015 db/journals/ita/ita45.html#AlbasiniSW11
罗伯特·罗斯布鲁 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 缠结的电路 http://arxiv.org/abs/1110.0715 2011 CoRR公司 abs/1110.0715 db/journals/corr/corr1110.html#abs-110-0715
路易斯·德·弗朗西斯科·阿尔巴西尼 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 马尔可夫过程的组合结构。 91-98 2009 信息通信与通信系统 conf/ictcs/2009 db/conf/ictcs/ictcs2009.html#AlbasiniSW09 路易斯·德·弗朗西斯科·阿尔巴西尼 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 包含经典实体和量子实体的自动机代数。 263-272年 2009 conf/qpl/2009 MFPS下的QPL https://doi.org/10.1016/j.entcs.2011.01.036 https://www.wikidata.org/entity/Q113318301 db/conf/qpl/qpl2009.html#AlbasiniSW11
路易斯·德·弗朗西斯科·阿尔巴西尼 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 马尔可夫过程的组合构造 http://arxiv.org/abs/0901.2434 2009 CoRR公司 abs/0901.2434 db/journals/corr/corr0901.html#abs-0901-2434
路易斯·德·弗朗西斯科·阿尔巴西尼 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 包含经典实体和量子实体的自动机代数 http://arxiv.org/abs/0901.4754 2009 CoRR公司 abs/0901.4754 db/journals/corr/corr0901.html#abs-0901-4754
罗伯特·罗斯布鲁 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 按成分计算大肠杆菌。 581-592 2008 并发、图和模型 https://doi.org/10.1007/978-3-540-68679-8_36 conf/生日/2008蒙塔纳利 db/conf/生日/montanari2008.html#RosebrughSW08
罗伯特·罗斯布鲁 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 跨度(图)中的最小化和最小实现。 685-714 2004 14 数学。结构。计算。科学。 5 https://doi.org/10.1017/S096012950400430X db/journals/mscs/mscs14.html#RosebrughSW04
尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 层次自动机和P系统。 2003 conf/cats/2003年 https://doi.org/10.1016/S1571-0661(04)81003-X号 db/journals/entcs/entcs78.html#SabadiniW03 5-19 亚历山德拉·切鲁比尼 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 Cospan-Span模型中的计时。 81-97 2003 conf/cometa/2003 科梅塔 https://doi.org/10.1016/j.entcs.2004.08.020 db/journals/entcs/entcs104.html#CherubiniSW04 皮耶朱利奥·卡蒂斯 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 跨度(图)中的组合最小化:一些例子。 181-197 2003 conf/cometa/2003 科梅塔 https://doi.org/10.1016/j.entcs.2004.08.025 db/journals/entcs/entcs104.html#KatisSW04
皮耶朱利奥·卡蒂斯 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 反馈、跟踪和定点语义。 181-194年 2002 36 RAIRO提奥。信息学应用。 2 https://doi.org/10.1051/ita:20009 db/journals/ita/ita36.html#KatisSW02
丹妮拉·贝索齐 克劳迪奥·赞德龙 吉安卡洛·毛里 尼科莱塔·萨巴迪尼 P移动膜宝石系统。 136-153 2001 conf/ictcs/2001 信息通信与通信系统 https://doi.org/10.1007/3-540-45446-2_9 db/conf/ictcs/ictcs2001.html#BesozziZMS01 法比奥·加杜奇 皮耶朱利奥·卡蒂斯 乌戈·蒙塔纳里 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 通过Hoare-style过程演算比较cospan-span和tile。 2001 conf/tosca2/2001 TOSCA公司 https://doi.org/10.1016/S1571-0661(04)00325-1 db/journals/entcs/entcs62.html#GadducciKMSW01 157-176 皮耶朱利奥·卡蒂斯 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 IWIM模型的形式化。 267-283 https://doi.org/10.1007/3-540-45263-X_17 2000 conf/协调/2000 协调 db/conf/coordination/coordonition2000.html#KatisSW00
R.盖茨 皮耶朱利奥·卡蒂斯 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 关于具有边界的自动机 https://arxiv.org/abs/cs/0002008 2000 CoRR公司 反恐精英。DC/0002008号 db/journals/corr/corr0002.html#cs-DC-0002008
罗伯特·罗斯布鲁 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 自动机两类中的最小实现。 93-116 1998 8 数学。结构。计算。科学。 2 db/journals/mscs/mscs8.html#RosebrughSW98 http://journals.cambridge.org/action/displayAbstract?aid=44733
皮耶朱利奥·卡蒂斯 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 跨度(图):过渡系统的范畴代数。 307-321 1997 conf/amast/1997 阿马斯特 db/conf/amast/amast97.html#KatisSW97 https://doi.org/10.1007/BFb0000479 皮耶朱利奥·卡蒂斯 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 在跨度(图形)中表示位置/过渡网络。 322-336 1997 conf/amast/1997 阿马斯特 db/conf/amast/amast97.html#KatisSW97a https://doi.org/10.1007/BFb0000480
史蒂芬·L·布鲁姆 尼科莱塔·萨巴迪尼 罗伯特·F·C·沃尔特斯 矩阵、机器和行为。 343-360 1996 4 申请。分类结构。 4 https://doi.org/10.1007/BF00122683 db/journals/acs/acs4.html#BloomSW96
尼科莱塔·萨巴迪尼 塞巴斯蒂亚诺·维格纳 罗伯特·F·C·沃尔特斯 递归函数注释。 127-139 1996 6 数学。结构。计算。科学。 2 db/journals/mscs/mscs6.html#SabadiniVW96 https://doi.org/10.1017/S0960129500000918
S.杰西 乔瓦尼·皮奇奇尼 尼科莱塔·萨巴迪尼 概率异步自动机。 5-31 1996 29 数学。系统。理论 1 db/journeys/mst/mst29.html#JesiPS96 https://doi.org/10.1007/BF01201811
阿尔贝托·贝托尼 马西米利亚诺·戈德沃尔姆 吉安卡洛·毛里 尼科莱塔·萨巴迪尼 包含、等价和成员问题的计数技术。 131-163 1995 《痕迹之书》 https://doi.org/10.1142/9789814261456_0005 books/ws/95/DR1995 db/books/collections/DR1995.html#BertoniGMS95
最小异步自动机的存在性及无歧义正则跟踪语言的等价性问题 达尼洛·布鲁西 乔瓦尼·皮奇奇尼 尼科莱塔·萨巴迪尼 262-285 Inf.计算。 二月 1994 108 2 db/journals/iandc/iandc108.html#BruschiPS94 https://doi.org/10.1006/inco.1994.1010 https://www.wikidata.org/entity/Q61677539网址
尼科莱塔·萨巴迪尼 塞巴斯蒂亚诺·维格纳 罗伯特·F·C·沃尔特斯 自动机的精化概念。 325-332 1993 conf/amast/1993年 阿马斯特 db/conf/amast/amast93.html#SabadiniVW93
阿尔贝托·贝托尼 保罗·马萨扎 尼科莱塔·萨巴迪尼 完整生成函数和上下文无关语言。 181-191 1992 发现的国际期刊。计算。科学。 2 数据库/期刊/ijfcs/ijfcs3.html#BertoniMS92 https://doi.org/10.1142/S0129054192000127
保拉·博尼佐尼 吉安卡洛·毛里 乔瓦尼·皮奇奇尼 尼科莱塔·萨巴迪尼 识别标记的非循环图集。 201-224 1992 books/el/Nivat92 树自动机与语言 db/books/collections/treeauto1992.html#BonizzoniMPS92
阿尔贝托·贝托尼 马西米利亚诺·戈德沃尔姆 尼科莱塔·萨巴迪尼 在无上下文语言中计算给定长度的字符串数的复杂性。 325-342 1991 86 西奥。计算。科学。 2 db/journals/tcs/tcs86.html#BertoniGS91 https://doi.org/10.1016/0304-3975(91)90023-U
阿尔贝托·贝托尼 吉安卡洛·毛里 尼科莱塔·萨巴迪尼 正则和无上下文跟踪语言的成员问题 135-150 Inf.计算。 八月 1989 82 2 db/journals/iandc/iandc82.html#BertoniMS89 https://doi.org/10.1016/0890-5401(89)90051-5 https://www.wikidata.org/entity/Q57518713
阿尔贝托·贝托尼 尼科莱塔·萨巴迪尼 生成跟踪语言的函数。 106-112 1988 35 牛市。EATCS公司 db/journes/eats/eats35.html#BertoniS88
达尼洛·布鲁西 乔瓦尼·皮奇奇尼 尼科莱塔·萨巴迪尼 最小异步自动机的存在性和无歧义正则跟踪语言的决策问题。 334-345 1988 conf/stasts/1988 STACS公司 db/conf/stasts/stacs88.html#BruschiPS88 https://doi.org/10.1007/BFb0035857 阿尔贝托·贝托尼 马西米利亚诺·戈德沃尔姆 尼科莱塔·萨巴迪尼 计算上下文无关语言的计数函数。 169-179 1987 conf/stasts/1987 STACS公司 db/conf/stasts/stacs87.html#BertoniGS87 https://doi.org/10.1007/BFb0039604 阿尔贝托·贝托尼 马西米利亚诺·戈德沃尔姆 尼科莱塔·萨巴迪尼 跟踪语言问题的一类算法分析。 202-214 1986 conf/aaecc/1986 AAECC公司 db/conf/aaecc/aaecc1986.html#BertoniGS86 https://doi.org/10.1007/BFb0039193 阿尔贝托·贝托尼 马西米利亚诺·戈德沃尔姆 吉安卡洛·毛里 尼科莱塔·萨巴迪尼 并行算法和问题分类。 206-226 1986 conf/wopplot/1986 WOPPLOT公司 db/conf/wopplot/woppnot1986.html#BertoniGMS86 https://doi.org/10.1007/3-540-18022-2_15 阿尔贝托·贝托尼 吉安卡洛·毛里 尼科莱塔·萨巴迪尼 正则跟踪语言的等价性和隶属度问题。 61-71 1982 conf/icalp/1982 ICALP公司 db/conf/icalp/icalp82.html#BertoniMS82 https://doi.org/10.1007/BFb0012757 吉安卡洛·毛里 尼科莱塔·萨巴迪尼 算术树上的一个#P-完全问题。 308-315 1981 conf/caap/1981年 CAAP公司 db/conf/caap/caap81.html#MauriS81 https://doi.org/10.1007/3-540-10828-9_71 阿尔贝托·贝托尼 布莱姆比拉 吉安卡洛·毛里 尼科莱塔·萨巴迪尼 自由部分交换幺半群理论的应用:迹语言的渐近密度。 205-215 1981 conf/mfcs/1981 多功能控制系统 db/conf/mfcs/mfcs81.html#BertoniBMS81 https://doi.org/10.1007/3-540-10856-4_86 随机存取机器上多项式时间可计算函数类的特征 阿尔贝托·贝托尼 吉安卡洛·毛里 尼科莱塔·萨巴迪尼 168-176 conf/stoc/STOC13 1981 STOC公司 db/conf/stoc/stoc81.html#BertoniMS81 https://doi.org/10.1145/800076.802470 路易斯·德·弗朗西斯科·阿尔巴西尼 阿尔贝托·贝托尼 丹妮拉·贝索齐 史蒂芬·L·布鲁姆 保拉·博尼佐尼 布莱姆比拉 达尼洛·布鲁西 亚历山德拉·切鲁比尼 法比奥·加杜奇 R.盖茨 亚历山德罗·贾诺拉 马西米利亚诺·戈德沃尔姆 S.杰西 斯特凡诺·卡桑吉安 皮耶朱利奥·卡蒂斯 埃琳娜·迪·拉沃尔 D.马格里亚 德西里·曼尼卡迪 保罗·马萨扎 吉安卡洛·毛里 乌戈·蒙塔纳里 乔瓦尼·皮奇奇尼 马里奥·罗曼 罗伯特·罗斯布鲁 菲利波·夏维奥 帕维尔·索博辛斯基0001 西蒙·蒂尼 塞巴斯蒂亚诺·维格纳 罗伯特·F·C·沃尔特斯 克劳迪奥·赞德龙