New algorithms and data structures for the emptiness problem of alternating automata

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

Président du jury Cardinal, Jean

Promoteur Raskin, Jean-François

Publication Non publié, 2011-03-03

Thèse de doctorat

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

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

Multi-Entry Generalized Search Trees for Indexing Trajectories
par Schoemans, Maxime , Aref, Walid , Zimanyi, Esteban , Sakr, Mahmoud
Publication 2024-10-29
Computational problems on geometric objects: lower bounds, upper bounds, optimality.
par Dallant, Justin
Publication Faculté des Sciences – Informatique, Bruxelles, Université libre de Bruxelles, 2024-09-09
Solving the Tensor Isomorphism Problem for special orbits with low rank points:Cryptanalysis and repair of an Asiacrypt 2023 commitment scheme
par Gilchrist, Valerie , Marco, Laurane , Petit, Christophe , Tang, Gang
Publication 2024-08-18
Non-minimal couplings to U(1)-gauge fields and asymptotic symmetries
par Fuentealba, Oscar , Henneaux, Marc , Mas, Jules
Publication 2024-09-25
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

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.