Thierry Massart

Available identifiers

zbMath Open massart.thierry-jacquesMaRDI QIDQ434469

List of research outcomes

Publication	Date of Publication	Type
Analysis of an open foam generated from computerized tomography scans of physical foam samples	2023-11-20	Paper
A stable extended/generalized finite element method with Lagrange multipliers and explicit damage update for distributed cracking in cohesive materials	2021-10-22	Paper
Analysis of size effects associated to the transformation strain in TRIP steels with strain gradient plasticity	2021-06-21	Paper
Building a certified reduced basis for coupled thermo-hydro-mechanical systems with goal-oriented error estimation	2020-10-20	Paper
Generalized quasicontinuum modeling of metallic lattices with geometrical and material nonlinearity and variability	2020-05-28	Paper
Computational generation of open-foam representative volume elements with morphological control using distance fields	2019-11-04	Paper
An integrated approach for the conformal discretization of complex inclusion-based microstructures	2019-10-18	Paper
The complexity of synchronizing Markov decision processes	2019-05-02	Paper
Symbolic Supervisory Control of Distributed Systems With Communications	2017-05-16	Paper
Robust Synchronization in Markov Decision Processes	2014-09-15	Paper
A homogenization-based quasi-discrete method for the fracture of heterogeneous materials	2014-08-07	Paper
Limit Synchronization in Markov Decision Processes	2014-04-16	Paper
Coupled Friction and Roughness Surface Effects in Shallow Spherical Nanoindentation	2012-09-03	Paper
Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation	2012-07-10	Paper
Decentralized control of infinite systems	2011-11-08	Paper
Infinite Synchronizing Words for Probabilistic Automata	2011-08-17	Paper
A coupled two-scale computational scheme for the failure of periodic quasi-brittle thin planar shells and its application to masonry	2011-07-20	Paper
Efficient approximate verification of B and Z models via symmetry markers	2011-02-03	Paper
An enhanced multi-scale approach for masonry wall computations with localization of damage	2010-09-10	Paper
On the complexity of partial order trace model checking	2010-04-19	Paper
Strain gradient plasticity analysis of transformation-induced plasticity in multiphase steels	2009-08-31	Paper
Testing Distributed Systems Through Symbolic Model Checking	2009-03-10	Paper
Efficient Approximate Verification of Promela Models Via Symmetry Markers	2008-07-03	Paper
The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin	2005-12-13	Paper
Experimental and Efficient Algorithms	2005-11-30	Paper
Principles of Distributed Systems	2005-08-24	Paper
Mesoscopic modeling of failure and damage-induced anisotropy in brick masonry	2005-03-08	Paper
A thermodynamically motivated implicit gradient damage framework and its application to brick masonry cracking	2005-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q2763965	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2723916	2001-07-08	Paper
Equality of agent expressions is preserved under an extension of the universe of actions	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4028628	1993-03-28	Paper
An agent calculus with simple actions where the enabling and disabling are derived operators	1992-06-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thierry Massart