Profil

Brihaye Thomas

Université de Mons - UMONS > Faculté des Sciences > Service de Mathématiques effectives

Université de Mons - UMONS > Faculté des Sciences > Mathématiques effectives

Université de Mons - UMONS > Faculté des Sciences > Logique mathématique

ORCID
0000-0001-5763-3130
Main Referenced Co-authors
BRUYERE, Véronique  (26)
Geeraerts, Gilles (26)
Bouyer, Patricia (24)
Raskin, Jean-François (18)
Bertrand, Nathalie (14)
Main Referenced Keywords
General Earth and Planetary Sciences (4); General Environmental Science (4); Reachability (4); Computer Science (all) (3); Computer Science - Computer Science and Game Theory (3);
Main Referenced Research Centers
CREMMI - Modélisation mathématique et informatique (136)
CERMI - Microfinance (2)
AGIF - Algèbre, Géométrie et Interactions fondamentales (1)
URBAINE - Urbanisation Revitalisation Bâtiment Architecture Innovations Espaces (1)
Main Referenced Disciplines
Electrical & electronics engineering (164)
Mathematics (72)
Computer science (16)
Energy (7)
Theoretical & cognitive psychology (4)

Publications (total 228)

The most cited

115 citations (OpenAlex)

Bouyer, P., Brihaye, T., & Markey, N. (01 June 2006). Improved undecidability results on weighted timed automata. Information Processing Letters, 98 (Issue 5), 188-194. doi:10.1016/j.ipl.2006.01.012 https://hdl.handle.net/20.500.12907/22712

Contact ORBi UMONS