On the complexity of partial order trace model checking

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Référence Information processing letters, 106, 3, page (120-126)
Publication Publié, 2008-04

Article révisé par les pairs

Fichier(s) déposé(s) par l'encodeur

Fichier importé d'Elsevier

Parametric solutions of coupled Thermo-Hydro-Mechanical problems in real time with Proper Generalized Decomposition
par Moaven, Arash , Massart, Thierry,Jacques , Zlotnik, Sergio
Publication 2025-04-08
Monitoring and real time risk analysis of earth dams
par Zlotnik, Sergio , Garcia Gonzalez, Alberto , Díez, Pedro , Massart, Thierry,Jacques
Publication 2025-03-15
Image-based structural kinematic limit analysis for historical masonry structures
par Hermans, Yahroun Fei , Ehab Moustafa Kamel, Karim , Debeir, Olivier , Milani, Gabriele , Massart, Thierry,Jacques
Publication 2025-04-30
Towards automated image-based cohesive zone modeling of cracking in irregular masonry
par Kamel, Karim Ehab Moustafa , Massart, Thierry,Jacques
Publication 2025-01-01
Modelling of 3D Woven Textile Reinforced Cement Composites RVEs
par Toderascu, Christian , Massart, Thierry,Jacques , Tysmans, Tine
Publication 2024-09-18

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.