×
作者ID: 马萨特·蒂埃里雅克“Massart,Thierry Jacques”最近发表的zbMATH文章
发布日期: 蒂埃里·马萨特;马萨特·T·J。;蒂埃里·马萨特。;T·马萨特。;蒂埃里·雅克·马萨特
编入索引的文档: 34出版物自1991年起
合著者: 37位合著者具有32份联合出版物
962合著作者

按年份列出的出版物

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名

被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位作者

按年份列出的引文