Reachability Problems for Hybrid Automata

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

Référence Lecture notes in computer science, 6945, page (28-30)
Publication Publié, 2011

Article révisé par les pairs

Titre:	Reachability Problems for Hybrid Automata
Auteur:	Raskin, Jean-François
Informations sur la publication:	Lecture notes in computer science, 6945, page (28-30)
Statut de publication:	Publié, 2011
Sujet CREF:	Sciences exactes et naturelles
Note générale:	SCOPUS: cp.k
Langue:	Anglais
Identificateurs:	urn:issn:0302-9743
	info:doi/10.1007/978-3-642-24288-5_4
	info:scp/80053307087

Data-based Reports; Hydroacoustic observations of volcanic degassing (IN REVIEW)
par Caudron, Corentin , Roche, Ben John , Vandemeulebrouck, Jean , Barrière, Julien
Publication 2026-12-31
Hydroacoustic Observations during the 2021 Mount Nyiragongo dyke intrusion under Lake Kivu (IN REVIEW):evidence of lakebed degassing and blowout events
par Roche, Ben John , Barrière, Julien , Darchambeau, François , Caudron, Corentin
Publication 2026-06-06
New Observations of gas bubble behavior across the seabed (IN REVIEW)
par Roche, Ben John , White, Paul R. , Bull, Jonathan M. , Leighton, Timothy G. , Bayrakci, Gaye
Publication 2026-06-06
Another Look at the Quantum Security of the Vectorization Problem with Shifted Inputs
par Frixons, Paul , Gilchrist, Valerie , Kutas, Péter , Merz, Simon Philipp , Petit, Christophe , Pham, Quang Lâm L
Publication 2026-05-30
Palatini Gauss-Bonnet theory
par Banados, Maximo , Henneaux, Marc
Publication 2026-03-05

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.