Thierry Massart

Available identifiers

zbMath Open massart.thierry-jacquesMaRDI QIDQ434469

List of research outcomes

Publication	Date of Publication	Type
Accuracy of hygro-expansive curl predictions for paper sheets based on homogenised 2D and 3D network representations	2024-06-18	Paper
A stabilization technique for coupled convection-diffusion-reaction equations	2024-06-14	Paper
A refinement indicator for adaptive quasicontinuum approaches for structural lattices	2024-06-12	Paper
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

This page was built for person: Thierry Massart