Algorithmic analysis of complex semantics for timed and hybrid automata

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

Président du jury Massart, Thierry

Promoteur Raskin, Jean-François

Publication Non publié, 2006-06-13

Thèse de doctorat

Fichier(s) déposé(s) par le docteur

Fichier(s) numérisé(s) par les Bibliothèques de l'ULB

Early-season hurricane Beryl’s impact on marine turtle nesting in Martinique
par Langel, Jessie-Lee , Vanleynseele, Chloé , Fournier, Denis , Tremblay, Réjean , De Montgolfier, Benjamin
Publication 2024-10-15
Non-minimal couplings to U(1)-gauge fields and asymptotic symmetries
par Fuentealba, Oscar , Henneaux, Marc , Mas, Jules
Publication 2024-09-25
The long-term sea-level commitment from Antarctica
par Klose, Ann Kristin , Coulon, Violaine , Pattyn, Frank , Winkelmann, Ricarda
Publication 2024-09-21
A macro-to-microscale scientific investigation of The Visitation panel: insights into its materiality and metal oxalate alteration phenomenon
par Mederos-Henry, Fransisco , De Meyer, Steven , Vanmeert, Frederik , Sanyova, Jana , Bucken, Véronique J.
Publication Brussels, Milan, Royal Museums of Fine Arts of Belgium & Silvana Editoriale, 2024-10-01
Un État américain, et pas des moindres, se met à réguler l'IA
par Cuvelliez, Charles , Gillon, Camille , Luca, De santos
Publication 2024-09-13

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.