Equality of agent expressions is preserved under an extension of the universe of actions

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

Référence Formal aspects of computing, 5, 1, page (79-88)
Publication Publié, 1993-01

Article révisé par les pairs

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

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
Greybox Learning of Languages Recognizable by Event-Recording Automata
par Majumdar, Anirban , Mukherjee, Sayan , Raskin, Jean-François
Publication 2025

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.