×
作者ID: 波扎诺马尔科“Bozzano,Marco”最近发表的zbMATH文章
发布日期: 马可·波扎诺
编入索引的文档: 23出版物自2001年起
合著者: 25位合著者具有23联合出版物
309合著作者

按年份列出的出版物

zbMATH Open中包含的引文

17出版物有被引用99中的次71文件 引用人 年份
验证工业混合动力系统数学SAT. Zbl 1272.68220号
吉尔·奥德玛;马可·波扎诺;亚历山德罗·西马蒂;罗伯托·塞巴斯蒂亚尼
20
2005
通过布尔搜索进行有效的理论组合。 Zbl 1137.68578号
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米,琼蒂拉;西尔维奥·兰伊斯;彼得·范·罗苏姆;罗伯托·塞巴斯蒂亚尼
17
2006
一种用于线性算术逻辑的可满足性的增量和分层过程。 Zbl 1087.68630号
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米,琼蒂拉;彼得·范·罗苏姆;斯蒂芬·舒尔茨;罗伯托·塞巴斯蒂亚尼
10
2005
通过延迟理论组合实现有效的可满足性模理论。 Zbl 1081.68610号
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米,琼蒂拉;西尔维奥·兰伊斯;彼得·范·罗苏姆;罗伯托·塞巴斯蒂亚尼
8
2005
M(M)路径SAT:SAT和数学决策程序的紧密结合。 Zbl 1109.68101号
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米,琼蒂拉;彼得·范·罗苏姆;斯蒂芬·舒尔茨;罗伯托·塞巴斯蒂亚尼
7
2005
超出参数化验证。 Zbl 1043.68565号
马可·波扎诺;乔治·德尔扎诺
6
2002
线性逻辑程序的有效不动点语义。 Zbl 1087.68578号
马可·波扎诺;乔治·德尔扎诺;Maurizio Martelli
5
2002
无功系统的符号故障树分析。 兹比尔1141.68455
马可·波扎诺;亚历山德罗·西马蒂;弗朗西斯科·塔帕罗
5
2007
使用时间认知逻辑的异步故障检测和识别组件的形式化设计。 Zbl 1448.68289号
马可·波扎诺;亚历山德罗·西马蒂;马可·加里奥;斯特凡诺·托内塔
4
2015
一阶线性逻辑程序的有效自下而上语义。 Zbl 0987.68857号
马可·波扎诺;乔治·德尔扎诺;Maurizio Martelli
3
2001
通过缩减来机械生成反应系统的故障树。I.组合电路。 Zbl 1298.68050号
理查德·巴纳赫;马可·波扎诺
3
2013
通过缩减来机械生成反应系统的故障树。二、。时钟和反馈电路。 Zbl 1298.68051号
理查德·巴纳赫;马可·波扎诺
3
2013
对的RTL构造进行编码数学SAT:初步报告。 Zbl 1272.68230号
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;安德斯·弗朗森;齐亚德·汉娜;祖拉布·哈西达什维利;阿米特·帕尔蒂;罗伯托·塞巴斯蒂亚尼
3
2006
模型检查线性逻辑规范。 Zbl 1088.68102号
马可·波扎诺;乔治·德尔扎诺;Maurizio Martelli
2
2004
冗余架构的正式可靠性分析。 Zbl 1425.68039号
马可·波扎诺;亚历山德罗·西马蒂;克里斯蒂安·马塔雷
1
2019
通过基于合同的设计进行正式安全评估。 Zbl 1448.68174号
马可·波扎诺;亚历山德罗·西马蒂;克里斯蒂安·马塔雷;斯特凡诺·托内塔
1
2014
使用xSAP对三模块发电机进行基于模型的安全评估。 Zbl 1511.68149号
马可·波扎诺;亚历山德罗·西马蒂;马可·加里奥;大卫·琼斯;克里斯蒂安·马塔雷
1
2021
使用xSAP对三模块发电机进行基于模型的安全评估。 Zbl 1511.68149号
马可·波扎诺;亚历山德罗·西马蒂;马可·加里奥;琼斯,大卫;克里斯蒂安·马塔雷
1
2021
冗余架构的正式可靠性分析。 Zbl 1425.68039号
马可·波扎诺;亚历山德罗·西马蒂;克里斯蒂安·马塔雷
1
2019
使用时间认知逻辑的异步故障检测和识别组件的形式化设计。 Zbl 1448.68289号
马可·波扎诺;亚历山德罗·西马蒂;马可·加里奥;斯特凡诺·托内塔
4
2015
通过基于合同的设计进行正式安全评估。 Zbl 1448.68174号
马可·波扎诺;亚历山德罗·西马蒂;克里斯蒂安·马塔雷;斯特凡诺·托内塔
1
2014
通过缩减来机械生成反应系统的故障树。I.组合电路。 Zbl 1298.68050号
理查德·巴纳赫;马可·波扎诺
3
2013
通过缩减来机械生成反应系统的故障树。二、。时钟和反馈电路。 Zbl 1298.68051号
理查德·巴纳赫;马可·波扎诺
3
2013
无功系统的符号故障树分析。 兹比尔1141.68455
马可·波扎诺;亚历山德罗·西马蒂;弗朗西斯科·塔帕罗
5
2007
通过布尔搜索进行有效的理论组合。 Zbl 1137.68578号
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米,琼蒂拉;西尔维奥·兰伊斯;彼得·范·罗苏姆;罗伯托·塞巴斯蒂亚尼
17
2006
对的RTL构造进行编码数学SAT:初步报告。 Zbl 1272.68230号
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;安德斯·弗朗森;齐亚德·汉娜;苏拉布·卡西达什维利;阿米特·帕尔蒂;罗伯托·塞巴斯蒂亚尼
3
2006
验证工业混合动力系统数学SAT. Zbl 1272.68220号
吉尔·奥德玛;马可·波扎诺;亚历山德罗·西马蒂;罗伯托·塞巴斯蒂亚尼
20
2005
线性算术逻辑可满足性的增量分层过程。 Zbl 1087.68630号
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米,琼蒂拉;彼得·范·罗苏姆;斯蒂芬·舒尔茨;罗伯托·塞巴斯蒂亚尼
10
2005
通过延迟理论组合的有效可满足性模理论。 Zbl 1081.68610号
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米,琼蒂拉;西尔维奥·兰伊斯;彼得·范·罗苏姆;罗伯托·塞巴斯蒂亚尼
8
2005
M(M)路径SAT:SAT和数学决策程序的紧密结合。 Zbl 1109.68101号
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米,琼蒂拉;彼得·范·罗苏姆;斯蒂芬·舒尔茨;罗伯托·塞巴斯蒂亚尼
7
2005
模型检查线性逻辑规范。 Zbl 1088.68102号
马可·波扎诺;乔治·德尔扎诺;Maurizio Martelli
2
2004
超出参数化验证。 兹比尔1043.68565
马可·波扎诺;乔治·德尔扎诺
6
2002
线性逻辑程序的有效不动点语义。 Zbl 1087.68578号
马可·波扎诺;乔治·德尔扎诺;Maurizio Martelli
5
2002
一阶线性逻辑程序的有效自下而上语义。 Zbl 0987.68857号
马可·波扎诺;乔治·德尔扎诺;Maurizio Martelli
3
2001
全部的 前5名

117位作者引用

12 亚历山德罗·西马蒂
9 马可·波扎诺
8 罗伯托·塞巴斯蒂亚尼
6 罗伯特·布鲁托梅索
6 马丁·范策尔
5 克拉克·W·巴雷特。
5 西尔维奥·兰伊斯
4 安德烈亚斯·艾格斯
4 蒂诺州泰格
4 斯特凡诺·托内塔
3 理查德·巴纳赫
3 莱昂纳多·德·莫拉
3 乔治·德尔扎诺
3 西尔维奥·吉拉尔迪
3 阿尔贝托·格里乔
3 塞尔吉奥·莫弗
3 恩里卡·尼科里尼
3 塞萨尔·蒂内利
2 卜、雷
2 马可·加里奥
2 克里斯蒂安·赫尔德
2 德扬·约瓦诺维奇
2 汤米·A·琼蒂拉。
2 李宣东
2 克里斯蒂安·马塔雷
2 弗兰克·芬宁
2 克里斯托夫·林盖森
2 马可·罗维里
2 亚历杭德罗·桑切斯。
2 塞萨尔·桑切斯
2 帕特里克·特伦丁
2 彼得·范·罗苏姆
2 丹尼尔·祖切利
1 苏米特·贾·安纳德
1 帕罗什·阿齐兹·阿卜杜拉
1 巴哈雷赫巴德班
1 班科维奇,米兰
1 詹保罗·贝拉
1 本杰明·比特纳
1 尼古拉·S·比约纳。
1 米克尔波菲尔
1 玛丽亚·保拉(Maria Paola Bonacina)
1 乔杜里,考斯图夫
1 欧内斯特·戴维斯
1 穆纳乔·埃切宁
1 阿兰·芬克尔
1 安德斯·弗朗森
1 阿米特·戈尔
1 顾,明
1 何开多
1 霍尔格·赫尔曼斯
1 胡亚伦·J·。
1 捷斯劳·杰斯克
1 Jin,HoonSang先生
1 亚历山大·凯泽。
1 纳塔利亚·卡林尼克
1 金,Hyandeuk
1 赫莱内·基什内尔
1 丹尼尔·科宁
1 萨瓦·A·克里斯蒂。
1 斯特凡·库普弗施米德
1 拉坦·拉尔
1 马丁·兰格
1 李,李
1 小斯科特
1 Liu,Faye F。
1 刘菲
1 Maurizio Martelli
1 法比奥·马萨奇
1 安德烈亚·米凯利
1 克里斯·迈尔斯(Chris J.Myers)。
1 伊娃·玛丽亚·纳瓦罗·洛佩斯
1 Niemelä,Ilkka N.F。
1 艾娜·尼梅茨
1 罗伯特·纽文胡斯
1 阿尔伯特·奥利维拉斯
1 医学博士O'Toole。
1 米克尔帕拉西
1 帕斯莫尔,格兰特·奥尼
1 劳伦斯·查尔斯·保尔森
1 迈克尔·波普莱顿
1 帕维特拉·普拉巴卡
1 马蒂亚斯·普雷纳
1 普莱斯,格雷格
1 茨沃尼米尔·拉卡马里奇
1 安德鲁·雷诺兹
1 艾哈迈德·雷兹
1 尤西·林塔南
1 西蒙·富尔维奥·罗里尼
1 米歇尔·鲁西诺维奇
1 菲利普·施诺贝伦
1 斯蒂芬·舒尔茨
1 娜塔莎·莎莉吉娜
1 Shin、Ji-Ae
1 马赫萨·希尔穆罕默德
1 西蒙斯(Robert jun Simmons)。
1 法比奥·萨蒙齐
1 宋晓宇
1 阿伦·斯塔姆
1 约塞普·苏伊
…还有17位作者

按年份列出的引文