Thomas Brihaye

Cited by

	All	Since 2020
Citations	1871	553
h-index	25	12
i10-index	47	20

140

105

20052006200720082009201020112012201320142015201620172018201920202021202220232024202517 59 52 72 129 75 105 78 101 108 111 81 107 116 78 85 107 123 103 97 36

Public access

View all

24 articles

1 article

available

not available

Based on funding mandates

Co-authors

Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Veronique BruyereUniversity of MonsVerified email at umons.ac.be
Gilles GeeraertsAssociate Prof. of Computer Science, Université libre de Bruxelles (ULB)Verified email at ulb.be
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Aline GoeminneF.R.S.-FNRS & UMONSVerified email at umons.ac.be
Axel HaddadPostdoctoral Researcher, Effective Mathematics Team, Mons University, BelgiumVerified email at umons.ac.be
Christel BaierTU DresdenVerified email at tu-dresden.de
Christian MichauxUMONSVerified email at umons.ac.be
cedric riviereUniversity of MonsVerified email at umons.ac.be
Quentin MenetUniversité de MonsVerified email at umons.ac.be
Hsi-Ming HoUniversity of SussexVerified email at sussex.ac.uk
Mickael RandourFNRS & UMONSVerified email at umons.ac.be
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
Laurent DoyenCNRS - LMF, ENS Paris-SaclayVerified email at lsv.fr
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Engel LefaucheuxInria NancyVerified email at inria.fr

Thomas Brihaye

UMONS

Verified email at umons.ac.be


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
ATL with strategy contexts and bounded memory T Brihaye, A Da Costa, F Laroussinie, N Markey International symposium on logical foundations of computer science, 92-106, 2009	123	2009
On the optimal reachability problem of weighted timed automata P Bouyer, T Brihaye, V Bruyere, JF Raskin Formal Methods in System Design 31 (2), 135-175, 2007	109	2007
Improved undecidability results on weighted timed automata P Bouyer, T Brihaye, N Markey Information Processing Letters 98 (5), 188-194, 2006	98	2006
On optimal timed strategies T Brihaye, V Bruyere, JF Raskin International Conference on Formal Modeling and Analysis of Timed Systems, 49-64, 2005	86	2005
When are timed automata determinizable? C Baier, N Bertrand, P Bouyer, T Brihaye Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP …, 2009	81	2009
Model-checking for weighted timed automata T Brihaye, V Bruyere, JF Raskin International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2004	78	2004
Stochastic timed automata N Bertrand, P Bouyer, T Brihaye, Q Menet, C Baier, M Größer, ... Logical methods in computer science 10, 2014	74	2014
On o-minimal hybrid systems T Brihaye, C Michaux, R Cédric, T Christophe HSCC 2993, 219--233, 2004	68	2004
Probabilistic and topological semantics for timed automata C Baier, N Bertrand, P Bouyer, T Brihaye, M Größer International Conference on Foundations of Software Technology and …, 2007	67	2007
Almost-sure model checking of infinite paths in one-clock timed automata C Baier, N Bertrand, P Bouyer, T Brihaye, M GröBer 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 217-226, 2008	61	2008
On the expressiveness and decidability of o-minimal hybrid systems T Brihaye, C Michaux Journal of complexity 21 (4), 447-478, 2005	59	2005
Quantitative model-checking of one-clock timed automata under probabilistic semantics N Bertrand, P Bouyer, T Brihaye, N Markey 2008 Fifth International Conference on Quantitative Evaluation of Systems, 55-64, 2008	58	2008
MightyL: A Compositional Translation from MITL to Timed Automata T Brihaye, G Geeraerts, HM Ho, B Monmege International Conference on Computer Aided Verification, 421-440, 2017	42	2017
Minimum-time reachability in timed games T Brihaye, TA Henzinger, VS Prabhu, JF Raskin International Colloquium on Automata, Languages, and Programming, 825-837, 2007	39	2007
Multiplayer cost games with simple Nash equilibria T Brihaye, J De Pril, S Schewe Logical Foundations of Computer Science: International Symposium, LFCS 2013 …, 2013	36	2013
The complexity of subgame perfect equilibria in quantitative reachability games T Brihaye, V Bruyère, A Goeminne, JF Raskin, M Van den Bogaard Logical Methods in Computer Science 16, 2020	35	2020
On reachability for hybrid automata over bounded time T Brihaye, L Doyen, G Geeraerts, J Ouaknine, JF Raskin, J Worrell International Colloquium on Automata, Languages, and Programming, 416-427, 2011	35	2011
Timed concurrent game structures T Brihaye, F Laroussinie, N Markey, G Oreiby International Conference on Concurrency Theory, 445-459, 2007	34	2007
O-minimal hybrid reachability games P Bouyer, T Brihaye, F Chevalier Logical Methods in Computer Science 6, 2010	29	2010
On (subgame perfect) secure equilibrium in quantitative reachability games T Brihaye, V Bruyère, J De Pril, H Gimbert Logical Methods in Computer Science 9, 2013	28	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors