编辑配置文件（在新选项卡中打开） 阿尔贝托·莫利纳里 合著者距离 作者ID： molinaria.alberto公司 发布日期： 阿尔贝托·莫利纳里 已编制索引的文档： 32出版物自1972年起 1进一步贡献 合著者： 7合著者具有17联合出版物 412合著作者 全部的 前5名合著者 5 单作者的 17 安吉洛·蒙塔纳里 17 阿德里亚诺·佩隆 13 劳拉·博泽利 8 萨拉，彼得罗 三 迈克尔·奥尔蒂斯 1 阿尔贝里科，W.M。 1 马塞尔·贝维勒 1 阀盖-缓冲器，A.-S。 1 乔泽夫·布里拉 1 曼努埃尔·别森 1 谢尔斯基，P。 1 吕克·多米厄 1 路易·德拉戈内特。 1 尤里·恩格尔布雷希特 1 吉列尔莫·高纳德。 1 Gebauer，K。 1 耶·杰尔曼。 1 达里奥·格拉菲 1 哈多，J.B。 1 阿兰·杰弗里（Alan P.Jeffrey）。 1 近藤，吉梅多 1 沃尔特·马迪戈斯基 1 弗朗西斯科·梅纳尔迪 1 穆迪·T·布莱恩特 1 阿尼埃洛·穆拉诺 1 朱塞佩·佩雷利 1 杰罗姆·L·萨克曼。 1 斯特里克，E。 1 罗伯特·J·泰特。 1 特劳滕贝格，E.A。 1 赫伯特·乌贝拉尔 1 Jean-Daniel韦伯 1 格哈德·沃金格 1 斯特凡·扎霍尔斯基 全部的 前5名系列 三 国际固体与结构杂志 三 固体力学与物理杂志 三 信息与计算 2 力学档案 2 理论计算机科学 2 梅卡尼克杂志 1 信息学报 1 理性力学和分析档案 1 应用力学杂志 1 ZAMP公司。Zeitschrift für angewandte数学与物理 1 《梅卡尼克日报》（Journal de Mécanique Théorique et Appliquee） 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 数学研究笔记（旧金山） 全部的 前5名字段 17 计算机科学（68至XX） 16 数学逻辑和基础（03-XX） 16 可变形固体力学（74-XX） 2 统计力学，物质结构（82-XX） 1 总体主题；集合（00-XX） 1 偏微分方程（35-XX） 1 积分方程（45-XX） 1 变分法与最优控制；最优化（49-XX） 1 数值分析（65-XX） 1 流体力学（76-XX） 1 光学、电磁理论（78-XX） 1 经典热力学，传热（80-XX） 1 地球物理学（86-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物有被引用107中的次33文件 引用人▼ 年份▼ 多孔弹性材料行为的微观力学方法。 Zbl 1151.74346号 多尔米厄，L。;莫利纳里，A。;D.近藤。 27 2002 检查计算的间隔属性。 兹比尔1350.68184 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;阿德里亚诺·佩隆 21 2016 应变硬化和速率敏感性对塑性材料中孔隙动态增长的影响。 Zbl 0761.73089号 M.奥尔蒂斯。;莫利纳里，A。 16 1992 时间间隔与时间点逻辑模型检查：表达性比较。 Zbl 1391.68075号 劳拉·博泽利;阿尔贝托·莫里纳利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 11 2016 带正则表达式的区间时序逻辑HS的语法最大片段的模型检查的复杂性。 Zbl 1483.68186号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 10 2017 陶瓷材料中的微观结构热应力。 Zbl 0637.73008号 M.奥尔蒂斯。;莫利纳里，A。 9 1988 绝热剪切带的动态传播分析。 Zbl 1006.74503号 阀盖-缓冲器，A.-S。;莫利纳里，A。;利宾斯基，P。 9 2002 间隔时间逻辑模型检查：好的和坏的HS片段之间的边界。 Zbl 1475.68177号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 9 2016 一种基于轨道表示的区间时间逻辑的模型检查过程。 Zbl 1373.68289号 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 9 2015 简单滑动热粘塑性失稳（简单剪切中的热粘塑不稳定性）。 Zbl 0578.73119号 莫利纳里，A。 8 1985 绝热剪切带的集体行为和间距。 Zbl 0974.74560号 莫利纳里，A。 7 1997 同质性假设下子区间逻辑的可满足性和模型检验。 Zbl 1442.68103号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 7 2017 粘弹性介质中的波传播。1980年4月在意大利西西里岛陶尔米纳举行的欧洲机械协会第127届学术讨论会“粘弹性介质中的波传播”。 Zbl 0493.73028号 7 1982 基于轨迹表示的Halpern和Shoham区间时序逻辑片段的模型检查。 兹比尔1390.68436 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 5 2018 在多项式时间层次的低层次上对区间时序逻辑HS片段进行模型检查。 Zbl 1400.68121号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2018 时间间隔与时间点逻辑模型检查。表现力比较。 Zbl 1407.68283号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 在模型检查中，区间时序逻辑HS的哪些片段是可处理的？ Zbl 1429.68139号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 使用正则表达式对区间时序逻辑进行模型检查。 Zbl 1443.68102号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2020 对使用正则表达式检查区间时态逻辑模型的深入研究。 Zbl 1420.68120号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2017 密集时间域上基于时间线的规划的复杂性：探索中间地带。 Zbl 1528.68358号 劳拉·博泽利;阿尔贝托·莫里纳利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2018 模型检查艾伦关系的逻辑遇见和由启动是\（\mathbf{P}^{\mathbf{NP}}\）-完成的。 Zbl 1478.68148号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 4 2016 密集时间域上基于时间的规划。 Zbl 1433.68406号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;格哈德·沃金格 三 2020 非均匀热弹性材料的整体粘弹性行为。 Zbl 0618.73040号 莫利纳里，A。;M.奥尔蒂斯。 三 1987 承受压缩循环载荷的聚合物的自热和热失效。 兹比尔0900.73610 莫利纳里，A。;耶·杰尔曼。 2 1996 Onde粘弹性非线性衰减振幅。 Zbl 0426.73035号 莫利纳里，A。 1 1979 关于非均匀热弹性介质的本构关系。 Zbl 0737.73002号 布伊松，M。;莫利纳里，A。;贝维勒，M。 1 1990 齐性假设下子区间逻辑的可满足性和模型检验。 Zbl 07471713号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2022 同质性假设下子区间逻辑的可满足性和模型检验。 Zbl 07471713号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2022 使用正则表达式对区间时序逻辑进行模型检查。 Zbl 1443.68102号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2020 密集时间域上基于时间的规划。 Zbl 1433.68406号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;格哈德·沃金格 三 2020 时间间隔与时间点逻辑模型检查。表现力比较。 兹比尔1407.68283 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 在模型检查中，区间时序逻辑HS的哪些片段是可处理的？ Zbl 1429.68139号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 基于轨迹表示的Halpern和Shoham区间时序逻辑片段的模型检查。 Zbl 1390.68436号 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 5 2018 在多项式时间层次的低层次上对区间时序逻辑HS片段进行模型检查。 Zbl 1400.68121号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2018 密集时间域上基于时间线的规划的复杂性：探索中间地带。 兹比尔1528.68358 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2018 带正则表达式的区间时序逻辑HS的语法最大片段的模型检查的复杂性。 Zbl 1483.68186号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 10 2017 同质性假设下子区间逻辑的可满足性和模型检验。 Zbl 1442.68103号 劳拉·博泽利;阿尔贝托·莫里纳利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 7 2017 对使用正则表达式检查区间时态逻辑模型的深入研究。 Zbl 1420.68120号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2017 检查计算的间隔属性。 Zbl 1350.68184号 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;阿德里亚诺·佩隆 21 2016 时间间隔与时间点逻辑模型检查：表达性比较。 Zbl 1391.68075号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 11 2016 间隔时间逻辑模型检查：好的和坏的HS片段之间的边界。 Zbl 1475.68177号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 9 2016 检验艾伦关系逻辑的模型遇见和由启动是\（\mathbf{P}^{\mathbf{NP}}\）-完成的。 Zbl 1478.68148号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 4 2016 基于航迹表示的区间时序逻辑模型检验过程。 Zbl 1373.68289号 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 9 2015 多孔弹性材料行为的微观力学方法。 Zbl 1151.74346号 多尔米厄，L。;莫利纳里，A。;D.近藤。 27 2002 绝热剪切带的动态传播分析。 兹比尔1006.74503 阀盖-缓冲器，A.-S。;莫利纳里，A。;利宾斯基，P。 9 2002 绝热剪切带的集体行为和间距。 Zbl 0974.74560号 莫利纳里，A。 7 1997 承受压缩循环载荷的聚合物的自热和热失效。 Zbl 0900.73610号 莫利纳里，A。;杰曼，Y。 2 1996 应变硬化和速率敏感性对塑性材料中孔隙动态增长的影响。 Zbl 0761.73089号 M.奥尔蒂斯。;莫利纳里，A。 16 1992 关于非均匀热弹性介质的本构关系。 Zbl 0737.73002号 布伊松，M。;莫利纳里，A。;贝维勒，M。 1 1990 陶瓷材料中的微观结构热应力。 Zbl 0637.73008号 M.奥尔蒂斯。;莫利纳里，A。 9 1988 非均匀热弹性材料的整体粘弹性行为。 Zbl 0618.73040号 莫利纳里，A。;M.奥尔蒂斯。 三 1987 简单滑动热粘塑性失稳（简单剪切中的热粘塑不稳定性）。 Zbl 0578.73119号 莫利纳里，A。 8 1985 粘弹性介质中的波传播。欧洲机械学术讨论会127“粘弹性介质中的波传播”，1980年4月在意大利西西里岛陶尔米纳举行。 Zbl 0493.73028号 7 1982 Onde粘弹性非线性衰减振幅。 Zbl 0426.73035号 莫利纳里，A。 1 1979 所有引用出版物 前5名被引用出版物 全部的 前5名35位作者引用 21 安吉洛·蒙塔纳里 19 阿德里亚诺·佩隆 16 劳拉·博泽利 13 阿尔贝托·莫利纳里 10 皮埃特罗·萨拉 4 阿莱西奥·曼苏蒂 4 圭多·西亚维科 2 巴托斯·贝德纳西克 2 大卫·布雷索林 2 Stéphane P.德姆里。 2 劳尔·费尔瓦里 2 尼古拉·吉甘特 2 埃米利奥·穆尼奥斯·韦拉斯科 1 雷纳托·阿坎波拉 1 坎通纳，多梅尼科 1 恩里科·科米纳托 1 克里斯蒂亚，马克西米利亚诺 1 安德烈亚·德·多梅尼科 1 黛拉·莫妮卡，达里奥 1 萨利赫·杜尔汗 1 卢卡·盖蒂 1 西蒙·格纳尼 1 Dimitar P.Guelev。 1 皮埃特罗·毛吉里 1 安德烈亚·米凯利 1 本·C·莫斯科夫斯基。 1 阿尼埃洛·穆拉诺 1 奥莫多，尤金尼奥·乔瓦尼 1 Pelegrín，梅赛德斯 1 朱塞佩·佩雷利 1 瓦伦蒂诺·皮科蒂 1 吉安弗兰科·罗西 1 恩里科·斯卡拉 1 Stan、Ionel Eduard 1 格哈德·沃金格 全部的 前5名8篇连载文章中引用 8 信息与计算 4 ACM计算逻辑事务 三 理论计算机科学 2 人工智能 2 计算机科学中的逻辑方法 1 信息学报 1 应用非经典逻辑杂志 1 计算机基础理论 在3个字段中引用 31 计算机科学（68至XX） 26 数学逻辑和基础（03-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文