The following pages link to Thierry Massart (Q434469):
Displayed 35 items.
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (Q434470) (← links)
- Efficient approximate verification of B and Z models via symmetry markers (Q622591) (← links)
- Decentralized control of infinite systems (Q645050) (← links)
- (Q704574) (redirect page) (← links)
- A thermodynamically motivated implicit gradient damage framework and its application to brick masonry cracking (Q704575) (← links)
- Strain gradient plasticity analysis of transformation-induced plasticity in multiphase steels (Q835916) (← links)
- On the complexity of partial order trace model checking (Q963347) (← links)
- (Q1183472) (redirect page) (← links)
- An agent calculus with simple actions where the enabling and disabling are derived operators (Q1183473) (← links)
- The complexity of synchronizing Markov decision processes (Q1740670) (← links)
- Mesoscopic modeling of failure and damage-induced anisotropy in brick masonry (Q1767574) (← links)
- Analysis of size effects associated to the transformation strain in TRIP steels with strain gradient plasticity (Q2034260) (← links)
- Generalized quasicontinuum modeling of metallic lattices with geometrical and material nonlinearity and variability (Q2184424) (← links)
- Building a certified reduced basis for coupled thermo-hydro-mechanical systems with goal-oriented error estimation (Q2205166) (← links)
- A stable extended/generalized finite element method with Lagrange multipliers and explicit damage update for distributed cracking in cohesive materials (Q2236130) (← links)
- An integrated approach for the conformal discretization of complex inclusion-based microstructures (Q2329614) (← links)
- Computational generation of open-foam representative volume elements with morphological control using distance fields (Q2332500) (← links)
- Equality of agent expressions is preserved under an extension of the universe of actions (Q2366167) (← links)
- A homogenization-based quasi-discrete method for the fracture of heterogeneous materials (Q2512460) (← links)
- The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin (Q2576584) (← links)
- (Q2723916) (← links)
- (Q2763965) (← links)
- Coupled Friction and Roughness Surface Effects in Shallow Spherical Nanoindentation (Q2911808) (← links)
- Symbolic Supervisory Control of Distributed Systems With Communications (Q2983264) (← links)
- A coupled two-scale computational scheme for the failure of periodic quasi-brittle thin planar shells and its application to masonry (Q3018034) (← links)
- Infinite Synchronizing Words for Probabilistic Automata (Q3088047) (← links)
- Robust Synchronization in Markov Decision Processes (Q3190121) (← links)
- Efficient Approximate Verification of Promela Models Via Symmetry Markers (Q3510803) (← links)
- An enhanced multi-scale approach for masonry wall computations with localization of damage (Q3587762) (← links)
- Testing Distributed Systems Through Symbolic Model Checking (Q3612360) (← links)
- (Q4028628) (← links)
- Limit Synchronization in Markov Decision Processes (Q5410664) (← links)
- Principles of Distributed Systems (Q5466224) (← links)
- Experimental and Efficient Algorithms (Q5710016) (← links)
- Analysis of an open foam generated from computerized tomography scans of physical foam samples (Q6090789) (← links)