Alternating Tree Automata with Qualitative Semantics

;Maubert, Bastien ;Murano, Aniello ;Pinault, Laureline ;Pinchinat, Sophie ;Rubin, Sasha ;Serre, Olivier
Référence ACM transactions on computational logic, 22, 1, 7
Publication Publié, 2021-01-01

Article révisé par les pairs

LTL Reactive Synthesis with a Few Hints
par Balachander, Mrudula , Filiot, Emmanuel , Raskin, Jean-François
Publication 2025-09-01
Unveil the Secret Hidden in the Haberdasher’s Puzzle: —Survey on Reversibility—
par Akiyama, Jin , Langerman, Stefan , Matsunaga, Kiyoko
Publication 2026-03-01
Combinatorial generation via permutation languages. VII. Supersolvable hyperplane arrangements
par Brenner, Sofia , Cardinal, Jean , McConville, Thomas , Merino, Arturo , Mütze, Torsten
Publication 2026-05
Improved Algorithms for Ascending Isogeny Volcanoes, and Applications
par Galbraith, Steven S.D. , Gilchrist, Valerie , Robert, Damiens
Publication 2026-01-01
Randomise Alone, Reach as a Team
par Brice, Léonard , Henzinger, Thomas A. , Montaseri, Alipasha , Shafiee, Ali , Thejaswini, K.S.
Publication 2026

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.