Qualitative analysis of probabilistic synchronizing systems

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

Président du jury Raskin, Jean-François

Promoteur Doyen, Laurent

Publication Non publié, 2014-12-10

Thèse de doctorat

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

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

When is containment decidable for probabilistic automata?
par Daviaud, Laure L. D. , Jurdziński, Marcin , Lazić, Ranko , Mazowiecki, Filip , Perez, Guillermo A. , Worrell, James
Publication 2018-07
Detailed record of the BELARE 2019-2020 meteorite recovery expedition on the Nansen Ice Field, East Antarctica
par Goderis, Steven , Yesiltas, Mehmet , Pourkhorsandi, Hamed , Shirai, Naoki , Poudelet, M. , Leitl, M. , Yamaguchi, Akira , Debaille, Vinciane , Claeys, Philippe
Publication 2021-02-01
Complex algebraic compactifications of the moduli space of Hermitian-Yang-Mills connections on a projective manifold
par Greb, Daniel , Toma, Matei , Wentworth, R.A. , Sibley, Benjamin
Publication 2021-01-19
Continuity of the Yang-Mills flow on the set of semistable bundles
par Sibley, Benjamin , Wentworth, Richard R.A.
Publication 2021-01-19
Cerium stable isotope analysis of synthetic and terrestrial rock reference materials by MC-ICPMS
par Pourkhorsandi, Hamed , Debaille, Vinciane , De Jong, Jeroen , Armytage, Rosalind M.G.
Publication 2021-01-01

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.