编辑配置文件(在新选项卡中打开) 马可·波扎诺 合著者距离 作者ID: 波扎诺马尔科 发布日期: 马可·波扎诺 编入索引的文档: 23出版物自2001年起 合著者: 25位合著者具有23联合出版物 309合著作者 全部的 前5名合著者 0 单作者的 14 亚历山德罗·西马蒂 7 乔治·德尔扎诺 6 罗伯托·塞巴斯蒂亚尼 5 罗伯特·布鲁托梅索 4 汤米·A·琼蒂拉。 4 Maurizio Martelli 4 彼得·范·罗苏姆 3 马可·加里奥 3 克里斯蒂安·马塔雷 3 斯特凡诺·托内塔 2 理查德·巴纳赫 2 西尔维奥·兰伊斯 2 斯蒂芬·舒尔茨 1 吉尔·奥德玛 1 皮耶乔治·贝尔托利 1 本杰明·比特纳 1 安德斯·弗朗森 1 阿尔贝托·格里乔 1 齐亚德·汉娜 1 马丁·乔纳什 1 苏拉布·O·卡西达什维利。 1 格雷格·金伯利 1 阿米特·帕尔蒂 1 弗朗西斯科·塔帕罗 1 维克多利亚沃扎洛娃 全部的 前5名系列 4 计算的形式方面 2 逻辑程序设计理论与实践 1 人工智能 1 符号计算杂志 1 信息与计算 1 自动推理杂志 1 计算机科学中的逻辑方法 领域 23 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 3 系统论;控制(93至XX) 3 信息与通信理论、电路(94-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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名被引用出版物 全部的 前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位作者 全部的 前5名17篇连载文章中引用 8 系统设计中的形式化方法 7 自动推理杂志 4 人工智能 4 信息与计算 4 计算的形式方面 4 数学与人工智能年鉴 3 符号计算杂志 2 信息科学 2 限制条件 2 逻辑与代数程序设计杂志 2 ACM计算逻辑事务 1 信息学报 1 理论计算机科学 1 动力系统的数学和计算机建模 1 高阶和符号计算 1 浙江大学学报。科学A 1 非线性分析。混合动力系统 全部的 前5名10个领域引用 67 计算机科学(68至XX) 14 数学逻辑和基础(03-XX) 8 系统论;控制(93至XX) 6 运筹学、数学规划(90-XX) 4 信息与通信理论、电路(94-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 数论(11-XX) 1 数值分析(65-XX) 1 粒子和系统力学(70-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文