Thomas Brihaye

Cited by

	All	Since 2019
Citations	1780	540
h-index	24	12
i10-index	47	19

140

105

2005200620072008200920102011201220132014201520162017201820192020202120222023202417 59 52 70 127 73 106 76 110 107 112 80 104 118 76 85 111 126 97 42

Public access

View all

23 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
Axel HaddadPostdoctoral Researcher, Effective Mathematics Team, Mons University, BelgiumVerified email at umons.ac.be
Christel BaierTU DresdenVerified email at tu-dresden.de
cedric riviereUniversity of MonsVerified email at umons.ac.be
Christian MichauxUMONSVerified email at umons.ac.be
Aline GoeminneUMONS &ULBVerified email at umons.ac.be
Quentin MenetUniversité de MonsVerified email at umons.ac.be
Hsi-Ming HoUniversity of SussexVerified email at sussex.ac.uk
Laurent DoyenCNRS - LMF, ENS Paris-SaclayVerified email at lsv.fr
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
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
Mickael RandourFNRS & UMONSVerified email at umons.ac.be
Engel LefaucheuxMPI-SWSVerified email at mpi-sws.org

Thomas Brihaye

UMONS

Verified email at umons.ac.be


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
24 e Journées d’Arithmétiques Faibles Journées complexité, modèles finis et bases de données T Brihaye
24th EACSL Annual Conference on Computer Science Logic (CSL 2015) A Dawar, D Kozen, S Ronchi Della Rocca, M Abadi, C Carapelle, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015	3	2015
24th International Symposium on Temporal Representation and Reasoning (TIME 2017) A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017		2017
30th International Conference on Concurrency Theory (CONCUR 2019) WJ Fokkink, RJ van Glabbeek 30th International Conference on Concurrency Theory (CONCUR 2019), 2019		2019
35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015) MS Charikar, A Bouajjani, M Emmi, C Enea, J Hamza, J Worrell, B Barak, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015	1	2015
A note on the undecidability of the reachability problem for o-minimal dynamical systems T Brihaye Mathematical Logic Quarterly 52 (2), 165-170, 2006	16	2006
A probabilistic semantics for timed automata C Baier, N Bertrand, P Bouyer, T Brihaye, M Größer Laboratoire Spécification & Vérification, ENS de Cachan, France, Research …, 2008	2	2008
ACSD 2015 T Brihaye, A Yakovlev
Adding negative prices to priced timed games T Brihaye, G Geeraerts, S Narayanan Krishna, L Manasa, B Monmege, ... International Conference on Concurrency Theory, 560-575, 2014	24	2014
Adversarial formal semantics of attack trees and related problems T Brihaye, S Pinchinat, A Terefenko arXiv preprint arXiv:2209.10322, 2022	2	2022
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	58	2008
Almost-sure model-checking of reactive timed automata P Bouyer, T Brihaye, M Jurdzinski, Q Menet 2012 Ninth International Conference on Quantitative Evaluation of Systems …, 2012	18	2012
Analyse Quantitative des Systèmes Stochastiques Jeux de Priorité et Population de Chaînes de Markov Quantitative Analysis of Stochastic Systems Priority Games and T Brihaye, S Haddad, B Genest, E Asarin, A Bouillard Université de Bordeaux, 0
Analysing decisive stochastic processes N Bertrand, P Bouyer, T Brihaye, P Carlier 43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016	7	2016
and Elaine Render3 T Brihaye, V Bruyere
Antichain-based QBF solving T Brihaye, V Bruyère, L Doyen, M Ducobu, JF Raskin Automated Technology for Verification and Analysis: 9th International …, 2011	10	2011
ATL with strategy contexts T Brihaye, A Da Costa, F Laroussinie, N Markey preparation, 2008	2	2008
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	115	2009
Average-price and reachability-price games on hybrid automata with strong resets P Bouyer, T Brihaye, M Jurdziński, R Lazić, M Rutkowski Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008	18	2008
Building functionality assignment in dense and compact blocks using graph theory and game theory Q Meurisse, S Koutra, H Mélot, D Laplume, V Becue, T Brihaye, J Cenci, ... Urban Complex Systems 2021, 2024		2024

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