The Complexity of Rational Synthesis (ICALP'16)

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

Référence Automata, languages and programming, page (14)
Publication Publié, 2016-06-01

Article révisé par les pairs

Titre:	The Complexity of Rational Synthesis (ICALP'16)
Auteur:	Bozianu, Rodica; Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
Informations sur la publication:	Automata, languages and programming, page (14)
Statut de publication:	Publié, 2016-06-01
Sujet CREF:	Sciences exactes et naturelles
Langue:	Français
Identificateurs:	urn:issn:0170-1495

Passive Learning of Regular Data Languages in Polynomial Time and Data
par Balachander, Mrudula , Filiot, Emmanuel , Gentilini, Raffaella
Publication 2024-09-01
SynthLearn: A Tool for Guided Reactive Synthesis
par Balachander, Mrudula , Filiot, Emmanuel , Raskin, Jean-François
Publication Springer, 2024
Southern Ocean nutrient repletion and CO2 release at the peak warmth of the Cenozoic
par Moretti, Simone , Fripiat, François , Hain, Mathis M.P. , Luciani, Valeria , Lourens, Luca , Borucki, Paul , Gerber, Lukas , Agterhuis, Tobias , Filippi, Giulia , Schiebel, Ralf , Haug, Gerald H. , Sigman, Daniel M , Martínez-García, Alfredo
Publication 2026-02-22
Ice age and deglacial stratification of the polar Antarctic Zone
par Fripiat, François , Sigman, Daniel M , Ai, Xuyuan Ellen , Dumoulin, Cédric , Moretti, Simone , Studer, Anja S. , Dieckmann, Bernard , Esper, Oliver , Frederichs, Thomas , Lamy, Frank , Liu, Ling , Pattyn, Frank , Schmitt, Mareike , Tiedemann, Ralph , Haug, Gerald H. , Martínez-García, Alfredo
Publication 2026-02-22
Global mean ocean nitrate d18O as a tracer for the supply and recycling of fixed nitrogen in the ocean
par Desmettre, Simon , Dumoulin, Cédric , Coulon, Violaine , Marconi, Dario , Marshall, Tanya , Muller, Sofia , Ryu, J.H. , Wald, Tanja , Martínez-García, Alfredo , Sigman, Daniel M , Fripiat, François
Publication 2026-02-22

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.