编辑配置文件(在新选项卡中打开) 蒂埃里·雅克·马萨特 合著者距离 作者ID: 马萨特·蒂埃里雅克 发布日期: 蒂埃里·马萨特;马萨特·T·J。;蒂埃里·马萨特。;T·马萨特。;蒂埃里·雅克·马萨特 更多。。。较少的 编入索引的文档: 34出版物自1991年起 合著者: 37位合著者具有32份联合出版物 962合著作者 全部的 前5名合著者 2 单作者的 4 劳伦特·多恩 4 马克·格尔斯(Marc G.D.Geers)。 4 加布里埃尔·卡里恩 4 Michael Leuschel先生 4 塞德里克·梅特 4 罗恩·H·J·皮尔林(Ron H.J.Peerlings)。 4 马赫萨·希尔穆罕默德 3 彼得·Z·伯克。 3 卡里姆·埃哈布·穆斯塔法·卡梅尔 3 特里斯坦勒加尔 3 伯纳德·索农 2 布拉姆·德瓦赫特 2 亚历山大·基南 2 南达戈帕拉基林加 2 埃尔文·马尔坎德 2 马佐尼·勒杜克。 2 卢多维奇·诺尔斯 2 托马斯·帕尔登 2 劳伦特·范·贝京 1 埃里克·贝切特 1 Beex,Lars A.A。 1 圣埃芬·皮埃尔·阿兰·博尔达斯 1 博什纳奇·德拉甘 1 陈,李 1 佐尔坦·卡蒂 1 安德鲁·库里。 1 雷蒙德·魔鬼队 1 佩德罗·迪兹 1 阿拉斯泰尔·唐纳森。 1 安妮·荣格 1 伊吉·拉里昂 1 克利斯朵夫·勒布朗 1 埃尔夫·马尔坎德 1 北卡罗来纳州墨卡托利斯。 1 尼古拉斯·莫尔斯 1 布拉姆·瓦希特 1 塞尔吉奥·兹洛特尼克 全部的 前5名系列 4 计算力学 3 应用力学与工程中的计算机方法 3 国际工程数值方法杂志 3 欧洲力学杂志。A.固体 2 信息处理信件 2 计算的形式方面 2 离散事件动态系统 1 国际固体与结构杂志 1 IEEE自动控制汇刊 1 计算机与系统科学杂志 1 数学与人工智能年鉴 全部的 前5名领域 17 计算机科学(68至XX) 15 可变形固体力学(74-XX) 5 系统论;控制(93至XX) 2 数值分析(65-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 数学逻辑和基础(03-XX) 1 统计学(62-XX) 1 流体力学(76-XX) 1 统计力学,物质结构(82-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 28出版物有被引用175中的次143文件 引用人▼ 年份▼ 一种改进的多尺度方法,用于砌体墙的损伤定位计算。 Zbl 1194.74283号 马萨特·T·J。;皮尔林,R.H.J。;Geers,M.G.D.博士。 41 2007 一种热力学驱动的隐式梯度损伤框架及其在砖砌体开裂中的应用。 Zbl 1060.74508号 皮尔林,R.H.J。;马萨特·T·J。;Geers,M.G.D.博士。 29 2004 周期性准脆性平面薄壳破坏的耦合双尺度计算格式及其在砌体中的应用。 兹比尔1217.74104 北卡罗来纳州墨卡托利斯。;马萨特·T·J。 15 2011 砖砌体破坏和损伤诱导各向异性的细观模拟。 Zbl 1058.74627号 马萨特·T·J。;皮尔林,R.H.J。;Geers,M.G.D.博士。 12 2004 如何通过细化使CSP的FDR自旋LTL模型检查。 Zbl 0977.68672号 Michael Leuschel先生;蒂埃里·马萨特;安德鲁·柯里 12 2001 通过抽象解释和程序专业化进行无限状态模型检查。 Zbl 0964.68086号 Michael Leuschel先生;蒂埃里·马萨特 8 2000 使用距离场和水平集生成复杂多孔材料代表性体积元素的高级方法。 Zbl 1329.74194号 B.索农。;弗朗索瓦,B。;马萨特·T·J。 6 2015 多相钢相变诱导塑性的应变梯度塑性分析。 Zbl 1173.74006号 马佐尼·勒杜克。;T·帕尔登。;马萨特·T·J。 6 2008 同步马尔可夫决策过程的复杂性。 Zbl 1421.68099号 劳伦特·多恩;蒂埃里·马萨特;马赫萨·希尔穆罕默德 5 2019 马尔可夫决策过程中的极限同步。 Zbl 1405.68228号 劳伦特·多恩;蒂埃里·马萨特;马赫萨·希尔穆罕默德 5 2014 概率自动机的无限同步字。 Zbl 1343.68136号 劳伦特·多恩;蒂埃里·马萨特;马赫萨·希尔穆罕默德 5 2011 基于复杂夹杂物的微结构保形离散化的集成方法。 Zbl 1464.74139号 埃哈布·穆斯塔法·卡梅尔,卡里姆;伯纳德·索农;蒂埃里·雅克·马萨特 4 2019 通过对称标记对Promela模型进行有效的近似验证。 Zbl 1141.68453号 博什纳奇·德拉甘;阿拉斯泰尔·唐纳森。;Michael Leuschel先生;蒂埃里·马萨特 4 2007 用面向目标的误差估计为耦合热-水-机械系统建立经认证的简化基础。 兹比尔1466.74026 伊吉·拉里昂;塞尔吉奥·兹洛特尼克;蒂埃里·马萨特。;佩德罗·迪兹 3 2020 具有几何和材料非线性和可变性的金属晶格的广义准连续模型。 Zbl 1442.74147号 陈,李;Beex,Lars A.A。;彼得·Z·伯克。;蒂埃里·马萨特。;圣菲省博尔达斯。 2 2020 马尔可夫决策过程中的鲁棒同步。 Zbl 1417.68140号 劳伦特·多恩;蒂埃里·马萨特;马赫萨·希尔穆罕默德 2 2014 无限系统的分散控制。 Zbl 1226.93013号 加布里埃尔·卡里恩;特里斯坦勒加尔;埃尔文·马尔坎德;蒂埃里·马萨特 2 2011 粘性材料中分布裂纹的稳定扩展/广义有限元方法,具有拉格朗日乘子和显式损伤更新。 Zbl 1506.74396号 佐尔坦·萨蒂;尼古拉斯·莫尔斯;蒂埃里·马萨特。 2 2020 部分观测下无限过渡系统的符号监督控制。 Zbl 1242.93074号 加布里埃尔·卡里恩;特里斯坦勒加尔;埃尔文·马尔坎德;蒂埃里·马萨特 2 2012 通过符号模型检查测试分布式系统。 Zbl 1215.68042号 加布里埃尔·卡里恩;蒂埃里·马萨特;塞德里克·梅特;劳伦特·范·贝京 2 2007 定义LOTOS规范的正确转换的演算。 Zbl 0766.68096号 T·马萨特。 1 1992 dSL:工业控制系统的自动代码分发环境。 Zbl 1078.68581号 布拉姆·瓦希特;蒂埃里·马萨特;塞德里克·梅特 1 2004 代理表达式的相等性在操作范围的扩展下保持不变。 兹比尔0781.68056 T·马萨特。;Devillers,R。 1 1993 使用距离场进行形态控制的开放式泡沫代表性体积元素的计算生成。 Zbl 1473.74032号 北乔治亚州Kilingar。;Ehab Moustafa Kamel,K。;B.索农。;马萨特·T·J。;诺尔斯,L。 1 2019 分布式通信系统的符号监督控制。 Zbl 1360.93425号 加布里埃尔·卡里恩;特里斯坦勒加尔;埃尔夫·马尔坎德;蒂埃里·马萨特 1 2014 带有({\textd}\text{SL})和spin的分布式控制器的形式化设计。 1080.68600兹罗提 布拉姆·德瓦赫特;亚历山大·基南;蒂埃里·马萨特;塞德里克·梅特 1 2005 通过对称标记对B和Z模型进行有效的近似验证。 Zbl 1209.68127号 Michael Leuschel先生;蒂埃里·马萨特 1 2010 浅球面纳米压痕中的摩擦和粗糙表面耦合效应。 Zbl 1273.74351号 P.伯克。;马萨特·T·J。 1 2011 用面向目标的误差估计为耦合热-水-机械系统建立经认证的简化基础。 Zbl 1466.74026号 伊吉·拉里昂;塞尔吉奥·兹洛特尼克;蒂埃里·马萨特。;佩德罗·迪兹 3 2020 具有几何和材料非线性和可变性的金属晶格的广义准连续模型。 Zbl 1442.74147号 陈,李;Beex,Lars A.A。;彼得·Z·伯克。;蒂埃里·马萨特。;圣菲省博尔达斯。 2 2020 粘性材料中分布裂纹的稳定扩展/广义有限元方法,具有拉格朗日乘子和显式损伤更新。 Zbl 1506.74396号 佐尔坦·萨蒂;尼古拉斯·莫尔斯;蒂埃里·马萨特。 2 2020 同步马尔可夫决策过程的复杂性。 Zbl 1421.68099号 劳伦特·多恩;蒂埃里·马萨特;马赫萨·希尔穆罕默德 5 2019 基于复杂夹杂物的微观结构保形离散化的集成方法。 Zbl 1464.74139号 卡里姆·埃哈布·穆斯塔法·卡梅尔;伯纳德·索农;蒂埃里·雅克·马萨特 4 2019 使用距离场进行形态控制的开放式泡沫代表性体积元素的计算生成。 兹比尔1473.74032 基林加,N.G。;Ehab Moustafa Kamel,K。;B.索农。;马萨特·T·J。;诺埃尔。 1 2019 使用距离场和水平集生成复杂多孔材料代表性体积元素的高级方法。 Zbl 1329.74194号 B.索农。;弗朗索瓦,B。;马萨特·T·J。 6 2015 马尔可夫决策过程中的极限同步。 Zbl 1405.68228号 劳伦特·多恩;蒂埃里·马萨特;马赫萨·希尔穆罕默德 5 2014 马尔可夫决策过程中的鲁棒同步。 Zbl 1417.68140号 劳伦特·多恩;蒂埃里·马萨特;马赫萨·希尔穆罕默德 2 2014 具有通信功能的分布式系统的符号监控。 Zbl 1360.93425号 加布里埃尔·卡里恩;特里斯坦勒加尔;埃尔夫·马尔坎德;蒂埃里·马萨特 1 2014 部分观测下无限过渡系统的符号监督控制。 Zbl 1242.93074号 加布里埃尔·卡里恩;特里斯坦勒加尔;埃尔文·马尔坎德;蒂埃里·马萨特 2 2012 周期性准脆性平面薄壳破坏的耦合双尺度计算格式及其在砌体中的应用。 Zbl 1217.74104号 北卡罗来纳州墨卡托利斯。;马萨特·T·J。 15 2011 概率自动机的无限同步字。 Zbl 1343.68136号 劳伦特·多恩;蒂埃里·马萨特;马赫萨·希尔穆罕默德 5 2011 无限系统的分散控制。 Zbl 1226.93013号 加布里埃尔·卡里恩;特里斯坦勒加尔;埃尔文·马尔坎德;蒂埃里·马萨特 2 2011 浅球面纳米压痕中的摩擦和粗糙表面耦合效应。 Zbl 1273.74351号 P.伯克。;马萨特·T·J。 1 2011 通过对称标记对B和Z模型进行有效的近似验证。 Zbl 1209.68127号 Michael Leuschel先生;蒂埃里·马萨特 1 2010 多相钢相变诱发塑性的应变梯度塑性分析。 Zbl 1173.74006号 马佐尼·勒杜克。;T·帕尔登。;马萨特·T·J。 6 2008 一种用于砌体墙计算的增强多尺度方法,具有损伤定位功能。 Zbl 1194.74283号 马萨特·T·J。;皮尔林,R.H.J。;Geers,M.G.D.博士。 41 2007 通过对称标记对Promela模型进行有效的近似验证。 Zbl 1141.68453号 博什纳奇·德拉甘;阿拉斯泰尔·唐纳森。;Michael Leuschel先生;蒂埃里·马萨特 4 2007 通过符号模型检查测试分布式系统。 Zbl 1215.68042号 加布里埃尔·卡里恩;蒂埃里·马萨特;塞德里克·梅特;劳伦特·范·贝京 2 2007 带有({\textd}\text{SL})和spin的分布式控制器的形式化设计。 1080.68600兹罗提 布拉姆·德瓦赫特;亚历山大·基南;蒂埃里·马萨特;塞德里克·梅特 1 2005 热力学驱动的隐式梯度损伤框架及其在砖砌体开裂中的应用。 Zbl 1060.74508号 皮尔林,R.H.J。;马萨特·T·J。;Geers,M.G.D.博士。 29 2004 砖砌体破坏和损伤诱导各向异性的细观模拟。 Zbl 1058.74627号 马萨特·T·J。;皮尔林,R.H.J。;Geers,M.G.D.博士。 12 2004 dSL:工业控制系统的自动代码分发环境。 Zbl 1078.68581号 布拉姆·瓦希特;蒂埃里·马萨特;塞德里克·梅特 1 2004 如何通过细化使CSP的FDR自旋LTL模型检查。 Zbl 0977.68672号 Michael Leuschel先生;蒂埃里·马萨特;安德鲁·柯里 12 2001 通过抽象解释和程序专业化进行无限状态模型检查。 Zbl 0964.68086号 Michael Leuschel先生;蒂埃里·马萨特 8 2000 代理表达式的相等性在操作范围的扩展下保持不变。 Zbl 0781.68056号 马萨特,T。;Devillers,R。 1 1993 定义LOTOS规范的正确转换的演算。 Zbl 0766.68096号 T·马萨特。 1 1992 所有引用出版物 前5名被引用出版物 全部的 前5名被301位作者引用 13 蒂埃里·雅克·马萨特 8 马克·格尔斯(Marc G.D.Geers)。 8 斯洛伊斯,兰贝特斯·约翰内斯 6 卢多维奇·诺尔斯 5 Lloberas-Valls,猎户座 4 Varvara G.库兹涅佐娃。 4 Michael Leuschel先生 4 基督教弥赫 4 佩拉,卢卡 4 Martijn Stroeven先生 3 法迪·阿尔达克海尔 3 卡里姆·埃哈布·穆斯塔法·卡梅尔 3 塞缪尔·福雷斯特 3 约翰·加拉赫(John P.Gallagher)。 3 阮、永福 3 罗恩·H·J·皮尔林(Ron H.J.Peerlings)。 3 埃利奥·萨科 3 安吉洛·西蒙 3 吴玲 3 泽曼,简 2 丹妮拉·艾迪斯 2 奥兹古尔,阿斯兰 2 Ted Bohdan Belytschko 2 纳塔莉·伯特兰 2 菲利波·邦奇 2 博斯科,E。 2 布雷克尔曼斯,W.A.M。 2 吉多·卡马塔 2 米盖尔·塞维拉 2 科宁,E.W.C。 2 约翰·德里克 2 劳伦特·多恩 2 法比奥·菲奥拉万蒂 2 巴萨姆·A·伊扎丁。 2 加布里埃尔·卡里恩 2 南达戈帕拉基林加 2 萨钦·库马尔 2 斯特凡·Löhnert 2 保罗·B·卢伦索。 2 洛伦佐·马科里尼 2 塞德里克·梅特 2 加布里埃尔·米拉尼 2 米什拉,B.K。 2 桑塔努S.穆莱。 2 塞尔吉奥·奥勒 2 托马斯·帕尔登 2 马西莫·佩塔卡 2 阿尔贝托·佩特罗西 2 卡斯特伦泽Polizzotto 2 毛里齐奥·普罗埃蒂 2 丹尼尔·里克森。 2 佩雷·罗卡 2 里卡多·罗西 2 贾库布·鲁西尔 2 萨卡,苏布拉托 2 马赫萨·希尔穆罕默德 2 亚历山德拉·席尔瓦 2 辛格,因陀罗·维 2 格雷姆·史密斯 2 安娜·索科洛娃 2 宋正勋 2 伯纳德·索农 2 恩里科·斯帕科内 2 安东尼奥·特雷利 2 劳伦特·范·贝京 1 劳伦特·亚当 1 Andrade Pires,Francisco M。 1 纵火,克洛伊 1 雷扎·阿齐兹 1 安德烈亚·巴西加卢波 1 尼基尔·巴拉吉 1 弗朗西斯科·巴拉林 1 丹尼尔·巴尔扎尼 1 古里纳斯·班达 1 丹尼尔·巴拉尔迪 1 埃里克·贝切特 1 高蒂尔·贝克尔 1 穆尼拉·贝尔卡尼 1 彼得·伯克。 1 雅克·贝松 1 凯特琳·拜尔 1 鲍里诺,吉多 1 F.鲍曼。 1 博什特詹·布兰克 1 布里托·桑塔纳,温贝托 1 布依、廷奎 1 蔡凯 1 Calleja Vázquez,胡安·曼努埃尔 1 尼古拉·卡瓦拉格利 1 安东内拉·切基 1 卢多维奇·查莫因 1 陈兆宇 1 费德里科·克鲁尼 1 马尔科·科拉托斯蒂 1 新墨西哥州科德罗。 1 崔俊之 1 伊曼纽尔·德·安吉利斯 1 里卡多·德·梅德罗斯 1 库尔特·德普罗夫特 1 尼古拉斯·迪尔森内(Nicolas Degrenne) …还有201位作者 全部的 前5名31篇连载文章中引用 34 应用力学与工程中的计算机方法 17 国际工程数值方法杂志 12 计算力学 12 欧洲力学杂志。A.固体 6 计算的形式方面 4 国际固体与结构杂志 3 国际工程科学杂志 3 信息处理信件 3 固体力学与物理杂志 2 计算物理杂志 2 计算与应用数学杂志 2 离散事件动态系统 2 应用数学建模 2 连续介质力学和热力学 2 逻辑程序设计理论与实践 2 计算机科学中的逻辑方法 1 信息学报 1 计算机与数学及其应用 1 国际控制杂志 1 国际塑性杂志 1 物理报告 1 计算机与系统科学杂志 1 麦加尼卡 1 计算机程序设计科学 1 符号计算杂志 1 信息与计算 1 数学与人工智能年鉴 1 固体数学与力学 1 工程计算方法档案 1 国际计算方法杂志 1 应用数学成绩 全部的 前5名在16个字段中引用 98 可变形固体力学(74-XX) 35 计算机科学(68至XX) 19 数值分析(65-XX) 7 数学逻辑和基础(03-XX) 5 系统论;控制(93至XX) 4 流体力学(76-XX) 2 统计力学,物质结构(82-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 范畴理论;同调代数(18-XX) 1 偏微分方程(35-XX) 1 统计学(62-XX) 1 经典热力学,传热(80-XX) 1 量子理论(81-XX) 1 地球物理学(86-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文