编辑配置文件（在新选项卡中打开） 阿曼多·索拉勒扎马 合著者距离 作者ID： solar-lezama.armando公司 发布日期： 阿曼多·索拉勒扎马 外部链接： MGP公司 已编制索引的文档： 7出版物自2014年起 1名编辑贡献 合著者： 22合著者具有8联合出版物 177位合作作者 全部的 前5名合著者 0 单作者的 2 高思春 2 伊娜拉、杰埃瓦娜·普利亚 2 孔顺浩 2 里沙布·辛格 2 罗希特·辛格。 1 尼科斯·阿雷奇加 1 斯瓦拉特·乔杜里 1 马丁·克鲁查德 1 Das、Subhro 1 Jyotirmoy V.德斯穆赫。 1 达纳·菲斯曼 1 内森·富尔顿 1 Hoang，Trong Nghia村 1 内森·亨特 1 詹姆斯·卡宾斯基 1 丽贝卡·克罗斯尼克 1 本杰明·勒纳。 1 萨拉·马格里亚坎 1 纳迪亚·波里卡波娃 1 邱晓康 1 尼玛·鲁希 1 徐志磊 系列 1 系统设计中的形式化方法 领域 7 计算机科学（68至XX） 2 系统论；控制（93至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用10中的次10文件 引用人▼ 年份▼ 使用平滑证明搜索桥接布尔和定量合成。 Zbl 1284.68169号 斯瓦拉特·乔杜里；马丁·克鲁查德；阿曼多·索拉勒扎马 三 2014 从可重用模板合成递归ADT转换。 Zbl 1452.68050号 伊娜拉、杰埃瓦娜·普利亚；纳迪亚·波里卡波娃；邱晓康；Benjamin S.勒纳。；阿曼多·索拉勒扎马 三 2017 存在的Delta决策程序——针对领域中的所有问题。 Zbl 1511.68252号 孔顺浩；阿曼多·索拉勒扎马；高思春 2 2018 使用模型对草图进行模块化合成。 Zbl 1428.68190号 罗希特·辛格；里沙布·辛格；徐志磊；丽贝卡·克罗斯尼克；阿曼多·索拉勒扎马 1 2014 位矢量解算器专用域CNF编码器的合成。 Zbl 1475.68439号 伊娜拉、杰埃瓦娜·普利亚；罗希特·辛格；阿曼多·索拉勒扎马 1 2016 存在的Delta决策程序——针对领域中的所有问题。 Zbl 1511.68252号 孔顺浩；阿曼多·索拉勒扎马；高思春 2 2018 从可重用模板合成递归ADT转换。 Zbl 1452.68050号 伊娜拉、杰埃瓦娜·普利亚；纳迪亚·波里卡波娃；邱晓康；本杰明·勒纳。；阿曼多·索拉勒扎马 三 2017 位矢量解算器专用域CNF编码器的合成。 Zbl 1475.68439号 伊娜拉、杰埃瓦娜·普利亚；罗希特·辛格；阿曼多·索拉勒扎马 1 2016 使用平滑证明搜索桥接布尔和定量合成。 Zbl 1284.68169号 斯瓦拉特·乔杜里；马丁·克鲁查德；阿曼多·索拉勒扎马 三 2014 使用模型对草图进行模块化合成。 Zbl 1428.68190号 罗希特·辛格；里沙布·辛格；徐志磊；丽贝卡·克罗斯尼克；阿曼多·索拉勒扎马 1 2014 所有引用的出版物 前5名被引用出版物 全部的 前5名36位作者引用 2 格里戈里·费迪尤科维奇 2 Joost-Pieter卡托恩 1 亚历山德罗·阿巴特 1 伊奥里·贝萨 1 菲律宾比格雷拉 1 拉斯蒂斯拉夫·博迪克 1 科什卡，米兰 1 陈明帅 1 亚历山德罗·西马蒂 1 卢卡斯·科迪罗 1 克里斯蒂娜·大卫 1 吉登·恩斯特 1 阿扎德法尔赞 1 阿尔贝托·格里乔 1 克里斯蒂安·亨塞尔 1 黄康静 1 伊娜拉、杰埃瓦娜·普利亚 1 艾哈迈德·伊尔凡 1 马丁·乔纳什 1 Junges，塞巴斯蒂安 1 塞缪尔·考夫曼。 1 帕斯卡·凯塞利 1 丹尼尔·科宁 1 雅各布·劳雷尔 1 萨萨·米塞洛维奇 1 维克多·尼古拉 1 伊丽莎白·波尔格林 1 邱晓康 1 马可·罗维里 1 罗伯托·塞巴斯蒂亚尼 1 罗希特·辛格。 1 阿曼多·索拉勒扎马 1 帕特里克·特伦丁 1 王秋叶 1 薛、白 1 詹乃军 4篇连载文章中引用 1 信息学报 1 信息与计算 1 计算的形式方面 1 系统设计中的形式化方法 在4个字段中引用 9 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 概率论与随机过程（60-XX） 1 系统论；控制（93至XX） 按年份列出的引文