编辑配置文件（在新选项卡中打开） 亚历山德罗·阿曼多 合著者距离 作者ID: 阿曼多·阿莱斯桑德罗 发布日期： 亚历山德罗·阿曼多;A.阿曼多。 外部链接： ORCID公司 已编制索引的文档： 35出版物自1993年以来 9作为编辑的贡献 合著者： 50位合著者具有43联合出版物 877合著作者 全部的 前5名合著者 1 单作者的 12 西尔维奥·兰伊斯 9 卢卡·孔帕尼亚 7 恩里科Giunchilia 5 米歇尔·鲁西诺维奇 4 克劳迪奥·卡斯泰里尼 4 马可·马拉提亚 三 福斯托·金奇利亚 三 雅各布·曼托瓦尼 三 卢卡·维甘诺 2 克莱门斯·巴拉林 2 彼得·鲍姆加特纳 2 玛丽亚·保拉（Maria Paola Bonacina） 2 罗伯托·卡蓬 2 亚尼克·骑士 2 亚历山德罗·科利奥 2 Gilles Dowek 2 都铎Jebelean 2 塞巴斯蒂安·亚历山大·莫德谢姆 2 斯蒂芬·舒尔茨 2 图鲁阿尼，马蒂厄 2 劳伦·维格纳龙 1 大卫·巴尔扎罗蒂 1 D盆地。 1 David A.Basin。 1 马西莫·贝内雷切蒂 1 博伊丘特，尤汉 1 梅赫迪·布阿拉古伊 1 阿兰·邦迪 1 亚历山德罗·西马蒂 1 豪尔赫·库勒 1 贾森·加拉赫 1 保罗·汉克斯·德里尔斯玛 1 海姆，皮尔雷·科里尔 1 马西莫·伊迪尼 1 迈克尔·科尔哈斯 1 奥尔加·库什纳伦科 1 尤利亚·利勒 1 加文·洛 1 阿莱西奥·梅洛 1 保罗·佩奇亚里 1 佩西亚，费利斯 1 吉安卡洛·奎罗斯·佩莱格里诺 1 洛伦佐·普拉塔尼亚 1 塞雷娜·伊丽莎·蓬塔 1 克里斯托夫·林盖森 1 阿兰·斯梅尔 1 斯特拉图拉特，索林 1 阿曼多·塔切拉 1 大卫·冯·奥海姆 1 丹尼尔·齐尼 全部的 前5名系列 5 符号计算杂志 三 数学与人工智能年鉴 三 计算机科学课堂讲稿 三 理论计算机科学电子笔记 2 信息与计算 2 自动推理杂志 1 计算机与系统科学杂志 1 应用非经典逻辑杂志 1 通用计算机科学杂志 1 ACM计算逻辑事务 领域 44 计算机科学（68至XX） 9 总体主题；集合（00-XX） 4 数学逻辑和基础（03-XX） 三 信息与通信理论、电路（94-XX） 2 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用228中的次172文件 引用人▼ 年份▼ 用于自动验证互联网安全协议和应用程序的AVISPA工具。 Zbl 1081.68523号 A.阿曼多。;D盆地。;Y.Boichut。;Y.契瓦利埃。;康帕尼亚，L。;J.库埃拉。;Hankes Drielsma，P。;P.C.海姆。;O.库什纳伦科。;J.曼托瓦尼。;Mödersheim，S。;冯·奥海姆，D。;Rusinowitch，M。;J·圣地亚哥。;M.图鲁阿尼。;维甘诺，L。;Vigneron，L。 53 2005 可满足性过程的重写方法。 Zbl 1054.68077号 亚历山德罗·阿曼多;西尔维奥·兰伊斯;米歇尔·鲁西诺维奇 34 2003 基于重写的可满足性过程的新结果。 Zbl 1367.68243号 亚历山德罗·阿曼多;玛丽亚·保拉（Maria Paola Bonacina）;西尔维奥·兰伊斯;斯蒂芬·舒尔茨 32 2009 基于SAT的自动推理决策程序：统一的观点。 Zbl 1098.68693号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;福斯托·金奇利亚;阿曼多·塔切拉 19 2005 通过叠加统一推导决策程序。 Zbl 1005.03012号 亚历山德罗·阿曼多;西尔维奥·兰伊斯;米歇尔·鲁西诺维奇 10 2001 基于SAT的差分约束布尔组合决策过程。 Zbl 1122.68583号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 9 2005 使用SMT解算器而不是SAT解算器对软件进行有界模型检查。 Zbl 1178.68148号 亚历山德罗·阿曼多;雅各布·曼托瓦尼;洛伦佐·普拉塔尼亚 9 2006 安全协议的LTL模型检查。 Zbl 1186.68276号 亚历山德罗·阿曼多;罗伯托·卡蓬;卢卡·孔帕尼亚 7 2009 关于可满足性程序的重写方法：扩展、理论组合和实验评估。 Zbl 1171.68507号 亚历山德罗·阿曼多;玛丽亚·保拉（Maria Paola Bonacina）;西尔维奥·兰伊斯;斯蒂芬·舒尔茨 7 2005 在隐式归纳法中纳入决策程序。 Zbl 1037.68129号 亚历山德罗·阿曼多;米歇尔·鲁西诺维奇;斯特拉图拉特，索林 6 2002 自动推理。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。 Zbl 1149.68003号 6 2008 在交互式定理证明器中嵌入复杂的决策过程。 Zbl 1034.68541号 亚历山德罗·阿曼多;恩里科Giunchilia 5 1993 AVISS安全协议分析工具。 Zbl 1010.68795号 亚历山德罗·阿曼多;戴维·巴恩斯;梅赫迪·布阿拉古伊;亚尼克·骑士;卢卡·孔帕尼亚;塞巴斯蒂安·莫德谢姆;迈克尔·鲁西诺维奇;马修·图鲁阿尼;卢卡·维甘诺;劳伦·维格纳龙 三 2002 约束上下文重写。 Zbl 1039.68059号 亚历山德罗·阿曼多;西尔维奥·兰伊斯 三 2003 系统描述：RDL：重写和决策程序实验室。 兹比尔0988.68557 亚历山德罗·阿曼多;卢卡·孔帕尼亚;西尔维奥·兰伊斯 2 2001 终止约束上下文重写。 Zbl 0971.68140号 亚历山德罗·阿曼多;西尔维奥·兰伊斯 2 2000 一种用于基于SAT的安全协议模型检查的优化入侵者模型。 Zbl 1272.68047号 亚历山德罗·阿曼多;卢卡·孔帕尼亚 2 2005 决策过程的实用扩展机制：普适Presburger算法的案例研究。 Zbl 0970.68110号 亚历山德罗·阿曼多;西尔维奥·兰伊斯 2 2001 通过简化规划，自动SAT编译协议不安全问题。 Zbl 1037.68531号 亚历山德罗·阿曼多;卢卡·孔帕尼亚 2 2002 带数组的线性程序的抽象精化。 Zbl 1186.68275号 亚历山德罗·阿曼多;马西莫·贝内雷切蒂;雅各布·曼托瓦尼 2 2007 基于抽象驱动的SAT安全协议分析。 Zbl 1204.68031号 亚历山德罗·阿曼多;卢卡·孔帕尼亚 2 2004 Maple的评估过程是约束上下文重写。 Zbl 1356.68268号 亚历山德罗·阿曼多;克莱门斯·巴拉林 2 2001 TSAT公司++：可满足性模理论的开放平台。 Zbl 1272.68369号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马西莫·伊迪尼;马可·马拉提亚 2 2005 组合系统的前沿。2002年4月8日至10日，意大利圣玛格丽塔利古雷，FroCos 2002，第四届国际研讨会。诉讼程序。 Zbl 0990.00065号 1 2002 基于KQML和OMRS的数学服务通信协议。 Zbl 0986.68003号 亚历山德罗·阿曼多;迈克尔·科尔哈斯;西尔维奥·兰伊斯 1 2001 通过逻辑代理体系结构连接计算机代数和演绎系统。 Zbl 1017.68167号 亚历山德罗·阿曼多;丹尼尔·齐尼 1 2001 将协议不安全问题自动编译为逻辑编程。 Zbl 1111.68376号 亚历山德罗·阿曼多;卢卡·孔帕尼亚;尤利亚·利勒 1 2004 通过约束上下文重写重构和扩展Maple的假设功能。 Zbl 1126.68098号 亚历山德罗·阿曼多;克莱门斯·巴拉林 1 2005 基于SAT的分离逻辑方法。 Zbl 1109.68108号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 1 2005 一种基于操作的方法，用于在授权约束下对业务流程进行正式规范和自动分析。 Zbl 1238.68157号 亚历山德罗·阿曼多;恩里科Giunchilia;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 1 2012 一种基于操作的方法，用于在授权约束下对业务流程进行正式规范和自动分析。 Zbl 1238.68157号 亚历山德罗·阿曼多;恩里科Giunchilia;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 1 2012 基于重写的可满足性过程的新结果。 Zbl 1367.68243号 亚历山德罗·阿曼多;玛丽亚·保拉（Maria Paola Bonacina）;西尔维奥·兰伊斯;斯蒂芬·舒尔茨 32 2009 安全协议的LTL模型检查。 Zbl 1186.68276号 亚历山德罗·阿曼多;罗伯托·卡博尼;卢卡·孔帕尼亚 7 2009 自动推理。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。 Zbl 1149.68003号 6 2008 带数组的线性程序的抽象精化。 Zbl 1186.68275号 亚历山德罗·阿曼多;马西莫·贝内雷切蒂;雅各布·曼托瓦尼 2 2007 使用SMT解算器而不是SAT解算器对软件进行有界模型检查。 Zbl 1178.68148号 亚历山德罗·阿曼多;雅各布·曼托瓦尼;洛伦佐·普拉塔尼亚 9 2006 用于自动验证互联网安全协议和应用程序的AVISPA工具。 兹比尔1081.68523 A.阿曼多。;D盆地。;Y.Boichut。;Y.契瓦利埃。;康帕尼亚，L。;J.库埃拉。;Hankes Drielsma，P。;P.C.海姆。;O.库什纳伦科。;J.曼托瓦尼。;Mödersheim，S。;冯·奥海姆，D。;Rusinovitch，M。;J·圣地亚哥。;M.图鲁阿尼。;维甘诺，L。;维格纳龙，L。 53 2005 基于SAT的自动推理决策程序：统一的观点。 Zbl 1098.68693号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;福斯托·金奇利亚;阿曼多·塔切拉 19 2005 基于SAT的差分约束布尔组合决策过程。 Zbl 1122.68583号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 9 2005 关于可满足性程序的重写方法：扩展、理论组合和实验评估。 Zbl 1171.68507号 亚历山德罗·阿曼多;玛丽亚·保拉（Maria Paola Bonacina）;西尔维奥·兰伊斯;斯蒂芬·舒尔茨 7 2005 一种用于基于SAT的安全协议模型检查的优化入侵者模型。 Zbl 1272.68047号 亚历山德罗·阿曼多;卢卡·孔帕尼亚 2 2005 TSAT公司++：可满足性模理论的开放平台。 Zbl 1272.68369号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马西莫·伊迪尼;马可·马拉提亚 2 2005 通过约束上下文重写重构和扩展Maple的假设功能。 Zbl 1126.68098号 亚历山德罗·阿曼多;克莱门斯·巴拉林 1 2005 基于SAT的分离逻辑方法。 Zbl 1109.68108号 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 1 2005 基于抽象驱动SAT的安全协议分析。 Zbl 1204.68031号 亚历山德罗·阿曼多;卢卡·孔帕尼亚 2 2004 将协议不安全问题自动编译为逻辑编程。 Zbl 1111.68376号 亚历山德罗·阿曼多;孔帕尼亚，卢卡;尤利亚·利勒 1 2004 可满足性过程的重写方法。 Zbl 1054.68077号 亚历山德罗·阿曼多;西尔维奥·兰伊斯;米歇尔·鲁西诺维奇 34 2003 约束上下文重写。 Zbl 1039.68059号 亚历山德罗·阿曼多;西尔维奥·兰伊斯 三 2003 在隐式归纳法中纳入决策程序。 Zbl 1037.68129号 亚历山德罗·阿曼多;米歇尔·鲁西诺维奇;斯特拉图拉特，索林 6 2002 AVISS安全协议分析工具。 Zbl 1010.68795号 亚历山德罗·阿曼多;戴维·巴恩斯;梅赫迪·布阿拉古伊;亚尼克·骑士;卢卡·孔帕尼亚;塞巴斯蒂安·莫德谢姆;迈克尔·鲁西诺维奇;马修·图鲁阿尼;卢卡·维甘诺;劳伦·维格纳龙 三 2002 通过简化规划，自动SAT编译协议不安全问题。 Zbl 1037.68531号 亚历山德罗·阿曼多;卢卡·孔帕尼亚 2 2002 组合系统的前沿。2002年4月8日至10日，意大利圣玛格丽塔利古雷，FroCos 2002，第四届国际研讨会。诉讼程序。 Zbl 0990.00065号 1 2002 通过叠加统一推导决策程序。 Zbl 1005.03012号 亚历山德罗·阿曼多;西尔维奥·兰伊斯;米歇尔·鲁西诺维奇 10 2001 系统描述：RDL：重写和决策程序实验室。 兹比尔0988.68557 亚历山德罗·阿曼多;卢卡·孔帕尼亚;西尔维奥·兰伊斯 2 2001 决策过程的实用扩展机制：普适Presburger算法的案例研究。 Zbl 0970.68110号 亚历山德罗·阿曼多;西尔维奥·兰伊斯 2 2001 Maple作为约束上下文重写的评估过程。 Zbl 1356.68268号 亚历山德罗·阿曼多;克莱门斯·巴拉林 2 2001 基于KQML和OMRS的数学服务通信协议。 Zbl 0986.68003号 亚历山德罗·阿曼多;迈克尔·科尔哈斯;西尔维奥·兰伊斯 1 2001 通过逻辑代理体系结构连接计算机代数和演绎系统。 Zbl 1017.68167号 亚历山德罗·阿曼多;丹尼尔·齐尼 1 2001 终止约束上下文重写。 Zbl 0971.68140号 亚历山德罗·阿曼多;西尔维奥·兰伊斯 2 2000 在交互式定理证明器中嵌入复杂的决策过程。 兹比尔1034.68541 亚历山德罗·阿曼多;恩里科Giunchilia 5 1993 所有引用出版物 前5名被引用出版物 全部的 前5名286位作者引用 13 克里斯托夫·林盖森 11 玛丽亚·保拉（Maria Paola Bonacina） 11 斯特凡尼德劳恩 10 西尔维奥·兰伊斯 9 米歇尔·鲁西诺维奇 8 亚历山德罗·阿曼多 8 维罗尼克·科尔蒂尔 6 穆纳乔·埃切宁 6 克里斯托夫·韦登巴赫 5 帕斯卡尔·方丹 5 西尔维奥·吉拉尔迪 5 史蒂夫·克莱默 5 罗伯托·塞巴斯蒂亚尼 4 克拉克·W·巴雷特。 4 David A.Basin。 4 克雷默斯，Cas J.F。 4 莱昂纳多·德·莫拉 4 恩里科Giunchilia 4 恩里卡·尼科里尼 4 斯特拉图拉特，索林 4 德坎·特兰 三 马可·波扎诺 三 罗伯特·布鲁托梅索 三 文森特·雪瓦尔 三 亚尼克·骑士 三 Paula Chocron 三 亚历山德罗·西马蒂 三 福斯托·金奇利亚 三 马可·马拉提亚 三 凯瑟琳·梅多斯。 三 何塞·梅塞盖尔·瓜伊塔 三 尼古拉斯·佩尔蒂埃 三 塞萨尔·蒂内利 三 约瑟夫·乌尔班 三 卢卡·维甘诺 2 尼古拉斯·阿马特 2 马蒂尔德·阿尔诺 2 毛里西奥·阿亚拉·林科恩 2 伯纳德·伯托米厄 2 卡洛斯·卡莱罗 2 伊利亚诺·塞维萨托 2 瑟·特凡·乔巴赫 2 卢卡·孔帕尼亚 2 达尔·齐利奥（Dal Zilio，Silvano） 2 玛丽贝尔·费尔南德斯 2 托马斯·杰奈特 2 海姆，皮尔雷·科里尔 2 亚伦·D·贾加德。 2 穆阿·约翰逊 2 汤米·A·琼蒂拉。 2 塞萨里·卡利西克 2 迪帕克·卡普尔 2 奥尔加·库什纳伦科 2 叶夫根·克鲁格洛夫（Evgeni Kruglov）ĭ瓦伦蒂诺维奇（Valentinovich） 2 帕斯卡·拉福卡德 2 简·兰格 2 克里斯托弗·林奇（Christopher A.Lynch）。 2 绍克·莫 2 塞巴斯蒂安·亚历山大·莫德谢姆 2 迈克尔·D·莫菲特。 2 罗伯特·纽文胡斯 2 卢卡·普利纳 2 萨沙拉多米罗维奇 2 拉尔夫·萨西 2 安德烈·斯克洛夫 2 盛英 2 斯蒂芬·斯基里克 2 维奥里卡Sofrone-Stokkerman 2 阿伦·斯塔姆 2 蔡乔凯 2 彼得·范·罗苏姆 2 安德烈·沃伦科夫 2 尤尼·佐哈尔 1 加博尔·阿拉吉 1 弗朗西斯科·阿尔贝蒂 1 贾马尔·阿希亚菲 1 恩斯特·奥尔特豪斯 1 阿南塔拉曼，湿婆 1 苏珊娜·安多瓦 1 迈托·阿拉皮尼斯 1 维亨·阿萨克 1 巴别尔，库沙尔 1 迈克尔·巴克斯 1 巴哈雷赫巴德班 1 大卫·巴尔德 1 克莱门斯·巴拉林 1 迈克尔·比森。 1 弗朗西斯科·贝拉迪内利 1 詹保罗·贝拉 1 本·拉杰布，纳吉斯 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 穆赫贝丁·贝里玛 1 克拉拉·贝托利西 1 卡尔蒂基扬·巴尔干 1 阿比舍克省比什哈瓦特 1 尼古拉·S·比约纳。 1 布鲁诺·布兰切特 1 博迪，恰拉 1 Böhme，萨沙 1 尤罕·博伊库特 …还有186位作者 全部的 前5名28篇连载文章中引用 23 自动推理杂志 15 信息与计算 10 符号计算杂志 8 理论计算机科学 5 人工智能 5 系统设计中的形式化方法 4 限制条件 4 程序设计中的逻辑和代数方法杂志 三 应用非经典逻辑杂志 三 数学与人工智能年鉴 2 计算机科学中的数学 2 泛逻辑 1 编程和计算机软件 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 运筹学年鉴 1 MSCS公司。计算机科学中的数学结构 1 全球优化杂志 1 塔特拉山脉数学出版物 1 组合优化期刊 1 计算机基础理论 1 萨达纳 1 计算机科学中的逻辑方法 1 形式化推理杂志 1 RAIRO公司。理论信息学及其应用 1 对称 1 应用数学与计算力学杂志 全部的 前5名10个领域引用 155 计算机科学（68至XX） 45 数学逻辑和基础（03-XX） 44 信息与通信理论、电路（94-XX） 5 运筹学、数学规划（90-XX） 三 范畴理论；同调代数（18-XX） 2 历史和传记（01-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 1 群论与推广（20-XX） 1 系统论；控制（93至XX） 按年份列出的引文